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
lexmin.cc: remove_equalities; take preimage with returned matrix
2006-06-18
Sven Ve
r
doolaege
bar
v
inok_ehrhart: compute ehrhar
t
(quas
i
-)pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
S
v
en Ve
r
doo
l
aege
barvinok_count: allo
w
polytop
e
to be sp
e
cified by its
.
.
.
commit
|
commitdiff
|
tree
2006-06-13
Sven V
e
rdo
o
laeg
e
genfun
.
cc:
f
ix add_unio
n
method
commit
|
commitdiff
|
tree
2006-06-13
Sven Ve
r
doolaege
barv
i
nok
_
unio
n
:
optionally print generating
function
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdoolaege
barvinok_coun
t
: handl
e
i
nfinit
e
polyhedr
a
with no
integer
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
Verdoolaeg
e
barvinok
_
count:
stop
c
ounting
if o
n
e of the factors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdoolaege
e
valu
e
_fra
c
2floor_in_domain: al
l
ow argument of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolae
g
e
util
.
c: specifically indicat
e
empty sets
i
n Polyhedron_
p
print
commit
|
commitdiff
|
tree
2006-06-02
Sven V
e
rdool
a
ege
util
.
c
: move ali
g
n_m
a
trix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
do
o
lae
g
e
m
a
t_util
.
c
c: some
useful functions
e
xt
r
acte
d
from genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
evalue
.
c
: exp
o
rt reduce_ev
a
lue_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven
Verdoolaege
ev
a
lue
.
c: rena
m
e r
e
d
u
c
e
_
i
n_domain to evalue_range_reduction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
b
a
rvi
n
o
k
.
cc: remove an
c
ient debugging code
commit
|
commitdiff
|
tree
2006-06-02
Sven Ver
d
oolaege
eval
u
e
.
c
:
export e
v
a
l
ue_frac2floor_in_domain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
gen_fun::s
u
bstitute: add mor
e
deta
i
led
e
x
planation
commit
|
commitdiff
|
tree
2006-05-24
Sven Verd
o
olae
g
e
r
educ
e
_domain: handle N
U
LL CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdool
a
ege
b
arvinok
.
cc: mo
v
e reduce_do
m
a
i
n into separ
a
te file
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Verdoolaeg
e
ut
i
l
.
c: add
P
o
lyhedron_pprint
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
lattice_point
.
cc: lattice poi
n
ts
com
p
utation extra
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
S
v
en V
e
rdoolaege
c
o
n
v
e
rsion
.
cc: add v
a
l
u
e
s
2zz and rays2 from b
a
rv
i
nok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven Ve
r
doolaeg
e
eva
l
ue
.
c
:
add
eval
u
e
_z
e
ro
commit
|
commitdiff
|
tree
2006-05-18
Sven Verd
o
o
l
aege
decompose
r
:
ex
t
ract
out vertex
_
decomposer from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
barvinok
.
cc: ex
t
rac
t
out some
funct
i
onality into d
e
c
o
mposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
S
v
e
n Verdoolaege
util
.
c: docum
e
n
t Euclid functi
o
n
commit
|
commitdiff
|
tree
2006-05-10
S
v
en Verdoo
l
aege
o
c
c
:
pl
u
g some
m
ore
(poten
t
ial) memory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sv
e
n Ver
d
oolaege
occ
:
don't use
fre
e
d va
r
iable in err
o
r messa
g
e
commit
|
commitdiff
|
tree
2006-04-10
Sven Ver
d
oola
e
ge
b
a
rvinok
.
cc:
add some doc
u
mentatio
n
to
lattice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
V
erdo
o
la
e
ge
barvino
k
_
e
numerate_union
:
call ge
n
_fun::add_un
i
o
n
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoo
l
a
ege
gen_fun: add a
d
d_uni
o
n method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoola
e
ge
barvin
o
k
.
cc: d
o
cum
e
nt Spl
i
tOnVa
r
and re
m
ove s
o
me
r
edu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sv
e
n
V
erdoolaege
r
e
move in
a
pp
r
opriate u
s
e
s
o
f Polyhedr
o
n2Param_Si
m
pl
i
fiedDomain
commit
|
commitdiff
|
tree
2006-02-22
Sve
n
V
e
rdoola
e
ge
version 0
.
2
0
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
create cor
r
ect GI
T
_HEAD_ID in di
s
tribution
commit
|
commitdiff
|
tree
2006-02-22
Sven Ver
d
oolaege
barvin
o
k_union
:
document input
f
ormat
commit
|
commitdiff
|
tree
2006-02-21
Sv
e
n Ver
d
oolaege
Merge b
r
anch '
n
ew_pi
p
lib'
commit
|
commitdiff
|
tree
2006-02-16
Sve
n
Verdoola
e
g
e
only ru
n
tests tha
t
require piplib when piplib
i
s available
commit
|
commitdiff
|
tree
2006-02-16
Sven
Ve
r
d
o
olaege
barvin
o
k_enumerate_e:
only link in omeg
a
libra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
aege
c
heck for p
i
plib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
some examples fr
o
m Rach
i
d t
o
test
barvin
o
k_enu
m
erate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
add
barvinok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n
V
e
rdoolaege
add barvinok_
e
numerate_union function
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
r
d
oolaege
gen
_
fun: add
Hadamard_prod
u
ct method
commit
|
commitdiff
|
tree
2006-02-15
S
v
en Ve
r
doolaege
gen_fun::op
e
r
a
t
or evalu
e
*():
f
i
x
m
emor
y
l
e
aks
.
commit
|
commitdiff
|
tree
2006-02-15
S
v
en
Verdoolaege
g
e
n
fun
.
cc:pri
n
t
_power: r
e
m
ov
e
sp
a
ces around
"
*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
barvinok_series: ret
u
r
n
e
mpty gen_fun for
e
mp
t
y polytope
.
commit
|
commitdiff
|
tree
2006-02-14
Sve
n
Verdoolaege
b
arvin
o
k_seri
e
s: remove
unused variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sve
n
Ver
d
oolaege
barvinok
.
cc: extract out some code common to generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n V
e
rdoolaege
barvi
n
ok
.
c
c:
intr
o
d
u
ce
n
p_base, a
ba
s
e class for no
n
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaege
barvinok
.
cc: d
o
vi
r
tual pola
r
_decompo
s
er inheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Ver
d
o
o
laege
barvinok_se
r
ies: remove
so
m
e
m
ore equalities from the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Ve
r
doolaege
check for compre
s
s_p
a
rms function
commit
|
commitdiff
|
tree
2006-02-10
Sven
Verdoolae
g
e
gen_fun: add subst
i
tu
t
e met
h
od
.
commit
|
commitdiff
|
tree
2006-02-09
Sven
V
e
rdoola
e
ge
barvi
n
ok/
g
enfun
.
h
:
a bi
t
mo
r
e d
o
cu
m
enta
t
ion
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
a
d
apt
d
e
termination of git HEAD to recent git v
e
rsions
commit
|
commitdiff
|
tree
2006-02-08
Sven V
e
r
d
o
olaege
verify_mai
n
.
cc: fix typo that would le
t
check
_
se
r
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven
V
erdoolaege
verif
y
_main
.
cc: also p
r
i
n
t
e
x
plicit f
u
nction when verbose
commit
|
commitdiff
|
tree
2006-02-08
S
v
en
V
erdoo
l
aege
gen_fun
:
:add: n
o
rmali
z
e coefficients
commit
|
commitdiff
|
tree
2006-01-29
S
ven Verdoolaege
t
est
b
arvinok_enumerate_e --omega
commit
|
commitdiff
|
tree
2006-01-29
S
v
en Verdoolaege
barvinok_enumer
a
te_e:
only
prov
i
d
e
-
-pip option if
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
Sven Ver
d
oolaege
barvinok_enumerate
_
e
.
cc: memory clean up
.
commit
|
commitdiff
|
tree
2006-01-28
Sven
V
erd
o
o
l
aege
integrate verif_eh
r
har
t
_
e
into bar
v
i
n
o
k
_
enumerate_e
commit
|
commitdiff
|
tree
2006-01-28
S
v
en Verdoolaege
barvinok_e
n
umerate_
e
: rename --ra
n
ge option to -
-
range
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
barvinok_
e
nume
r
ate_e: opti
o
nally use omega
t
o simp
l
ify
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Ver
d
oolaege
omega/convert
.
cc: add
c
onver
s
ion
f
rom PolyLib
to Omega
commit
|
commitdiff
|
tree
2006-01-28
S
ven
Verdoolaege
om
e
ga/
c
onver
t
.
cc: extract out conversion
f
ro
m
O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
Verdoolaege
barvinok/util
.
h: inclu
d
e gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
let OM
E
GA_ va
r
s conta
i
n o
m
ega related flags ex
c
lusively
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n Verdool
a
ege
reduce_in_dom
a
in: fix so
m
e
m
emory
leaks
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
sc
a
n_quast: co
m
bine
q
uast parts if we are projecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
v
en Verdoo
l
aege
ba
r
vinok_enumerate_pip: no need
t
o remove negative
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven
Ve
r
doola
e
ge
pip_projectout: allow un
k
nows and
p
arameter
s
t
o be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaege
pip_projectout:
l
et piplib
simpl
i
fy
s
o
luti
o
n
.
commit
|
commitdiff
|
tree
2006-01-27
Sv
e
n Verd
o
olaege
b
a
r
v
inok_enumerate_e:
print curr
e
nt problem in for
m
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdo
o
laege
o
c
c
:
reduce
evalue
b
efore printing
commit
|
commitdiff
|
tree
2006-01-20
S
v
en Verdoolaege
versio
n
0
.
19
commit
|
commitdiff
|
tree
2006-01-20
S
ven
Verdoolaege
add
s
ome r
e
quired
file
s
t
o
di
s
tribution
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdo
o
la
e
ge
Use correc
t
inc
l
ude dir for
o
meg
a
he
a
ders
.
commit
|
commitdiff
|
tree
2006-01-18
S
v
en Verdool
a
ege
piptest:
d
eclare variable at
s
ta
r
t o
f
code
block
.
commit
|
commitdiff
|
tree
2006-01-18
Sven
Verdoolae
g
e
o
c
c
:
correct calculation of
d
i
m
ension
.
commit
|
commitdiff
|
tree
2006-01-13
Sven Ver
d
oolaege
export EVALUE_IS_ONE
m
acro
commit
|
commitdiff
|
tree
2006-01-11
Sven Verdoo
l
aege
eva
l
ue/print
_
enod
e
: create nam
e
s if none are
p
rovid
e
d
.
commit
|
commitdiff
|
tree
2006-01-07
S
ven Verdool
a
e
g
e
occ: add "ranking"
o
peration
.
commit
|
commitdiff
|
tree
2006-01-07
Sven Verdoolaege
o
c
c
/
ca
r
d: fi
x
memory l
e
ak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven
Verdoolaege
occ: c
o
mput
e
n
umber of exi
s
tenti
a
l variab
l
es
c
orrectly
.
commit
|
commitdiff
|
tree
2006-01-04
Sven
Verdoo
l
aege
is_zero_on: fi
x
invalid r
e
ad
.
commit
|
commitdiff
|
tree
2006-01-04
Sv
e
n Verdoola
e
g
e
Polyhedron_is_inf
i
ni
t
e: simplify and wa
r
n th
a
t it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Ver
d
oolaege
occ: renam
e
"count" operation t
o
"c
a
rd"
.
commit
|
commitdiff
|
tree
2005-12-28
S
ve
n
Ver
d
oolaege
occ: add "count" o
p
eration
.
commit
|
commitdiff
|
tree
2005-12-28
S
ven Ver
d
o
o
laege
ome
g
a/
p
a
rse
r
.
y: rename some
c
o
nstan
t
s
.
commit
|
commitdiff
|
tree
2005-12-28
Sve
n
Verdoolaege
omega/
p
arser
.
y: use fre
e
t
o free mallo
c
'
e
d memory
.
commit
|
commitdiff
|
tree
2005-12-28
Sven
V
erdool
a
eg
e
Compile top
d
ir before omega subdir
.
commit
|
commitdiff
|
tree
2005-12-28
Sven Verdoolaege
barvinok/barvinok
.
h: includ
e
barvinok/eva
l
ue
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n
Verdoola
e
ge
barvinok/ev
a
lue
.
h: undefine divide from
p
olylib's arithm
e
t
ique
.
h
commit
|
commitdiff
|
tree
2005-12-27
Sv
e
n
V
er
d
o
olae
g
e
o
c
c
: b
a
se omega
ca
l
culator
.
commit
|
commitdiff
|
tree
2005-12-27
Sven
Verdo
o
laege
Fi
l
es copied
from omega_calc
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaeg
e
ea
d
d_partitions:
t
ry
t
o
c
ombine m
u
ltiple
domains with
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verd
o
ol
a
e
ge
u
til:
a
dd
DomainConcat
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoola
e
ge
barvino
k
_en
u
mera
t
e: us
e
P
OL_NO_D
U
AL if available
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
Don't call Pol
y
he
d
ron2Param_Simplifi
e
dDom
a
in with
POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
S
v
en Verdoolaege
Re
g
ression te
s
t
.
commit
|
commitdiff
|
tree
next