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
doc: fix typos
2008-07-30
S
v
en
Verdo
o
l
a
ege
doc: f
i
x typos
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
add missing algorithm include fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdoolaeg
e
Fix out-o
f
-
b
ounds err
o
r in Laurent expansion ba
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
I
n
clu
d
e empty
.
c file i
n
lib
b
arvinok if GiNaC
was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
c
o
r
rectly ref
l
e
c
t e
x
tra source
s
for
l
i
b
b
a
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolae
g
e
fix typo in
comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Ve
r
doola
e
ge
lib/string
.
in
.
h
:
copy __restric
t
h
andlin
g
from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoo
l
aege
update gnulib function to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ver
d
oolae
g
e
e
numerat
o
r::handle
:
r
e
place inc
o
rrect de
l
e
t
e by fre
e
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Verdo
o
l
a
ege
update piplib
for c
o
rrected Urs_p
a
rms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
confi
g
u
r
e:
use cor
r
ect h
e
ader
f
iles in cas
e
of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Ve
r
doolaege
c
o
nfi
g
ure
.
i
n: fix
c
he
c
k
f
o
r co
d
e_gen libr
a
ry a
v
ailability
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoola
e
ge
ome
g
a/
o
cc:
o
n
ly
o
pen d
e
bug o
u
tput
f
ile if th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a/Makefile
.
am: avoid bison's
-o
option as nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoola
e
ge
range
.
cc: add
m
issing inclu
d
e of
alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
dd editors to ITSL
p
a
pe
r
s
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verd
o
olaege
use arg
p
for
a
rgument par
s
ing i
n
barvinok_e
h
rh
a
rt and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properl
y
handle NTL CPPF
L
AGS and
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
basis
_
reduction_templ
.
c: add
m
iss
i
ng include
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laege
barvin
o
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
add som
e
t
e
s
t
s
ets from it
s
l2008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc: add late
s
t (accepted) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
M
a
k
efile
.
am:
add
section_
a
rra
y
.
h t
o
d
i
strib
u
t
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaeg
e
normalization
.
c:
c
omput
e
_
s
hifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
mo
v
e Fre
e
_ParamNames polyl
i
b
and
m
ake param na
m
es const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
occ: add in
t
erface to b
a
rvi
n
ok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_con
v
ert
.
cc
:
ext
r
act e
x
2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolaege
doc
:
document more --summa
t
ion methods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opt
i
on
s
.
c: rename
"bar
v
inok"
summa
t
ion m
e
tho
d
to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
do
o
laege
Makefile
.
a
m: chec
k
-euler: also che
c
k
lauren
t
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aeg
e
s
ummate
.
c:
ba
r
v
i
n
ok_summa
t
e: handle products of
p
olyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
ev
a
l
u
e
.
c: ex
p
ort evalue_reor
d
e
r
_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
doolae
g
e
bernstein: nu
m
eric2value:
f
ix typo to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoola
e
ge
util
.
c:
Factor_Con
t
ext: extracted from ba
r
v
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
barvinok_summate: ign
o
re floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
evalu
e
.
c: ad
d
evalue_floo
r
2f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
om
e
ga/occ: print barvinok ve
r
sion n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
d
oc
:
update some refe
r
ence
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make l
a
urent based
summation the def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: ba
r
vinok
_
summ
a
t
e
: h
a
n
d
le quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
reduc
e
_evalue: ext
r
act out e
v
alue_r
e
duc
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c:
evalue_shift_variab
l
es: allow s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
sum
m
a
t
e
.
c
: han
d
le e
q
ualities
for all summation
algorithm
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoolaege
summate
.
c: barvinok_summat
e
:
m
ove comm
o
n parts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c
:
evalue_sum: mov
e
sign han
d
ling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
barvino
k
_e
.
cc:
e
numerate_sum: use b
a
rv
i
n
o
k_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
summate
.
c: ext
r
act barvi
n
ok
_
summate from
b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
rename
s
um
m
ate
.
cc to barvinok_s
u
mm
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
ool
a
ege
evalue
.
c
:
reduce_e
v
alue: reduce floor with
c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
A
d
d Laurent e
x
pansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequa
l
t
o
hand
l
e
domains a
n
d Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
laege
binomi
a
l
.
c
: extr
a
ct b
i
nomial a
n
d fact
o
r
i
al from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
p
o
w
e
r
.
h:
extra
c
t from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalu
e
_sh
i
f
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
l
a
ttice
_
point
.
cc: expo
r
t relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
l
attice_point
.
h: make sure
co
r
rect e
v
a
lues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Ve
r
doolaege
lattice_point
.
cc:
a
dd
c
eiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c
:
internalize
u
g
l
y bv_ce
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Ve
r
doolaeg
e
lat
t
ice_point
.
cc: multi_m
o
no
m
/latti
c
e_points: r
e
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: clean up
"
exponential su
b
stit
u
tion" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
ge
te
s
t_bound
.
c
c
: a
v
o
i
d l
o
ss o
f
preci
s
io
n
caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
ola
e
ge
ba
r
vinok_bou
n
d
:
optionally take maxima
l
size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
vi
n
o
k_bound: a
d
d --iterate options
f
or e
v
alua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verif
y
.
c: export f
u
n
cti
o
ns fo
r
sett
i
n
g and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: eval
u
e_optimum: allow
c
omputation
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bernstein
.
cc: evalue
2
e
x
: don'
t
assume
a
ll period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doolaege
b
ound
.
cc: fix
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_per
i
odics
:
pl
u
g m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
laege
eval
u
e_b
e
rnstein_co
e
ffi
c
i
ents: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
e
g
e
lattice_width
.
c: ski
p
directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoo
l
ae
g
e
M
akefile
.
am: add cd
d
94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
rd
o
ola
e
ge
om
e
ga
/
occ: optional
l
y use
p
a
r
ker for
computi
n
g cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
la
e
ge
n
o
rm
a
liza
t
ion
.
c: sk
e
w_to_positive_orthant
:
pr
o
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
ge
ome
g
a/convert
.
cc: rela
t
ion2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
occ
:
add
dump
f
or dumpin
g
in barvi
n
o
k_en
u
me
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erd
o
ol
a
e
ge
barvinok_enumerate_e: optionally use p
a
rker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
s
t
a
n
dard_constra
i
nts
:
take
constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
normalization
.
c:
e
xtract sta
n
da
r
d_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parker/count_solutions
.
cc: fix treatment o
f
e
xistentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
o
m
p
ile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc:
evalue_de
r
ive: handle co
n
sta
n
t polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd some test sets
from case
s
2004 and cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
rename barvinok_maximize to
b
arvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a t
e
st for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
evalue_range_p
r
opag
a
tion: rem
o
ve
r
edun
d
ant po
l
y
nomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
o
l
aege
test_bound: re
c
ord
n
umber
of polyn
o
mial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
test_bound: convert quasipolynomi
a
ls to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: co
m
p
a
re polynomia
l
bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
v
erify
.
c: optim
u
m: h
a
ndle input e
v
aluating t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c
: extrac
t
evalue_op
t
imu
m
from m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
g
e
ver
i
fy
.
c: extract common code for verifying o
p
e
r
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
evalue_range_propagat
i
o
n
: add mo
n
ot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_m
a
ximize: optio
n
ally u
s
e (basic
)
r
ange propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
Add s
o
m
e
supp
o
rt for dealin
g
with
evalues that repres
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
barv
i
n
ok_
e
numerate: support use
o
f Euler-M
a
clauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
i
mplement Bernou
l
li
_
sum as con
v
ersion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_evalue: exploi
t
integer boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
next