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 Verd
o
ol
a
eg
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
r
doolaege
README: fix
u
p insta
l
lation
in
s
tructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
ege
A
dd fil
e
s gen
e
r
ated by bison an
d
f
l
e
x
to
the
di
s
tr
i
bution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
update po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdoolaege
e
v
alu
e
.
c: affine
2
eval
u
e: reduce coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verd
o
olaege
evalue
.
c: e
v
alue_l
e
vel_cmp: produce
m
ore consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another pap
e
r
refer
r
in
g
t
o the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoolaege
piecewise_lst
.
h: a
v
oid
d
uplica
t
e paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Ve
r
doolaege
evalue_read
.
c: f
i
x
mi
n
o
r
b
u
g
s in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
u
pd
a
te omega for
m
i
s
sing
f
iles
in distribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
erdoo
l
aege
barv
i
n
o
k
_enumerat
e
_e: avoid
i
n
f
inite l
o
o
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include omega submodu
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolae
g
e
move omega subdir to
o
m
e
g
a_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
N
TL_QQ
.
cc: a
d
d stdlib include for abo
r
t hidden in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
re
m
ove gnulib link-w
a
rning modu
l
e complet
e
ly
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
lexmin
.
cc: find and sort are
in std:: namespa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
lexmin
.
c
c
:
a
void u
s
e
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoo
l
aege
4coins
.
cc: re
m
o
v
e dead
cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
te
s
tlib
.
cc: add missing ret
u
rn
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
workaro
u
n
d
silly sun com
p
iler errors
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
A
voi
d
use
of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoola
e
ge
s
u
m
m
ate
.
c: a
d
d missin
g
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
s
ummat
e
.
c: add m
i
ssing return val
u
es
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
Makefile
.
am: include lib
i
ncl
u
de dir in b
u
ild dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laeg
e
l
aurent
.
cc
:
don't use const vect
o
r
s
a
s map ke
y
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
e
ge
variable length a
r
rays are not stan
d
a
r
d C++ (yet
)
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
genfun
.
cc: argument o
f
mp_get_me
m
ory_functions shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update
piplib fo
r
compa
t
ibility ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdo
o
laege
u
pdate polylib with extra fiel
d
in Param
_
Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Ver
d
oolaege
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
add missin
g
a
l
gori
t
hm include fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdo
o
laege
Fix out-of-bound
s
error
in Laurent expa
n
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
Include
e
mpty
.
c file
i
n
l
ibbarvinok i
f
GiNaC
wa
s
no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
c
o
rrectly
r
eflect extra s
o
urces for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoo
l
aeg
e
fix
typ
o
in comme
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
lib/st
r
ing
.
in
.
h: copy _
_
re
s
trict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doolaege
u
p
dat
e
g
n
ulib function to last
p
re-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n
V
erdoolaege
enu
m
er
a
tor::handle: replace
i
n
corr
e
ct delete by fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaeg
e
u
p
date
p
i
p
l
ib for corrected Urs
_
par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolaege
co
n
figure:
use correct head
e
r files in ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoo
l
aege
omega/
o
c
c: only open debug outpu
t
file if there
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
S
v
en V
e
r
d
o
o
l
a
ege
add
e
dito
r
s to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
b
arvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
add some
test sets from itsl200
8
p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add latest (a
c
cepted) pub
l
ication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Ma
k
e
fi
l
e
.
am:
add sectio
n
_a
r
ra
y
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
no
r
maliz
a
tio
n
.
c: compute_shi
f
t
s: remove redu
n
dan
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olaege
move
Fre
e
_ParamNames p
o
l
ylib a
n
d
make
p
a
ram
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
occ: add interface to ba
r
vin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
ex_convert
.
cc: extract ex2eva
l
ue f
r
om
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: documen
t
more -
-
s
ummat
i
on methods f
o
r barvino
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
op
t
ions
.
c: rename "barvinok" sum
m
ation method to "
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoola
e
ge
Makefi
l
e
.
a
m: chec
k
-euler: a
l
so
ch
e
ck la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summ
a
te
.
c: barvinok_summa
t
e: handle produc
t
s of
p
olyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoola
e
ge
evalue
.
c: ex
p
ort e
v
alue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
bernstein: numeric2value: fix
typo to allow
c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor_Con
t
ext
:
e
xtracted f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summate
.
c
:
ba
r
vinok_summate
:
i
g
no
r
e floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
evalue
.
c: add evalue_flo
o
r2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
omega/o
c
c
: prin
t
b
a
rv
i
nok version number
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doo
l
aege
doc: up
d
a
te some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make l
a
urent based summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
su
m
mate
.
c: barvinok_summat
e
: handle
q
uasi-pol
y
n
o
m
ial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue: extract
o
u
t
evalue_redu
c
e_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalue
.
c
:
ev
a
lue_shi
f
t_varia
b
l
e
s: al
l
ow shiftin
g
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: han
d
le
e
qualiti
e
s fo
r
a
ll summation algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
summate
.
c: barvinok_summa
t
e: move common parts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
do
o
laege
evalue
.
c: evalue_sum: move sig
n
handlin
g
into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
bar
v
inok_e
.
cc: enumer
a
te_sum: use
b
arvi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c:
e
x
t
r
a
c
t barvino
k
_summate from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
rename summate
.
c
c to barvinok_
s
umm
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c: reduce_eval
u
e:
r
educe
f
lo
o
r with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rd
o
olaege
Add
Laurent
e
xpansi
o
n
based s
u
mmatio
n
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdool
a
ege
evalue
.
c
: extend eequal to han
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
do
o
laege
binomial
.
c: extract binom
i
al and factorial
f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
pow
e
r
.
h: extract
from
e
u
ler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
o
olaege
int
r
oduce eva
l
ue_shift_variabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
lattice_point
.
c
c
: expor
t
rela
t
ive_c
o
ordina
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice
_
point
.
h: m
a
k
e sure correct evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
lattice_point
.
cc: add
c
eiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
util
.
c: interna
l
i
z
e u
g
ly
b
v_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
e
rdoolae
g
e
lat
t
ice_poi
n
t
.
cc: multi_mon
o
m/latti
c
e_points: re
t
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolae
g
e
doc: clean up "exponenti
a
l sub
s
t
itution"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
olaege
tes
t
_bound
.
cc: avoid los
s
of prec
i
sion caused b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
laege
barvinok_bound: optionally take ma
x
imal size of
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
V
e
rdoolaege
barvinok_bound
:
add --iterate options for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
ver
i
f
y
.
c: export f
u
n
c
tions fo
r
s
e
tting and cl
e
arin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
verify
.
c
:
evalu
e
_
op
t
imum
:
allow com
p
utation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
bernstein
.
cc: evalue2ex
:
don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaeg
e
bo
u
n
d
.
cc: fix cal
l
t
o
evalue
_
conver
t
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verd
o
olaege
eva
l
ue_bernstein
_
coefficient
s
: h
a
nd
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven V
e
rdoolaeg
e
lattice_width
.
c: skip dir
e
ctions
t
h
a
t are
ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoolaege
M
akef
i
le
.
am: add
cdd94e-test to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
eg
e
omega/o
c
c: optional
l
y use parke
r
for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
no
r
m
a
liz
a
tion
.
c: skew_t
o
_positive_orthant
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc
:
r
e
l
ati
o
n
2
Doma
i
n:
o
nly collect set
.
.
.
commit
|
commitdiff
|
tree
next