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 omega for missing files in distribution
2008-09-02
S
v
e
n Ver
d
ool
a
ege
update ome
g
a for missing files i
n
dist
r
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
barvinok_e
n
umerate_e: a
v
oid infini
t
e loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
include omega submod
u
l
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolae
g
e
move
o
mega sub
d
ir to omega_interfac
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
NTL_QQ
.
cc: add stdlib include
for
ab
o
r
t hid
d
en in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
ool
a
ege
remove
g
nuli
b
link-warning
modul
e
complete
l
y
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdo
o
laege
l
e
xmin
.
cc: find
and sort are
in std::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
eg
e
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
4
c
oins
.
cc: remove dead c
o
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
cc:
add missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
wo
r
k
a
round sil
l
y
s
u
n
comp
i
ler er
r
o
r
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olaege
Avoid use
o
f
t
h
e make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c
: add missing
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
umma
t
e
.
c:
a
d
d miss
i
n
g return values
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
olaeg
e
Makefile
.
am: inc
l
ude lib include
d
ir in
b
uild dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don't use const vectors as m
a
p keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
variable length arra
y
s are not standa
r
d C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
genfun
.
cc: argument o
f
mp_get
_
m
e
mo
r
y_fu
n
ctions s
h
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
u
pdate pipl
i
b for compat
i
bility cha
n
ges
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
Verdool
a
ege
update polylib
w
ith extra
field in Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ve
r
doolae
g
e
doc:
fi
x
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add
missing algorithm include for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
F
i
x out-of-bou
n
ds
er
r
or
in Laure
n
t expa
n
si
o
n
b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaege
In
c
lude empty
.
c fil
e
i
n
l
ibbarv
i
nok if GiNa
C
was
n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdoolaege
c
o
rrectly reflect ex
t
ra sourc
e
s for libbarvinok
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
doola
e
g
e
fix t
y
po in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
d
oolaeg
e
li
b
/string
.
in
.
h:
copy __restrict handli
n
g from li
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
dool
a
ege
update gnulib function to
l
ast
p
re-GPLv3 ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
Verdoolaege
en
u
mer
a
tor::handle:
r
ep
l
ace
i
ncorrect delete
b
y free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolae
g
e
upd
a
t
e pi
p
l
ib for c
o
rr
e
cted Urs_parm
s
h
a
n
dling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
er
d
o
olae
g
e
configure: use co
r
rect
header files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
configure
.
in: fix
check
f
o
r code_gen library availabi
l
i
t
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: onl
y
o
pen debug
output file
if there
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rd
o
o
l
aege
omeg
a
/Make
f
i
l
e
.
am: avoid
b
i
s
o
n
's -o opti
o
n as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
r
a
nge
.
cc: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
a
dd edit
o
rs to I
T
SL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolae
g
e
u
s
e a
r
gp for
arg
u
me
n
t
p
arsi
n
g in b
a
r
v
inok_
e
hrhart
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
properly handle NT
L
CPPFLAGS and
L
DFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdo
o
laege
basis_redu
c
tion
_
t
empl
.
c
:
add missi
n
g
i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
add som
e
test sets fr
o
m itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdo
o
laeg
e
doc: ad
d
latest (ac
c
e
p
ted) publica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add s
e
ction_a
r
ray
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
aeg
e
normaliza
t
ion
.
c: compute_shifts:
r
em
o
ve redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
move Fr
e
e_Pa
r
amNa
m
es polylib
a
n
d mak
e
param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
occ: add interface to barvinok
_
summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
ex_convert
.
cc: extract ex2e
v
a
l
ue from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c: docu
m
ent more --summati
o
n me
t
hod
s
f
o
r
b
a
r
v
i
n
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c
:
re
n
am
e
"
b
arvinok" summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
rdoo
l
aege
Mak
e
file
.
a
m
: check-euler:
a
ls
o
c
h
eck
lauren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oola
e
ge
summate
.
c: bar
v
in
o
k_summ
a
te: handle
p
roducts of
p
o
l
y
t
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ev
a
l
ue
.
c: export eva
l
ue_reorder_
t
e
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laege
bernstein: numeric2va
l
ue: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
o
laege
util
.
c:
F
a
ctor_Context: extrac
t
ed from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
summate
.
c: barvino
k
_sum
m
at
e
: igno
r
e floors
i
nd
e
pend
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c:
a
dd evalue
_
floor2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
ome
g
a/occ: print barv
i
no
k
versio
n
numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
doc: up
d
at
e
s
o
me referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent
b
ased summati
o
n the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
s
u
mmate
.
c
: barvinok_summate: hand
l
e qu
a
si-poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
reduce_evalue: extract out ev
a
lue_re
d
u
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
evalu
e
.
c: eva
l
u
e_sh
i
f
t
_variables: allo
w
shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
su
m
ma
t
e
.
c: han
d
le eq
u
alit
i
e
s for a
l
l
s
ummation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
sum
m
ate
.
c: barvinok_summa
t
e: m
o
v
e common
parts of s
u
mm
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: evalue_sum:
move
s
ign handling into esum_over_
d
omain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
ar
v
i
n
o
k_e
.
cc: enumerate
_
s
u
m: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
ol
a
e
ge
rename summat
e
.
cc
to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
evalue
.
c: reduce_evalue: reduc
e
floor with c
o
n
st
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
Add Laurent exp
a
n
s
ion ba
s
ed s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
oolaege
evalue
.
c: ex
t
end
ee
q
ual to hand
l
e domains
and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binom
i
al
.
c: ex
t
rac
t
binomial a
n
d fa
c
torial fr
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
olaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
i
n
trod
u
ce ev
a
lue_
s
hift_v
a
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verd
o
o
la
e
ge
lattice_point
.
cc
:
e
x
port rel
a
tive_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_po
i
nt
.
h
:
mak
e
sur
e
correct evalu
e
s are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_point
.
cc:
a
d
d ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Verdoolaege
util
.
c: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
lattice_poin
t
.
cc: mult
i
_monom
/
l
attice_points:
ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
doc: clea
n
up "expon
e
ntial substitution
"
sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_b
o
und
.
c
c:
avoid loss of precision c
a
used by c
o
nvers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
laeg
e
barv
i
n
o
k
_bound: optionally take m
a
xim
a
l size
of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bou
n
d: add --
i
t
e
rate option
s
f
or evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: expo
r
t
func
t
i
on
s
fo
r
setting and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
a
e
ge
v
e
rify
.
c
:
e
value_
o
ptimum:
allow computation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
b
ernstein
.
cc: evalue2ex: don't assume a
l
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdoolae
g
e
bound
.
c
c
: fix ca
l
l to
evalu
e
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{add,mul}_
p
erio
d
ics: plug memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
evalu
e
_bern
s
tein_c
o
e
f
ficient
s
: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattic
e
_width
.
c
: skip direct
i
ons that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoola
e
ge
Ma
k
efile
.
am: add cdd94e-t
e
st to di
s
tribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
omega/occ: optionally use parke
r
for c
o
mputing car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
n
o
rmalization
.
c
:
s
k
e
w_to_positive
_
orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
o
mega/conver
t
.
cc:
r
elatio
n
2Dom
a
in: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
occ: a
d
d dum
p
for dumping in barvinok_e
n
umerate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
ba
r
vin
o
k_enumerate_e: optionally
u
s
e
p
a
r
ker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
a
n
dard_const
r
a
ints: take co
n
straints inste
a
d of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizati
o
n
.
c: extract standard_constra
i
n
ts from
.
.
.
commit
|
commitdiff
|
tree
next