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
Sv
e
n Ver
d
ool
a
ege
M
a
kefile
.
am: add
c
dd94e-test to
d
istribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/oc
c
:
optionally use park
e
r for
c
o
m
p
uting c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdool
a
e
ge
normalization
.
c:
s
k
ew_to_p
o
sitive_orthant:
p
roper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdo
o
l
aege
omega/c
o
nvert
.
cc: relation
2
D
o
m
a
in: only c
o
l
l
ect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
occ: add dump f
o
r dump
i
ng in barvinok_en
u
merate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvinok_enumerate_e: o
p
tionally use
p
a
r
k
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
standard_c
o
n
s
traints:
take constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
normalization
.
c
:
extract standard_co
n
s
t
r
ai
n
ts fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
parker
/
count_s
o
lutions
.
cc: f
i
x
treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verd
o
olaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
euler
.
c
c: ev
a
lue_derive: handle
c
onstant polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
add some t
e
st sets from c
a
s
e
s 2004 and cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
rename
b
arvinok
_
maximiz
e
to ba
r
v
inok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
add
a
test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
evalue_range
_
p
r
opagation
:
remov
e
red
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record number of
polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
test_bound: c
o
n
vert quas
i
p
o
lynom
i
als
to polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
test_bound: co
m
pare
p
olynomial
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: o
p
timum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c: extrac
t
e
value_optimum from
m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c: extract common code for ver
i
f
ying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range
_
p
r
opagation: add monot
o
nicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
b
arvino
k
_maximize
:
o
ptiona
l
l
y us
e
(basic) range propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d some
s
u
pport
f
or dealing
with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barv
i
n
ok_enumerate: supp
o
rt use o
f
E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
implem
e
nt Bernoulli_sum as c
o
n
version f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Bernoull
i
_
s
um_evalu
e
: e
x
ploit int
e
g
e
r
bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
k
eep tr
a
c
k of n
u
m
b
er of Bernou
l
li sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
bern
o
ulli
.
c: protect shared evalue
f
rom
modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
te
s
t
B
ern
o
u
lli sums ba
s
ed exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
b
arvinok_count_
w
ith_opti
o
n
s: com
p
ute (e
x
act) B
e
rn
o
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bern
o
ulli_sum_evalue: o
p
tionally
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aeg
e
lattice_point
.
h
:
export frac
t
i
o
n
a
l_part wit
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
v
inok_enumerat
e
_with_op
t
i
o
ns
:
com
p
ute
(exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoul
l
i_sum_evalue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Bernoulli_sum_ev
a
lue: make
s
u
re
n
o em
p
ty
p
a
r
tit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bern
o
ulli
_
sum_evalu
e
:
re
m
ove redun
d
ant const
r
a
i
nt i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
b
e
rnoulli
.
c: m
i
nor re
f
ac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoull
i
_sum: handle context constra
i
n
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue: mak
e
sure en
o
ugh memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
for_each_l
o
w
er
_
upper_bound: a
d
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust default r
a
nge to c
o
nt
e
xt if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
euler
.
cc: summate_o
v
er_domain: only c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
par
a
m_util
.
c
: expor
t
Param_Ver
t
e
x
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
ol
a
ege
Param
_
Po
l
yh
e
dron_Facet: pass facet def
i
ning c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolae
g
e
genfu
n
.
cc: parallel_
p
olytopes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
ge
e
value_split_domains_into_orthants
:
don'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_read: only allow terms
t
o cro
s
s n
e
wlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_rea
d
: only accept implicit
multiplicati
o
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: accept constrai
n
ts
contai
n
in
g
"'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
evalue_bernstein_coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verd
o
o
laege
be
r
nstein: piecewise
_
lst: correctly
p
r
in
t
an
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove
_
all_equali
t
ies: kee
p
rem
o
ving parameter
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
doc: con
s
iste
n
t u
s
e
of Kevin's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
do
o
l
aeg
e
for
_
each_lower_
u
pper_bound
:
allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Revert
"eadd_partitions: try t
o
combine
m
ultiple
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdo
o
laege
evalue_read_part
i
tion:
p
ut partition
s
back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
olaege
ev
a
lue: reduce_evalue: add note on some miss
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
bernstein
.
cc: handle input with unions +
r
e
lation v
i
ol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
maximize
.
cc
:
deal w
i
t
h
u
nions in inpu
t
d
u
ring verifi
c
a
tion
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
V
e
rdoolaege
evalue_substitute:
properly
h
a
n
dle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue
.
c: clean up emu
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
e
valu
e
_rea
d
: correc
t
ly read
v
ariable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue_
r
ead:
a
c
cept top level
"
rel
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
date po
l
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
e
r
doolae
g
e
evalue_backs
u
bstitute: add requi
r
e
d
modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eva
l
u
e
.
c: *_
p
arti
t
ions: simplify constrai
n
ts bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
er
d
oolaege
do
c
: more
spec
i
f
i
c
infor
m
ation o
n
buggy
cddlib v
e
rs
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Ver
d
oo
l
aege
configu
r
e
.
i
n: require cd
d
lib 0
.
94e b
y
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Verdoola
e
ge
co
n
figure
.
in: only comp
i
le
oc
c
if
code_g
e
n l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ad
d
some tests for im
p
lemen
t
ation of proje
c
t
io
n
theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolae
g
e
d
oc: documen
t
new options
a
nd new
a
pp
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
A
U
THORS: update
support informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
genfun
.
cc:
s
hort_
r
at::print: correct
l
y print pol
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
do
o
laege
Exp
o
rt s
e
ries as barvi
n
ok_e
n
u
m
erate_seri
e
s and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_
p
arameter_equali
t
ies: stop "rem
o
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series
:
leave freeing
o
f P argum
e
n
t
to calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocument implementation of
t
he projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_
e
n
u
merate_e_se
r
ies im
p
lementing th
e
proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
genfun
.
cc: fix and doc
u
me
n
t para
l
lel pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
Only c
o
mpile zsol
v
e if gcc 3
.
4
o
r
l
a
t
er is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Move GiNa
C
-independent
part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: h
o
w to c
o
u
n
t t
h
e n
u
mbe
r
of el
e
ments in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c/
i
mplem
e
ntation
.
tex: avoid multiply defined labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
latti
c
e_widt
h
.
c: try v
e
rtice
s
o
f
pr
e
v
ious int
e
ger h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc
:
docu
m
ent integer hu
l
l c
o
mput
a
t
i
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
ae
g
e
hull
.
c: add all
p
oint
s
f
ound by
s
ampling
d
irect
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible opti
m
izations for generalized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
ege
Support use
o
f generaliz
e
d basis
reduction to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
dool
a
e
ge
ad
d
Polyhed
r
on_I
n
teger_Minimum for
c
omputing
th
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: doc
u
m
ent ge
n
e
ralized basis r
e
du
c
tion
b
as
e
d int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc/barvin
o
k
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
a
d
d more missing assert
.
h #i
n
c
l
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c: add missing include of alloca
.
h
commit
|
commitdiff
|
tree
next