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 Ver
d
oo
l
aege
evalue
.
c: extend e
e
q
u
al to handl
e
d
omains and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
binomial
.
c: extract binomia
l
and factorial fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
powe
r
.
h: extract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
in
t
rodu
c
e
e
value
_
s
h
ift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdo
o
laege
latti
c
e_point
.
c
c: export relati
v
e_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n V
e
rdoola
e
g
e
l
attice_point
.
h: mak
e
sure co
r
re
c
t
e
values
a
re
u
sed
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaeg
e
lattice_point
.
cc: a
d
d ceiling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c:
intern
a
lize
u
g
l
y bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: multi_
m
onom/latti
c
e_p
o
ints: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Ve
r
do
o
laege
doc:
clean up "exp
o
n
e
ntial substi
t
uti
o
n" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
ge
test_bound
.
cc: avo
i
d
loss of precision caused
b
y
con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
r
v
inok_
b
oun
d
: opt
i
onally take
maximal size of dom
a
in
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
b
a
rvin
o
k_bound:
add --iterat
e
optio
n
s fo
r
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
e
r
d
oolaege
verify
.
c: export func
t
ions
f
or setting an
d
c
l
ea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c: evalu
e
_optimum:
allow computation of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
bernst
e
i
n
.
cc
:
evalue2ex: don't assume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oola
e
ge
bound
.
c
c:
fix call to evalue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e{add,mul}_periodics: plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstei
n
_coefficients:
h
andl
e
p
r
obl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doo
l
a
e
ge
upd
a
te po
l
yli
b
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n
Verd
o
olaege
lattice_wid
t
h
.
c: s
k
ip dir
e
cti
o
n
s
t
h
at
a
r
e identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makefile
.
am
:
add c
d
d94
e
-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/o
c
c
: o
p
tionally use pa
r
ker fo
r
compu
t
in
g
c
a
rdina
l
it
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
n
o
rm
a
liz
a
tio
n
.
c: skew_t
o
_positive_
o
rthant: p
r
oper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
omega/
c
onvert
.
cc: relation2Domain: on
l
y co
l
lect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add d
u
mp for dumping in bar
v
inok_enumer
a
te_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok
_
enumerate_e: optionally use p
a
rker'
s
m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolae
g
e
standard
_
constrai
n
ts: take constraints instead of po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
n
o
rm
a
liz
a
t
i
on
.
c: extract st
a
ndard_co
n
str
a
ints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolae
g
e
parker/count_solutions
.
cc: fix treatment of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
compi
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
uler
.
cc: evalue_derive
:
handle constant
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
add
s
ome tes
t
set
s
from cases 2004 a
n
d cc 2
0
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvinok_maxi
m
i
z
e to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a
test for
t
e
s
t_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
eva
l
u
e
_
r
ange
_
propagat
i
on
:
remove
red
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_bound: reco
r
d number of po
l
y
n
o
mials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: convert q
u
asipolynom
i
als to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
tes
t
_bo
u
nd: compa
r
e
p
olynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c:
o
ptimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ver
i
fy
.
c: ext
r
act evalue_o
p
ti
m
u
m
from m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
: extr
a
ct
c
ommon code for verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eva
l
ue
_
range_prop
a
gation:
add
m
o
notonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvi
n
ok_maxi
m
ize: op
t
ional
l
y use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
A
dd
some supp
o
r
t
for dealing
with
e
values that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
b
a
rv
i
nok_enume
r
at
e
: suppor
t
use of Euler
-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laeg
e
implement Bernoulli_sum a
s
conversio
n
from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bern
o
ulli_sum_evalue: e
x
ploit integ
e
r bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
keep
t
rack of nu
m
ber o
f
Berno
u
lli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
erno
u
lli
.
c: prot
e
ct sh
a
r
e
d evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
lae
g
e
test B
e
r
noulli sums b
a
sed e
x
a
ct enum
e
ra
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
b
a
rvino
k
_count_with_options: compute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
ge
Bernou
l
li_su
m
_evalue: optionally han
d
le
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
latti
c
e_po
i
nt
.
h:
export
f
ract
i
o
n
a
l
_
part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
arvin
o
k_enumerate_with_op
t
ions: compute (exact) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Ber
n
oul
l
i_s
u
m_evalue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_s
u
m
_
eval
u
e:
cut o
f
f so
m
e redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdool
a
ege
Bernoulli_su
m
_eva
l
ue: mak
e
s
ure
no e
m
pty
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bern
o
ulli_s
u
m_evalue: remove redun
d
ant con
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
e
r
noulli
.
c: mino
r
refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Be
r
noulli
_
sum: handl
e
context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
do
o
lae
g
e
Bernoulli
_
sum_evalue
:
make sure enough
memory
i
s
allo
c
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
for_each_
l
o
wer_upper_bound: add another
callba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verif
y
.
c:
adjust defaul
t
range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
euler
.
cc: summat
e
_over_doma
i
n: only consid
e
r actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
para
m
_
u
til
.
c: export
P
ar
a
m_V
e
r
t
ex_Set_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doo
l
aege
Param_Polyhe
d
ro
n
_
F
acet: pa
s
s facet d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
g
e
nf
u
n
.
c
c
: parallel_po
l
y
topes: don't bot
h
er hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
eval
u
e_
s
p
lit_domai
n
s_into_
o
r
thants: don't reduc
e
eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
evalue_read: only allow ter
m
s to
cross
n
ewl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
read: only acc
e
pt
i
m
p
lic
i
t mul
t
iplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
e
value_read: accept cons
t
raint
s
containing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eva
l
ue
_
bernstein_
c
o
effi
c
ient
s
: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
bernstein: piecewise_lst: correctly print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
remove_all_equa
l
ities: keep removing par
a
met
e
r equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc: consis
t
ent use
of
K
evin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdool
a
ege
doc
:
u
p
d
ate
now
p
u
b
lished pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
for_each_lower_upper_bound: allow absen
c
e of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
ge
R
e
vert "ead
d
_
p
artitions:
try to combine
multip
l
e domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partit
i
on:
p
ut parti
t
i
o
n
s bac
k
i
n
the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue: r
e
duce
_
evalue: add note on some missed o
p
port
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
b
e
r
n
st
e
in
.
cc: handle input with unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
maximize
.
cc: deal with
unio
n
s in input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
e
v
alue_subs
t
itute: prope
r
ly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
value
.
c: clean u
p
e
mul and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
eval
u
e_rea
d
: cor
r
ectly read va
r
iable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_rea
d
:
accept
t
op level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
update p
o
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolae
g
e
evalue_backsubs
t
i
t
ute: add requ
i
red mo
d
ulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdoo
l
aege
e
v
alue
.
c: *_pa
r
titions: s
i
m
plif
y
const
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdo
o
laege
doc: more s
p
ecif
i
c
information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
o
n
f
i
gure
.
in: requir
e
cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
o
nfigure
.
in:
o
nly compil
e
occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
a
d
d
some tests for im
p
lementation of
p
ro
j
ect
i
o
n
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c
:
document new option
s
and
new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
A
U
THO
R
S:
upda
t
e sup
p
o
rt
i
nformat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
g
enf
u
n
.
cc: sh
o
rt_rat::print: cor
r
ectly print poly
n
om
i
al
s
.
.
.
commit
|
commitdiff
|
tree
next