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 piplib for corrected Urs_parms handling
2008-06-17
Sven Verdoolaege
update pi
p
lib fo
r
corrected Urs_parms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
confi
g
ure:
use cor
r
ect header
fil
e
s
in c
a
se
o
f bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
configure
.
in: fix check for code
_
gen library availabi
l
it
y
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
r
doolae
g
e
omega/occ
:
only
o
p
e
n d
e
bug output file i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
om
e
ga/Makefile
.
am: avoid bison's -o optio
n
as nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdool
a
ege
ra
n
ge
.
cc: add missing include of all
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
ven
V
e
r
doolaege
add
e
ditor
s
t
o
ITSL pap
e
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
use
argp
for argument parsing in
barv
i
nok
_
e
h
r
h
a
rt
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaege
properly handle NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
bas
i
s
_reduction_templ
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
ba
r
vi
n
ok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
d
d some te
s
t sets from itsl2
0
08 pa
p
er
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
d
o
c:
add latest
(
accepted) p
u
blications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
M
ak
e
fi
l
e
.
am: add
sec
t
ion_array
.
h to d
i
s
t
ri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoola
e
ge
normalization
.
c
:
compu
t
e_shifts
:
remo
v
e r
e
dun
d
ant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
move Free_ParamNames polylib and make param names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
o
c
c:
a
dd interf
a
c
e
to barvin
o
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaeg
e
e
x
_convert
.
cc: ex
t
ract ex2evalue fr
o
m
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c: document more
--summati
o
n
m
e
thods for barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
o
ptions
.
c: re
n
ame "barvinok
"
summation
m
ethod to "
b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
a
m: chec
k
-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
summate
.
c: barvinok_summ
a
te:
h
andle
products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
e
rdoolaege
e
v
a
l
ue
.
c: export
e
value_re
o
r
d
er_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaeg
e
berns
t
ein: numeri
c
2value: fix typo
to allow
c
o
r
r
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
u
t
il
.
c: Fa
c
tor_
C
ont
e
xt: extra
c
ted
f
rom bar
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: barvinok
_
summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue_
f
l
oor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
laege
o
m
ega/oc
c
: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
d
o
c
: upda
t
e some referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
Ma
k
e la
u
rent
b
ased summa
t
ion the
def
a
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c:
b
arvinok_s
u
m
m
ate
:
handle quasi-polyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
reduce_evalue: extract out ev
a
lue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doo
l
aege
evalue
.
c:
e
v
alue_s
h
i
ft_v
a
riabl
e
s: allow shift
i
n
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
summate
.
c: handle equalities
for all s
u
mmat
i
on algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
summate
.
c: barvin
o
k_summate: mo
v
e common parts
o
f summa
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
evalu
e
.
c: evalue_su
m
:
move
s
ign handli
n
g i
n
to esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
o
l
aege
barvinok_
e
.
cc: en
u
merate_su
m
: use barvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
summate
.
c:
e
xtract bar
v
inok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
rename
summate
.
cc
t
o ba
r
vinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
e
v
alu
e
.
c: reduce_evalue:
r
educe
flo
o
r with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Add
L
aurent
e
x
p
a
n
sion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
evalue
.
c: ext
e
nd eequal to handl
e
d
omains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolae
g
e
binom
i
al
.
c:
e
x
tract binomial and facto
r
ial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
po
w
e
r
.
h: e
x
tract from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
introduce
e
va
l
ue_s
h
ift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
l
a
ttice_point
.
cc: expo
r
t
r
elative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
latti
c
e_point
.
h: make sure correct evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lat
t
ice_point
.
cc:
a
dd ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c: inter
n
a
l
i
ze ugl
y
bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
a
ttic
e
_poi
n
t
.
cc: multi_monom/lattice_po
i
n
ts:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
ge
doc: cle
a
n up
"
exponenti
a
l substitution" section
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
test_
b
ound
.
cc: avoid
loss of precis
i
on caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
la
e
ge
b
a
rvi
n
ok_boun
d
:
optionally take m
a
ximal siz
e
of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
a
e
ge
barvinok_bound
:
add --
i
terate options for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdool
a
e
ge
v
e
rify
.
c:
e
xport fun
c
t
i
ons for
s
etting
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
veri
f
y
.
c: evalue_optim
u
m: allow computation of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
berns
t
e
in
.
cc: evalue2ex: don
'
t a
s
su
m
e
all
p
er
i
o
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
bo
u
n
d
.
c
c: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e{a
d
d,mul}_periodics: p
l
u
g memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e
val
u
e
_bern
s
tein_coefficients: h
a
ndle problems w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaeg
e
latti
c
e
_
width
.
c: skip directi
o
ns that a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefile
.
am:
add cdd94e-test
t
o d
i
stri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaeg
e
o
m
ega/
o
cc: option
a
lly
u
se parker for computing
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ation
.
c: s
k
ew_to_positi
v
e_orthant:
p
roper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/conve
r
t
.
cc: relation2Domain: only collect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
occ
:
add dump for
d
umpin
g
in barvino
k
_enumerate_e
format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
olae
g
e
barvinok_en
u
mera
t
e_e: opt
i
o
n
a
l
l
y use
p
arker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
r
dool
a
e
g
e
s
tandard_constraints:
tak
e
constraints instead
of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
l
ae
g
e
norm
a
lizat
i
on
.
c: extract st
a
ndard_constraints
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parke
r
/count_solut
i
ons
.
cc:
fix tr
e
atment of exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verd
o
olaege
com
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
euler
.
cc: e
v
alue_deriv
e
:
handle c
o
nstant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some
t
est s
e
t
s from cas
e
s
2
004
a
nd cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
renam
e
b
arvi
n
ok_maximize
t
o
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
add a tes
t
for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
e
v
alue_range_pro
p
agation: remove redunda
n
t polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
test_boun
d
: re
c
o
r
d n
u
mber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
t
e
st_bound: convert
q
uas
i
polyn
o
mi
a
ls t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdo
o
lae
g
e
test_bound: compare polyno
m
ial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c:
op
t
imu
m
: handle input ev
a
luating to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ext
r
a
c
t
e
value_
o
ptimum
f
rom ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: extract common co
d
e
for ve
r
if
y
ing op
e
ratio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
nge_propagation: add mon
o
tonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
a
rvinok_maxim
i
z
e: o
p
tionally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add so
m
e support for d
e
aling with evalues tha
t
rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ba
r
v
i
nok_en
u
mer
a
te
:
support us
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
doolae
g
e
i
m
plement Be
r
n
oulli_sum a
s
c
o
nversion fro
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
Bernoulli_sum_evalue: exploit integer boun
d
s t
o
r
e
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
k
e
e
p
tr
a
ck of
n
u
mbe
r
of Berno
u
l
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
bernoulli
.
c:
protect shared evalue
from mo
d
i
f
ications
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaeg
e
test Berno
u
lli sums based exa
c
t en
u
merati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
barvinok_count_wi
t
h_o
p
tio
n
s: compute (exact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Bernoul
l
i_sum
_
ev
a
lue: optionally handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
lat
t
ic
e
_point
.
h: export
fraction
a
l_par
t
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
b
arvinok_enum
e
r
a
te_with_options: compute (exact) Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_
s
um_eva
l
ue: handle equa
l
itie
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_sum
_
e
v
alue:
c
ut off som
e
redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
next