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: avoid use of alloca
2008-07-22
S
ven Verdool
a
ege
Fix ou
t
-o
f
-bounds error in L
a
u
rent e
x
pansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdool
a
e
g
e
Includ
e
em
p
t
y
.
c file
in libba
r
v
inok i
f
GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
c
o
rr
e
ctl
y
reflect extra sources fo
r
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo
in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
lib/s
t
ring
.
in
.
h:
copy
_
_
restrict hand
l
ing from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verdoolaeg
e
update gnulib function
t
o
last pre-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enu
m
erator:
:
handle: repla
c
e i
n
co
r
rect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update piplib fo
r
correcte
d
Urs_parms handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
g
e
configure: use cor
r
ect header fil
e
s in case of bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
omega/occ:
o
nly open debu
g
outp
u
t
file if there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
add edi
t
ors to I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoolae
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
add some test s
e
ts from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
doc: add latest (accept
e
d) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: a
d
d
s
ection_array
.
h
to
d
istribu
t
ion
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
d
ool
a
e
g
e
normalization
.
c: compute_shifts: remove r
e
du
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
mo
v
e Free_ParamNames poly
l
ib an
d
make param names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
e
r
d
oolaege
occ: add interface to bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laeg
e
ex_conve
r
t
.
c
c: extract
e
x
2evalue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
ge
doc:
d
ocument more --summation met
h
ods for
b
arvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
op
t
ions
.
c: ren
a
me "barvino
k
"
summation method
to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
Makefi
l
e
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
summ
a
te
.
c: barvin
o
k_
s
ummate
:
h
a
ndle pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c
:
e
xport
e
v
alue_re
o
rder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
b
e
rns
t
ein: numeric2
v
al
u
e: fix typo
t
o allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor_Cont
e
xt: extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
ool
a
ege
sum
m
ate
.
c:
barvinok_summa
t
e: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c
: add
evalue
_
floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
omega/
o
cc: print barvinok
v
er
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
do
c
: update some referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
Make
l
auren
t
based
s
u
m
mation the default
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
summate
.
c: barvinok_summate: h
a
ndle
quasi-
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolae
g
e
red
u
ce_evalue:
e
xtract out eva
l
ue_redu
c
e
_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdo
o
l
aege
ev
a
lue
.
c:
ev
a
lue_shift_variabl
e
s:
allo
w
shif
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmat
e
.
c: handle equa
l
ities f
o
r a
l
l s
u
mmati
o
n
al
g
ori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
V
e
rdoolaege
summate
.
c:
bar
v
inok_summate: mo
v
e
c
ommo
n
parts of
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c:
e
value_sum: move sign ha
n
d
ling into es
u
m_over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaeg
e
barv
i
nok_e
.
c
c:
e
n
umerate_sum: use bar
v
inok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summat
e
.
c: extract barvino
k
_summate from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
rename summate
.
cc to barvinok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: reduce_evalue: reduce floo
r
with
consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
A
dd Laurent expansio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
er
d
oolae
g
e
evalue
.
c:
e
xtend eequal
t
o handle dom
a
ins and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
b
inomial
.
c:
e
xtract binomial a
n
d
facto
r
ial
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
e
rdoolaege
power
.
h: extract from
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
in
t
rodu
c
e
evalue_
s
hift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erdool
a
ege
l
a
ttice
_
po
i
nt
.
cc:
e
x
p
ort relative_
c
o
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
r
doolaeg
e
l
at
t
ice
_
poi
n
t
.
h: mak
e
sure co
r
rect
e
val
u
es are
u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_
p
oin
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
latt
i
ce_point
.
cc: multi_mon
o
m/latt
i
ce_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdo
o
lae
g
e
doc: c
l
ean up "exponential subst
i
tutio
n
"
s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
test_bound
.
cc:
a
v
o
id l
o
ss of pre
c
i
s
i
on caused
b
y con
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaeg
e
barvin
o
k
_
b
o
und: op
t
ionally
t
ake ma
x
imal siz
e
of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoo
l
aege
barvinok_bound: add --iterate opti
o
ns for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaeg
e
verify
.
c: export fu
n
ctions
for s
e
tti
n
g and
c
lear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
ve
r
ify
.
c: eva
l
ue_optimum: allow comp
u
tation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aeg
e
bernstein
.
cc: evalue2ex: don't assume al
l
pe
r
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bo
u
nd
.
cc: fix call to evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e{add,mul
}
_p
e
riodic
s
: plug memory
l
ea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
v
alue_bernstein_coefficients: han
d
le pro
b
lems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
do
o
lae
g
e
lattice_
w
idt
h
.
c
:
skip d
i
rec
t
ions that are ide
n
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefile
.
am: add cdd94e-tes
t
to distribut
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/occ: op
t
iona
l
l
y
use parker for computing cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
normalizatio
n
.
c
: skew
_
to_positiv
e
_ortha
n
t: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
ome
g
a
/con
v
ert
.
cc: rela
t
ion
2
Domai
n
: o
n
ly collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n V
e
rdoolaege
occ:
a
dd dump for dumpin
g
in barvi
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
barv
i
nok_enumerate_e:
o
pti
o
n
all
y
use pa
r
ke
r
's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
st
a
n
d
ard_constraints:
take
constraint
s
instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
n
o
rmaliza
t
ion
.
c: extrac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ver
d
oolaege
pa
r
ker/count_solut
i
ons
.
cc: fix tr
e
a
t
ment o
f
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
c
ompile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
euler
.
cc: evalu
e
_
d
erive:
h
a
n
d
l
e constant
pol
y
no
m
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
add some test set
s
fr
o
m cases 20
0
4 and cc 200
5
paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
r
e
name barvinok_
m
aximi
z
e to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
ev
a
l
ue
_
range_propagation: remove redundant p
o
lyn
o
mi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_b
o
u
n
d
: record n
u
mber of
polynomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaeg
e
test
_
b
ound:
c
onvert
q
uasipol
y
nomials t
o
polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
test_bound: compare po
l
y
nomial bound algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
v
erify
.
c
:
optimum: handle input eval
u
ating to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
verify
.
c
:
extract ev
a
lue_optimum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c
:
extract com
m
on code for verify
i
ng
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ev
a
lue_
r
ange_pro
p
agation: add monotoni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_maximize: optio
n
ally
u
se
(
basi
c
) range pr
o
pagatio
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add some support for dealing wit
h
evalues t
h
at rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
barvi
n
ok_
e
num
e
rate:
support us
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
olaege
implement Bernoulli_sum
a
s conversi
o
n from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
ernoulli_sum_e
v
a
lue: exploit i
n
t
eger bounds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
la
e
ge
keep track o
f
number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernou
l
li
.
c:
p
rotect
s
hared eval
u
e
from modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
test B
e
rnoulli sums b
a
sed exact enumera
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
barvinok_coun
t
_with_opti
o
ns:
compute
(
exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
o
laege
Berno
u
ll
i
_sum_e
v
alue: optionally
h
andle f
r
acti
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
lattice
_
p
oint
.
h
:
export frac
t
ional_part with C
li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate
_
with_o
p
tio
n
s: c
o
mpute (e
x
ac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
Bernoulli_sum_
e
value: han
d
l
e
equal
i
t
ies
commit
|
commitdiff
|
tree
next