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
compile parker
2008-04-02
S
ve
n
Verdoolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
euler
.
c
c
: evalue_d
e
rive: han
d
le constant pol
y
no
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
a
e
ge
a
d
d
s
o
me t
e
s
t sets fro
m
c
ases 2004 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
rename
b
arvinok_maximize to barvinok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for te
s
t
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range_propagation: remove r
e
dundan
t
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
g
e
test_bou
n
d
:
record
n
umber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
test_b
o
und: con
v
er
t
qu
a
si
p
olynomi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
t
e
st_boun
d
: compare polynomial bo
u
nd algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erd
o
olaege
verify
.
c:
o
ptimum: handle
i
nput evaluating
t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c:
extract evalue_optimum
f
rom
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
verify
.
c: ex
t
rac
t
com
m
on code
f
or veri
f
ying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
ev
a
lue
_
range_propagation: add monotonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
bar
v
in
o
k_
m
aximize: optio
n
ally use (basic) r
a
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Add some
s
u
pport f
o
r
d
ealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
r
vinok_enu
m
er
a
t
e:
s
u
p
p
or
t
u
s
e
o
f Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
aege
i
m
plement Be
r
n
o
ulli_sum as conve
r
sio
n
from un
w
ei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Ber
n
oulli_sum_evalue
:
exploit integer boun
d
s to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
ool
a
ege
k
e
ep tra
c
k
o
f number o
f
Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
b
ernoulli
.
c: protect
s
hared evalue fro
m
mod
i
fications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
test Bernoulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
barvinok_co
u
nt_
w
it
h
_options: comp
u
t
e
(
e
x
a
c
t) B
e
rno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernou
l
li_sum_
e
value:
opt
i
o
n
a
l
l
y ha
n
dle
f
r
actiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
a
ege
latt
i
ce_point
.
h:
e
xport
fractio
n
a
l
_pa
r
t with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
b
arvinok_enumerate_with_options: compu
t
e (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_s
u
m
_
evalu
e
:
h
an
d
le equalit
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noull
i
_
sum_eva
l
ue: cut off s
o
me re
d
un
d
an
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
B
ernoulli_sum
_
evalue: ma
k
e
sure
n
o
empty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
a
e
g
e
Bernoulli_sum_e
v
a
l
u
e:
r
emove redundant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
do
o
l
a
ege
ber
n
o
u
l
l
i
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum: ha
n
dl
e
c
ontext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
Bernoulli_sum_e
v
alue: make sure
e
n
ough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
f
o
r_each_lower_upper_
b
oun
d
: add another cal
l
back f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c
: ad
j
ust default range to context if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eul
e
r
.
cc: summ
a
te_o
v
er
_
domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
ool
a
e
ge
param_util
.
c
: export Pa
r
am_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Param_Polyhedron_Facet: pas
s
facet defin
i
ng
constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
genfun
.
cc: para
l
le
l
_polytopes: don
'
t bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
g
e
evalue_spl
i
t_domains_int
o
_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read
:
on
l
y
allow te
r
ms to cros
s
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit mul
t
iplication
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
eva
l
ue_read: accept constraints containin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
alue_bernstein
_
coeff
i
cients: ensure
result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
be
r
nstein: p
i
ecewis
e
_lst: corr
e
ctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remove_all_e
q
uali
t
ies: keep remo
v
ing param
e
ter
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
ool
a
eg
e
doc: consiste
n
t u
s
e
of Kevi
n
's in
i
tia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update no
w
p
u
blished pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
o
laege
for_ea
c
h
_lower_upper_bound: allow
a
b
sence of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert
"eadd_part
i
tions:
t
r
y
to
comb
i
ne m
u
lti
p
le domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
oolaege
evalue
_
read_part
i
tion: put pa
r
titions back in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue:
r
educ
e
_eva
l
u
e: add note
on so
m
e missed op
p
ortun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoo
l
a
e
g
e
bernstein
.
cc: han
d
le input with unions + relatio
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
maximiz
e
.
cc:
d
e
a
l with unions in in
p
ut during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
va
l
ue
_
substi
t
ute: properly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
aege
evalue
.
c:
clea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
evalu
e
_r
e
ad: correctly read
va
r
ia
b
le names
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolae
g
e
eva
l
ue_read: accept top level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoolaege
u
p
d
at
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n
V
erdoolae
g
e
evalue_b
a
cks
u
bstit
u
te: ad
d
requ
i
re
d
modulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *
_
par
t
iti
o
ns: si
m
pl
i
fy co
n
straints b
e
fo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n Verdoolaege
doc: m
o
re
s
pecific infor
m
at
i
o
n
on
buggy cd
d
lib
versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdoolaege
co
n
figure
.
in: require cddlib 0
.
94
e
by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oola
e
g
e
configure
.
in:
o
n
l
y com
p
i
l
e oc
c
if code_gen
l
ibra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
barvin
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
a
d
d
som
e
te
s
t
s for implementation
o
f projectio
n
t
h
e
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
doc:
d
ocument new options and new ap
p
licatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS
:
upd
a
te s
u
pport inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
genfun
.
cc:
s
h
o
rt_rat::
p
ri
n
t:
correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laege
Exp
o
rt series as barvinok_enumera
t
e_ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove
_
p
arameter_eq
u
a
l
ities:
s
top
"removing" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
series: leave
freeing of P a
r
gument to cal
l
ing functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t implemen
t
at
i
on of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvi
n
ok_enume
r
ate_e
_
se
r
ies implementing the p
r
ojec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
g
enfun
.
cc:
fix and docume
n
t parallel
pol
y
topes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
Only com
p
i
l
e
zsolve if gcc 3
.
4 or l
a
ter i
s
a
v
a
ilable
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Mov
e
GiNaC-ind
e
pendent part of library t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
p
ol
y
li
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoola
e
ge
doc: how to count
t
he nu
m
ber o
f
elements in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
d
o
c/implementation
.
tex:
a
void mu
l
tiply defined
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_widt
h
.
c
:
t
r
y vertices of
p
rev
i
ous integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolae
g
e
doc: document integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
hull
.
c:
a
dd all
points found by sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Possible opt
i
miza
t
ions for general
i
ze
d
b
a
sis re
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Ve
r
doo
l
aege
Supp
o
rt
u
se of
gen
e
ral
i
z
ed basis reduc
t
i
on
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
add
Polyhedron_Intege
r
_Minimum
f
or comp
u
ti
n
g
t
h
e
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdo
o
laege
doc: d
o
cument generalized bas
i
s
r
educt
i
on base
d
i
n
te
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
doc/b
a
rvinok
.
bib:
a
dd missi
n
g
stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
add more missing as
s
ert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
con
f
igur
e
.
i
n
: only compile libbarvinok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verd
o
olaege
Polyh
e
dron_Reduc
e
d_
B
asis
:
d
o
n
't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
comput
e
_
w
idth_directions: only k
e
ep list o
f
dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolae
g
e
z
sol
v
e:
d
on't i
n
stall
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
v
e
rsion
.
c:
show use of
T
OPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set with_{poly,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
Polyhedron_
S
ample: b
e
satisf
i
ed with a r
e
ason
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
c
o
n
e
_integer_hul
l
: o
p
tionally print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
basis_reduction: k
e
ep trac
k
of
number o
f
LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
options: mov
e
--pri
n
t-stats to library
commit
|
commitdiff
|
tree
next