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
configure: use correct header files in case of bundled polylib
2008-06-12
Sven Verdoolaeg
e
c
o
nfigure: use correct header files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaeg
e
omega/occ: onl
y
o
pen deb
u
g out
p
u
t f
i
le
i
f there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
add
e
di
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaeg
e
b
a
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
dd some tes
t
sets from itsl20
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
a
dd latest (
a
ccepte
d
)
publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoolaege
Makefile
.
am: add se
c
tion_array
.
h to
d
is
t
rib
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c: compute_shift
s
: remov
e
r
e
dundant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doola
e
ge
m
ove Free_
P
ara
m
Names polylib and make param
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ:
ad
d
interf
a
ce to barvinok_su
m
ma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
ex_convert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
d
oc: docu
m
ent more --su
m
m
ation methods for
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdo
o
l
a
ege
opt
i
ons
.
c: r
e
name "barvin
o
k" summation
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
Mak
e
file
.
am: check-eu
l
er: also chec
k
lau
r
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
summate
.
c
: ba
r
v
i
n
ok_summate: ha
n
dl
e
products of p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
evalue
.
c
:
e
xpo
r
t evalue_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
bernstein: numeric2v
a
lue: fi
x
t
y
po to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
util
.
c: Factor_Co
n
te
x
t: ext
r
acted from
b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
su
m
ma
t
e
.
c: barvinok_s
u
mmate: ignor
e
floo
r
s
ind
e
pend
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c: add ev
a
lue_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
omeg
a
/occ
:
print barvin
o
k v
e
rsion n
u
mb
e
r
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
d
oc
:
u
pd
a
t
e so
m
e referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Mak
e
laurent based
s
ummat
i
on the
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: barvinok_summate: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
r
e
duce_e
v
alue: extract ou
t
e
v
alue_reduce
_
s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalu
e
.
c: evalue_
s
hift_v
a
r
i
ables: allow sh
i
fting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
s
u
mmate
.
c
:
h
a
ndle e
q
ualitie
s
for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: barvinok_s
u
mmate: m
o
v
e common par
t
s
of su
m
ma
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
o
l
aege
evalu
e
.
c: e
v
alu
e
_sum: move sign
h
a
n
dlin
g
int
o
esum_ov
e
r_domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
barvinok_e
.
cc: enu
m
erate_sum: use
barv
i
nok_
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
summate
.
c: extract barv
i
nok_summate fr
o
m b
a
rv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoola
e
ge
rename summate
.
cc
t
o barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
e
valu
e
.
c: reduce_eval
u
e: re
d
uce floor
w
ith consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Add Lau
r
e
nt
e
xpansion based summation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
e
v
a
lue
.
c: ext
e
nd eequal to
h
an
d
le
d
omains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extract binomia
l
a
n
d
factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h: e
x
tract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
introduce evalue_
s
hift_va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
l
att
i
ce_poi
n
t
.
cc:
e
xp
o
rt relative_c
o
ordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdo
o
la
e
ge
lattice
_
point
.
h:
m
ak
e
sur
e
correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Ve
r
doolaege
lattice_
p
o
int
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
util
.
c
:
interna
l
ize
ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
ae
g
e
lattice_po
i
nt
.
cc: multi_mono
m
/la
t
ti
c
e_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven V
e
rdoolaege
doc: clean up "exponential substitut
i
o
n" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaege
test_bound
.
cc: av
o
id l
o
s
s
o
f
precis
i
o
n
caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
barvinok_
b
ound: op
t
ionally take max
i
mal s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oo
l
aege
barvinok_
b
ound: add --iterat
e
opti
o
ns for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
veri
f
y
.
c: export
f
u
n
ct
i
ons for setting and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoolaege
verify
.
c: ev
a
lue_optimum: allow co
m
putat
i
on of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bern
s
tein
.
cc: e
v
alue2
e
x: don't assume all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
olaege
bound
.
cc: fix call to evalue_
c
onve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
add,
m
ul}_perio
d
ics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
value_bernstein_
c
o
e
fficients: handle pr
o
b
lems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaege
update 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
Sven V
e
rdoolaege
M
a
kefile
.
am: add cd
d
9
4
e
-
test t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
o
m
e
g
a/occ: optionally
use p
a
rker fo
r
computing card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erd
o
olaege
n
ormalization
.
c:
s
k
ew_t
o
_positive_orthant
:
prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
omega
/
conve
r
t
.
cc: relation2Do
m
ain
:
onl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ: ad
d
dump for dumpi
n
g in ba
r
vinok_en
u
merate_e fo
r
ma
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
b
a
r
vinok_e
n
um
e
rate_e: optionally u
s
e parker's
metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
standard_constraints: ta
k
e
c
onstr
a
ints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
n
ormaliz
a
tion
.
c: e
x
tract standard_constraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parker/
c
ount_
s
olu
t
ions
.
cc: fix
t
reatment of existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
euler
.
cc: eva
l
ue_deriv
e
: ha
n
dle
c
onstant
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
a
d
d some test set
s
from cases 2004 and cc 2005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
r
ename
b
a
rvin
o
k_maxi
m
ize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
add a test
f
or test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
evalue_range_propagation:
remov
e
r
e
dundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bound: re
c
ord number of polyn
o
mials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: convert quasi
p
o
l
y
nomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
test_bo
u
n
d: compare poly
n
omia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
veri
f
y
.
c: optimum
:
han
d
le inpu
t
evalua
t
ing t
o
n
e
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: extract evalue_optimum
from max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
v
e
rify
.
c: ex
t
ract commo
n
code f
o
r verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
r
ange
_
propagation:
a
dd
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vin
o
k_maximize:
o
pt
i
onally use (ba
s
ic)
ran
g
e
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
Add
some support for dealing
with evalu
e
s that rep
r
esen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_enumerate:
support use of Eu
l
er-Maclau
r
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
i
m
plement
B
erno
u
lli_sum
a
s convers
i
on f
r
om unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli
_
sum
_
evalue: exploit integ
e
r bounds to
r
ed
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
kee
p
track
of number of Bernou
l
li
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
bernoulli
.
c: protect shared evalue from modifica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
ool
a
e
ge
test B
e
rn
o
ulli sums
b
ased
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_with_options:
c
ompute (ex
a
ct) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Bernou
l
li_
s
um_ev
a
lue: optionally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
latti
c
e_poin
t
.
h: export fracti
o
na
l
_
p
art wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok
_
enu
m
erate_w
i
th_options: compute (exact)
B
er
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_
s
um_evalue: handle
equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_
e
value:
cut off some r
e
d
u
n
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Bernoul
l
i_su
m
_eval
u
e: make
sure
no empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
eg
e
Be
r
noulli_sum_e
v
alue:
r
e
move
redundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
ool
a
e
ge
b
e
rnoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Bernoulli_sum: handle c
o
ntext constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoul
l
i_sum
_
evalue:
m
ake sure
e
n
o
ugh me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
for_each_lower
_
uppe
r
_bou
n
d
: add anot
h
er callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
verify
.
c: adjust defa
u
lt ra
n
ge to context if need
e
d
commit
|
commitdiff
|
tree
next