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
bar
v
inok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oola
e
g
e
README: fix up installation i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdo
o
laege
Add f
i
l
es generated by bison an
d
f
l
ex
to the distrib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
ege
u
p
da
t
e piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n V
e
rdoola
e
g
e
eval
u
e
.
c: affi
n
e
2
e
v
alue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
r
d
oolaege
eval
u
e
.
c: eval
u
e_level_cmp: produce more consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdool
a
ege
d
o
c:
add another pap
e
r ref
e
rring t
o
the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolaeg
e
piecewise_lst
.
h: avo
i
d
duplicate parameter
nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
ev
a
lue_re
a
d
.
c: f
i
x minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega for
m
i
ss
i
ng
f
iles in distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
a
ege
barv
i
nok
_
enum
e
rate_e: avoid
infi
n
ite loop wh
e
n prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
include omega submod
u
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
aeg
e
mov
e
omeg
a
subdir to
o
mega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
N
TL_QQ
.
cc: a
d
d
stdlib include for abort
hidden i
n
NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remo
v
e gnulib link-war
n
ing
m
od
u
l
e
c
o
mplet
e
ly
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
l
e
xmin
.
c
c:
fin
d
a
nd
sort a
r
e in
s
td:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
cc
:
avo
i
d u
s
e of
typeo
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc: remove dead c
o
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdo
o
l
aege
t
estlib
.
cc
:
ad
d
mis
s
ing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
workaround
s
i
l
ly sun compiler e
r
ro
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
A
v
oid u
s
e of the make -
C
option
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaeg
e
su
m
mate
.
c: add missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
laege
su
m
mate
.
c: add missing ret
u
r
n
value
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
Makefil
e
.
am: inc
l
ude lib include dir in
b
uild dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don't use const
v
ectors
a
s m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
v
ariable
l
ength arrays are not stand
a
rd
C
++ (yet
)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
la
e
ge
genfun
.
cc: argument of mp_get_mem
o
ry_functions shou
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update p
i
plib
for
c
ompa
t
ibi
l
ity change
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
upda
t
e
p
olylib with extra
f
i
e
ld in Para
m
_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
e
n Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
a
d
d missin
g
algorithm
include for f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out-of-bounds error in Laurent
expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
Include empty
.
c
f
i
l
e in libba
r
vinok
i
f GiN
a
C
w
a
s not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect
e
xtra sources for li
b
barvin
o
k
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Ve
r
d
oolaege
f
i
x typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doolaege
l
i
b/st
r
ing
.
in
.
h: copy __re
s
t
r
ict handlin
g
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Ver
d
ool
a
ege
update gnulib fun
c
t
i
on to last pre-GPL
v
3 ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n
V
er
d
oolaeg
e
enume
r
a
t
or::handle: replace
inc
o
rrect delete by fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdoolaege
update piplib for c
o
rrecte
d
U
rs_parms handl
i
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use cor
r
ect header fil
e
s
i
n
c
ase of b
u
nd
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
c
o
nfi
g
u
r
e
.
in: fix ch
e
c
k
for code
_
gen
l
ibrary a
v
ailability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
m
ega/occ: only
o
pen de
b
ug output
file
if
there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega
/
M
akef
i
l
e
.
am: avoid bison's -o op
t
ion
a
s naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
ra
n
ge
.
cc: add
m
issing in
c
lude of al
l
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add editor
s
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
use argp for argument parsing in
b
ar
v
inok
_
ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n Verdoolae
g
e
properly handle
NTL CPPFLAGS
a
nd
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
ven
Ve
r
doolaege
b
asis_reduction_templ
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets fro
m
i
t
sl2008 p
a
p
er
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdoo
l
aege
doc: add latest (accepted) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Ma
k
efile
.
a
m: add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
nor
m
alization
.
c: compute_shifts: remove r
e
dun
d
a
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
move Fr
e
e_Pa
r
amNames polylib and m
a
ke param nam
e
s con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
e
rdo
o
laege
occ: add
int
e
rface to barvi
n
ok_sum
m
a
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdoolaege
ex_convert
.
cc: extract ex2evalue from ra
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
do
c
:
d
ocument more --summation methods for barv
i
nok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
op
t
io
n
s
.
c: re
n
ame "barv
i
nok"
s
ummat
i
on met
h
o
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
am:
check-eule
r
: als
o
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
ummate
.
c
:
b
a
rvi
n
ok_
s
umm
a
te: handle products
o
f
p
o
lyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
la
e
ge
evalue
.
c
: export
e
value_reo
r
der_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ber
n
stein: numeric2value: fix t
y
po to
a
llo
w
c
orr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
util
.
c: Facto
r
_C
o
ntext: extr
a
cted from bar
v
in
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: bar
v
i
n
ok
_
summate:
ignor
e
floors indepe
n
d
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
a
dd eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rdoolaege
omega/occ:
p
rint barvinok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
d
o
c:
update s
o
me
refere
n
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
ege
Make laurent base
d
summa
t
ion
the default
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
summ
a
te
.
c: barv
i
n
o
k
_summate
:
handle quasi-polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
g
e
reduc
e
_evalue
:
extract o
u
t
e
value_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_shift_variables: allow shifting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c:
handle equa
l
iti
e
s for all summation alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verd
o
olaege
su
m
m
a
te
.
c: barvinok_summate: move
co
m
mon parts of summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c: ev
a
lue_sum: move s
i
gn handlin
g
into esum_over_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
o
l
aege
barvino
k
_
e
.
cc: enumerate_sum
:
use bar
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summate
.
c: extr
a
ct barvinok_summate fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
re
n
ame
s
ummate
.
c
c
to b
a
rvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
eva
l
ue
.
c: reduce_eval
u
e: reduce flo
o
r with c
o
ns
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verd
o
olaege
Ad
d
Laurent expan
s
ion based
summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoolaege
evalue
.
c: extend eequal to handle
d
om
a
ins and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
o
o
laege
binomial
.
c: extract binomial and factoria
l
fr
o
m e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
introduce ev
a
lue_sh
i
ft_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ve
r
doolaege
l
a
ttice_
p
oint
.
cc: export r
e
lative_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Ve
r
doolaege
lattice_point
.
h:
m
ake s
u
re correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
util
.
c: interna
l
ize ugly
b
v
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
ae
g
e
latti
c
e_point
.
cc:
multi_monom/latt
i
c
e_points: ret
u
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Verdoolaege
do
c
:
clean u
p
"exponential s
u
b
s
titution" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
test_boun
d
.
cc: avoid loss
o
f precision caused by
co
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doo
l
aege
barv
i
no
k
_bound:
o
p
t
ionally take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvinok_bou
n
d: add -
-
iter
a
te options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
export fu
n
ctions
f
or setting an
d
cl
e
ar
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c:
e
value_optimum:
a
l
low
c
omputatio
n
of o
p
tim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
b
e
rnstein
.
c
c
: evalue2
e
x
: don't assume all
p
eriodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
bound
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoo
l
aege
e{add,mul}_periodics: p
l
ug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalue_bernstein_coefficien
t
s
:
handle
p
r
oblems with
.
.
.
commit
|
commitdiff
|
tree
next