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
update gnulib function to last pre-GPLv3 version
2008-07-20
Sven Verdoolae
g
e
update gn
u
lib function to
l
ast pre-GPLv
3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoolaege
enumerat
o
r
:
:han
d
le: replace in
c
orrec
t
delete
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdoolaege
update piplib for corrected
U
rs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
ge
c
o
n
f
igure
:
use correct he
a
d
er files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
omega/occ: only ope
n
debug output
fil
e
if ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdo
o
laege
add editors to ITSL paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
o
laeg
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
add
some
t
est sets
f
r
om its
l
200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolae
g
e
doc: add late
s
t
(a
c
c
e
pted
)
publi
c
ations
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
a
e
g
e
Makefile
.
am:
add section_array
.
h
t
o dis
t
ri
b
utio
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
n
o
rmalization
.
c: co
m
p
u
te_shi
f
t
s: remove redundan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
move
F
ree_Para
m
Names p
o
lylib and make param name
s
c
o
ns
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
occ:
a
dd interf
a
c
e
to barvinok
_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
doolaege
e
x
_
conv
e
rt
.
cc
:
e
xtract ex2evalue fro
m
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
d
oc: d
o
cumen
t
more --summation methods for b
a
rvinok_
s
umm
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename "barvinok" sum
m
ation method to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Makef
i
le
.
am: check-e
u
ler: also
c
he
c
k
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
summa
t
e
.
c: barvi
n
ok_summate: handl
e
pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoola
e
ge
evalu
e
.
c:
export evalue_reorder
_
term
s
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
bernstein
:
nu
m
eric2valu
e
:
fi
x
typ
o
to allow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
u
t
il
.
c: Factor_Conte
x
t: ext
r
ac
t
ed fr
o
m
b
arv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
summa
t
e
.
c
: ba
r
vin
o
k_summ
a
te: ignore fl
o
ors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaege
eval
u
e
.
c
: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: print barv
i
nok ve
r
si
o
n num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
doc:
u
pdate some
r
eferen
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Make la
u
rent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
su
m
ma
t
e
.
c: barvinok_summate: ha
n
d
l
e
qu
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
reduce_e
v
alue: ext
r
act out evalue_r
e
duce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rd
o
olaege
e
value
.
c:
e
value_shift_variable
s
: allow s
h
ift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doola
e
ge
summate
.
c: hand
l
e equal
i
t
i
e
s f
o
r all summ
a
tion algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
summate
.
c: barvinok_s
u
mmate:
m
ov
e
common parts of summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
ev
a
lue
.
c: evalue_sum: move
s
ign
h
andli
n
g
i
nt
o
esum
_
over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
bar
v
inok_
e
.
c
c
: enumera
t
e_sum: use barvinok
_
s
u
mmate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
su
m
m
a
te
.
c: e
x
tract barvinok_s
u
mmate from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaeg
e
rename
summate
.
cc to
ba
r
vinok_summ
a
te
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c: re
d
uce_evalu
e
:
re
d
uce flo
o
r wi
t
h con
s
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Add Laure
n
t expansio
n
based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
evalue
.
c: ex
t
end
e
equal t
o
h
a
ndle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c:
extract binomial
a
n
d fa
c
to
r
ial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
dool
a
ege
power
.
h
: ext
r
act from e
u
ler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
in
t
ro
d
uce evalue_shift_
v
a
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
lattice_p
o
int
.
cc: ex
p
ort rel
a
tiv
e
_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erd
o
olaege
lattic
e
_
p
oint
.
h: m
a
ke sure correct evalue
s
a
r
e used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
lattice_po
i
nt
.
cc:
add
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
a
e
ge
u
t
il
.
c: internalize ugly
bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verdoolaege
la
t
tice_point
.
cc
:
multi_monom/lattice_point
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoo
l
aege
doc: clean
u
p
"exponent
i
al
substitutio
n
" s
e
cti
o
n
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdo
o
laege
te
s
t_bound
.
c
c
: avoid
loss of precision c
a
used by convers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_b
o
un
d
: op
t
ionally take maximal size o
f
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
b
arvinok_bou
n
d:
a
d
d
--
i
terate
o
pti
o
ns for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doolaege
verify
.
c
:
export fun
c
tions for
s
ett
i
ng a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verify
.
c: e
v
alue
_
optimum: allow comp
u
tation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
bernstein
.
cc: evalu
e
2ex: don't
a
ssume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bound
.
cc: fi
x
cal
l
t
o ev
a
lue_
c
o
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add
,
m
u
l}_periodic
s
: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
evalue_bernstein_c
o
efficients: h
a
ndle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice
_
width
.
c: skip directions that are
i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en
V
erdoolaege
Makefil
e
.
am: add cdd94e-tes
t
t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
ae
g
e
o
mega/o
c
c: optionally u
s
e parker for compu
t
ing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: skew_t
o
_p
o
si
t
ive_orthant:
p
roper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
o
m
ega/convert
.
c
c: relation
2
Domain: o
n
ly collect
se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ: add dump for du
m
pi
n
g in barvinok_
e
numerate_e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
ba
r
vinok_enumerate_
e
: opti
o
n
a
l
l
y use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
ol
a
e
ge
stan
d
ard_c
o
n
s
tr
a
ints: ta
k
e constraints
i
n
s
tea
d
o
f
polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normali
z
a
t
ion
.
c
:
extract standard_cons
t
r
aint
s
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolae
g
e
parker/count_
s
olut
i
ons
.
cc:
f
i
x
tr
e
atment of exi
s
t
e
n
t
i
al
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaeg
e
euler
.
cc: evalue_derive: hand
l
e constant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
s
om
e
test sets from cases 2004
and cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
r
en
a
me barv
i
nok_
m
a
x
imize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
add a test
f
or test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagat
i
on: remove redundant polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: rec
o
r
d
number o
f
polynomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
test_boun
d
: convert quasipoly
n
omia
l
s
to
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
t
est_boun
d
: compare po
l
ynomia
l
bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
verify
.
c: optimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
ver
i
f
y
.
c
: e
x
tract evalue_optimum from
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
veri
f
y
.
c: ext
r
act common cod
e
fo
r
verifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_range_propagation: a
d
d
m
onotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_m
a
ximize: op
t
ion
a
lly
use (ba
s
ic
)
r
a
nge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
Add some
s
upport for de
a
ling wit
h
e
v
alues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
barvinok_enumerate: s
u
p
p
ort use of Eu
l
er-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
i
m
plement Bernoulli_sum as convers
i
on fr
o
m un
w
eig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_
s
um
_
evalue: exploit
integer
bounds
to
r
e
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
keep track o
f
number of Bernoulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
b
ernoulli
.
c
:
pro
t
ect shared eva
l
ue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
olaege
t
est Ber
n
oulli sums based exact enume
r
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_count_with_opti
o
ns: compute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: o
p
tionally handle fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
lattice_point
.
h: export
fractional_pa
r
t with C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvi
n
ok_e
n
umera
t
e_with_options
:
c
ompu
t
e (exa
c
t) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_eval
u
e: cut off
s
ome redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
olaege
Bernoulli_sum_evalue:
m
ake sure no empt
y
partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Bernoulli_su
m
_evalue: remov
e
redunda
n
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoulli
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Be
r
noulli_sum:
han
d
le context constraints
commit
|
commitdiff
|
tree
next