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
barvinok_bound: add --iterate options for evaluating evalue in each point
2008-04-08
Sven Verdoolaege
barvi
n
ok_bound:
add --iter
a
te o
p
ti
o
ns f
o
r ev
a
lu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoola
e
g
e
verify
.
c: export functions
for setti
n
g and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
v
eri
f
y
.
c:
e
value_optimum: allow c
o
mp
u
tation of optimu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc:
e
value2ex: don
'
t assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bound
.
cc: fix call to
e
valu
e
_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olaege
e
{
add,m
u
l}_p
e
riod
i
cs: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
do
o
laege
evalue_bernste
i
n_c
o
effic
i
ents: handle
p
ro
b
lems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattic
e
_width
.
c: ski
p
d
i
recti
o
ns t
h
at ar
e
ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdoo
l
a
e
ge
Makefile
.
am: add
cdd94e-t
e
s
t t
o
d
i
st
r
ibutio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega
/
oc
c
:
optio
n
ally
u
se parker for
co
m
puting
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
normalization
.
c: sk
e
w_t
o
_po
s
itive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omeg
a
/conver
t
.
c
c: rela
t
ion2Domain: o
n
ly collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaeg
e
occ: add dump f
o
r dumping in b
a
rv
i
nok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolae
g
e
barvi
n
o
k
_enu
m
erate_e: optiona
l
ly
use parker'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
standard_cons
t
raints
:
t
ak
e
constraints instead of po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
no
r
m
a
l
i
zat
i
on
.
c: extract s
t
andard_constraints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolaege
parker/coun
t
_s
o
lut
i
on
s
.
cc: f
i
x treatment of exi
s
tent
i
all
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
Verdoo
l
aege
c
ompile
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
euler
.
cc: evalue_
d
eriv
e
: handle c
o
n
stant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
a
dd some test s
e
t
s
fr
o
m
c
ases 20
0
4
and
c
c
2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
rename barvin
o
k
_maximize t
o
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
add a te
s
t f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
val
u
e_range_propagation: remove r
e
dundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
do
o
la
e
g
e
t
e
st_bound: record n
u
m
ber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
test_
b
o
und: c
o
nv
e
rt quasip
o
l
y
nomials to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
test_bound: compare poly
n
omial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdo
o
laege
ver
i
f
y
.
c: opt
i
mum
:
h
a
ndle i
n
put
evaluatin
g
to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c: ext
r
act
evalue_optimum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
verif
y
.
c: e
x
tract common code for verifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
evalue_range_pr
o
pagation: add mo
n
otonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize:
o
pt
i
o
n
ally u
s
e (basic) range
p
ropaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Ad
d
some suppor
t
f
o
r
d
e
aling w
i
th evalues that r
e
p
rese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barvinok_enum
e
rate: su
p
port use of Euler-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
imple
m
ent Bernoulli_
s
u
m as
conv
e
r
sion
f
rom unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalue:
exploit integer boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
lae
g
e
keep track of number of
B
ernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
be
r
no
u
lli
.
c: pro
t
ect
shared evalue
from
m
odifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoull
i
sums based exact enumera
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_count_
w
i
th_
o
ptions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
Bernoul
l
i_sum_evalue:
optionally handl
e
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
l
attice_
p
oint
.
h
:
export fractional_par
t
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doola
e
ge
ba
r
vinok_enumerate_wi
t
h
_op
t
i
ons: compute (exact) Be
r
nou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Berno
u
lli_su
m
_evalue: handle equ
a
liti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
Be
r
n
oulli_s
u
m_evalue: c
u
t off some
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
dool
a
e
ge
Bernoulli_sum_evalue
:
m
ake sure no empty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoulli_sum
_
evalue: remove r
e
dun
d
ant constr
a
int i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
berno
u
lli
.
c: mino
r
refactor
i
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oo
l
aege
Bernoulli_
s
um: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
Bernoulli_
s
um_ev
a
lue
:
ma
k
e su
r
e enough me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_upper_bound
:
add an
o
the
r
callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c: adjust de
f
a
u
l
t
range
t
o context if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc: summate_ov
e
r
_
dom
a
in: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
param_util
.
c: expo
r
t Param_V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
P
ar
a
m
_
Polyhedron_Facet: p
a
ss facet
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolae
g
e
g
enfun
.
cc: parallel_pol
y
topes: don't bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_sp
l
it_d
o
mains_
i
nto_orthants: don
'
t reduce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
ev
a
lue_r
e
ad: only allow terms t
o
cross n
e
wlines insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
ae
g
e
eva
l
ue_read: onl
y
a
ccept
implicit mu
l
tiplica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue
_
r
e
ad: accept co
n
s
tra
i
nts containi
n
g "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
evalue_ber
n
ste
i
n_coefficients: ens
u
re result pa
r
t
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
oolaege
be
r
n
s
t
e
in
:
p
i
ecewise
_
lst:
correct
l
y print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove
_
al
l
_
e
qualities:
k
eep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
ge
doc: consistent use of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaege
d
o
c: upd
a
te
n
ow pu
b
lished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verd
o
olaege
for
_
e
a
c
h
_
lower
_
upper_bound
:
allow abse
n
c
e of
lo
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
Rever
t
"eadd_
p
artition
s
: try to
c
ombi
n
e multiple d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ve
r
doolaeg
e
e
va
l
u
e
_r
e
ad_parti
t
ion:
p
ut
pa
r
t
ition
s
back
i
n t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_e
v
alue: add note on
some missed oppo
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdool
a
ege
berns
t
ein
.
cc:
handl
e
input with u
n
ions + rela
t
i
on violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
aeg
e
maximize
.
c
c: deal with u
n
ions in input du
r
ing verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
e
rd
o
ol
a
ege
evalue_su
b
stitute: properly ha
n
dle relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue
.
c
: clean up emul
a
nd ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue_read: corr
e
ctly read variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
eval
u
e_read: acce
p
t
top lev
e
l "relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verd
o
olaege
evalue_backs
u
bstitute: add
r
equired
m
o
d
ulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
evalue
.
c
:
*_
p
art
i
tions: simpli
f
y
constraint
s
b
e
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdool
a
e
g
e
doc:
m
ore specific information on buggy cddl
i
b v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
S
ven
V
er
d
oolaege
c
onfigu
r
e
.
in: re
q
ui
r
e cddlib 0
.
9
4
e by te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Ve
r
doolaege
configure
.
in: only c
o
m
pile occ if
c
ode_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
barvin
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
add
some tests for impleme
n
tation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdool
a
ege
doc: docum
e
nt new
o
pt
i
on
s
an
d
new
app
l
ic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verd
o
olaege
AUTHORS: update
s
u
ppo
r
t i
n
f
o
r
ma
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
ge
n
fun
.
cc
:
short_rat::print: corr
e
ctly
p
rint
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolae
g
e
Export s
e
ries as barvi
n
o
k_enumerat
e
_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
remove_paramet
e
r_equalities:
stop "removing
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
es: leave freeing of P argum
e
nt to cal
l
i
n
g function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: document implementation of the project
i
on
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoola
e
g
e
add barvino
k
_enumerate_e_serie
s
imple
m
enting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
genfu
n
.
cc
:
fix and doc
u
m
e
n
t
paralle
l
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
olaege
O
n
l
y
c
o
mpil
e
zsolve if
gcc 3
.
4
or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Move
GiNaC-independe
n
t
p
a
rt
o
f library to
b
a
rvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
polyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc: how t
o
co
u
nt
the numb
e
r of elem
e
nts
in
p
ossib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en V
e
rd
o
olaege
doc/implementatio
n
.
tex: avoid multiply def
i
n
ed
l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
l
a
t
t
ice
_
width
.
c:
t
r
y
vertice
s
of p
r
evious integer hulls
.
.
.
commit
|
commitdiff
|
tree
next