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 typos
2008-07-30
Sven Ver
d
oo
l
aege
doc:
f
i
x
typos
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolae
g
e
update
g
nulib fu
n
ct
i
on to last pre-GPL
v
3 ver
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
oolaege
enumerato
r
::h
a
ndle: rep
l
ace i
n
co
r
rect del
e
te by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
ool
a
e
g
e
update p
i
p
l
ib for correc
t
ed Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
con
f
igure:
u
se correct header file
s
in case of bundle
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
doolaege
o
mega/occ: only open de
b
ug
o
u
t
put fil
e
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaeg
e
ad
d
editors
t
o ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets from it
s
l2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
doc: add latest (accepted) publica
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaeg
e
Makefile
.
am: add sectio
n
_array
.
h
t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
nor
m
aliz
a
ti
o
n
.
c:
c
ompute_
s
hi
f
ts: rem
o
ve re
d
undant
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free
_
ParamNames polylib a
n
d make param na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoola
e
ge
occ: a
d
d int
e
rface to barvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
x
_convert
.
c
c
: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
doc: document m
o
re --summa
t
ion methods for barvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
la
e
ge
options
.
c: rename
"
barv
i
nok" summ
a
t
i
on method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
M
a
kefile
.
am: check-euler: a
l
so check
lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
sum
m
ate
.
c: barvinok_summate: h
a
ndle produ
c
t
s
o
f
p
olyt
o
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
evalue
.
c: export
ev
a
lue_reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
bernstein:
n
u
mer
i
c2value:
f
ix ty
p
o to al
l
ow
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
util
.
c: Fact
o
r_Conte
x
t: e
x
tracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
su
m
mate
.
c: b
a
rvinok
_
s
ummate: ignore floors independe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
ev
a
lue
.
c: add evalue
_
floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ:
prin
t
bar
v
inok
v
e
rsion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
doc: update s
o
m
e
refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
Ma
k
e
laurent
b
as
e
d summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: barvinok_
s
ummate: handle q
u
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
c
e_evalue: extra
c
t out evalue
_
r
e
du
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolae
g
e
evalue
.
c: evalue
_
shift_v
a
r
iables: allow shift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: h
a
ndle equalities for all summ
a
tion algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
ba
r
vin
o
k_
s
u
mmate: move
c
o
m
mo
n
parts of s
u
m
ma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolae
g
e
e
value
.
c: evalue_s
u
m: move sig
n
h
a
ndl
i
ng into esum_o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
barvinok_e
.
cc: en
u
merate_sum: use barvinok_
s
ummat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: ex
t
ra
c
t
barvin
o
k
_su
m
ma
t
e from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
rename summate
.
cc to
b
arvi
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c:
r
ed
u
ce_evalue
:
reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add
L
aurent exp
a
nsion
based
s
u
m
mat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequal to handle
domain
s
and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binom
i
al
.
c: extract
b
i
n
omial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaeg
e
power
.
h: extract
f
rom e
u
ler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue_shift
_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
la
t
ti
c
e_point
.
cc
:
export rela
t
i
ve_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make sure correct eva
l
u
e
s a
r
e use
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_po
i
nt
.
cc: add c
e
iling
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
g
e
uti
l
.
c: inte
r
nalize ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verdoo
l
a
e
g
e
lattice_point
.
c
c:
m
ulti_monom/latt
i
ce_
p
oints:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rd
o
o
laege
doc: clean up "exponential substitution" s
e
c
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoola
e
ge
test_bound
.
cc: avoid lo
s
s of pr
e
cisi
o
n caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
eg
e
barvin
o
k_
b
ound: op
t
ion
a
ll
y
take
m
aximal size of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
laege
b
a
rvino
k
_bound: add --i
t
erate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
ve
r
ify
.
c: e
x
port functions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c: evalue_optimum
:
a
l
low computation of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: e
v
a
lue2ex: don't assume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bound
.
cc: fix call to
e
value_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolae
g
e
e{add
,
mul}_periodics: plug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
evalue_b
e
r
n
stein
_
coeff
i
cients: han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doo
l
a
ege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
ege
lat
t
ice_wid
t
h
.
c:
sk
i
p directions that are ide
n
tica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makef
i
le
.
am: add cdd94e
-
tes
t
to
d
istributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
ve
n
Verdoolaege
om
e
ga/occ: optio
n
ally us
e
parker for computing car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
er
d
oolaege
normalization
.
c: skew_to_positive
_
or
t
h
a
nt
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/conve
r
t
.
cc: relation2Domain: only
c
o
l
l
ect
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
e
g
e
occ:
add dump f
o
r dumping in
b
a
rvinok
_
enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
barv
i
n
ok_en
u
merat
e
_e:
o
ptio
n
a
l
ly use
pa
r
ker's m
e
t
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constra
i
nts:
t
ake constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoola
e
g
e
n
o
rmalization
.
c
:
extract standard
_
constraints
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoo
l
aege
parker/count_solutions
.
cc: fix treat
m
e
n
t
o
f
existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoo
l
aeg
e
comp
i
le park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
euler
.
c
c: evalue_
d
erive: handl
e
constant
p
oly
n
o
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erd
o
o
l
a
e
g
e
add some test
sets
from cases 2004 and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
re
n
a
m
e barvinok_maximize t
o
barvi
n
ok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
e
value_
r
ange
_
propagation:
r
em
o
ve redundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
test_bound: record number
of polynomials
a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: convert
quas
i
po
l
ynomials to po
l
y
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
e
g
e
tes
t
_bound: compare polyn
o
m
i
al bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: optimum:
ha
n
dle
i
nput
e
va
l
uating t
o
negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c: extract ev
a
lue_opt
i
mum fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c:
extract common code for veri
f
ying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e_range
_
p
ropag
a
tion:
add monotonicity
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
bar
v
i
no
k
_maximize: optionally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add som
e
support fo
r
dealing
wi
t
h e
v
alues that rep
r
e
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verd
o
olae
g
e
barvinok_
e
numera
t
e: s
u
pport use of Euler
-
Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
mplement
B
ernoulli_sum as conve
r
sion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doo
l
aege
B
e
r
noulli_sum_eva
l
u
e: exploit inte
g
er bou
n
ds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaeg
e
keep track
o
f number
o
f
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ber
n
oul
l
i
.
c: protect shared eva
l
ue
f
rom modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
test B
e
rno
u
l
li sums based
e
xact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
cou
n
t_with_optio
n
s
:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_ev
a
lue
:
optionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
latt
i
ce_point
.
h: export fractio
n
al_part with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_enumer
a
te
_
wi
t
h_opti
o
ns:
c
ompute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_
s
um_evalue: han
d
le equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_su
m
_evalue: cut off
some red
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noulli_s
u
m_e
v
a
l
ue: make sure n
o
empty pa
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_ev
a
lue: remove re
d
undant const
r
aint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
e
ge
bernoulli
.
c: mino
r
refactoring
commit
|
commitdiff
|
tree
next