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
rdoolaege
b
arvin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoo
l
aege
READ
M
E
:
f
i
x
up
i
nsta
l
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add files
g
e
nerat
e
d by bis
o
n and f
l
ex to th
e
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdool
a
ege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaeg
e
eva
l
ue
.
c
: aff
i
n
e2evalue: red
u
ce
c
oeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdool
a
e
g
e
evalue
.
c: evalu
e
_level_cmp: produce more co
n
si
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdoolaege
doc: add
a
nother paper
referring to
the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdoolaege
pie
c
ew
i
se_lst
.
h:
a
v
o
i
d duplicate parameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
evalu
e
_read
.
c:
fix
mino
r
bugs
in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
u
pdate omega for missing
files in distr
i
b
u
t
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
b
a
rvinok_
e
nume
r
ate_e
:
avoid inf
i
nite loop
w
hen presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verd
o
olaeg
e
move omega subdi
r
to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
NTL_QQ
.
c
c
: add stdlib include fo
r
abort hidden in NTL_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
rem
o
ve gnulib
link-wa
r
ning modu
l
e c
o
mpletely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
u
pdate pol
y
lib with extra f
i
e
ld in P
a
ram_
P
o
l
y
h
ed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sven Verd
o
ol
a
ege
d
oc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
aege
u
p
date gnulib func
t
ion to las
t
pre-GPLv3 ver
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoolaege
e
numerator::handle: replace incorrect
d
e
l
e
t
e by
f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
aege
update pip
l
ib
f
or co
r
rected
U
rs_
p
arms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
configure: use corr
e
ct h
e
ader files in case of b
u
ndl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
omeg
a
/occ: onl
y
open deb
u
g ou
t
put f
i
le if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
a
d
d
e
dit
o
rs to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
barv
i
nok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
add some te
s
t set
s
from itsl20
0
8
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc:
a
d
d latest
(
a
ccepted)
pu
b
lications
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
eg
e
Makefile
.
am: add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoolaeg
e
normalization
.
c
:
co
m
pute_shif
t
s: re
m
ov
e
r
e
d
undant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
move Free_Pa
r
amNames poly
l
ib and make param
nam
e
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
ge
oc
c
: add interface to barv
i
nok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
ex_convert
.
cc: extract ex2e
v
alue fro
m
ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: do
c
ument more --summation methods for bar
v
inok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opt
i
ons
.
c: re
n
a
m
e "barvinok"
summation
method
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
Makefile
.
a
m
: check-e
u
ler:
a
lso check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c
: barvinok_summate
:
h
and
l
e products of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
laege
evalue
.
c
:
export e
v
alue_re
o
rde
r
_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
g
e
bernstein: numeric2value: fix
typo to
a
l
low correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
util
.
c: Factor_Context: extract
e
d f
r
o
m
barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaeg
e
s
ummate
.
c:
b
a
rvino
k
_su
m
mate:
ignore flo
o
rs ind
e
pen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oola
e
ge
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
omega/occ
:
print barvinok versio
n
numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
doc: up
d
ate
some
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
o
lae
g
e
M
ak
e
laurent based summ
a
tion
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
summate
.
c: barvinok_
s
umm
a
te: handle qua
s
i-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_eva
l
ue: extract out
e
value
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
e
v
alue
.
c: evalue_
s
hift
_
varia
b
l
e
s: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summ
a
t
e
.
c: handl
e
e
q
ualities fo
r
a
ll summation algori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
summa
t
e
.
c: bar
v
i
nok_summate: move common parts of
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
ev
a
lue
.
c: evalue_s
u
m: move sign handling
i
nto e
s
um_o
v
er_d
o
m
a
in
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvinok_e
.
cc
:
enum
e
rate_sum: use barvin
o
k
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
a
e
ge
s
u
mmate
.
c: extract barvino
k
_s
u
mmate from barv
i
nok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rena
m
e summate
.
c
c
to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erd
o
olaege
evalue
.
c: r
e
duce_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
Add
L
auren
t
e
x
p
ansion bas
e
d
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ve
r
d
o
olaege
binomial
.
c: extract bin
o
mial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
lattice
_
point
.
cc: e
x
p
o
rt
r
elativ
e
_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doo
l
aege
lattice_point
.
h
: ma
k
e
s
u
re correc
t
ev
a
lues a
r
e use
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
rdoolae
g
e
lat
t
ice_poi
n
t
.
cc: ad
d
ceiling
function
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
util
.
c: internalize ugl
y
bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ve
r
d
oolaege
lattice
_
poi
n
t
.
c
c: multi_monom/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
doc
:
clean up
"
exponential substituti
o
n"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
test_
b
ound
.
cc
:
avoid los
s
of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: opt
i
onally
t
ake max
i
mal size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
do
o
lae
g
e
barvi
n
ok_bound: ad
d
--iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdo
o
laege
verify
.
c
:
e
xport fun
c
tions for
setting
and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoola
e
ge
v
erify
.
c: evalue_optimum: allow computa
t
ion of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
berns
t
ei
n
.
cc: eval
u
e
2ex: don't assume al
l
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
boun
d
.
cc: fix call to eva
l
ue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{
a
dd,mul}_periodic
s
:
plug
memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaege
evalue_
b
e
r
n
stein
_
coefficie
n
ts: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdo
o
laege
upd
a
te poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olaege
lattice_
w
idth
.
c: skip directions t
h
at are iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
aege
Makefile
.
am: add cdd94
e
-test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
ome
g
a/occ: op
t
io
n
ally use parker
for compu
t
in
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoola
e
ge
normali
z
ation
.
c: s
k
ew_to_positive_orthant
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
olaege
omega/convert
.
cc: relation2
D
omain:
only c
o
llect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoo
l
aege
occ: add dump for dum
p
ing
in barvi
n
o
k
_
e
n
u
me
r
at
e
_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
b
arvin
o
k_enum
e
rate_e: optionall
y
use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
aege
standard
_
c
o
nstr
a
ints
:
t
a
ke const
r
aints instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normaliz
a
t
io
n
.
c: extr
a
c
t standar
d
_
c
onstraints f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven
Verdo
o
laeg
e
parker
/
c
ount_solutions
.
cc: fix tre
a
tmen
t
of
e
xistential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdool
a
ege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
l
aege
euler
.
cc: ev
a
lue_derive
:
handle const
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
a
d
d some test sets fro
m
cases 20
0
4 and c
c
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
name b
a
rvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add a te
s
t fo
r
tes
t
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ran
g
e_propag
a
tion: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_boun
d
: rec
o
rd number
o
f
p
olynomial
s
as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test_bound:
c
onvert quasipolynomials to
polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bo
u
n
d
:
compare p
o
lynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
v
e
rif
y
.
c: op
t
imum: handle
inp
u
t ev
a
luating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c: extrac
t
evalue
_
optimum fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: e
x
tract comm
o
n
code for
verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
eva
l
u
e_range_propagation:
a
d
d
m
o
n
o
tonicity
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ba
r
vinok_maximiz
e
: op
t
ionally u
s
e (basic) range propagation
commit
|
commitdiff
|
tree
next