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
Sv
e
n Verd
o
olaege
doc: add a reference
to a master thes
i
s
actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Ve
r
doolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolae
g
e
README: fix up installa
t
ion in
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
A
d
d files
gener
a
ted b
y
bison and flex
to the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update poly
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
u
pdate p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: affine2evalue
:
reduce coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n V
e
rdo
o
l
aege
e
v
a
lue
.
c: evalue_le
v
el_cmp: produ
c
e more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc:
add an
o
ther
p
aper referr
i
ng
t
o th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sven
Verdo
o
laege
piecewise_lst
.
h: avoid duplicate
pa
r
ameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
e
v
a
l
ue_read
.
c: f
i
x minor bug
s
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for missing files in d
i
stribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
barvinok_enum
e
rate_e: avoid infi
n
ite loop
w
hen
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
eg
e
include omega sub
m
odule
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
move omega subdir
to ome
g
a
_
interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc: add st
d
l
i
b include for abort
hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdo
o
laege
r
emove gnulib l
i
nk-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc:
f
ind and sort are in s
t
d:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolaege
lexm
i
n
.
cc: avoid
use of
t
ypeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
4coins
.
cc: remove
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
testlib
.
cc: ad
d
missing ret
u
r
ns
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
w
o
rkaround si
l
ly sun c
o
mpiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolaege
A
v
oid use of the m
a
ke -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
summate
.
c:
a
d
d
m
issin
g
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
summate
.
c:
add missing ret
u
rn value
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aeg
e
Makef
i
le
.
am: includ
e
lib include dir in build di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
l
au
r
ent
.
cc
:
don't use const
v
ectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable length a
r
ray
s
are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdool
a
ege
genfu
n
.
cc: argument of mp_get_m
e
mory_fun
c
tions sh
o
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
updat
e
piplib
f
o
r compat
i
bility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update
p
olyl
i
b with ex
t
r
a fiel
d
in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoola
e
ge
doc
:
f
ix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
add mis
s
in
g
al
g
orithm
include for find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
Fix
o
ut-of-bounds e
r
ror
i
n Lauren
t
expansion
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoola
e
ge
I
nclude empty
.
c file in libbarvino
k
if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly refle
c
t extra
s
ou
r
ces for libba
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
f
i
x
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
lib/string
.
in
.
h: copy
_
_restrict handlin
g
fro
m
li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
Verdo
o
l
a
ege
update
g
n
ulib function t
o
last pre-GPLv3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
en
u
m
e
rator::
h
andle: replace in
c
orrect delete by
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update
piplib
f
or corrected Urs_par
m
s
h
andling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolae
g
e
con
f
igure: use corr
e
ct header files in case
o
f
b
un
d
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoo
l
a
e
ge
confi
g
u
re
.
in:
f
ix
check for code_gen library avai
l
a
bility
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
rdoo
l
aeg
e
omega/o
c
c:
only op
e
n debug outpu
t
file
if
t
here
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
omega/Makefile
.
am:
a
v
o
i
d bi
s
on's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ra
n
ge
.
cc: add missing
i
nclude of a
l
loca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
e
g
e
d
o
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
add
e
ditor
s
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp for argument parsing in barvin
o
k_ehrhart an
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdo
o
laege
properly
han
d
l
e
N
TL CPPF
L
AG
S
and LDF
L
AGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoola
e
ge
basis_reduc
t
i
o
n_templ
.
c: a
d
d missing
i
nclude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaeg
e
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
add som
e
t
est
sets
f
ro
m
itsl200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
doc: add latest (acc
e
pted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: ad
d
section_array
.
h to dis
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normaliza
t
ion
.
c: c
o
mp
u
te
_
shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
move Free_
P
aramNames
p
olyli
b
a
nd
ma
k
e param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interface t
o
ba
r
v
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
ex_convert
.
c
c: extract ex2evalue fro
m
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc:
d
ocument more --summatio
n
meth
o
ds for barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
o
p
tions
.
c: rename "barvino
k
" summatio
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
Makef
i
le
.
am: check-euler: also check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
summate
.
c:
b
arvinok_summate: handl
e
prod
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eval
u
e
.
c: export evalue_reorder
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
bernstein: numeri
c
2value: fix typo to
allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laege
ut
i
l
.
c: Factor_Context:
e
xtracted fr
o
m b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
s
u
m
mate
.
c:
barv
i
nok_sum
m
a
t
e: ign
o
re floors independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolae
g
e
e
va
l
ue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
dool
a
e
g
e
omega/occ: print barvinok versio
n
number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
d
o
c: update some references
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
Make la
u
rent base
d
su
m
mation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
summate
.
c:
barvi
n
ok_s
u
mm
a
te:
h
andle
quasi-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
reduce_evalue: ext
r
act out eva
l
ue_reduc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
lue
.
c: ev
a
lue_shif
t
_variables: allow
shif
t
i
n
g
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
su
m
mate
.
c: handle e
q
ualiti
e
s f
o
r all
s
ummation algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: barvinok_summat
e
:
m
o
ve
c
ommon parts of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue_sum: move sign h
a
ndlin
g
int
o
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
ae
g
e
barvinok_e
.
cc: e
n
umerate_sum: us
e
barv
i
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
s
umma
t
e
.
c: extract barvinok_summate from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ren
a
me
summate
.
cc to barv
i
nok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
a
l
ue
.
c: reduce_ev
a
lue: reduce floor
w
ith co
n
s
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Add
Laure
n
t expansion based su
m
mati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
evalue
.
c: extend
e
equal
t
o hand
l
e
d
o
ma
i
ns and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
binomia
l
.
c: extract bino
m
i
al and fac
t
orial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdo
o
lae
g
e
pow
e
r
.
h
: extrac
t
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduc
e
e
v
alue_shift_va
r
iabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
lattice_point
.
c
c
: export relative_coord
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
latti
c
e_poi
n
t
.
h:
make sure co
r
rect ev
a
lu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
d
o
olaege
lattice_poin
t
.
cc: ad
d
ceiling functio
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doolaege
util
.
c
: internalize u
g
ly
bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
S
ve
n
Verdoolaege
lattice_p
o
int
.
cc:
multi_mo
n
om/lattice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc: clean up "expo
n
ential su
b
stitution
"
s
e
ct
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
test_boun
d
.
cc:
a
v
oid loss of pre
c
i
sion caused b
y
conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
olaeg
e
ba
r
vinok_bound: optionally
t
a
ke maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
b
a
rvinok_
b
ound: add --
i
te
r
ate
o
ptions for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
x
p
o
rt functions
f
o
r setting an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Ver
d
o
o
laege
v
e
rify
.
c: evalue_optimum: allow computat
i
on
of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
r
doolaege
bernstein
.
cc: ev
a
lue2ex: don't assume
a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bou
n
d
.
cc: fix call to eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memo
r
y leaks
commit
|
commitdiff
|
tree
next