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
Add files generated by bison and flex to the distribution
2008-10-16
Sv
e
n Verdoolaege
Add fi
l
es gen
e
rated by bison and fl
e
x to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdoolaege
update
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
u
p
date pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verd
o
olaege
evalue
.
c
:
affine2evalue: reduce c
o
effi
c
i
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c
:
e
v
a
l
ue_level_cmp: produce more
consi
s
tent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ver
d
oolae
g
e
do
c
:
add another paper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
doolaege
p
i
ecewise_lst
.
h: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoolaege
eval
u
e
_read
.
c: fix minor
bugs
i
n tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
d
oolae
g
e
update omega f
o
r missing files in
d
is
t
ribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
b
arv
i
nok_enumerate_e: avo
i
d infinite loop whe
n
pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
m
ove omeg
a
s
u
b
dir
to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
c
c:
a
dd stdlib includ
e
for
ab
o
rt
hi
d
d
e
n in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
r
emove g
n
ulib
lin
k
-war
n
ing module
c
omple
t
e
ly
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
l
exmin
.
cc:
find and sort are in std:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lexmin
.
c
c
: avoid use
of t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
e
r
doolaege
4coins
.
cc: remove
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
ae
g
e
te
s
tlib
.
cc: add missing
returns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
workaround silly sun compi
l
er errors
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoola
e
ge
A
v
oid u
s
e of t
h
e make
-
C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
doolaege
summate
.
c
: add missin
g
incl
u
de
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
s
u
mmate
.
c: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
M
akefil
e
.
a
m: in
c
lude lib
i
nclud
e
d
ir in
build di
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
lau
r
e
nt
.
c
c
: d
o
n'
t
use
c
onst ve
c
t
o
rs
as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
ge
variable length arra
y
s are not stan
d
ard
C++ (
y
et)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
gen
f
un
.
cc: argument of mp_get_
m
emory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update
pipl
i
b for c
o
mpatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
olaege
update polyli
b
with
e
xtra field i
n
Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven
V
erdoolaege
doc: f
i
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n
V
e
r
doo
l
aege
add missing alg
o
rithm includ
e
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
F
ix out-of-bound
s
error in Laur
e
nt expansion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdool
a
ege
I
n
clude empty
.
c file in libbarvi
n
ok if
G
iNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly r
e
fle
c
t ext
r
a so
u
rce
s
for
l
ibbar
v
inok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoola
e
ge
fix
t
ypo in co
m
m
e
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
l
ib/string
.
i
n
.
h: copy __restrict handl
i
ng
f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib function to last pre-GPLv3 v
e
rsi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdoolaege
enumerator::han
d
le:
r
eplace incorre
c
t d
e
lete by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdo
o
laege
updat
e
piplib for co
r
rected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoola
e
ge
c
onf
i
gure:
u
se correct
h
ead
e
r fi
l
es i
n
case o
f
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
configure
.
in: fix check
f
o
r
code_ge
n
library availabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdool
a
e
g
e
omega/occ:
only open debug
o
utput file if the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doola
e
g
e
om
e
ga/Makef
i
l
e
.
am: a
v
oi
d
bison's -o
option
a
s naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoola
e
ge
ra
n
ge
.
c
c
: a
d
d
mis
s
ing inclu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolae
g
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add ed
i
t
ors to IT
S
L p
a
pers
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
o
olaege
use argp for argument parsing
i
n b
a
rvinok_ehr
h
art and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
p
r
operly handle NTL CPPFLA
G
S and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
ol
a
ege
b
asis
_
reducti
o
n_templ
.
c: add missing
i
n
c
l
ude
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
barvin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
e
rdoola
e
ge
a
d
d
some
t
est sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
doc:
a
d
d la
t
est (ac
c
epted)
p
ublications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdoolaege
Mak
e
fil
e
.
a
m
:
ad
d
section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doo
l
ae
g
e
normaliz
a
tion
.
c: c
o
mp
u
te_shifts:
re
m
ove redundant ret
u
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
move Free
_
P
aram
N
a
m
e
s
p
olylib and make param n
a
mes const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
o
cc:
a
dd int
e
r
face to bar
v
inok_
s
u
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
ex_convert
.
cc: extract ex2eval
u
e from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoola
e
ge
doc: document more --s
u
mmation methods f
o
r barvi
n
o
k
_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
e
g
e
opti
o
n
s
.
c: rename
"
ba
r
vinok" summation
m
ethod to "
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makef
i
le
.
am
:
check-euler: also c
h
eck la
u
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvinok_summat
e
:
handle p
r
oducts
o
f polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
evalue
.
c
:
export
e
value_r
e
order_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
lae
g
e
berns
t
ein: numeric2value: fix typo to al
l
ow corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
uti
l
.
c: Factor_Cont
e
xt:
e
xtracted from
barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
s
ummate
.
c: barvinok_sum
m
ate: ign
o
r
e
floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
evalu
e
.
c: add ev
a
lue_f
l
oor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olae
g
e
omega/occ: print barvinok v
e
r
sion n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laeg
e
doc: update s
o
m
e
references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Make laur
e
nt bas
e
d summation the
d
efau
l
t
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
V
e
rdoolaege
summate
.
c: barv
i
nok
_
summate: han
d
le quasi-po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
red
u
ce_evalue: extract out evalue_reduc
e
_
s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolae
g
e
ev
a
lue
.
c:
e
v
alue
_
s
h
ift_variables:
allow
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handle equalitie
s
for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: b
a
r
v
i
n
o
k_summate: move co
m
mon pa
r
ts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_su
m
: move sign handli
n
g
into esum_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
b
a
rvinok_e
.
cc: enumerate
_
sum: use barv
i
nok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
su
m
mate
.
c: extract barvino
k
_summate
f
r
om barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
aege
rename summate
.
cc to bar
v
inok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
e
r
d
oolaeg
e
evalue
.
c
: reduce_evalu
e
: r
e
d
uce floor w
i
th c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Ad
d
Laurent
exp
a
nsion
b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
evalue
.
c: extend eeq
u
al to handle d
o
mai
n
s and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
b
inomial
.
c:
e
xtract binomial a
n
d facto
r
ia
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
w
er
.
h:
extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
V
e
rdoolaege
introduce
e
value_shif
t
_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
lattice_point
.
cc: export relative
_
coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
V
e
rdoolae
g
e
lattice_point
.
h: make sure corre
c
t
eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_p
o
int
.
cc: add c
e
ili
n
g f
u
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
util
.
c: intern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ve
r
doolaege
l
a
ttice_poin
t
.
cc: mul
t
i
_
monom/latt
i
ce_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: clea
n
up
"
e
xponential
s
ubstit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
test_bound
.
cc: avoid
l
o
s
s
of prec
i
s
i
o
n caus
e
d by
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barvi
n
ok_bound: op
t
ionally ta
k
e
m
aximal size o
f
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
b
a
r
vi
n
ok_bound: add --iterate options for
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoola
e
ge
verify
.
c
: export
funct
i
ons for setting and
c
l
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
d
o
olaege
v
e
r
ify
.
c
:
evalue_optimum: al
l
ow co
m
put
a
tion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
b
e
rnstei
n
.
cc
:
eval
u
e2ex
:
don't assum
e
all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaege
bound
.
cc: fix c
a
ll to e
v
alu
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,m
u
l}_pe
r
iodics:
plug mem
o
ry lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
evalu
e
_bernstein_coeff
i
cie
n
t
s: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaeg
e
update p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lat
t
ice
_
width
.
c: skip directions th
a
t
a
re identical
.
.
.
commit
|
commitdiff
|
tree
next