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
binomial.c: extract binomial and factorial from euler.cc
2008-04-25
Sven Verd
o
o
l
a
e
g
e
binomial
.
c: extract bi
n
omial
a
nd factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
power
.
h: extract fro
m
e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
latti
c
e
_
poin
t
.
cc: export r
e
lative_
c
o
o
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h:
make su
r
e cor
r
ect e
v
alues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice
_
point
.
cc:
a
d
d
ce
i
ling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
util
.
c: internalize ugly b
v
_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
e
n Verdoolaege
lattice
_
point
.
cc: mu
l
ti_monom/la
t
ti
c
e
_p
o
ints
:
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
e
n
Verdoolaege
doc: c
l
ean
up "exponen
t
i
a
l s
u
bstituti
o
n" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test_
b
oun
d
.
cc:
a
void lo
s
s of preci
s
ion caused by
c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvin
o
k
_bound: optionally take maximal size
o
f
doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
e
ge
barvinok_
b
ound: add --iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolae
g
e
verify
.
c:
e
xport functions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verify
.
c: e
v
alue
_
o
ptimum: allow
com
p
uta
t
ion of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
bernste
i
n
.
cc: e
v
alue
2
ex:
d
o
n
't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix cal
l
t
o
evalue_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
e{add,
m
ul}_periodics: plug memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalue_ber
n
st
e
in_coefficie
n
ts: handle prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoo
l
aeg
e
l
attice
_
w
id
t
h
.
c: skip dire
c
tions that
a
re identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
Makefil
e
.
am:
add c
d
d94e-
t
est
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doo
l
ae
g
e
omega/occ: optionall
y
u
s
e parker for computi
n
g ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normalizat
i
on
.
c: sk
e
w_to_po
s
itive_or
t
ha
n
t: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdool
a
ege
omega/
c
onvert
.
c
c
:
relation2D
o
ma
i
n: only colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoo
l
aege
occ: add dump for
d
umping in barvinok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
barv
i
nok_enumerate_e: optionally
u
se
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standa
r
d
_co
n
s
t
raints: ta
k
e constrain
t
s instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
norma
l
ization
.
c: extract stand
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
parker/count_solut
i
ons
.
cc: fix
t
reatm
e
nt
o
f existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ver
d
oolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
c
c
: e
v
al
u
e_der
i
ve: handle constan
t
polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
add some test se
t
s from
c
as
e
s
2004 and cc 2005 p
a
per
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
r
e
name barvinok_maximize
to b
a
r
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
ad
d
a test for test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
evalue_rang
e
_propagation: remov
e
r
e
dundant poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
test_bound: record number of pol
y
no
m
ials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
do
o
laege
test_bound: convert
qu
a
sipolynomi
a
l
s
t
o
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
test_bound:
compare polynomial bo
u
nd
algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
ve
r
i
f
y
.
c:
optimum:
h
a
n
d
l
e in
p
ut evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: extract evalue_optimum from
m
a
xim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ver
i
fy
.
c: extract
c
om
m
o
n c
o
de
for verifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue
_
range_propagation: add mon
o
tonici
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
barvinok_maximi
z
e:
option
a
lly use
(
basi
c
) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
A
d
d
some support
for dealing
with evalues
t
hat represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
ool
a
ege
barvinok_enumer
a
te:
s
upport use of
E
uler-Mac
l
auri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
implement Bernoulli_sum
as conversion from un
w
e
i
g
h
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rd
o
o
laege
Bernoulli_
s
um_evalue
:
exploit
i
n
teger bounds
t
o red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep t
r
ack of
number of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noul
l
i
.
c: protect shared
e
v
alue from
m
odi
f
ications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
test Bernou
l
l
i sums b
a
sed exact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_count_wi
t
h_options:
c
ompute
(
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
Bernoulli_sum_evalu
e
: optionally ha
n
dle fra
c
ti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
l
attice_point
.
h: ex
p
or
t
fractional_part wit
h
C
l
i
nka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ba
r
vinok_enumerate_w
i
t
h
_options: compute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue: handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalu
e
:
c
ut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
lae
g
e
B
ernoul
l
i_sum_evalue: make sure no e
m
pty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
e
rnoulli_su
m
_
ev
a
lue:
remove r
e
dunda
n
t constr
a
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoulli
.
c: mino
r
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i
_sum: hand
l
e
c
ontext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
g
e
Bernoulli_sum_
e
value:
make s
u
re
enough memory
i
s allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
for_each_
l
o
wer_upper_bound: add another cal
l
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
verify
.
c: a
d
just default ran
g
e to co
n
text if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc: summate_over_domain: only cons
i
der
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
param_
u
til
.
c: export Param_Vertex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
P
a
ram_P
o
lyhedron_
F
acet:
pass facet defining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
g
e
nfu
n
.
cc: parallel_
p
o
l
ytopes: don't bot
h
er h
a
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_split_domains_into_orth
a
nts: do
n
't redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_read: onl
y
allow
t
e
r
m
s
to cross
newlines ins
i
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
re
a
d: on
l
y a
c
cept imp
l
icit multiplicat
i
o
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read:
accept
c
onstraints c
o
nt
a
ini
n
g "'
-
' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
e
valu
e
_bernstein_coefficients: ensure r
e
sult
p
artit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bern
s
t
e
in: piecew
i
se
_
lst: corr
e
ctly pri
n
t and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
remove_all
_
equalities: keep removing
p
ara
m
et
e
r
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
lae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
e
rd
o
olaege
doc:
consistent use
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoola
e
g
e
doc: update now pub
l
ished paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lo
w
er_
u
pper_bound: allow absenc
e
of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doo
l
aeg
e
Revert "eadd
_
pa
r
t
i
t
io
n
s: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
e
v
al
u
e_read
_
part
i
t
i
on: put p
a
r
t
i
t
i
o
ns b
a
ck in th
e
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
e
r
d
oola
e
g
e
eval
u
e:
reduc
e
_e
v
a
l
ue: add
note on s
o
m
e
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
olaege
b
e
r
n
stein
.
cc: hand
l
e input with unions + rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdo
o
laege
max
i
mize
.
cc: deal wit
h
union
s
in inp
u
t during ve
r
ific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
oolaege
evalue_substitute:
p
r
operly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
olaege
e
v
alue
.
c:
c
lean up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
evalu
e
_read
:
correctly read variable na
m
es
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
e
v
alu
e
_read: accept top le
v
el
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue
_
backsubstitute: add req
u
ir
e
d modulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
value
.
c: *_partitions
:
simplif
y
constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specific informa
t
ion on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configure
.
in: requir
e
cddlib 0
.
94e by test
i
ng fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoo
l
a
ege
configure
.
in: only compile
occ
if code_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
ge
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolae
g
e
add
s
ome
t
ests for implementation o
f
projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
doc:
d
o
c
u
ment
n
e
w
options a
n
d n
e
w applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
A
UT
H
ORS: up
d
ate support
i
nfo
r
mat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
g
e
n
f
u
n
.
cc
:
s
h
or
t
_rat::
p
ri
n
t
: co
r
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expo
r
t s
e
r
ies
a
s barvinok_e
n
um
e
rate_series and use
.
.
.
commit
|
commitdiff
|
tree
next