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
e{add,mul}_periodics: plug memory leaks
2008-04-08
Sven Verdoolaege
e{add,
m
u
l}_periodi
c
s: plug m
e
m
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernst
e
in_coefficients: handl
e
probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
l
a
ttice_width
.
c: skip
dir
e
ctions that are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd94e-test
to distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doola
e
ge
omeg
a
/occ: opti
o
nally use parker for comput
i
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
tion
.
c: skew_to_positi
v
e
_
ortha
n
t
:
prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoola
e
ge
omega
/
con
v
e
rt
.
cc: relatio
n
2Doma
i
n: on
l
y
c
olle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolae
g
e
occ:
add dump for d
u
m
ping in barvi
n
ok_en
u
merate_e f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_
e
num
e
rate_e: o
p
t
i
o
nally
u
s
e
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
ola
e
ge
s
t
andard_constraints: take co
n
st
r
aints
i
ns
t
ead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normaliz
a
tion
.
c
:
extrac
t
s
tandard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parke
r
/count_
s
o
l
utions
.
cc: fix
treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
eule
r
.
cc
:
eval
u
e_derive: handle co
n
stant po
l
yn
o
m
i
al
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
add s
o
me test sets from cases 2
0
0
4
and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
rename barvinok_
m
aximize to ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
te
s
t f
o
r t
e
st_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_range_propagat
i
o
n: remove red
u
n
dant p
o
l
y
nomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
b
ound: record number
o
f
polynomials as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
test_bound:
c
onvert quasipolynomials to po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: compar
e
pol
y
nomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum:
h
andle input evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
v
e
rify
.
c
:
e
x
t
ract evalue_
o
ptimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
v
er
i
fy
.
c
:
e
x
t
ract
c
o
mmon code fo
r
ver
i
fying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
eva
l
ue
_
ran
g
e_
p
ropag
a
tion: add monoton
i
city te
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
arvin
o
k_maxi
m
ize: o
p
tionally
u
se (basic
)
range pr
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Add
some
s
up
p
ort for
d
ealing with evalues that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
b
arv
i
nok_enumerate: support use o
f
Eu
l
er-Mac
l
a
u
ri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oola
e
ge
imple
m
e
n
t Be
r
noulli_sum as co
n
ver
s
i
o
n from unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Bernoulli_sum_evalue
:
expl
o
it int
e
ger bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
keep track of numbe
r
of
Bernou
l
l
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bern
o
ulli
.
c:
pro
t
ect s
h
ared eval
u
e from mo
d
ificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
test Bernoulli sums based exact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ba
r
vinok_
c
ount_wi
t
h_optio
n
s: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum_eval
u
e: op
t
ionally hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
a
tt
i
c
e
_point
.
h: export fractio
n
al_par
t
wi
t
h
C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barv
i
nok_enumerate_w
i
th_options:
c
ompute (exa
c
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_su
m
_
evalu
e
: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_e
v
alue: cut off some redun
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoul
l
i_sum_e
v
alue: make su
r
e
no
em
p
t
y
p
a
rti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_
e
value
:
remov
e
redundant c
o
nstra
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
bernoulli
.
c: mi
n
or
r
efactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoull
i
_
sum: handle conte
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
ernoulli_sum_e
v
alue: make sure enough memor
y
is
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
o
r_each_
l
o
wer_upper_bound:
a
dd an
o
t
h
er c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjus
t
defau
l
t range
t
o context if
neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoola
e
ge
euler
.
cc: summate_over_d
o
ma
i
n: onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
param_util
.
c: expo
r
t
P
aram_
V
ertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Param_Polyhedron
_
F
acet: pass
f
a
c
et definin
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ge
n
fu
n
.
c
c
: parallel_polytopes: don't bother
h
a
ndl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
oolae
g
e
evalue_s
p
lit_domains_into_ortha
n
ts
:
don
'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read
:
only allow terms
t
o cross new
l
i
nes ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_re
a
d: only accept imp
l
icit mu
l
t
i
plica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
e
v
alue
_
read: ac
c
ept
c
onstrain
t
s conta
i
ning "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
evalue_bernstein_coe
f
ficients: ensure result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
b
ern
s
tein: piec
e
wise_lst: correctly print and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
remove_all_equalitie
s
: kee
p
removing pa
r
ameter equa
l
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Ve
r
d
o
olaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoolaeg
e
d
o
c: consistent use o
f
Kevin'
s
i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaeg
e
doc: update now publ
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
for_each_lower_upper_bound:
al
l
ow
absence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
Revert
"
eadd_partit
i
o
n
s:
t
ry to comb
i
n
e mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
g
e
evalue_r
e
ad_parti
t
ion
:
put partitions back i
n
t
he sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue: reduce_e
v
alue: add not
e
o
n some m
i
ssed opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstei
n
.
cc: h
a
ndle i
n
put with un
i
ons
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
maximiz
e
.
cc:
dea
l
with unions i
n
input during ver
i
f
i
cati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_su
b
stitute: proper
l
y ha
n
d
l
e relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue
.
c: clean up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
_
r
e
ad: correctly read
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalu
e
_read
:
accept top level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoolae
g
e
u
pd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolaege
evalue_backsubstitut
e
:
a
dd
req
u
ired modulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
ev
a
lue
.
c: *_partiti
o
ns: si
m
p
l
ify c
o
nstraints b
e
fo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ver
d
o
olae
g
e
doc: more specific informatio
n
on buggy cddlib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
S
v
e
n V
e
rdoo
l
aege
con
f
igure
.
in: re
q
uir
e
cddlib 0
.
94e b
y
testing f
o
r
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoolaege
co
n
figu
r
e
.
in: only compile occ if c
o
de_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barv
i
nok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add som
e
tes
t
s for implementat
i
on of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
ool
a
ege
doc: doc
u
ment new opti
o
ns and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
A
U
T
HORS:
u
pdate support i
n
formation
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
ge
genfun
.
cc:
shor
t
_rat::print
:
cor
r
ectly prin
t
po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
Export series as barvinok
_
enumerate_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
remove_param
e
ter_equalitie
s
: stop "remo
v
ing" equali
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaeg
e
ser
i
es:
le
a
ve freein
g
of P argument to ca
l
ling function
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
rdoo
l
aege
doc: document implementation of the p
r
o
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
g
e
add ba
r
v
i
nok_enumerate_e_
s
eries implementing
the
pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolae
g
e
genfun
.
cc: fix and doc
u
ment
p
arallel
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
O
n
ly compile zso
l
ve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
iN
a
C-indepen
d
ent part of l
i
brary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoo
l
aege
p
olylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolae
g
e
d
o
c: how to count
t
h
e num
b
er of elemen
t
s in po
s
sibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc
/
imp
l
ement
a
tion
.
tex:
avoi
d
multiply d
e
f
i
n
e
d
l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdool
a
ege
l
attice_width
.
c: try verti
c
es
o
f p
r
evious
integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc
:
docum
e
nt integer hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
ull
.
c: add all p
o
ints found by sampling dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Po
s
sible
o
pt
i
m
izations for
g
eneralized basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Support use of gene
r
alized basis reduc
t
i
o
n
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoo
l
aege
add Polyhed
r
on_Integer_Minimum fo
r
computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
next