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
doc: add a reference to a master thesis actually using the library
2008-10-28
S
ven Verdoola
e
ge
doc: add
a
r
e
ference to
a
master thesis a
c
tually usin
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
b
a
rvin
o
k 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
READ
M
E: fix up inst
a
llati
o
n
instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
o
o
laege
Add files generated by biso
n
and flex
t
o the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
up
d
a
te pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoola
e
ge
evalue
.
c
:
affine2evalue: reduce c
o
efficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
V
e
rdool
a
ege
evalue
.
c: evalue_leve
l
_
c
m
p: pro
d
uce more
c
onsisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
d
oolaege
doc: add another
p
a
per r
e
ferri
n
g to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_
l
st
.
h: avoid dupli
c
ate p
a
rameter na
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rd
o
ol
a
ege
evalue_read
.
c
:
fix mi
n
or
b
ugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
update o
m
e
ga for m
i
ssing
f
iles
in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
b
arvinok_enumerate_e: avoid infinite loop
w
h
en
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
inc
l
ude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
mo
v
e
omega s
u
bdi
r
to
om
e
ga_
i
n
terface
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
d
o
olae
g
e
N
T
L_QQ
.
c
c: add stdlib include for
a
bort hidden in
N
TL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
remove gnul
i
b li
n
k
-
warnin
g
mo
d
ule c
o
m
pletely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: find and sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoo
l
aege
l
exmin
.
c
c: avoid use of
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc: remove dead
c
o
de
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
t
e
stlib
.
cc: add
missi
n
g r
e
turns
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
w
o
rka
r
ound silly sun compiler
err
o
rs
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
Avoid use of the
make
-
C
option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
summa
t
e
.
c: add missing in
c
l
ude
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
ege
summ
a
t
e
.
c: a
d
d m
i
ssing retu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
Ma
k
efile
.
am: include lib i
n
clude dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verd
o
olaege
l
aurent
.
c
c
: don't
u
se const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
l
a
ege
variable
length arrays
are not
s
tandard C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
genfun
.
cc:
argument of m
p
_get_memory_functions sh
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
u
p
date
p
iplib for compatibil
i
ty ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
o
o
laeg
e
u
p
date polyl
i
b
w
i
th ex
t
r
a
fie
l
d
i
n
P
aram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fi
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
a
dd missing
a
lgorithm
i
n
c
l
u
d
e
for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en
Verdoolaege
Fix
o
ut
-
of-bounds e
r
ror in Laurent expansion b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
Incl
u
de empty
.
c file i
n
libbarvinok if GiN
a
C w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
correctly re
f
lec
t
extra sources for libb
a
r
v
i
n
ok a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
g
e
fix
t
ypo in commen
t
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
d
oolae
g
e
lib/string
.
in
.
h:
c
opy __
r
est
r
i
c
t handling fr
o
m lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
V
erdool
a
ege
update gnulib fu
n
ction
t
o last pre-GPLv
3
v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolae
g
e
enumerator::
h
andle: replace incorre
c
t delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdo
o
laege
u
pdate
p
iplib for corrected
U
rs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
confi
g
ure
:
use
c
orrect
h
e
ader files in ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
configure
.
i
n: fix
chec
k
f
o
r code_gen library availability
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoola
e
ge
omega/occ:
o
nly ope
n
debug output file if
t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verdoolaege
omega/Makefile
.
am: avoid bi
s
o
n's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ra
n
ge
.
cc: a
d
d mis
s
ing includ
e
o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
doolaege
add editor
s
to ITSL
pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoo
l
a
ege
use argp for argument parsing in
barvinok_
e
hrhart a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properly
h
a
n
d
l
e NTL CPPFL
A
G
S
and L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoo
l
aege
basi
s
_reduction_templ
.
c: add missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
bar
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
laege
add
some test se
t
s from itsl2008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
do
c
: add la
t
est
(accepted) publicat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add
s
ection_array
.
h to dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
normalization
.
c: compu
t
e
_
shifts:
r
emove redundant re
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
mo
v
e F
r
ee_ParamNam
e
s
p
olylib and make param
n
ames c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoolaege
occ: a
d
d interfa
c
e to barvinok_s
u
m
m
a
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolae
g
e
ex_conver
t
.
cc:
extract ex2evalue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
V
erd
o
olaege
d
oc: documen
t
more --s
u
mmati
o
n meth
o
ds
for barv
i
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
ge
option
s
.
c: rename "
b
arvinok" su
m
mat
i
on me
t
hod to "
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Makef
i
l
e
.
am: check-e
u
l
e
r: also check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
su
m
mate
.
c: ba
r
vinok_summate: handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c:
e
xport evalue_reo
r
der_
t
e
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
bernstei
n
: nu
m
eric2value:
fix
t
y
po
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
util
.
c:
Factor_C
o
n
text: extrac
t
ed f
r
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
s
ummate
.
c: bar
v
inok_summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
v
alue
.
c: add evalue_
f
loor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
omega/occ:
pr
i
nt
bar
v
inok v
e
rsion number
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolae
g
e
doc: upd
a
te some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Ma
k
e lau
r
ent bas
e
d
summati
o
n
th
e
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
su
m
mate
.
c: barvinok_summat
e
:
h
andle quasi-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_e
v
alu
e
: extract out evalue_
r
edu
c
e
_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
evalue
.
c: evalu
e
_sh
i
ft_variables: allow shifti
n
g of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handle equalities
f
o
r
all summ
a
tion alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c:
b
a
r
vinok_summ
a
te: move common
p
arts of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
e
va
l
ue
.
c: evalue_
s
um: move si
g
n h
a
ndling into esu
m
_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barv
i
nok_e
.
cc:
enumerate_sum: use barvi
n
ok_
s
umm
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summa
t
e
.
c
:
extract barvinok_su
m
mate fr
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
r
ename summ
a
te
.
cc to barvinok_su
m
mat
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
r
e
d
u
ce_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laur
e
n
t
e
xpansion based summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoo
l
aege
e
v
alue
.
c: extend
e
equal to hand
l
e d
o
ma
i
n
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
binom
i
al
.
c: extract
binomial and factorial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
pow
e
r
.
h: ext
r
act fro
m
eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verd
o
olaege
in
t
rod
u
c
e
e
value_shift
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
ola
e
ge
lattice_po
i
n
t
.
cc: export relative_c
o
ordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
lattic
e
_point
.
h: make sure correct eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
l
att
i
ce_point
.
cc: add c
e
iling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
util
.
c: internalize
u
g
ly
bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: multi_monom/latti
c
e_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
o
o
l
ae
g
e
doc: clean up
"ex
p
onential s
u
bstitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid loss of pr
e
cision caused by c
o
n
v
ersi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laeg
e
barvinok
_
bound:
o
ptiona
l
ly ta
k
e maximal s
i
ze of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barvinok_bound:
a
dd --ite
r
a
t
e opt
i
ons for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
o
l
a
eg
e
v
e
rify
.
c
: export function
s
for sett
i
ng and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
ae
g
e
verify
.
c: evalue_opt
i
mum: allow comput
a
t
ion of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdoolaege
bernstein
.
cc: evalue2ex
:
don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bound
.
cc:
fix call to
evalue_con
v
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e
{add,
m
ul}_periodics: plug mem
o
ry leaks
commit
|
commitdiff
|
tree
next