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
update isl for isl_set_from_params
2008-12-01
Sven Verd
o
o
l
aege
A
llow build
o
f
o
c
c when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoolaeg
e
d
oc: ad
d
a referen
c
e to a master thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
r
doolaege
b
a
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Ver
d
oolaege
REA
D
ME: fix up installation instr
u
ctio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
Add files genera
t
ed
by bison and
flex to
t
he d
i
strib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
update po
l
yli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2eva
l
ue: redu
c
e coeffi
c
i
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdool
a
ege
evalu
e
.
c: ev
a
lue_level_cmp: produce more
co
n
si
s
te
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
d
o
c:
a
d
d
another
p
aper referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verd
o
olaege
piece
w
ise_lst
.
h: avoid dupl
i
cate p
a
ram
e
ter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
eval
u
e_read
.
c: fix m
i
nor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Ver
d
oola
e
ge
update omega for
missi
n
g fil
e
s
in d
i
s
t
r
i
b
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oolaege
bar
v
ino
k
_
e
numerate_
e
:
avoid infini
t
e loop when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
incl
u
d
e
omega submodul
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
a
ege
move omega subdir to
o
mega_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
NTL_QQ
.
c
c: ad
d
st
d
lib include
for
a
bor
t
hidden
in NTL
_
v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
r
emo
v
e
gnu
l
ib link-warning module
c
ompletel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aege
lexmin
.
cc:
f
ind
a
n
d
sort are in
std:: nam
e
space
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
lexmi
n
.
c
c:
a
v
o
id u
s
e of ty
p
eof
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
d
oo
l
aege
4coins
.
c
c: r
e
mo
v
e dead code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Ve
r
doola
e
ge
test
l
ib
.
cc: add missi
n
g retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
workaro
u
nd silly
s
un compi
l
e
r
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
Av
o
i
d
use of
the make -C option
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoola
e
g
e
summ
a
te
.
c: add mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
s
u
mmate
.
c: add missing return
valu
e
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
l
a
ege
Makefile
.
am: include lib include dir in bu
i
ld
d
ir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
laurent
.
cc:
d
o
n't use
c
o
n
st vector
s
as m
a
p
keys
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rdool
a
ege
variable length ar
r
a
y
s are
not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolae
g
e
genfun
.
cc: argum
e
nt
o
f mp_get_m
e
mory_funct
i
ons
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaeg
e
upda
t
e piplib
f
or co
m
patibility
c
hang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoola
e
ge
update po
l
yli
b
w
i
th
e
xtra field in
Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoola
e
ge
doc: fix typo
s
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdo
o
la
e
ge
ad
d
missing algorithm include
for fin
d
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoo
l
aege
Fix out-of-bou
n
ds error
i
n
Laur
e
nt expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
Include empty
.
c
fil
e
i
n libbarvinok if GiNaC was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
c
o
rr
e
ctly r
e
flect extra sources for
l
i
b
barvino
k
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
Verd
o
olaeg
e
fix
t
ypo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
l
ib/s
t
ring
.
in
.
h: copy
__restrict
handling from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoola
e
ge
update gnulib f
u
nc
t
ion
t
o
last pre-GPL
v
3
ver
s
i
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
Ve
r
doolaege
enumer
a
tor::handle:
r
epl
a
ce incorrect delet
e
b
y
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rdoola
e
ge
upda
t
e p
i
p
l
ib f
o
r corrected Urs_parms h
a
ndli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoo
l
a
e
ge
configure: use correc
t
h
e
ad
e
r f
i
les in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoolaege
omega/occ: only
o
p
en
d
e
bug output
f
ile if
t
he
r
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
add editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoolaege
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
ege
add some t
e
st
s
e
ts from itsl2008 p
a
pe
r
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
doc: add lates
t
(accepted
)
publi
c
ations
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Makefile
.
am:
add section_ar
r
ay
.
h t
o
distribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
normalization
.
c: comp
u
te_shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
move Free_ParamN
a
mes polylib and make
p
aram name
s
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oola
e
ge
occ: ad
d
i
n
t
erface
to b
a
rvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_con
v
ert
.
cc:
e
xtract e
x
2
e
v
alue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: d
o
c
ume
n
t more --su
m
mation methods for barvino
k
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename "bar
v
inok" sum
m
atio
n
metho
d
to "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaege
M
a
k
e
f
ile
.
am: check-eu
l
er:
als
o
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
u
m
mate
.
c: bar
v
inok_summate:
h
a
n
d
le products o
f
polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdo
o
laege
e
v
alue
.
c: export evalue_r
e
order_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
e
g
e
bernstein: num
e
ric2
v
a
l
ue: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor_Conte
x
t: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: b
a
rvinok_sum
m
a
t
e: ignore
floors inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doola
e
ge
ev
a
lue
.
c: add e
v
alue_floor2
f
ra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
omega/
o
cc: print barvinok version numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
doc
:
up
d
ate
some
r
ef
e
r
ence
s
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Mak
e
laurent b
a
se
d
summatio
n
th
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaeg
e
summate
.
c
: barvinok_summate: handle quasi
-
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
reduce_evalue: extract ou
t
evalu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoolaege
evalue
.
c:
e
value_shift_
v
ariables:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
do
o
laege
sum
m
ate
.
c
:
handle equalities
for all summat
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
s
ummate
.
c:
b
ar
v
inok_summat
e
:
m
ove common parts of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c: evalue_sum: move
sign handli
n
g into esum_over_do
m
ain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
a
rv
i
nok_e
.
cc: enumerate_sum: use barvin
o
k_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
extract
b
arvinok_summate fro
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
rename summate
.
c
c
to b
a
r
vi
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
r
educe_evalue: re
d
uce
f
loo
r
with const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
Add Laure
n
t expansion
bas
e
d
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
doolae
g
e
evalue
.
c: extend eequ
a
l to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
er
d
oolaege
binomial
.
c
:
extract b
i
nomial a
n
d factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Ve
r
d
o
olaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
intro
d
u
c
e evalue_s
h
ift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
lae
g
e
lattic
e
_point
.
cc: export
re
l
ative_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_point
.
h: make su
r
e correct evalues
a
re used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Ve
r
d
o
o
laege
la
t
tice_point
.
cc: add ceiling fun
c
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoolaege
util
.
c
:
internalize
u
gly bv
_
c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdo
o
laege
lattice_poin
t
.
cc:
mul
t
i_monom
/
lattice
_
points: retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Ve
r
doolae
g
e
doc
:
clean up "exponential substituti
o
n
"
secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaeg
e
test_bound
.
cc: avoid l
o
s
s
of precisio
n
caused
b
y conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
a
rvinok_bound: optionally take maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok
_
bound:
add
--itera
t
e op
t
i
o
ns for e
v
a
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolae
g
e
v
e
rify
.
c: export functio
n
s
for setting and clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
r
i
fy
.
c
:
e
val
u
e_optim
u
m:
allow computa
t
ion o
f
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
bernstein
.
c
c
:
e
value2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
ound
.
cc: fix call to e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
e{add,mul}_periodic
s
: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
er
d
oo
l
a
ege
evalue_ber
n
stein_coefficients: handl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
o
l
aege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoolaege
lattice
_
width
.
c: skip
d
irection
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
aege
Makefil
e
.
am: a
d
d
cd
d
94e-test to distrib
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
mega/occ:
optiona
l
ly use parker for c
o
m
p
u
t
in
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
next