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: update some references
2008-05-03
Sven Ve
r
doolaege
doc: update some
r
e
f
erenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
M
ake laurent based summation the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
summate
.
c
: barvi
n
ok_summate: handl
e
qua
s
i
-
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
e
duce_evalue: ex
t
ract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: evalue_
s
h
i
ft_var
i
ables: allow shif
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c: h
a
ndle
equalities for al
l
summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
l
aege
sum
m
ate
.
c:
b
a
rvinok_su
m
mat
e
:
m
o
ve com
m
on pa
r
ts of
s
ummat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
la
e
g
e
evalue
.
c:
e
v
a
l
ue_su
m
:
m
ove
s
i
g
n
handl
i
ng in
t
o
esum_over_
d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
b
a
rvinok_e
.
cc: en
u
mer
a
te_sum: us
e
ba
r
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
summ
a
te
.
c: extr
a
c
t
ba
r
v
inok
_
sum
m
ate
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
rename summate
.
cc to barvino
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Ve
r
doolaege
evalu
e
.
c: reduce_
e
value:
reduce floor
w
ith cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
Add
Lauren
t
expansion b
a
sed summatio
n
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdool
a
ege
evalue
.
c: extend eeq
u
a
l
t
o handl
e
d
omains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
binomial
.
c: extract
binomial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
power
.
h: extr
a
ct from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
ola
e
ge
i
n
tr
o
duce
evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
l
a
ttice_point
.
cc: e
x
p
ort
r
elati
v
e
_
co
o
rd
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
latti
c
e_point
.
h: make
s
u
re correct evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
latt
i
ce_
p
oi
n
t
.
cc: add ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
do
o
laege
ut
i
l
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
lattice_
p
oin
t
.
c
c: multi_
m
onom/lat
t
ic
e
_poi
n
ts: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olae
g
e
doc: clean up
"
exponentia
l
substitut
i
on" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
test_bo
u
nd
.
cc:
a
void
l
o
ss of precisi
o
n caused by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
barv
i
nok_bound:
o
p
tio
n
ally
take
ma
x
imal siz
e
o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_
b
ound: add -
-
iter
a
t
e options for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
exp
o
rt func
t
ions for s
e
tting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
er
d
oolaeg
e
verify
.
c:
e
v
a
l
ue_opti
m
um
:
all
o
w compu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bern
s
tein
.
c
c
: evalue2
e
x: don't assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
bo
u
nd
.
cc:
fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
ool
a
ege
e
{add,
m
ul}_periodics: plug mem
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
evalue_b
e
rnstein_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
p
date
p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en
V
erdoolaege
la
t
tice_width
.
c: skip
direc
t
ions that
a
re iden
t
ica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaeg
e
Makefi
l
e
.
am:
add cdd9
4
e-
t
est to di
s
tr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rd
o
olaege
omega/occ: optionally use p
a
rker f
o
r computing card
i
nali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalizat
i
on
.
c: sk
e
w_to_po
s
itive_or
t
hant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
d
o
olaege
om
e
ga/conv
e
r
t
.
c
c:
r
e
l
atio
n
2Domain:
on
l
y
c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oo
l
aege
occ: add d
u
mp for
du
m
pin
g
in
barvinok_enum
e
rat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
barvinok_enumer
a
te_e: option
a
lly us
e
park
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
standard_constraints
:
take constraints
instead
o
f p
o
lyh
e
d
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
n
o
r
ma
l
ization
.
c:
ext
r
act stan
d
ard_c
o
n
s
t
r
a
ints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erd
o
olaege
parker/
c
ount
_
solutions
.
cc: fix treatmen
t
of exi
s
tentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ver
d
oolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
c
c:
evalue_derive:
h
andle co
n
s
t
ant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
o
la
e
ge
a
d
d
some test sets
from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
rename barvinok_maximi
z
e to ba
r
vinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
a
ege
add a
t
est for
test
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
a
ege
evalu
e
_ran
g
e_propagation:
remov
e
redundant p
o
lynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ola
e
g
e
t
est_bound
:
r
ecord number of polynomi
a
l
s
a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test
_
bound: con
v
ert quasipolynomials to pol
y
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_
b
oun
d
: co
m
pare po
l
ynomial bou
n
d al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
verify
.
c: op
t
im
u
m: handle inp
u
t evalua
t
ing to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaeg
e
ver
i
fy
.
c: extract
e
value_optimum
f
r
om max
i
m
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: extract common code for verifyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aeg
e
evalue_range_propagati
o
n
:
add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
barvinok_max
i
miz
e
:
o
ption
a
l
l
y use (
b
asic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
Ad
d
some support for dealing w
i
th
e
values that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ba
r
vinok_enumerate:
support
u
s
e
of Euler-Ma
c
laur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
implement Bernoulli_sum
as
conv
e
rsion from un
w
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
Ber
n
oulli_sum_evalue
:
expl
o
it integer bounds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
keep track of n
u
mber
of Bernoulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
berno
u
lli
.
c: protect
shared eva
l
ue
from m
o
dif
i
c
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test Bernoulli sums based ex
a
ct enu
m
era
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
b
a
r
vinok_c
o
unt_
w
ith_opti
o
ns: compute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Bernoulli
_
su
m
_evalue: op
t
ionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
lattice_p
o
int
.
h: export fra
c
tional
_
par
t
wi
t
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
bar
v
in
o
k
_
enumer
a
te_with_options: c
o
mpute (exact) Be
r
no
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
Bernou
l
li
_
sum_eval
u
e: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoo
l
aege
Bernoulli_sum_ev
a
lue: cut off so
m
e redunda
n
t
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
B
ernou
l
li_sum_eval
u
e: m
a
ke sure
n
o empty part
i
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
u
l
li
_
s
u
m_ev
a
lue: remove redundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
do
o
laeg
e
be
r
noulli
.
c: m
i
nor r
e
fact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bern
o
u
l
li_su
m
: hand
l
e co
n
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolae
g
e
B
ernoulli_sum
_
e
value: make sur
e
enough memory
is all
o
cat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolae
g
e
for_each_lower_uppe
r
_bound: add an
o
t
her
callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
ve
r
i
fy
.
c: a
d
just defa
u
l
t rang
e
to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
:
s
ummate_
o
ver_d
o
ma
i
n: only consi
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoo
l
aege
param
_
util
.
c: export Para
m
_Ver
t
ex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Para
m
_P
o
lyh
e
dron_Facet: pas
s
facet def
i
n
ing con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
genfu
n
.
c
c: parallel
_
polyto
p
es: do
n
'
t
b
o
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
evalue_spl
i
t_domains_into_orthants: do
n
't reduce
ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_r
e
a
d: only
allow terms t
o
cross newline
s
i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
olaeg
e
evalue_
r
ead: only ac
c
ept implicit
m
ultiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead:
a
ccept constraints
containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olae
g
e
eva
l
ue
_
bern
s
tein_coefficients: ensure
r
esult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
bernstein: piecewise_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
remo
v
e_all_
e
qua
l
ities: ke
e
p
removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolaege
doc: consiste
n
t
u
se of Kevin's
i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
do
c
:
update now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lo
w
er_up
p
er_bound: allow absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "ead
d
_partit
i
ons: try to combine
m
ultiple do
m
a
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
aeg
e
e
v
a
l
ue
_
read_partition:
p
ut partit
i
ons
b
ac
k
i
n
the s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verd
o
olaege
e
v
alue: reduce_evalue: add note on some m
i
ssed o
p
portunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
l
a
ege
b
e
r
nstein
.
cc: handle input
w
ith unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
maximize
.
cc: deal with unions i
n
input d
u
ring
v
erific
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
e
value_
s
ubstitute: pr
o
perly ha
n
dle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
next