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 Ver
d
oolaege
barvi
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up installation i
n
struction
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add
fi
l
es
genera
t
ed by bi
s
on and
f
lex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
u
pdate
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdo
o
laeg
e
upd
a
te
p
ip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
affine2evalue: reduce coef
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doo
l
aege
evalue
.
c: evalue_l
e
vel_c
m
p:
p
roduce mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
Verdoolaege
doc: add another paper re
f
erring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
d
o
olaeg
e
pi
e
ce
w
ise_lst
.
h: avoid duplica
t
e parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalu
e
_read
.
c: fix min
o
r
bugs in t
o
ke
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update
omega
for miss
i
ng files in distribution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
r
doolaege
barvi
n
o
k_enume
r
ate_e: avo
i
d in
f
i
n
ite loop when
pr
e
se
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
include
omega su
b
modu
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoolaege
move omeg
a
subdir to omega_in
t
e
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
NTL_QQ
.
cc: add stdl
i
b include
for abor
t
hidd
e
n
i
n NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
remove gn
u
l
ib link-warning modu
l
e c
o
mpletely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Ve
r
d
oo
l
aege
lexmin
.
cc: f
i
nd an
d
s
o
rt are in std
:
:
n
ames
p
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
lex
m
in
.
cc: avoid
u
se of typeof
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
4coins
.
cc: remove dead
c
od
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
test
l
ib
.
cc: add
missi
n
g retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
dool
a
eg
e
workaround si
l
ly sun
c
ompi
l
e
r
errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
A
v
oi
d
u
s
e
of the
make -C
opt
i
on
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdool
a
ege
s
ummat
e
.
c: add
m
i
ssing
i
nclude
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
summate
.
c: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
M
a
k
efile
.
am: include lib include
d
ir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
laurent
.
cc
:
don't use
cons
t
vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
variable length ar
r
ays
a
r
e
not standard C
+
+ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genfu
n
.
cc: argument
of mp_get
_
mem
o
ry_
f
u
n
ctions sh
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
update pip
l
i
b f
o
r compat
i
bility c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
S
ven
V
e
r
d
o
olaege
update po
l
ylib with
e
xtr
a
field in
P
a
ram
_
Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoola
e
ge
doc: fi
x
ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolae
g
e
add missing algorit
h
m include for find
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n V
e
rdoolaege
Fix out-o
f
-
bounds err
o
r
i
n Lau
r
ent exp
a
nsi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
a
e
g
e
Include e
m
pty
.
c file in libbarvi
n
o
k
if GiN
a
C
w
as not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
cor
r
ectly
r
efle
c
t e
x
tra
s
our
c
es for
l
i
b
b
arvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
li
b
/string
.
in
.
h: copy __restrict
h
andling
fro
m
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven
V
erdoolaeg
e
update
g
nulib functi
o
n to
last
p
re-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verd
o
olaege
en
u
merator::handle: replace inc
o
r
r
ect delete by free
commit
|
commitdiff
|
tree
2008-06-17
S
ven
V
erdoolae
g
e
update piplib for correcte
d
Urs_pa
r
ms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
g
e
con
f
igure: use correct header fil
e
s in c
a
se of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
c
o
nf
i
gure
.
in: fix
c
he
c
k for
c
o
de_
g
en library a
v
ail
a
bility
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
erdoola
e
ge
omega/occ:
o
nly open debug
o
utput file if
t
her
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
o
m
ega/M
a
ke
f
il
e
.
am: avoid bison's -o o
p
tion as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
c
c
:
a
dd
mi
s
sing include o
f
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
eg
e
add edito
r
s to ITSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
use
argp for a
r
gumen
t
parsing in barvinok_ehrhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verd
o
olaege
p
rop
e
rly
h
a
n
dle NTL
C
PPFLAGS and L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
basis_re
d
uction_templ
.
c:
a
dd m
i
ss
i
ng i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
o
l
aege
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
erdoolaege
add some
test sets from
itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoola
e
ge
d
o
c: add l
a
t
e
st
(accepte
d
) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolaege
Ma
k
efile
.
am: add section_array
.
h to dist
r
ibutio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doola
e
ge
normalizatio
n
.
c: compute_shi
f
ts: remo
v
e redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_
P
aramName
s
polylib an
d
make param name
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
oc
c
:
a
d
d
i
nterface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
e
x
_
convert
.
cc:
e
xtract
e
x2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
doc: d
o
cume
n
t more --summatio
n
method
s
f
o
r
barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
optio
n
s
.
c:
r
ename "b
a
rvinok" summat
i
on method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Makefi
l
e
.
a
m: check-euler: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
summate
.
c: barvinok_
s
u
mmate: handle produc
t
s
of polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
evalue
.
c:
export
e
v
a
lue_r
e
o
r
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein
:
num
e
r
ic2va
l
ue: fix typo t
o
al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ut
i
l
.
c:
Factor_
C
ontext: extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
a
ege
s
u
mmate
.
c: barvinok_summ
a
te: ignore flo
o
rs in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add ev
a
lu
e
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
om
e
g
a
/occ
:
print barvi
n
ok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc:
u
pda
t
e so
m
e
references
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Make laurent bas
e
d summation the
d
e
f
aul
t
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
summa
t
e
.
c: b
a
rvinok_summate: handle quasi
-
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
r
educe_evalue: extract out e
v
al
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
e
v
a
lue
.
c
:
eval
u
e_shif
t
_variable
s
: allow
s
hifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
sum
m
ate
.
c: hand
l
e
equalities for all summat
i
on a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summ
a
te
.
c
:
barvinok_summ
a
te: move common parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c:
eval
u
e_su
m
:
m
o
v
e
sign
h
and
l
ing in
t
o
esum_over_
d
omain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
barvinok_e
.
cc:
e
num
e
r
ate_sum:
u
se barvinok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
sum
m
ate
.
c: ex
t
ract
barvi
n
o
k_sum
m
ate from ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
cc t
o
barvinok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
e
val
u
e
.
c: red
u
ce_eval
u
e:
r
e
duce floor w
i
th co
n
stant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
o
o
laege
Add Laurent expansio
n
b
a
sed summatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
o
l
aeg
e
eval
u
e
.
c: extend eeq
u
a
l to handle domains an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
Verd
o
olaege
bino
m
ial
.
c:
extract binomia
l
and factorial
f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laeg
e
power
.
h
:
extr
a
ct fro
m
eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaeg
e
introduce eval
u
e
_
s
h
ift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
lae
g
e
lattice_point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_
p
oint
.
h: make su
r
e
correct
eval
u
e
s
are u
s
e
d
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoola
e
g
e
lattice_point
.
cc
:
add c
e
il
i
n
g
fun
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
util
.
c: intern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
ola
e
ge
lat
t
ic
e
_point
.
cc: multi_monom/lattice
_
points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoola
e
ge
doc: clean up "exponential substit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
g
e
test_bound
.
c
c: avoid los
s
of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
r
d
o
olaege
b
arvinok_bound: optionally take maxi
m
al s
i
ze of
d
oma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
barvinok_b
o
und:
a
dd --
i
te
r
at
e
options for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
la
e
ge
verify
.
c: ex
p
ort functions for
s
etting and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
evalue_op
t
imum
:
allow compu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
berns
t
e
in
.
c
c
: evalu
e
2
ex: don't assum
e
all
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
o
l
aege
b
ound
.
cc: fix
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mu
l
}_peri
o
dics: plug m
e
mor
y
lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
evalue_ber
n
s
tein_co
e
f
fi
c
ients: handle problems
with
.
.
.
commit
|
commitdiff
|
tree
next