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
S
v
en Verdo
o
laege
ev
a
lue
.
c: e
x
tend eequal to
h
a
ndle dom
a
in
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolae
g
e
binomi
a
l
.
c:
e
xtract b
i
n
o
m
ial and factorial from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaeg
e
power
.
h: extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n V
e
rdoo
l
a
ege
introduce ev
a
lue_shift_va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
ae
g
e
lattice
_
point
.
cc:
e
xport r
e
l
a
tive_
c
o
or
d
inates
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
latt
i
ce_po
i
nt
.
h
:
m
ake sure correct
ev
a
l
ues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
lattice_poi
n
t
.
cc: a
d
d ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
r
doolaege
uti
l
.
c:
i
n
t
e
rnalize
ugl
y
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdo
o
l
aege
lattice_point
.
cc: mul
t
i_monom/lattice_poin
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoola
e
g
e
doc: clean up "e
x
po
n
e
n
t
i
a
l substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
test_
b
ound
.
cc: av
o
id
loss of pre
c
ision cause
d
by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvi
n
ok_bound
:
opti
o
n
ally ta
k
e maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
er
d
oola
e
ge
b
a
r
v
i
n
ok_
b
o
u
n
d: a
d
d -
-
iterate
o
p
tions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
expor
t
functions for s
e
tting and c
l
ea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
verif
y
.
c
:
e
value_optimum
:
a
l
l
ow co
m
putation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
b
e
rnstein
.
cc: evalue2e
x
: don't as
s
ume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aeg
e
bound
.
cc: fi
x
call to
e
v
a
lue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
e
{
add,mul}_p
e
riodi
c
s
:
plug
m
em
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
eva
l
ue
_
b
e
rnstein_coefficients: ha
n
dle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
l
a
t
t
ice
_
wi
d
th
.
c
: skip directions that are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verd
o
o
laege
Makefile
.
am: add cdd94
e
-tes
t
t
o
d
istributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoola
e
ge
omega/occ: optio
n
ally
u
se parker for computing
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_po
s
itive_ort
h
a
n
t:
p
r
o
p
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: relation2D
o
main: onl
y
co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
doolaege
occ:
add dump f
o
r
dumping i
n
b
arvinok_en
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
barvinok_enumer
a
t
e_e
:
optionall
y
use
p
a
rker's
met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doo
l
aege
standard_constraints: take
co
n
s
t
raints i
n
s
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c
:
extract s
t
andar
d
_co
n
strai
n
t
s f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
p
ark
e
r
/
coun
t
_
solutions
.
cc:
fix tr
e
atment
o
f ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verd
o
ol
a
ege
comp
i
le p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
e
value_
d
e
rive
:
h
a
nd
l
e consta
n
t
polynom
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
s
ome tes
t
s
e
ts
from cases 2004 and cc
200
5
p
aper
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
ool
a
ege
rename barvino
k
_m
a
x
i
mize t
o
barvi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
add a
test for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
evalue_ra
n
ge_propagation:
r
emo
v
e redu
n
d
a
n
t
poly
n
o
m
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
u
n
d: record
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
test_bound:
con
v
ert qua
s
ipolyn
o
mi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
test
_
bound: co
m
pare poly
n
omial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
fy
.
c: optim
u
m: h
a
ndle input evaluatin
g
to
n
e
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
: ex
t
ra
c
t evalue_opti
m
um f
r
om
maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
v
erify
.
c
:
extract c
o
mm
o
n
code for
v
erify
i
ng o
p
erat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
range_propa
g
a
t
ion: ad
d
monot
o
nicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
bar
v
inok_ma
x
imize:
o
p
t
ionall
y
use (ba
s
ic) range
p
r
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
r
d
ool
a
e
ge
Add some sup
p
ort for deali
n
g wi
t
h eva
l
ues
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
barvinok_enumerate: support use
o
f Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolaege
i
m
p
lement Bernoulli_sum as conversi
o
n from un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
olaege
B
ernoul
l
i
_
s
um_evalue: exploit int
e
ger bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
ae
g
e
keep
t
rack of num
b
er of
Bernou
l
li sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
bernoul
l
i
.
c:
p
rotect sha
r
ed evalu
e
from modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t
B
erno
u
lli
s
um
s
b
ase
d
e
xact en
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ba
r
vinok
_
count_with_o
p
t
ions: compute
(
e
xact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Ber
n
oulli_su
m
_eva
l
ue
:
o
ptionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
lattice_point
.
h
: export fracti
o
na
l
_
p
art with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvin
o
k_enumerate_wi
t
h_op
t
i
ons:
compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ern
o
ulli_sum_
e
va
l
ue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
aege
Be
r
noulli_sum_evalue: cut off some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Bernoulli_sum_e
v
alue: make sure
n
o empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_s
u
m_eval
u
e:
r
emove red
u
ndant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ola
e
ge
bernoul
l
i
.
c: minor refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
B
e
rnoulli_sum
:
handl
e
cont
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oo
l
aege
for_
e
a
c
h_lower_u
p
per
_
bound: add ano
t
her
c
a
l
lback
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
ver
i
f
y
.
c: adjust default range to context
if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
eul
e
r
.
cc: s
u
m
mate_over_dom
a
in: only consi
d
er
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
param_util
.
c
:
e
x
por
t
Param_Vertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
Para
m
_P
o
lyhedron
_
Fa
c
et: pa
s
s facet
d
e
f
ining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
genfun
.
cc: parallel_poly
t
opes: don't b
o
t
her
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ev
a
l
u
e
_sp
l
it_domai
n
s_into_orthants: don'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalu
e
_read: only
all
o
w terms to cross
n
ewlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaeg
e
evalue_r
e
a
d: only
a
ccept implicit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_rea
d
:
accept constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
e
v
alue_bernstein_coeffici
e
nts: ensure result
p
artit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
bernstein:
piecewi
s
e_lst: cor
r
e
c
t
ly
p
r
int
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
r
e
move
_
all_equalities: keep removing
parame
t
er
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rd
o
olaege
doc: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: updat
e
now publis
h
ed
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaeg
e
for_
e
ach_lo
w
er_upper_boun
d
:
allo
w
abse
n
c
e
of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rd
o
olaege
Revert "
e
add_p
a
rtitions: try to comb
i
ne
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalu
e
_read_partition: pu
t
par
t
i
t
ions b
a
ck in
t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
do
o
laege
eva
l
ue
:
reduc
e
_ev
a
lu
e
: a
d
d note
o
n
s
ome missed
o
pp
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
be
r
n
s
t
ein
.
cc: handle input
with un
i
ons + r
e
lation
v
i
o
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
doolaege
maximize
.
cc:
d
e
a
l
wit
h
unio
n
s in input durin
g
verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
la
e
g
e
ev
a
lue_
s
ubstitu
t
e:
p
rop
e
rly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
.
c: clea
n
u
p e
m
ul
and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
g
e
evalue_rea
d
: corre
c
tly rea
d
variable n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdoola
e
ge
evalue_
r
e
ad
:
accept top level "re
l
a
t
i
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verd
o
o
lae
g
e
update
poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoola
e
g
e
evalue_b
a
cksubst
i
tute: add
r
equ
i
re
d
m
od
u
lo constrai
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven V
e
rdoolae
g
e
evalue
.
c: *_partiti
o
n
s:
s
i
mplify c
o
nstraints
b
ef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
mor
e
s
pecific info
r
mation on b
u
ggy cddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
laege
con
f
igure
.
in
:
r
e
qui
r
e cddl
i
b 0
.
94e by
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdool
a
ege
con
f
igure
.
in:
o
n
l
y compile occ if
c
ode_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests
f
or imple
m
enta
t
i
o
n of projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
doc: docu
m
ent new options and
ne
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
A
UT
H
ORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdo
o
lae
g
e
genfu
n
.
cc: short_r
a
t
::print: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdo
o
laege
Expo
r
t
ser
i
es as barvinok_enumerate_s
e
r
i
es a
n
d use
.
.
.
commit
|
commitdiff
|
tree
next