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
lattice_width.c: skip directions that are identical up to sign
2008-04-05
Sven
V
erdool
a
ege
lattice_width
.
c: sk
i
p directi
o
n
s
that a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd94e-tes
t
t
o di
s
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
ola
e
ge
omega/occ: optionally use parker for
c
om
p
uting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
normalization
.
c
: skew_to_posi
t
i
ve_o
r
thant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
om
e
g
a
/convert
.
c
c: relatio
n
2Domai
n
: only coll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
occ
:
add dump
fo
r
dumping i
n
b
a
rvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
a
rvinok_enumerate_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
standard_co
n
straints: take con
s
traints instead
o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
oolaege
nor
m
alization
.
c: ex
t
r
a
ct standa
r
d_constra
i
nts
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
parker/count_solution
s
.
cc: f
i
x tre
a
tment o
f
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
e
uler
.
cc
:
evalue_deri
v
e: handle constant polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add some test sets from cases 2004 and cc 20
0
5
pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
rename
barvinok_maximize
to bar
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoo
l
aege
a
dd a test for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_range_p
r
opagat
i
on: remove redun
d
ant pol
y
nomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olae
g
e
t
est_bound: rec
o
rd n
u
mber of polynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
test_bound: conv
e
rt quasipol
y
nomials t
o
polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_
b
ou
n
d
: compare polynomial bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c
:
optimum: handle input evaluating to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
ola
e
ge
verify
.
c: extract evalue_opt
i
mum from maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: extra
c
t common c
o
d
e f
o
r verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_range_propagation: add monot
o
nicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
b
a
rv
i
nok_maximize: optio
n
a
l
l
y use (ba
s
ic) ran
g
e
p
r
op
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
Add s
o
me support for dealin
g
wi
t
h evalues that
rep
r
ese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
barvi
n
o
k
_enumer
a
t
e
: support use of Eule
r
-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
impleme
n
t
B
ern
o
u
l
li_sum as conversio
n
f
rom unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
e
rnoul
l
i
_
s
um
_
eval
u
e: exploit integ
e
r
b
ound
s
to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
keep track of n
u
mber of
B
ernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bernou
l
li
.
c: pro
t
e
c
t shared
evalue fro
m
modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
oolaege
test Berno
u
lli s
u
m
s
based e
x
a
c
t e
n
u
m
e
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_count_with_op
t
ions: compute
(
e
x
act) Berno
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernou
l
li_sum_evalue: optio
n
a
lly handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
l
atti
c
e_p
o
int
.
h: ex
p
ort fract
i
onal_part
w
i
th
C
lin
k
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdo
o
laege
ba
r
vinok_enu
m
erate_with_option
s
:
c
ompute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Be
r
noulli_sum_evalue:
h
andle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Be
r
noulli_sum_evalue:
cut off some r
e
dundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_
s
u
m
_
evalue: ma
k
e
s
ure no
empty
p
a
rtiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_eval
u
e
: rem
o
ve re
d
undant co
n
stra
i
nt
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernou
l
li_sum: h
a
ndle con
t
ext constr
a
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli
_
sum_evalue: make sure en
o
u
g
h memor
y
is all
o
cate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for_each_lowe
r
_
uppe
r
_b
o
u
n
d: a
d
d another callb
a
c
k
fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: adjust default range to c
o
ntext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
e
u
l
er
.
c
c
: sum
m
ate_over_dom
a
i
n: onl
y
c
onsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
param_u
t
il
.
c: export Param_Vertex_
S
et_F
a
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Param_Polyhedron_
F
a
c
et: pas
s
facet d
e
fining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
genfun
.
cc: parallel_polytopes:
don't b
o
t
h
er
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
evalue_split_d
o
mains_into_
o
rthant
s
: don'
t
reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_read:
only all
o
w t
e
rms t
o
cross newlines i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
e
v
a
l
ue_read: only accept i
m
plicit multi
p
li
c
atio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eval
u
e_read: accep
t
c
onstrai
n
ts containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_bernst
e
in_coeffi
c
ients: ensure re
s
ult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bernstein: p
i
ec
e
w
i
se_lst:
c
o
r
re
c
tly
pr
i
nt and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
remove_all
_
e
qualit
i
es: keep
r
emoving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoo
l
a
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oola
e
g
e
doc: cons
i
stent
u
s
e
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: update no
w
published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaeg
e
for_each_low
e
r_
u
ppe
r
_bound: allow abse
n
ce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdoolaege
Revert "eadd
_
part
i
tion
s
: try to co
m
bin
e
m
ul
t
iple do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaeg
e
ev
a
lue_read
_
partition: put
partitions
back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
evalue: reduce_e
v
alue: ad
d
n
o
te on some missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoo
l
ae
g
e
b
e
rnstein
.
cc: h
a
ndle input
with unions
+
relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxim
i
ze
.
cc: deal w
i
th unions in
input during verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
laege
evalue_substitute: properly
h
a
ndle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
a
e
ge
e
v
alue
.
c: clean up emul and
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
alue_read: correctly
read v
a
r
i
able nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
e
value_read: a
c
c
e
pt top level "rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
a
lue
_
back
s
ubsti
t
ute:
ad
d
req
u
ired modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
eval
u
e
.
c
: *_p
a
rtitions: si
m
plify constraints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
d
oc: m
o
re specific in
f
ormation on buggy cddlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
co
n
figure
.
in: require cddlib 0
.
94e by testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfigure
.
i
n
: only compile oc
c
if code_gen lib
r
ar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
ba
r
vino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
ad
d
some t
e
s
ts f
o
r implementation of
p
r
ojection th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoola
e
g
e
doc: document
new option
s
and new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHOR
S
:
up
d
ate support information
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
genfun
.
cc: short_rat::print
:
co
r
rectly print p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
Export series as barvin
o
k
_
e
n
u
merate_series and
us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
remove_pa
r
a
meter_equali
t
ies: stop "removing"
eq
u
alitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
se
r
ies: l
e
ave freeing of P argumen
t
to calling
f
uncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
doc: do
c
ument i
m
plementation of the proje
c
t
i
on t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
a
e
ge
add
b
arvi
n
ok
_
en
u
me
r
ate_e_series im
p
lementing the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
genfun
.
c
c
:
fi
x
and document parallel polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Onl
y
compile z
s
o
l
ve if gcc
3
.
4 or
l
ater
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiN
a
C
-independ
e
nt part of l
i
brary to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to
count the
number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en
Verdoo
l
a
ege
doc/imp
l
e
ment
a
ti
o
n
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
l
at
t
ice_width
.
c: try vertic
e
s
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
d
oc: d
o
cument integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdool
a
eg
e
hull
.
c: add all
points found by sampling directl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
dool
a
ege
Possib
l
e optim
i
zations for generalized bas
i
s red
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Support us
e
of gene
r
alized b
a
sis redu
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaeg
e
ad
d
Polyhedron_Integer_Minimum for computing
t
he integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
oolaege
doc: do
c
ument
generalized
b
asis r
e
d
uctio
n
bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
d
oc/barv
i
nok
.
bi
b
: add mi
s
sing
s
trin
g
commit
|
commitdiff
|
tree
2007-11-17
S
ven Ve
r
doola
e
ge
add more mis
s
ing
assert
.
h
#includes
commit
|
commitdiff
|
tree
next