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
barvinok 0.28
2008-10-16
Sven V
e
rdoo
l
aege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ver
d
ool
a
ege
R
EADME
:
fix up insta
l
lation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
Add files gen
e
r
a
t
ed by bison and flex to the dis
t
ribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
e
r
d
oolaege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoola
e
ge
e
v
alue
.
c: affine2evalu
e
: reduce coeffi
c
i
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
V
erdoolaege
e
v
a
lue
.
c: evalue_lev
e
l
_
c
m
p: pro
d
u
c
e more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
doc: add another
p
aper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piecewis
e
_l
s
t
.
h
: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
evalue_re
a
d
.
c: fix minor bugs in tokeni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
u
pdate
o
mega for missing
f
iles in distri
b
ut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
barvinok
_
enume
r
ate_e:
a
void infinite loop
when p
r
es
e
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
mov
e
omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
doo
l
a
e
ge
NTL_QQ
.
cc: ad
d
stdlib include f
o
r
a
bort
h
idde
n
in NTL_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoola
e
ge
r
emove gnulib
l
ink-warn
i
ng module
c
om
p
letely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
Verdoola
e
ge
u
pdat
e
polylib with extra field in
P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolaege
doc:
f
i
x typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib function to
l
ast
p
r
e
-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoolaege
enume
r
ator::handle: replace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verd
o
olaege
update piplib for corrected
U
rs_par
m
s handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
c
o
n
fig
u
re:
u
se correct
h
eader
files in ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
om
e
ga/occ: onl
y
open debu
g
ou
t
put file i
f
t
here
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rd
o
olaeg
e
d
o
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
rdoolaege
add e
d
i
t
ors to ITSL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
a
dd s
o
m
e
t
e
st sets from its
l
2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc
:
add
l
atest (
a
ccepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
ge
Makefile
.
a
m
: add section_array
.
h
to d
i
st
r
ibution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
l
ae
g
e
n
ormalizati
o
n
.
c: compute_
s
hifts: remov
e
re
d
undant return
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verd
o
olaege
m
o
ve Free_Para
m
Names
p
o
l
ylib and m
a
ke param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
occ: a
d
d
i
nte
r
f
a
ce to
b
arv
i
nok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
ex_convert
.
c
c: extract ex2eval
u
e from
r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
d
oc:
docum
e
nt more --summ
a
tio
n
methods for barvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
ptions
.
c
: rename "ba
r
vin
o
k" summation meth
o
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
M
akefile
.
am: check-e
u
le
r
: also c
h
eck laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
summate
.
c
:
bar
v
ino
k
_
s
u
m
mate: handle products of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolae
g
e
evalue
.
c: export e
v
a
lu
e
_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ber
n
stein: num
e
ric2value: fix
t
ypo
t
o
a
l
low
c
orr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doo
l
ae
g
e
util
.
c: F
a
ctor_Co
n
t
e
xt: extracted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
l
a
ege
summate
.
c
:
barvi
n
ok_
s
ummate: ignore floors
i
ndepen
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add
e
v
a
lue_floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
ome
g
a/
o
cc: prin
t
b
ar
v
ino
k
versi
o
n number
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
doc: update so
m
e ref
e
ren
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Make laurent
based su
m
ma
t
ion
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
summate
.
c: barv
i
nok_summate: handle qu
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
reduce_evalue: extra
c
t out evalu
e
_reduce_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
e
value
_
shift_variables: allow shi
f
tin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: handle equaliti
e
s f
o
r all summation
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
summat
e
.
c: b
a
rvinok_
s
ummate: move common p
a
rts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
evalue
.
c: evalue_
s
um:
m
ove sig
n
hand
l
ing into esum_over_dom
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
aege
bar
v
ino
k
_e
.
cc
:
enumerate_s
u
m: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rd
o
olaege
summate
.
c
: e
x
tra
c
t barvino
k
_summate from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
rename
s
umm
a
te
.
cc t
o
barvinok_s
u
mm
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c:
reduce_evalu
e
:
reduce floor with consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add L
a
urent
e
x
p
ansion based summatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
e
v
alu
e
.
c
:
extend
eequal to
h
and
l
e domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
doolaege
binomial
.
c:
e
xtract binomial an
d
factorial from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h: extract from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laeg
e
intr
o
duce eva
l
ue_shift_variabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
la
t
tice_point
.
cc: export re
l
a
t
ive_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattic
e
_poi
n
t
.
h
:
m
ak
e
s
u
re c
o
rrect evalues are
used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolae
g
e
lattice_point
.
cc:
ad
d
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
util
.
c
:
internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
rdoolaege
lattice_point
.
cc:
multi_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
oc: clean up
"exponen
t
ial
substitution" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
t
est_bound
.
c
c: avoid l
o
ss of prec
i
sio
n
cau
s
e
d
b
y conver
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bar
v
ino
k
_bou
n
d:
opt
i
onally
t
ake maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolae
g
e
barvinok_bound
:
add
-
-itera
t
e op
t
ions for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaeg
e
verify
.
c: ex
p
o
r
t functio
n
s for sett
i
ng a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
v
eri
f
y
.
c: evalue_optimum: allow computatio
n
of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bernstein
.
cc: evalue2ex: don
'
t assume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
d
o
olaege
bou
n
d
.
cc
:
fix call to evalue_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
a
dd,mul}_periodics: plug memo
r
y leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
evalue_bernstein_coeff
i
ci
e
nts: hand
l
e prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdo
o
laege
l
a
t
tice_w
i
d
th
.
c:
s
kip directions that are identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolae
g
e
Ma
k
ef
i
le
.
am:
ad
d
cdd94e-te
s
t
t
o distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: optionally use par
k
er for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew_to_p
o
s
itiv
e
_orthant:
pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oolaege
o
mega/convert
.
cc: rel
a
ti
o
n2Domain: only c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
occ:
add
dump for dumping in
b
arvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdool
a
ege
b
a
rvinok_e
n
u
merate_e: optionally us
e
p
a
rke
r
's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoo
l
aege
s
t
andard_constraint
s
: take cons
t
raints inst
e
ad of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
normalization
.
c
: extra
c
t
standar
d
_con
s
tr
a
ints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
pa
r
ker/count_solutions
.
cc:
f
ix treatme
n
t
o
f
e
xi
s
tent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
o
ol
a
e
ge
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
ege
Add
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoo
l
aeg
e
euler
.
cc: evalue_derive: handle con
s
t
ant
p
o
l
yno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoo
l
a
ege
a
dd so
m
e te
s
t
se
t
s from cas
e
s 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
ename
barvinok_maximize to barvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
a
ege
a
d
d
a test
for test_bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_rang
e
_p
r
opaga
t
ion: remove
r
edundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
test_bound: recor
d
n
umbe
r
o
f polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_b
o
und: conver
t
quasipo
l
y
nom
i
als
t
o
p
olynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare
poly
n
omial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
verify
.
c: optimum
:
handle input evaluating to
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
veri
f
y
.
c
: extract evalue_optimum from
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaeg
e
v
e
r
ify
.
c: ext
r
act
c
ommon cod
e
for veri
f
ying opera
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_range_propa
g
ation
:
add mo
n
o
t
onici
t
y te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
o
l
aege
ba
r
vinok_m
a
ximize: optionally use (basic) range propagation
commit
|
commitdiff
|
tree
next