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
4coins.cc: remove dead code
2008-08-28
Sven Ver
d
oolaege
4co
i
ns
.
cc:
remove d
e
ad code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
cc:
a
d
d
m
iss
i
ng re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
workaround silly sun compiler er
r
o
rs
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Av
o
id u
s
e
o
f the
m
ake
-
C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
summat
e
.
c
: add missi
n
g
i
nclude
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
sum
m
at
e
.
c: add miss
i
ng
return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Makefile
.
am: i
n
c
lude lib
i
nclu
d
e dir in build
d
ir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lau
r
ent
.
cc: don
'
t
u
se
const vectors
as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
variab
l
e length arra
y
s are no
t
sta
n
d
ard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
genfun
.
cc: argumen
t
of
m
p_get_memor
y
_functi
o
n
s should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
upda
t
e piplib for compatibility c
h
an
g
es
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
ool
a
ege
update p
o
l
ylib with e
x
tra field in P
a
ram
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
ool
a
ege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
add missing algorithm
i
n
clude for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out
-
of-bounds e
r
ro
r
in Laurent expansion base
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoola
e
ge
Inc
l
ude empty
.
c file in l
i
bbar
v
inok if
GiNaC was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdool
a
ege
c
or
r
ectly ref
l
ect ex
t
ra
so
u
rces
f
or
l
ibbarv
i
n
o
k and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
fi
x
typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
li
b
/string
.
in
.
h: co
p
y __restr
i
ct handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven V
e
rdo
o
la
e
ge
update gnuli
b
f
u
ncti
o
n to last p
r
e-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
o
olaege
e
n
u
merator
:
:h
a
ndle: replace i
n
correct
d
ele
t
e
by f
r
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolae
g
e
update piplib for corrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdo
o
lae
g
e
co
n
figur
e
: use correct
h
eader files in case of b
u
n
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
configure
.
in:
f
ix
c
h
eck for code_gen libra
r
y availabi
l
ity
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
ome
g
a
/occ:
only op
e
n
debug
o
utput
f
ile
i
f
t
here
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
omega/M
a
kef
i
le
.
a
m: avoid bison's -o option as nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
laege
ran
g
e
.
c
c
: add m
i
ssing include o
f
a
l
lo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
r
doolaege
ad
d
edi
t
ors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use
argp for argument
p
a
rs
i
n
g in bar
v
i
n
o
k_ehr
h
ar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
o
olaege
pro
p
erly han
d
le NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oolaeg
e
basis_reducti
o
n_templ
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
l
a
ege
b
a
r
v
inok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoola
e
ge
add some test sets from itsl2008
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
do
c
: add
la
t
est (a
c
cept
e
d) publications
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
Makefile
.
am
:
a
d
d s
e
ction_ar
r
a
y
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ver
d
oolaege
normaliza
t
ion
.
c: c
o
mpute_shifts: r
e
m
o
ve redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
m
ove Free_ParamNames
p
olyl
i
b a
n
d make param names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
olaege
occ: add i
n
terface to barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
x
_convert
.
c
c: ex
t
ract ex2
e
value
from rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
doc: document more --summat
i
on meth
o
ds for b
a
rvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
options
.
c
: rename "bar
v
in
o
k" summa
t
ion
method
t
o
"
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
M
akefile
.
am
:
check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvin
o
k
_
summate: handle pro
d
uc
t
s
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
eval
u
e
.
c:
e
xport
evalue_re
o
rde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
o
laege
bernstein: numeric2
v
alue: fix typo to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
dool
a
ege
util
.
c: Fa
c
t
o
r_Cont
e
xt: extrac
t
ed from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
b
a
r
vinok_s
u
mmate
:
ignor
e
floor
s
independe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
ev
a
lue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoo
l
a
e
ge
ome
g
a/occ: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
d
o
c:
update so
m
e r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
Make lauren
t
based summation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: barvinok
_
su
m
mate: h
a
ndle quasi-
p
ol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
ce_evalue: extract out evalue_red
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
ev
a
lue
.
c: evalue_shift_va
r
i
ables: all
o
w
shif
t
ing
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolae
g
e
summ
a
te
.
c
: handle equalities for all sum
m
ation al
g
o
ri
t
hms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
a
e
g
e
s
umm
a
te
.
c: barvinok_sum
m
ate
:
move common part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doo
l
aege
evalue
.
c
:
evalue_sum:
mo
v
e
s
i
gn
handl
i
ng into e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rd
o
o
l
ae
g
e
b
a
rvinok_e
.
cc: enume
r
a
te_su
m
: use barvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
r
d
oolaege
s
u
mmate
.
c
:
extract barvinok_sum
m
ate fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
rename sum
m
ate
.
cc to barvinok_sum
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
evalue
.
c: reduce_eva
l
ue: redu
c
e
f
l
o
or with
con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doo
l
aege
Add Laurent
e
xpansion b
a
sed s
u
mma
t
ion
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
e
v
al
u
e
.
c: ext
e
n
d
e
equal to handle domains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
binomial
.
c: extr
a
c
t
binomial and fac
t
o
rial from
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
power
.
h: extract from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verd
o
ol
a
ege
in
t
roduce eva
l
u
e
_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolae
g
e
lattice_po
i
nt
.
cc: expo
r
t
rel
a
tive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_poin
t
.
h
: make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: a
d
d
ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
g
e
u
til
.
c:
int
e
rnalize
u
gly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_poi
n
t
.
c
c
:
m
ulti_monom/la
t
tic
e
_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
doc: cl
e
an up "exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Ver
d
oolaeg
e
test_bound
.
c
c
: avoid
l
oss of precision caused
b
y con
v
ers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
barvinok_bound: optionally t
a
ke
m
a
ximal s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: add
--iterate
o
p
tions
for
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
verify
.
c: exp
o
r
t
fun
c
tions for s
e
tting a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
la
e
ge
v
erify
.
c:
e
value_optimum: allo
w
computation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
bernstein
.
cc:
e
value2ex
:
don't assume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
eg
e
boun
d
.
cc: fix ca
l
l to e
v
a
lue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
ola
e
ge
e{add,mul}_per
i
odics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
eg
e
evalue_
b
e
r
nst
e
in_c
o
effi
c
ients:
h
andle problems
wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven V
e
rdoolaege
lattice_width
.
c: skip d
i
rections that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Mak
e
file
.
am: add c
d
d94e-test to
d
istribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/occ: optionall
y
use
p
ark
e
r fo
r
com
p
uting
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
olaege
no
r
malization
.
c: skew_to_positiv
e
_
o
rthant: pr
o
pe
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: re
l
ation2Do
m
ain: only co
l
l
ect
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
occ: add dump fo
r
dump
i
ng
i
n
bar
v
inok
_
en
u
mer
a
t
e_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_e
n
umera
t
e_e: opt
i
onally use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard
_
constraints: tak
e
constraints ins
t
e
ad of polyhe
d
ro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
norm
a
lization
.
c
:
ext
r
a
ct st
a
ndard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Ve
r
do
o
l
aege
parker/count_solut
i
ons
.
cc: fix treatment of exis
t
entially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
l
a
ege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolae
g
e
euler
.
cc: evalue_derive: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add some test sets
f
rom ca
s
es 2004 and cc 2
0
05
pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
renam
e
bar
v
i
n
ok_max
i
mize to barvi
n
ok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add a test for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
evalue_ra
n
g
e
_propagation: remove redundant polynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
next