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
evalue.c: extend eequal to handle domains and NaNs
2008-04-25
Sven Verdoolaege
evalue
.
c:
e
x
tend
eequ
a
l to hand
l
e d
o
mains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extrac
t
binomial and fac
t
o
r
ial from
e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oola
e
ge
p
o
w
e
r
.
h:
extract from
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
introd
u
ce evalue_shi
f
t
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
lattice_point
.
cc:
e
x
port
r
ela
t
ive_coor
d
i
n
a
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
o
laege
lattic
e
_point
.
h: make sure correct evalues
are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
lattice
_
po
i
n
t
.
cc: add ceiling f
u
ncti
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
g
e
uti
l
.
c: internalize ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
rd
o
olaege
latti
c
e_point
.
cc: multi_mon
o
m/lattice_poi
n
ts: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
d
oc: clean
u
p
"
exponent
i
al
s
ubs
t
itution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
test_bound
.
cc: a
v
oid l
o
ss of p
r
ecision
cause
d
b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvinok_bound: optionally
t
ak
e
maxim
a
l
size o
f
d
o
m
ain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ver
d
o
olaege
b
arvinok_bound: add --i
t
e
rate opt
i
o
ns
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
v
e
rify
.
c: exp
o
rt function
s
for se
t
ting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
verify
.
c: evalue_optimum: allow computation o
f
o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
bernste
i
n
.
cc: evalue2ex: d
o
n't assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
b
ound
.
cc: fix c
a
l
l to evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e{add,
m
ul}_periodics
:
plug
m
e
m
ory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
g
e
evalue_bernstein
_
co
e
fficients: handle problems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattice_width
.
c: skip
directions that a
r
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaeg
e
M
a
kefil
e
.
am: add c
d
d
9
4e
-
tes
t
to d
i
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/oc
c
:
o
p
t
ion
a
lly use parker for comput
i
ng cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdool
a
e
g
e
n
o
r
maliza
t
ion
.
c: s
k
ew_to_p
o
s
i
tiv
e
_orthant: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/convert
.
cc: relatio
n
2Domain: only collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Ve
r
doola
e
ge
occ
:
a
d
d dump for
d
umping in barvino
k
_enu
m
erate_
e
fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
b
arvinok_enumerate_e: op
t
io
n
a
l
l
y use parker's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
st
a
ndard_const
r
aints: take constraints instead
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
n
o
rmalization
.
c
:
ext
r
act standard_con
s
tr
a
ints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
parker/count_solutions
.
cc: fix t
r
ea
t
ment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verd
o
ol
a
ege
compile p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
do
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c: evalue_derive: handle constan
t
polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some te
s
t
sets from cases 20
0
4 an
d
c
c
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvin
o
k
_
maxi
m
ize t
o
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d
a
test for
test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e
_ran
g
e_propagation: remove
redun
d
an
t
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_bound: rec
o
rd num
b
er
o
f polynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test
_
b
ound: convert quasipoly
n
omials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
tes
t
_bound: compare polyn
o
mial
bound
algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ve
r
ify
.
c: optim
u
m: handle input evalu
a
ting to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
g
e
verify
.
c: extract
evalue_o
p
timum f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c: extra
c
t
c
o
mmon code for v
e
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_ran
g
e
_
prop
a
gation:
a
dd
m
o
notonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
barvin
o
k_maxim
i
ze: o
p
tionally
u
se (ba
s
i
c
) ran
g
e p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add some support for d
e
ali
n
g w
i
th evalues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_enum
e
r
a
t
e
: support u
s
e of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
oo
l
ae
g
e
implem
e
nt B
e
rnoulli_sum as c
o
nv
e
rs
i
on from
u
nweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Be
r
noulli_sum_evalue: exploit i
n
teger bo
u
nds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
la
e
ge
keep track of number of Bernoulli
s
um
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
bernou
l
l
i
.
c:
p
rotect share
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test Bernoulli s
u
ms bas
e
d
exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvin
o
k_count_with_op
t
i
on
s
:
c
ompute
(exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_
e
v
a
lue: optionally handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h:
export fra
c
tiona
l
_
p
art wit
h
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
bar
v
i
n
ok_enumera
t
e_with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
Bernoul
l
i_sum_evalue
:
handle
e
qual
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e: cut off
so
m
e redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdool
a
ege
Be
r
noulli_sum_ev
a
lue: make sure no empty par
t
ition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
e
rnoulli_sum_eva
l
ue:
r
em
o
ve
redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
lae
g
e
berno
u
lli
.
c:
m
i
nor
r
efactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_s
u
m: handle co
n
text co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Bernoulli
_
sum_eval
u
e: m
a
ke
sure en
o
ugh memory
i
s
alloca
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
for_each_lower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
e
g
e
verif
y
.
c:
a
djust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
euler
.
cc: summa
t
e
_over_d
o
main: only cons
i
der a
c
tua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
param_util
.
c: export Par
a
m
_Ver
t
e
x_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
P
aram_Poly
h
edron_Face
t
: pa
s
s facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
gen
f
u
n
.
cc: parall
e
l_polytopes: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
er
d
o
olaege
evalue_split_domains_into_orthan
t
s
:
don't red
u
ce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
e
ge
evalue_
r
ea
d
: only allow
t
erms to cross
newlines
i
nsid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
eval
u
e_read:
only accep
t
i
m
pl
i
c
i
t
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept
constrai
n
ts containing
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
e
v
a
lue_bernstein_coeff
i
cie
n
ts
:
ensure
r
esult
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolae
g
e
be
r
nstein: piecewi
s
e_lst:
c
orrectly print a
n
d evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities: k
e
ep removing p
a
rameter equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent use of Kevin'
s
ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
doc:
u
p
date now publis
h
ed
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
for
_
e
ach
_
lower_
u
pper_bound: all
o
w abse
n
ce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
R
evert
"ea
d
d_partitio
n
s
:
t
ry t
o
com
b
ine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
do
o
laege
e
value_read
_
partitio
n
: pu
t
partitions
back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
alue: reduce_eva
l
ue: add note on some missed opportu
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
olaege
bernstein
.
cc: handle i
n
put with uni
o
ns + relation
v
io
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laeg
e
maximize
.
c
c
: dea
l
with unions in in
p
ut duri
n
g v
e
rifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_substitute: prop
e
rly handle
relation
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
laege
eval
u
e
.
c: clean up
emul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_
r
ead: cor
r
ectly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
ge
eval
u
e
_
read: accept top leve
l
"relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoola
e
g
e
e
v
alue_backsu
b
s
titute: add r
e
quired mod
u
lo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Ve
r
d
o
o
laege
evalue
.
c:
*
_partitions: simp
l
if
y
constraint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ve
n
Verdoolaege
doc: more sp
e
cific information o
n
buggy cdd
l
ib
v
e
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoolaege
configure
.
i
n
: req
u
i
r
e
c
ddlib 0
.
94e by
tes
t
ing for b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
d
o
olae
g
e
configure
.
in: only compile occ
i
f
code_ge
n
lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
add some
t
e
s
t
s for i
m
plem
e
ntat
i
on o
f
projection
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
d
o
c
:
document n
e
w option
s
and new
ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update support informa
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoola
e
ge
gen
f
un
.
c
c
: short_ra
t
::print: corre
c
t
l
y
p
rint pol
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
next