repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
gen_fun::Hadamard_product: apply parameter compression if needed
2006-04-05
Sv
e
n Verdoola
e
ge
barvi
n
ok_enumer
a
te_
u
nion:
c
all gen_fun::add_un
i
on
commit
|
commitdiff
|
tree
2006-04-05
Sv
e
n Verdool
a
ege
gen_fu
n
: add
a
d
d_union method
commit
|
commitdiff
|
tree
2006-04-03
Sve
n
Ver
d
oolaeg
e
barvin
o
k
.
cc:
d
ocument S
p
litOnVar and
r
emove some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verd
o
olaege
remo
v
e inap
p
r
o
pri
a
te
uses of Polyhedro
n
2
Param_
S
implif
i
edDomai
n
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
ver
s
ion 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
S
v
en Verdoolaege
create correct GIT_HEAD
_
ID
i
n
dis
t
ribution
commit
|
commitdiff
|
tree
2006-02-22
S
v
en
Verdoolaege
ba
r
vinok_union: document
i
nput fo
r
mat
commit
|
commitdiff
|
tree
2006-02-21
Sve
n
Verdoolaege
Merge
b
ranch 'new
_
piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdo
o
laeg
e
on
l
y run tests that require piplib
w
he
n
piplib
i
s ava
i
l
able
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
barvinok_enu
m
er
a
te_e
:
only
l
i
nk in omega lib
r
ar
i
es
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Ve
r
do
o
laege
c
he
c
k for piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolae
g
e
s
o
m
e examples from Rachid to test b
a
r
v
inok_
e
numerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add
b
arvinok_
u
nion
.
c
commit
|
commitdiff
|
tree
2006-02-15
S
ven Ver
d
o
olaege
a
dd
barvin
o
k_e
n
u
m
e
r
a
t
e
_
u
nion func
t
ion
commit
|
commitdiff
|
tree
2006-02-15
S
ven Verd
o
olaeg
e
gen_fun:
a
dd
H
adama
r
d_product m
e
thod
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdo
o
laege
g
en_fun::oper
a
tor
e
v
alue
*
(): fix m
e
mo
r
y leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
V
e
rdoolaege
genfun
.
cc:print_power: remove
s
p
aces around "*"
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Ve
r
doolaege
barv
i
nok_
s
eri
e
s: ret
u
r
n
e
m
p
ty gen_fun for empty polytope
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok_series: remo
v
e unuse
d
variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdool
a
e
ge
barvinok
.
cc: extra
c
t
out some code comm
o
n to gene
r
a
ting
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verdoolaege
ba
r
vinok
.
cc:
introduce np_
b
a
s
e, a base class for no
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdool
a
ege
barvinok
.
cc: do virtual polar_decomposer in
h
e
r
itance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sve
n
V
erdoolaege
bar
v
inok_serie
s
:
remove
s
o
m
e m
o
re equa
l
i
ties f
r
o
m the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolae
g
e
check for compress_parms func
t
ion
commit
|
commitdiff
|
tree
2006-02-10
Sven Ve
r
doolaege
gen_f
u
n: add
su
b
s
t
i
t
u
t
e
me
t
hod
.
commit
|
commitdiff
|
tree
2006-02-09
Sv
e
n
Verdoolaeg
e
b
a
rvinok/genfun
.
h
:
a bit more docume
n
tation
.
commit
|
commitdiff
|
tree
2006-02-09
Sv
e
n
V
erdoolaege
adapt determination of git HEAD to recen
t
git versions
commit
|
commitdiff
|
tree
2006-02-08
Sven
Ve
r
doolaege
verify_main
.
c
c
: fix
typo that
w
ould
l
et check_s
e
ries
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven Ver
d
oolaege
verify
_
main
.
c
c:
a
l
s
o print expl
i
c
i
t
function when verbose
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoolaege
gen_fun::add: no
r
malize coeffi
c
ients
commit
|
commitdiff
|
tree
2006-01-29
Sve
n
Ve
r
doolaege
test barvinok_enumerate_e -
-
o
m
eg
a
commit
|
commitdiff
|
tree
2006-01-29
Sven V
e
rdoolaege
b
arvi
n
ok_enumerate_
e
: on
l
y provide --pip option if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
Sven
V
erdoolae
g
e
barv
i
nok_enumerate_e
.
cc: memory clean
u
p
.
commit
|
commitdiff
|
tree
2006-01-28
S
v
en Verdoolaege
integrate verif
_
ehrh
a
rt_e into barvino
k
_enume
r
ate
_
e
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoo
l
aege
barvin
o
k
_enumerate_e: rename --range option to --range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
S
v
en Ve
r
doolaege
b
arvinok_e
n
umerate_e: opt
i
on
a
ll
y
use omega to
simpl
i
fy
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n V
e
r
d
oolae
g
e
o
mega
/
convert
.
cc
:
add conversion fr
o
m
PolyLib
t
o Omega
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
Verd
o
olaege
omega/
c
onv
e
rt
.
cc: extract
out convers
i
on
f
rom Omega
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdo
o
laeg
e
b
a
rvinok/
u
til
.
h: include gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
let OMEGA_ vars
co
n
tain
omeg
a
related flags
exclusiv
e
ly
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n Verdoolaege
reduc
e
_in_d
o
main: f
i
x
som
e
me
m
o
r
y leaks
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
V
e
rdo
o
lae
g
e
s
c
a
n
_
quast: combine
q
ua
s
t parts if we are
p
rojecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdo
o
la
e
ge
barvinok_enu
m
erat
e
_pip: no need to remo
v
e negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoo
l
aege
pip
_
p
rojectout: al
l
ow
unknows and parame
t
ers to be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sv
e
n Verdoolaege
p
i
p_projectout: let piplib simp
l
ify solut
i
on
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdo
o
laege
bar
v
inok_enumerat
e
_e:
p
rint cu
r
re
n
t problem in form
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
v
e
n
Verdoola
e
g
e
occ:
reduce evalue before printing
commit
|
commitdiff
|
tree
2006-01-20
S
ven Verdoolaege
versio
n
0
.
1
9
commit
|
commitdiff
|
tree
2006-01-20
Sven Ve
r
doolaege
a
d
d
so
m
e required files to distribution
commit
|
commitdiff
|
tree
2006-01-18
S
v
en
Verdoo
l
aege
Use cor
r
ect inc
l
ude dir
f
o
r omega heade
r
s
.
commit
|
commitdiff
|
tree
2006-01-18
Sven
Verdoolaege
piptest: declare
v
a
r
i
ab
l
e at
start of c
o
de
b
lock
.
commit
|
commitdiff
|
tree
2006-01-18
Sve
n
Verd
o
olaege
occ: correct calcula
t
i
on of d
i
me
n
s
i
o
n
.
commit
|
commitdiff
|
tree
2006-01-13
Sve
n
Verdoolaege
export EV
A
LU
E
_IS_
O
NE mac
r
o
commit
|
commitdiff
|
tree
2006-01-11
Sven Verdoolaege
eva
l
u
e
/print_eno
d
e: create names if
none are
p
rovided
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
en Verdoolaege
occ: add
"r
a
nking" operati
o
n
.
commit
|
commitdiff
|
tree
2006-01-07
S
ven Ver
d
o
olaege
occ/card: fi
x
me
m
ory leak
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
en Verdoo
l
aege
occ: comp
u
te numb
e
r
of existential v
a
riabl
e
s
correctly
.
commit
|
commitdiff
|
tree
2006-01-04
Sve
n
Verdoo
l
aege
is_zero
_
on: fix in
v
al
i
d
read
.
commit
|
commitdiff
|
tree
2006-01-04
S
ven
Verdool
a
ege
Po
l
yhedron_is_infinit
e
: simplif
y
and wa
r
n
that
i
t may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
occ: rename "count
"
operatio
n
to "card
"
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
Verdo
o
laege
occ: add
"
cou
n
t" operation
.
commit
|
commitdiff
|
tree
2005-12-28
S
v
en Verd
o
olaege
omeg
a
/par
s
er
.
y: r
e
nam
e
som
e
constants
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Verdoolaege
omega/p
a
r
ser
.
y: use
fr
e
e to f
r
ee malloc
'
e
d
memory
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Ver
d
o
olaege
Compile topdir before omega s
u
bdi
r
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verd
o
olae
g
e
b
arvinok/barvinok
.
h: i
n
c
l
ude barvinok/evalue
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sven V
e
rdoo
l
aege
b
arvinok/eval
u
e
.
h: undefine d
i
vi
d
e
from p
o
lylib's arithmetique
.
h
commit
|
commitdiff
|
tree
2005-12-27
S
ven Verdo
o
laege
occ:
b
as
e
omega
c
alculator
.
commit
|
commitdiff
|
tree
2005-12-27
S
v
en Verdool
a
ege
Files copied
f
r
o
m omega_calc
.
commit
|
commitdiff
|
tree
2005-12-27
Sven V
e
rdoo
l
aege
eadd_pa
r
titions:
t
ry to comb
i
ne mu
l
tiple domains wit
h
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
S
ven Verd
o
olaege
uti
l
: add DomainCo
n
c
a
t
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
barvinok_enumera
t
e: use POL_NO_DUA
L
if available
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
Verdoolaege
Don't call Polyhedron2Param_Si
m
plif
i
ed
D
omain
w
i
th
POL_
N
O
_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
S
v
en V
e
r
d
o
o
l
aeg
e
Reg
r
ession test
.
commit
|
commitdiff
|
tree
2005-12-26
Sv
e
n Verdoo
l
aege
Mor
e
use of POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
S
ven Ver
d
oolaege
b
ar
v
i
n
ok_enumerat
e
_ev: compu
t
e verti
c
es o
f
po
l
ytope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
S
v
e
n
V
erdoolaege
r
e
duc
e
_eval
u
e: ensur
e
a dom
a
in is really
e
mpty be
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
S
v
en Verdoo
l
a
ege
piputil:
r
e
m
ov
e
unneeded fu
n
c
tionality
.
commit
|
commitdiff
|
tree
2005-12-08
Sven
Ve
r
d
ool
a
ege
barvinok_enumerate
_
p
i
p: simply proj
e
c
t
out existential
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoolaege
Up
d
ate piputil
.
c with some new functionality current
l
y
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdo
o
lae
g
e
p
i
putil
.
quast2poly: pas
s
in
t
he n
u
m
b
e
r of PIP parameters
commit
|
commitdiff
|
tree
2005-10-27
Sven Ver
d
oolaege
Also test t
h
e --p
i
p variant of barvinok_ehrhart
_
e
.
commit
|
commitdiff
|
tree
2005-09-15
Sve
n
Verdo
o
laege
a
d
d README
.
Solaris t
o
distribution
commit
|
commitdiff
|
tree
2005-09-15
Sven Verdoo
l
aege
Update Chan
g
eL
o
g
.
commit
|
commitdiff
|
tree
2005-09-15
Sv
e
n Ver
d
oola
e
g
e
Bump
v
ersion
.
commit
|
commitdiff
|
tree
2005-09-12
Sven Verdoolaege
barvinok_lex
s
mal
l
e
r_ev
:
treat extra variables as existential
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
S
ven Ve
r
doo
l
aege
verify_le
x
s
malle
r
: add miss
i
n
g
static qua
l
ifier
.
commit
|
commitdiff
|
tree
2005-09-08
S
ven Verd
o
olaege
verify_lexsm
a
l
ler: suppo
r
t
e
xistenti
a
l
v
ars in input
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sv
e
n
Verdool
a
ege
check_lexsmaller
:
fix erro
r
output
.
commit
|
commitdiff
|
tree
2005-09-08
S
ven
V
erdoolaege
barvinok_ra
n
k
i
ng: rename to
b
arvinok_l
e
xsmaller
commit
|
commitdiff
|
tree
2005-09-08
Sve
n
Verdoolaege
barvinok
_
ran
k
ing: adapt
to
n
ew callin
g
convention o
f
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
verify_ran
k
ing: only comp
i
l
e
if Lex
S
maller found in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven Ve
r
doolaege
ParamLine_Lengt
h
: correct nu
m
b
er
of parameters
in
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Ver
d
oola
e
ge
Use Pol
y
Lib's copy of DomainConstrain
t
S
i
mpl
i
fy if av
a
i
l
ab
l
e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
erdoolaege
Add
a
test for barvinok_eh
r
hart_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoo
l
aeg
e
Propag
a
te ren
a
ming fr
o
m Ranki
n
gPol
y
to
p
es
t
o LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sve
n
V
e
rdoolaege
pip_lexminmax:
fi
x
computation of lexm
a
x (ligh
t
l
y te
s
ted)
.
commit
|
commitdiff
|
tree
2005-09-07
S
v
en Ver
d
oolaege
pip_lexminmax:
a
l
l
o
w c
o
mputation o
f
lexmax
(un
t
ested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaeg
e
p
i
putil
.
c:
m
ake debu
g
ging
output depend on preprocess
o
r
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolae
g
e
piput
i
l
.
c:
include p
i
p
u
t
i
l
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven
Verdo
o
laege
pip_lexmin: allow po
s
ition of
m
inimize
d
vars t
o
be
.
.
.
commit
|
commitdiff
|
tree
next