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
remove gnulib link-warning module completely
2008-08-28
Sve
n
Verdoolaege
remov
e
gn
u
lib link-warning module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
lexmin
.
cc: find an
d
so
r
t are
in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoo
l
aeg
e
le
x
min
.
cc: av
o
id use of t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdo
o
l
aege
4c
o
ins
.
c
c
: r
e
move dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laege
testlib
.
c
c
: add missi
n
g returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolae
g
e
workaro
u
nd silly sun compi
l
er er
r
ors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid use o
f
the
make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
summate
.
c: add missing re
t
urn values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
g
e
Makefile
.
a
m
:
i
nclude lib include
dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc:
don't us
e
c
o
n
s
t vectors as ma
p
keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
va
r
iable leng
t
h arrays are not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
genf
u
n
.
cc: argument
o
f mp_get_memory
_
functio
n
s
s
h
o
u
ld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
update piplib
f
or compat
i
bility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
a
e
g
e
u
pdate p
o
lylib
w
i
th
extra
fi
e
ld in Param_Poly
h
edron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add missi
n
g algorith
m
in
c
l
u
de for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
Fix out-of-bounds er
r
or i
n
Laur
e
nt expa
n
sion
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Includ
e
empty
.
c
file in libbarvinok i
f
GiNaC was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdoola
e
ge
correc
t
ly reflect
e
x
t
ra sources fo
r
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
fix
typ
o
in comment
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaeg
e
lib
/
string
.
in
.
h: copy __
r
es
t
r
ic
t
handling
f
rom lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
e
n
Verdoolaege
upd
a
te
g
nulib function to last pre-GPLv3 v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdo
o
laege
enumerat
o
r::handle: replace i
n
correct delete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolaege
update pi
p
lib for
corrected Urs_parms handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
co
n
figure: use c
o
rrect header
files
i
n case of
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolae
g
e
co
n
f
igure
.
in: fix c
h
eck for code_gen
l
i
brary
a
vailability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega
/
occ: only open debug output file if
t
her
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
omega/Makefile
.
am: avoid bison's -o option a
s
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
ool
a
ege
range
.
c
c
:
a
dd missing include
of
a
lloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolae
g
e
d
oc
:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
V
e
rd
o
o
l
aege
add ed
i
tors to ITSL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
u
se argp for argument
parsing in barvinok_ehr
h
art
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdo
o
laege
properly hand
l
e NTL CPP
F
LAGS and L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdoolaege
basis_redu
c
t
i
on_templ
.
c: a
d
d
missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laege
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
add some test sets from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add lat
e
st
(
ac
c
e
p
t
ed) pub
l
ic
a
tions
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verd
o
olaege
Makefil
e
.
a
m: add section
_
array
.
h
to
d
ist
r
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
l
a
ege
n
o
rmal
i
z
a
tion
.
c: c
o
mpute_shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
m
ove
F
ree_ParamNames
polylib and make param
n
ames const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
occ: ad
d
interface
t
o barvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
ex_
c
o
n
ver
t
.
cc:
ex
t
r
a
ct ex2ev
a
l
u
e f
r
om range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
doc
:
doc
u
m
ent more --summation methods for
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
a
ege
opti
o
ns
.
c:
r
e
name
"
ba
r
vin
o
k" summatio
n
m
e
thod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
Ma
k
efile
.
a
m
: check-euler: a
l
so check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
dool
a
eg
e
summate
.
c: barvinok_summate: handle products of po
l
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
e
g
e
ev
a
lue
.
c: expo
r
t evalue_re
o
r
der_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
bernstein: nu
m
e
ric2value: fix typo
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
util
.
c: Factor_C
o
n
t
e
x
t
: extra
c
ted fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c: barvin
o
k_
s
umm
a
te:
i
g
nore floors indep
e
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: add evalue_fl
o
or2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
omega/oc
c
: print barvinok version n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
doc: update som
e
refere
n
c
es
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make la
u
re
n
t base
d
summation t
h
e defa
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
summat
e
.
c:
ba
r
vinok_summate:
handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_e
v
alue: extract o
u
t evalue_
r
educe_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: eval
u
e_shift_variables
:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c: handle equalities for
all summation algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
s
ummate
.
c: bar
v
inok_summate: mo
v
e c
o
m
m
on parts of
su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
o
laege
eval
u
e
.
c: evalue_sum:
move s
i
gn
h
andling
into
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdo
o
l
aege
barvino
k
_
e
.
cc:
e
numerate_sum: u
s
e barvinok_summat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ve
r
d
oolae
g
e
summate
.
c: ex
t
ract barvinok_summate from ba
r
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
rename summate
.
cc to bar
v
inok_sum
m
at
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: redu
c
e_evalue: reduce floor with con
s
tan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
Add
Laurent expansion bas
e
d summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
v
al
u
e
.
c: extend ee
q
ual to ha
n
dle
d
oma
i
ns and
N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
binomi
a
l
.
c: extract binomial and factorial fro
m
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oolaege
power
.
h: extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
introduce evalue_shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erdo
o
laege
lattice_
p
oint
.
cc: export relative_c
o
ord
i
na
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olae
g
e
lat
t
ice_point
.
h: m
a
ke sure cor
r
e
c
t evalues
a
r
e us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doo
l
aege
l
a
t
t
ice_p
o
int
.
cc: add ceiling func
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
util
.
c:
internalize ugl
y
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoolaege
l
att
i
c
e_point
.
cc:
mu
l
ti_monom/l
a
ttic
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
laege
doc: clean up
"
expone
n
tial substitution" se
c
t
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoo
l
aege
t
e
s
t
_
b
ound
.
cc: avoid los
s
of
p
recisi
o
n ca
u
sed by c
o
nver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvinok_bou
n
d
: optionally ta
k
e maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
ar
v
inok_bound: add --ite
r
a
t
e options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolae
g
e
veri
f
y
.
c: exp
o
rt f
u
nctions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdo
o
laege
verify
.
c: evalue_optimum: allow
computation o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
bernstein
.
cc:
evalue2ex: don
'
t
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bound
.
cc:
fi
x
call to
evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
e{add,m
u
l}_peri
o
dics: plug me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bern
s
tein_coeffic
i
ents: handle p
r
oblems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
u
pda
t
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolaege
lattice_width
.
c: skip d
i
recti
o
ns that ar
e
iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Ver
d
oolaege
Makefile
.
am: add cd
d
94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
omega/occ: opti
o
na
l
ly use parker for computing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
norma
l
iz
a
t
i
on
.
c
:
skew_to_pos
i
tive_
o
rthant: pr
o
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: rela
t
ion2Domain:
o
nly
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdool
a
ege
occ: add
dump for dumping in barvinok_enumerate
_
e
f
o
rma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
barvinok
_
enumerate_e: optio
n
ally
u
se parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
o
laege
s
tandard_constraints:
t
a
ke
c
onstraints
in
s
t
e
a
d o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Ve
r
doolaege
normalization
.
c: extra
c
t standard_co
n
strain
t
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoola
e
g
e
parker
/
coun
t
_s
o
lut
i
ons
.
cc: fix treatment of existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolae
g
e
c
omp
i
le pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
Add p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
eule
r
.
cc: evalue_de
r
i
ve: handle co
n
st
a
nt poly
n
omi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
o
olaeg
e
a
d
d some test sets
f
rom ca
s
es 2004
and
c
c
2005 pap
e
rs
commit
|
commitdiff
|
tree
next