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 polylib with extra field in Param_Polyhedron
2008-08-24
Sven Ver
d
oolaege
update polylib with extra fie
l
d in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: f
i
x t
y
p
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
add missin
g
a
l
gorithm includ
e
for fin
d
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
Fix o
u
t-of-bounds er
r
or in Laurent expans
i
on based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
I
n
clude empty
.
c file in libbarvin
o
k
i
f GiN
a
C wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
corr
e
ctly reflect
extra sou
r
ces for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoo
l
aege
f
i
x typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven V
e
rdoolaege
lib/string
.
i
n
.
h:
c
o
py __res
t
r
ict handl
i
ng f
r
om l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib f
u
nction to last pre-G
P
L
v
3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
oolae
g
e
enumerat
o
r::han
d
le
:
r
eplace incorrect dele
t
e by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update piplib for corrected Urs_parms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdool
a
e
g
e
c
on
f
igure:
use cor
r
e
c
t header fi
l
es
i
n case of
b
und
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ve
r
doola
e
ge
omega/oc
c
: only o
p
en debug output file
if t
h
e
r
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven V
e
rdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
o
l
aege
add e
d
itors to ITSL p
a
pers
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdoolaege
b
a
r
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ve
r
d
o
o
l
a
e
g
e
add some tes
t
sets fr
o
m i
t
sl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
d
oc: add latest (accepted) publi
c
ations
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Make
f
i
l
e
.
am: add s
e
ct
i
on_ar
r
ay
.
h to d
i
str
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
laege
n
ormalization
.
c: co
m
pute_shifts: remov
e
redunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
m
ove Free_
P
aramNames polylib
a
nd make pa
r
am names cons
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verd
o
o
l
aege
occ: add interface
t
o ba
r
vinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
ex_convert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
e
rdoo
l
aege
doc: document
m
o
r
e --summati
o
n
m
e
t
hods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
options
.
c: re
n
ame "ba
r
vin
o
k" s
u
mma
t
ion method t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
e
rdoolaege
M
ake
f
ile
.
am: che
c
k-euler: also
c
heck l
a
ure
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
ge
summate
.
c: barv
i
n
o
k_summa
t
e: handle products of po
l
yto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
eva
l
ue
.
c: e
x
por
t
evalue_reor
d
er_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ber
n
st
e
in:
n
umeric2value: fix typo to allow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
util
.
c
: Fac
t
or_Context: extracted fr
o
m
b
arvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolae
g
e
summate
.
c: barvinok
_
summate: ig
n
o
r
e
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaeg
e
ev
a
lue
.
c:
a
d
d eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
o
mega/occ: print barvinok version n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
doc: update some
references
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
Make lau
r
ent based
s
ummation the
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
s
u
m
mat
e
.
c
: barvino
k
_su
m
mate: han
d
le quasi
-
po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoola
e
ge
reduce_evalue: extract ou
t
e
v
a
l
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
a
lue
.
c:
evalue_shif
t
_variables: allow shi
f
ting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolae
g
e
summ
a
te
.
c
:
hand
l
e equalities for all summation algori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_
s
ummate: move common par
t
s of
s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
eva
l
ue
.
c: evalue_sum: move sign
handling
i
nto esum_o
v
er_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
ba
r
vi
n
ok_
e
.
cc: enum
e
rate_sum:
u
se barv
i
nok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: extract barvinok_summat
e
from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
er
d
o
olaege
rename summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
evalu
e
.
c:
r
educe_evalue:
red
u
ce floor with
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
g
e
Add La
u
ren
t
expa
n
sion ba
s
ed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
er
d
oo
l
aege
e
v
alue
.
c: exte
n
d eequa
l
to handle do
m
ains an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
d
oolaeg
e
binomial
.
c
: ex
t
ract binomial a
n
d
f
ac
t
orial fro
m
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract
f
rom eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
intro
d
uce evalue_shi
f
t_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdo
o
laege
lattice_point
.
cc: export re
l
ative_coordin
a
te
s
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
e
r
doo
l
aege
lattice_point
.
h: ma
k
e sure c
o
rrect evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdool
a
ege
lattice_poi
n
t
.
c
c
: add ceil
i
n
g fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
u
til
.
c
:
intern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
tice_po
i
n
t
.
cc: multi_monom/latti
c
e_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
V
erd
o
olaege
doc: clean u
p
"exponen
t
ial substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoi
d
loss of p
r
e
c
is
i
on caused by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
barvi
n
o
k_boun
d
: optionally take maxima
l
si
z
e o
f
dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
barvinok_bound
:
add
-
-iterate options for
eval
u
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
: expor
t
functions for setting
and cl
e
arin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
f
y
.
c: evalue_optimum:
a
l
low comput
a
tion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bern
s
tein
.
cc: evalue2ex: don't assume all p
e
riod
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoo
l
aege
bound
.
cc: fix ca
l
l
t
o
e
value_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e{add,mul}_periodics: plu
g
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e
v
a
lue_be
r
nstein
_
c
o
efficients: ha
n
dle probl
e
ms wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
la
e
ge
lattice_width
.
c: skip di
r
ections that are
identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven
Verdo
o
laege
Makefi
l
e
.
a
m
: add
c
d
d94e-tes
t
t
o distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ:
o
ptionally use parker fo
r
co
m
put
i
ng ca
r
dinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normalization
.
c:
skew_t
o
_positi
v
e_orthant: p
r
oper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
om
e
ga/convert
.
c
c: rel
a
tion2Do
m
ain: only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
occ: add
du
m
p for dumping in barvi
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
doolaege
ba
r
vinok_e
n
umerate_e: optionall
y
use parke
r
'
s
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standard_constraint
s
: take constraints
in
s
tead
o
f
p
olyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
norm
a
lization
.
c
:
extract standard_const
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/c
o
unt_solu
t
io
n
s
.
cc:
fix
treat
m
ent of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
doolae
g
e
eu
l
er
.
c
c
: evalue_de
r
ive: handle consta
n
t poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd some test sets from
c
ases 2004 and c
c
2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
rename
b
arvinok_ma
x
imize to barvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add a test f
o
r tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eva
l
ue_range_pro
p
a
g
ation: remove r
e
dundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bound: re
c
ord number
of
p
olynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_bound: co
n
vert quasipolynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
tes
t
_boun
d
: com
p
a
r
e po
l
ynomial bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: op
t
imum
:
ha
n
dle input evalu
a
ting
t
o negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
l
a
ege
v
e
rify
.
c:
e
xtract eval
u
e_optimum f
r
om maxi
m
ize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
v
e
rify
.
c: e
x
tract common code for
v
erifying
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e
_
range_prop
a
g
ation: add
monotonici
t
y
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k_m
a
x
imize:
o
p
t
ionally use (ba
s
i
c
)
range propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
Add so
m
e s
u
pport for dea
l
ing with eva
l
ues
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olae
g
e
barvinok_en
u
merate: support use of Euler-M
a
c
l
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
imple
m
ent Ber
n
oulli_sum as conversi
o
n from u
n
wei
g
ht
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue:
e
xploit in
t
eger
bound
s
t
o
r
edu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
o
olaege
keep track of nu
m
ber of
B
ernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
ber
n
oulli
.
c:
p
rot
e
ct shared
evalue from
m
odifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test
Be
r
noulli sums based exa
c
t enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
o
l
aege
barvinok_coun
t
_
with_op
t
ions: comput
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
r
n
o
ulli_sum
_
ev
a
lue: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
next