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
enumerator::handle: replace incorrect delete by free
2008-07-02
Sven
V
erdoola
e
ge
e
n
umer
a
t
o
r
:
:handl
e
:
r
eplace
i
n
c
orrect
d
e
lete by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
oolaege
upd
a
te pi
p
lib for corrected
Urs_pa
r
ms
handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdoolaege
c
onfigure: use correc
t
h
eader
files in
c
ase
o
f bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
configure
.
in: fix ch
e
ck for code_gen
l
ib
r
ary ava
i
la
b
ilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolae
g
e
omega/occ: o
n
ly open deb
u
g output file if ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
eg
e
o
m
ega/Makefile
.
am: avoid bison's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
range
.
cc: add missing i
n
cl
u
de of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ven V
e
rdoo
l
aege
doc:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ad
d
editor
s
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
use argp for argument pa
r
si
n
g in ba
r
vinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
ege
proper
l
y
ha
n
dle NTL CPPF
L
AGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
basis_re
d
uction_tem
p
l
.
c
: add missing include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdo
o
la
e
g
e
add some test sets from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
doc:
add latest (accepte
d
) pub
l
icat
i
ons
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
Mak
e
fil
e
.
am: add sect
i
on_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdo
o
l
a
e
ge
normal
i
z
a
tion
.
c
: compute_
s
hifts:
r
e
m
ove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolae
g
e
move Free_
P
aramN
a
mes p
o
lylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
occ:
a
d
d
i
nt
e
rface to barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
d
oolaege
ex_
c
o
n
vert
.
c
c
:
e
x
tract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more --su
m
ma
t
ion meth
o
ds
f
or barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoolaege
options
.
c: rename "barv
i
nok" summation me
t
hod
t
o "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Makefile
.
am: check-euler: also
check l
a
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
summate
.
c:
b
a
r
vinok_summate: handle product
s
of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
e
v
alue
.
c:
e
xport evalue
_
reorder_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
bernstein: numeric2value
:
f
ix typo to a
l
low correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
util
.
c: F
a
ctor_Context: extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: barvi
n
ok
_
s
umma
t
e:
ignore floors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
eva
l
ue
.
c: add
e
value_floor
2
f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
ege
o
mega/occ
:
p
r
int barvinok ve
r
sion numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoo
l
aege
d
o
c:
u
pda
t
e some referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
Make laurent based
s
u
m
mation t
h
e
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaeg
e
summate
.
c
:
bar
v
inok_summate:
handle quas
i
-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
reduc
e
_evalue: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaege
evalue
.
c: evalue
_
shift_var
i
a
b
l
es: allow shifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
summat
e
.
c:
handle eq
u
aliti
e
s for
a
ll summatio
n
al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
su
m
mate
.
c: barvino
k
_su
m
m
a
te: move commo
n
parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
evalue
.
c
:
evalue_sum: move si
g
n handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
barvinok
_
e
.
cc: enumerat
e
_sum: use barvino
k
_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rd
o
olae
g
e
summate
.
c
: e
x
tract
b
ar
v
inok_su
m
ma
t
e fr
o
m barvin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
rename summate
.
cc to
b
a
rvin
o
k_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
e
v
a
l
ue
.
c
:
re
d
uce_e
v
alu
e
: re
d
uce
f
loor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
Ad
d
Laur
e
nt exp
a
nsion b
a
s
e
d summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c
: e
x
tend eequal to
handle
do
m
ains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoo
l
a
ege
b
i
nomial
.
c: extract binomial and factorial from eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
introduce evalue_s
h
if
t
_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
la
e
ge
latt
i
c
e
_p
o
i
nt
.
cc: ex
p
ort re
l
ative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
latt
i
ce_point
.
h
: make sure correct evalues ar
e
u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc
:
a
d
d
c
e
i
l
ing fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
ut
i
l
.
c
: internalize ugly
bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
c
c: mult
i
_
m
o
n
om/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
do
c
: cl
e
an
up "expon
e
n
tial substitution"
sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test_bound
.
cc: avoid loss of p
r
e
cision cau
s
ed by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaeg
e
barvinok_bou
n
d:
op
t
ion
a
lly ta
k
e max
i
mal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaeg
e
b
arvin
o
k_bou
n
d: add --i
t
e
ra
t
e options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ver
i
fy
.
c: export functi
o
ns for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolae
g
e
veri
f
y
.
c: evalue_optimum: a
l
low
c
omput
a
t
i
o
n o
f
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
berns
t
ein
.
cc:
e
value2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bou
n
d
.
cc
:
fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
o
l
aege
e{ad
d
,mu
l
}_p
e
r
iodics: pl
u
g me
m
ory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
e
value_bernstein
_
coeffi
c
ie
n
ts: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
ool
a
ege
u
p
date poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en
V
erdoolaege
la
t
tice_width
.
c: skip d
i
rec
t
ions that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
Ve
r
doolaege
Ma
k
efile
.
am: add cdd94e
-
test to distribut
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega
/
occ: optionally u
s
e par
k
er for co
m
p
u
ting c
a
rdinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: ske
w
_t
o
_
p
ositive_or
t
ha
n
t: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
o
m
ega/conve
r
t
.
cc:
r
elation2Domai
n
: only
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdool
a
ege
oc
c
:
add d
u
mp
f
or d
u
m
ping in barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
b
a
rvinok_enum
e
rate_e: optionally use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
standard
_
c
onstr
a
in
t
s: take constraints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
laeg
e
norma
l
ization
.
c: extr
a
ct
s
tand
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdo
o
la
e
ge
parker/count_solutions
.
c
c
: fix
t
reatment of
e
xist
e
nti
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
e
value_derive:
hand
l
e
constant polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
a
d
d some test sets fro
m
cases
2
004 and cc
200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_maximi
z
e to ba
r
vino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
a
d
d a tes
t
for tes
t
_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdo
o
laege
eva
l
ue_range_propagatio
n
: remove
redundant polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
test_bo
u
nd: record
nu
m
ber
of
p
ol
y
nomial
s
as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
test
_
bound:
conv
e
rt quasipoly
n
omials to polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: compare polynomial bound algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verif
y
.
c: optimum: handle
input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
verify
.
c
: extr
a
ct evalu
e
_optimu
m
fr
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c: extract common
c
o
d
e for verifyin
g
o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e_
r
ange_
p
ropa
g
ation:
add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
b
a
rvino
k
_
m
aximi
z
e:
o
ptionally use
(
ba
s
ic) range
p
ropagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
Add some su
p
port for dealing w
i
t
h evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
r
doolaeg
e
b
a
rv
i
nok_e
n
u
merate: s
u
pport use of Euler-M
a
clauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
ae
g
e
imp
l
eme
n
t B
e
rnoulli_s
u
m as conversion f
r
o
m un
w
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
Bernoulli_
s
um_evalue: expl
o
i
t
i
n
tege
r
bo
u
nds
t
o reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
keep track of nu
m
ber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
bernoulli
.
c: protect shared eva
l
ue from m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoulli
sums base
d
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
barvin
o
k_count_with_opt
i
o
ns: compute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernou
l
li_sum_evalue: optionally
h
a
ndl
e
f
r
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
l
a
tt
i
c
e_poi
n
t
.
h: ex
p
ort fractional_part
w
i
th C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
do
o
laege
barvino
k
_enumerat
e
_with_
o
ptions:
c
o
mput
e
(exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Ber
n
oulli_sum_e
v
alue: handle equalities
commit
|
commitdiff
|
tree
next