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
Makefile.am: add cdd94e-test to distribution
2008-04-04
Sven Verdoo
l
aege
Make
f
il
e
.
am: add cdd
9
4e-t
e
st t
o
distrib
u
ti
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdo
o
lae
g
e
omega/occ: optionally use parker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalization
.
c: skew_
t
o_po
s
it
i
ve
_
orth
a
nt: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/
c
onvert
.
cc: relation2Domain: o
n
ly
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ: add dump
for d
u
mping in barvinok_enu
m
erate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
barvinok_enumerate_e:
op
t
io
n
ally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
s
tandard_con
s
tr
a
ints: take constraints instead of pol
y
hedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
laege
normalization
.
c: extrac
t
standard_constraint
s
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Ve
r
d
oolaege
parker/count_solu
t
ions
.
cc: fix treatment of e
x
isten
t
ial
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdo
o
la
e
ge
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
Add p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc: ev
a
lue_derive: han
d
le co
n
s
tant
p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ad
d
some test
s
ets fr
o
m
ca
s
es 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvinok_m
a
ximi
z
e
to
barvinok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaeg
e
a
d
d a test for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
e
v
a
lue_range_prop
a
g
a
tion: remove redu
n
dant
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
t
e
st_bound: reco
r
d nu
m
b
e
r
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolae
g
e
t
e
st_bound: co
n
vert
q
uasipolynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: c
o
mpare po
l
ynomial boun
d
algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c:
optimum
:
handle input e
v
aluati
n
g t
o
negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
e
g
e
veri
f
y
.
c: extract eval
u
e
_
optimum fr
o
m maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract co
m
mon code for ve
r
i
fyi
n
g op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
valu
e
_
range_propagation: ad
d
monot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
barvinok_maximize: optionall
y
use (ba
s
i
c)
range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ola
e
ge
Add som
e
s
u
pport for d
e
aling with eva
l
ues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvino
k
_enumerate: su
p
p
ort use o
f
Eule
r
-M
a
cla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement Berno
u
lli_s
u
m as conv
e
rsion from
u
nwei
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aeg
e
Bernoulli
_
su
m
_evalue: ex
p
loit i
n
teger bou
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
keep track
o
f
number o
f
Bern
o
ulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
berno
u
lli
.
c
:
protect shared
eva
l
ue from modifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoulli sums based exact en
u
mera
t
io
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
barv
i
nok_count
_
with_options: compute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum_
e
va
l
ue: optionally ha
n
dle
fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
ae
g
e
latt
i
ce_point
.
h: ex
p
ort frac
t
ional_part with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
barvino
k
_enumer
a
te_with_opt
i
o
n
s: com
p
ute (exa
c
t) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ber
n
oul
l
i_sum_evalue: cut o
f
f some
r
ed
u
ndant
par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Bernoulli_sum_evalue
:
m
a
ke sure
n
o emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
Bernoulli_sum_evalue: remove r
e
dundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoul
l
i
.
c
: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoul
l
i_sum: ha
n
dle cont
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Bernoulli_sum_
e
value: make sure
enough mem
o
ry is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
for_ea
c
h_lower_up
p
er_bound: add
another c
a
l
l
back
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust default range to c
o
ntext if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
euler
.
cc:
summate_over_
d
omain: on
l
y c
o
nsid
e
r act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
lae
g
e
pa
r
am_util
.
c
:
ex
p
ort Pa
r
am
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
P
a
r
a
m_
P
ol
y
hedron_Facet: pass fac
e
t
defining constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
g
enfun
.
cc: parall
e
l_pol
y
topes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
evalue_
s
plit_domains_
i
nto_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
evalue_read: only allow terms to cross newline
s
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rea
d
:
only accept i
m
plicit multiplicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
eva
l
ue_read: accep
t
c
o
nstraints contai
n
in
g
"'
-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
value_bernste
i
n_coeff
i
cient
s
: ensure resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
bernstei
n
: pie
c
e
w
ise_lst: correctl
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verd
o
o
laege
remove_all_eq
u
alities: kee
p
removing parameter
equ
a
litie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolae
g
e
doc: co
n
sistent us
e
of
Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
doc: update now
p
ublished pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
f
o
r_each_
l
owe
r
_u
p
per_bound: allow ab
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
Revert "eadd_partitions: try to combine m
u
ltiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
evalue_
r
ead
_
partition: put
p
artitions back in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue: re
d
uce_evalue: add n
o
t
e on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
bernstein
.
cc: handle input with unions + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
m
a
x
imize
.
cc: d
e
al wit
h
unio
n
s in input during
ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_substitute
:
properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
ol
a
e
g
e
ev
a
lu
e
.
c: clean up e
m
ul
and
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ve
r
doolaege
eval
u
e_read: corre
c
tly r
e
a
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
aege
e
v
a
l
u
e_
r
ead
:
accept
t
op lev
e
l
"re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolaege
evalu
e
_backsubsti
t
ute:
add
required modu
l
o cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
e
val
u
e
.
c:
*
_partiti
o
ns: simplify con
s
traints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Ver
d
oolaege
doc:
mo
r
e
s
pe
c
ific inf
o
rma
t
ion on bug
g
y cddlib ver
s
ion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
config
u
re
.
in
:
req
u
ire cddlib 0
.
94
e
by testing
f
or
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
config
u
re
.
in: only compi
l
e occ if code_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Ve
r
doolaege
b
a
rvino
k
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add some
t
est
s
for i
m
p
l
emen
t
ati
o
n of pr
o
j
e
ction
t
h
e
o
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cument new opt
i
ons and
n
ew a
p
plications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
e
g
e
AUT
H
ORS
:
up
d
at
e
support info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
f
un
.
cc: short_rat::print: correct
l
y
p
ri
n
t pol
y
n
om
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaege
Export series as barvinok_enumerate
_
series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
remove
_
p
a
r
a
mete
r
_eq
u
alit
i
es:
s
top
"
removi
n
g" eq
u
aliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
series: leave freein
g
of P
a
r
gument to calling f
u
nc
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docu
m
ent implementatio
n
of
t
he proj
e
ction
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoola
e
g
e
add b
a
rvinok_en
u
merate_e_
s
eri
e
s implem
e
nting
t
h
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rd
o
olaege
genfu
n
.
cc:
f
ix
a
nd docume
n
t parallel po
l
ytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
On
l
y com
p
ile zs
o
lve if gcc 3
.
4 or
l
ater
is available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaege
Mov
e
G
i
NaC-independent
p
a
r
t of library t
o
barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdool
a
ege
polylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verd
o
o
l
a
ege
doc: how to
count the n
u
m
be
r
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementa
t
ion
.
tex: avoid mult
i
ply d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice
_
wid
t
h
.
c: t
r
y v
e
rti
c
es o
f
previous in
t
eger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
d
o
c
: document i
n
te
g
er hull
computa
t
i
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add all poi
n
ts found by sampling
direct
l
y t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
Possible
optimization
s
for generali
z
e
d basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
Support use of general
i
zed basis r
e
duction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
add Polyhedron_Integer_Minim
u
m for com
p
uting
t
h
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ver
d
o
o
l
a
ege
d
oc: doc
u
me
n
t
g
e
nerali
z
ed basis
r
ed
u
ctio
n
base
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc/barvinok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add
m
ore
missing as
s
ert
.
h #in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoola
e
ge
eval
u
e
.
c
: add missing
in
c
lu
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
next