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
Include empty .c file in libbarvinok if GiNaC was not found.
2008-07-22
Sven Verdoolaege
I
n
c
l
u
d
e empty
.
c f
i
le in
l
ibbarvi
n
ok if
G
iNaC
was n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
corre
c
tly reflect e
x
t
r
a
s
o
urces for libbarvinok
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fi
x
ty
p
o
in com
m
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaeg
e
lib/str
i
ng
.
in
.
h
:
c
opy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdo
o
laege
upda
t
e
gnuli
b
function to la
s
t pr
e
-GPLv3 ve
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
olaege
enumerator::ha
n
dle: r
e
p
l
ace inco
r
rect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaeg
e
up
d
at
e
piplib for c
o
r
r
ected
U
rs_
p
ar
m
s
handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use correct hea
d
er
f
i
les
in case of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdo
o
laege
configure
.
in:
f
i
x check for code_gen library
availab
i
lity
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
do
o
laege
omega/occ:
o
n
ly open deb
u
g output file if there
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rd
o
olaege
omega/Makef
i
le
.
a
m: avoid bison's -o o
p
tio
n
as
n
aming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Ver
d
o
o
laege
range
.
c
c
: add mi
s
si
n
g inc
l
ude of
a
llo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdo
o
l
aege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
Verd
o
olae
g
e
add
editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aeg
e
use argp fo
r
argument parsing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdoolaege
properly hand
l
e NTL CPPFLAG
S
and LD
F
LAGS
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdool
a
ege
basis_r
e
ducti
o
n
_
tem
p
l
.
c: add m
i
ssing i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvin
o
k 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some t
e
st
s
ets
from itsl200
8
p
a
p
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c: add
latest (a
c
c
epted) publications
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rd
o
olaege
Ma
k
efile
.
a
m:
a
dd section_
a
rray
.
h t
o
distr
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
n
o
rmali
z
at
i
o
n
.
c: c
o
m
pute_shift
s
: r
e
m
ove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
move
F
r
e
e_Para
m
N
ames
p
olylib and
m
ake para
m
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
a
ege
occ: ad
d
i
nterface to barvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
e
x_con
v
ert
.
cc:
ext
r
act ex
2
evalue fro
m
range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
e
r
d
o
ola
e
ge
doc: document more --summa
t
ion methods for b
a
r
v
ino
k
_
s
ummat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
p
tions
.
c: rename "b
a
rvi
n
ok
"
s
ummation met
h
od to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolaege
Makefile
.
am: check-euler: al
s
o
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
summate
.
c
:
barv
i
nok_summ
a
te: h
a
ndle p
r
oducts of
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
ola
e
ge
be
r
nstein: num
e
ric2value: f
i
x ty
p
o to allow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
u
t
il
.
c: Fac
t
or_Cont
e
xt: e
x
tracte
d
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
su
m
mate
.
c:
barvinok
_
summate: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
eva
l
ue
.
c: add
eva
l
ue_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
o
mega/o
c
c: print
barvinok version
n
um
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
doc: update
s
ome references
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Mak
e
laurent based summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
s
umm
a
te
.
c: barvinok_summate: handle quasi-
p
o
l
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_evalue:
extra
c
t
out
e
value_
r
ed
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
ev
a
lue
.
c: evalue_sh
i
ft_v
a
ria
b
l
es: allow shi
f
ting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
sum
m
ate
.
c: hand
l
e e
q
uali
t
ies for all summat
i
o
n
al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summa
t
e
.
c: ba
r
v
i
n
ok_summate: move com
m
on parts of summat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c: eval
u
e_sum
:
move s
i
gn handling into
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
eg
e
barvinok_e
.
cc:
e
numerate
_
sum: use barvino
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summa
t
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oo
l
aege
r
e
nam
e
s
ummate
.
c
c
to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aeg
e
evalue
.
c:
red
u
ce_evalue: reduce floo
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
Ad
d
Laurent expansio
n
based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
e
g
e
evalue
.
c
: extend eequal to handle doma
i
n
s
and N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extract
b
inomial and fac
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
wer
.
h: extra
c
t f
r
om
eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
introd
u
c
e evalue_shift_v
a
riable
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoolaege
lattice_
p
oint
.
cc: ex
p
ort rel
a
tive_coor
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
e
g
e
latt
i
c
e_p
o
int
.
h: mak
e
sure c
o
rr
e
ct eva
l
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Ve
r
do
o
lae
g
e
lattice_point
.
c
c: add ceiling func
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
util
.
c: internalize ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: multi_m
o
n
o
m/latti
c
e_po
i
nts
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rd
o
ola
e
ge
d
o
c: clean up "e
x
po
n
ent
i
a
l
su
b
sti
t
ution"
se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
test_b
o
un
d
.
cc: av
o
id l
o
ss
of
p
recision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
b
a
rvinok_bound
:
optio
n
a
lly
t
ak
e
maxim
a
l size o
f
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bou
n
d: ad
d
--it
e
rate optio
n
s
for e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c: export fu
n
c
tions for s
e
tting and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
va
l
ue_o
p
t
imum: allow
c
ompu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
bernstein
.
cc: e
v
alue2ex: don't assume all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bound
.
cc:
fix call to ev
a
lue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{add,
m
ul}_perio
d
i
c
s:
plu
g
m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e
v
alue
_
bern
s
tein_coefficients: ha
n
dle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaege
latti
c
e_width
.
c: ski
p
directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
ol
a
ege
Makefile
.
a
m
: add c
d
d94e-tes
t
to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/occ:
o
pti
o
nally use parke
r
for comp
u
ting cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
no
r
maliz
a
tion
.
c: s
k
ew
_
to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/con
v
e
r
t
.
cc: r
e
lation2Domain: on
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
occ: add dump
for du
m
ping in
b
arv
i
no
k
_enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
e
g
e
b
a
rv
i
nok_enumerate_e: o
p
tionally use
p
ark
e
r
's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verd
o
olaege
s
t
andar
d
_constraints: take const
r
aints
i
nstead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
e
rdoolaege
normalizatio
n
.
c
:
e
x
tract
s
ta
n
dard
_
constr
a
int
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaeg
e
parker/count_solutions
.
c
c
:
fix tr
e
atment of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaeg
e
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
A
dd
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eu
l
e
r
.
cc: e
v
alue
_
de
r
ive: handle constant p
o
l
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd some test sets from cas
e
s 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
rename barvinok_maximiz
e
to ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add
a t
e
st for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagation: re
m
ove redundant polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
test_boun
d
: r
e
c
o
rd number o
f
po
l
yn
o
mi
a
ls
a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
test_bound: conv
e
r
t
quas
i
p
o
ly
n
omial
s
to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
aege
t
e
st_bound: compare poly
n
omial bound al
g
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ver
i
fy
.
c: optimum: handl
e
i
n
pu
t
evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
v
e
r
ify
.
c
: ex
t
ra
c
t eval
u
e
_
o
ptimum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
ege
veri
f
y
.
c
:
e
xtract
c
ommon code for ver
i
fying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
ege
evalue_
r
ange_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ba
r
vi
n
ok_ma
x
i
mize: optionall
y
use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
Add some su
p
port
f
or dealing with evalues th
a
t represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barv
i
nok_enu
m
er
a
te: support use of
E
uler
-
Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
impl
e
ment
B
ern
o
ulli_sum as
c
onve
r
s
i
on from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
n
o
ulli_sum_evalue:
e
xploit integer bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
eep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoulli
.
c: p
r
otect sha
r
ed
evalue from
mo
d
if
i
c
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st B
e
rn
o
ulli s
u
ms based exa
c
t
e
numera
t
i
on
commit
|
commitdiff
|
tree
next