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
doc: fix typo
2008-05-08
Sv
e
n
Verdoolae
g
e
doc: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add editor
s
to
I
TSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oolaege
use a
r
gp for
a
r
gu
m
ent parsing in
barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
doolaeg
e
prop
e
rly handle
N
TL CP
P
FLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
dool
a
ege
basis_reduction_templ
.
c
:
a
dd miss
i
ng includ
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
add some te
s
t sets from its
l
2008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc: ad
d
lates
t
(
a
ccep
t
ed) p
u
blica
t
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefil
e
.
am: add sec
t
i
o
n
_arr
a
y
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doola
e
ge
normalization
.
c: com
p
ute_shifts: remove redu
n
d
a
nt retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
move Free_ParamN
a
mes po
l
y
lib and make param name
s
co
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolae
g
e
o
cc: add inte
r
fa
c
e to barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
e
x
_conver
t
.
cc:
extract ex2evalue
from
r
an
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
doc: document mor
e
--s
u
mmat
i
on meth
o
ds for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
opt
i
ons
.
c: rena
m
e
"
ba
r
vinok"
summ
a
tion method
to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: check-euler
:
also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
olaege
summ
a
te
.
c:
b
arvino
k
_summate:
handle products of
p
o
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdool
a
ege
evalue
.
c: ex
p
ort evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
bernstein: numeric2valu
e
: fix typo to a
l
low correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
u
til
.
c:
F
a
ctor_Context: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c
:
barvinok_summ
a
te: ign
o
re floors inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
e
v
alue
.
c
: add evalue_floor
2
fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
om
e
ga/occ: print barvin
o
k
v
e
rsion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update some referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
M
a
k
e laur
e
nt based summati
o
n the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
ummate
.
c
:
b
arvinok_s
u
mmate: handle qu
a
si
-
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
re
d
uce_eva
l
ue: extrac
t
out e
v
al
u
e_reduc
e
_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
ev
a
lue
.
c: e
v
alue_shift_vari
a
bles:
a
llow s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
summate
.
c: handle equ
a
lities for
all summat
i
on
a
lgorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
ae
g
e
su
m
m
ate
.
c
:
barvinok_summate
:
move commo
n
part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
eva
l
u
e
.
c:
e
va
l
ue_sum: move sign
handlin
g
into esum
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
barvi
n
o
k
_e
.
c
c
: en
u
merate_sum:
u
se b
a
rvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdo
o
l
a
ege
su
m
mate
.
c: extract barv
i
nok
_
summat
e
from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
d
o
olaege
rename su
m
mate
.
cc
t
o b
a
rv
i
nok
_
s
ummate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
e
va
l
ue
.
c: re
d
uce_eval
u
e: reduce floor wi
t
h constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
Add Lau
r
e
n
t expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
ev
a
lue
.
c: extend
eequal
t
o handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olae
g
e
b
i
nomi
a
l
.
c: extract bi
n
omial and factorial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
doolaeg
e
power
.
h: extr
a
ct
f
rom
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
olaege
introduce
evalue_s
h
i
f
t_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
lattice_poin
t
.
cc: export relative_
c
o
ord
i
na
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdo
o
laege
lattice_poin
t
.
h: mak
e
sure correct eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoo
l
aege
latti
c
e
_point
.
cc: a
d
d ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
u
til
.
c: int
e
r
n
alize ugly b
v
_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
lattice_poi
n
t
.
cc: multi_monom/lattice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: clean
u
p "exponential substitution" sec
t
io
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
te
s
t_bound
.
cc:
a
void loss of precision c
a
use
d
b
y
conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
barvinok_bound: optionally take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoo
l
ae
g
e
barvino
k
_b
o
u
nd:
a
dd --iterate o
p
t
i
ons for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaeg
e
verify
.
c: ex
p
ort functions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
v
e
rify
.
c: evalue_optimu
m
: allow c
o
mput
a
tion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaeg
e
bernstein
.
cc:
e
value2ex: don
'
t as
s
ume all periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
bou
n
d
.
cc: fix call to evalue_c
o
n
v
ert
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdool
a
ege
e{add
,
mul}_periodics:
p
lug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_coef
f
i
cients: handle pro
b
lems w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
r
d
oolaege
upda
t
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
rdoola
e
ge
lattice_width
.
c: skip dir
e
ctions
t
hat are identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Ver
d
oolaege
Mak
e
file
.
am: add c
d
d94e-t
e
st t
o
d
istr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
e
rdoolaege
omega/
o
cc: opti
o
n
ally
u
se pa
r
ker fo
r
co
m
puting
cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
norma
l
i
zation
.
c
:
skew_t
o
_p
o
sitive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
c
c
: rel
a
tion2D
o
ma
i
n
:
o
nly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
o
cc: add
dump for dumping in barvinok
_
e
numerate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
ba
r
vin
o
k_enume
r
ate_e: op
t
ionall
y
use parke
r
's met
h
o
d
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
s
tand
a
rd_constraints: take const
r
a
i
nts inste
a
d o
f
polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
normaliz
a
t
ion
.
c: extract standard_co
n
s
tr
a
ints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
p
arke
r
/
count_solut
i
on
s
.
cc: fix tre
a
tment o
f
existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
o
o
laeg
e
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
eul
e
r
.
c
c
:
e
val
u
e_derive:
h
andle constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doola
e
ge
ad
d
some test sets from cases 2
0
04 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
renam
e
barvinok_maximi
z
e
t
o
ba
r
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a test fo
r
test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
evalue_range_propag
a
tion: remove redun
d
a
nt
p
olynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_
b
ound: record numb
e
r of p
o
lynomials as "
s
i
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
test_bound:
c
onvert qua
s
i
po
l
yn
o
mials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
t
es
t
_bo
u
n
d: compare
p
o
lynomial boun
d
algor
i
th
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c
: optimu
m
: ha
n
dl
e
input evaluating to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ve
r
ify
.
c
:
e
xtract evalu
e
_
o
ptimum from max
i
m
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ver
i
fy
.
c: extract common code f
o
r veri
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
evalue
_
rang
e
_pr
o
pagation: a
d
d mo
n
otoni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
barvi
n
ok_maximize: optionally use (basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Add
s
o
me su
p
port for deal
i
ng
wi
t
h evalues
t
hat re
p
re
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bar
v
inok_enumerate: support us
e
o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
implem
e
nt Bernoulli_sum as
c
o
nversion from unwei
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
o
olae
g
e
Berno
u
lli_sum_evalue:
ex
p
l
o
it i
n
teger bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
o
f number of Bernoull
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
ber
n
oulli
.
c
: prote
c
t
shared ev
a
l
u
e fro
m
mo
d
ification
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
test Bernoulli sums
b
ased ex
a
c
t e
n
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvi
n
o
k
_count_with_options
:
com
p
ute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
Bernoulli_sum_eval
u
e: opti
o
nal
l
y
h
andle frac
t
io
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
lattice_point
.
h: export fr
a
ctiona
l
_
part with C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
barvinok_en
u
merate_w
i
th_options: compute (ex
a
ct) B
e
rn
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Berno
u
lli_sum_ev
a
lue
:
hand
l
e equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue
:
cut off some red
u
ndan
t
part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue: make sure n
o
empty
partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Ber
n
oulli_sum_e
v
a
l
ue: remove redundant constr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
b
e
r
n
o
ul
l
i
.
c: m
i
nor r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Ber
n
oull
i
_sum: handle
context
c
onstra
i
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoul
l
i_sum
_
evalue: make
sure e
n
ough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
for_each_lo
w
e
r
_upper_bound
:
add anoth
e
r c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
next