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
introduce evalue_shift_variables
2008-04-25
Sven V
e
rdoola
e
g
e
i
n
troduce evalue_shift_variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rd
o
olaege
lattice_
p
oint
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
latt
i
ce_point
.
h: make sure correct
e
values ar
e
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lat
t
ice_point
.
cc:
a
d
d
ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoola
e
ge
util
.
c: int
e
rnal
i
ze ugly
b
v_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdool
a
ege
l
attice_
p
oint
.
cc
:
m
ulti_monom/
l
at
t
ice_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdool
a
ege
do
c
: clean up
"e
x
ponenti
a
l
s
ubstitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
te
s
t_bound
.
cc:
avoid loss of preci
s
i
o
n cau
s
ed by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olaeg
e
barvinok_bound: optionally take maxima
l
size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ver
d
oolaege
barvinok_bound:
add --iterate opt
i
ons
fo
r
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
export f
u
nc
t
ions
f
o
r
set
t
ing
a
nd cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
v
e
rify
.
c: evalue_opti
m
um:
a
l
l
ow c
o
mputation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
ber
n
stein
.
cc: evalue2e
x
: don't assume
al
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
b
o
und
.
cc: fi
x
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ver
d
o
olaege
e
{
a
dd
,
mul}_periodics: plug memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaeg
e
e
value_bernstei
n
_coef
f
i
cients: han
d
le pro
b
lems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
update
p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
Ve
r
d
o
olaege
latt
i
ce_width
.
c:
skip directi
o
n
s t
h
at
are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefile
.
am
:
add cdd94e-test to
d
istribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: optiona
l
ly
use par
k
er
f
or compu
t
i
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoo
l
aege
normalization
.
c: skew_to_positive_o
r
tha
n
t: pr
o
pe
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/con
v
ert
.
cc: relation2Doma
i
n: only
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ: add dump for d
u
m
ping i
n
barvinok_enumera
t
e_e f
o
r
ma
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
d
oola
e
ge
b
a
rvino
k
_enumera
t
e_e: o
p
ti
o
na
l
ly
use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaeg
e
standard_
c
on
s
t
raints: t
a
ke constr
a
ints inste
a
d of polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
n
o
r
maliza
t
i
o
n
.
c: extract sta
n
d
a
r
d
_constra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolaege
pa
r
k
er/count_solutions
.
cc: fix tr
e
atment of exis
t
entially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
Verdo
o
laege
compil
e
pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc
:
ev
a
lue_derive: handle consta
n
t polyn
o
mi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add some test sets
f
ro
m
cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_m
a
ximize to barv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
olaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
e
value_range_propagatio
n
:
remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
r
ecord
numbe
r
of
pol
y
nom
i
als as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aeg
e
tes
t
_b
o
und: convert
q
uasi
p
o
lynom
i
al
s
t
o
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
test_bound: compare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
verify
.
c:
optimum: ha
n
dle
i
npu
t
ev
a
luati
n
g to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
verify
.
c: extract ev
a
lue_optimum from
maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
laege
verify
.
c: extract co
m
mon
c
ode for ve
r
i
fying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
evalue_rang
e
_
p
ropagati
o
n: a
d
d mono
t
onici
t
y
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
barvinok_maximize
:
opt
i
onally u
s
e (basic) range propa
g
atio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Add some support for dealin
g
with evalu
e
s that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
ba
r
vinok_enumerat
e
: su
p
port us
e
of
E
uler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
laege
implement Berno
u
lli_sum as conversion from u
n
w
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoul
l
i_sum_evalue: exploit integer bounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
keep track
o
f nu
m
b
e
r of Bernoul
l
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: protect sha
r
ed evalue from
m
odifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Ber
n
oull
i
sums bas
e
d exac
t
e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
g
e
barvinok
_
count_with_options: comput
e
(e
x
act) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_ev
a
lue: opt
i
onally handle
f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
latti
c
e_point
.
h: export fractiona
l
_par
t
w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bar
v
inok_enumerat
e
_wi
t
h
_
options: compute
(exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
Bernoulli_sum_evalue: hand
l
e eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalu
e
: cut of
f
so
m
e redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
Bernoulli_sum_ev
a
lue: make sure no
empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Bernoulli_s
u
m_evalue: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
bernoulli
.
c: minor refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum: handle
contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
Bernoulli_sum_evalue: make
sure enough m
e
mory is alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
a
ege
for_eac
h
_lower_u
p
per_
b
ound: add another callb
a
ck fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
v
e
rify
.
c: adj
u
st d
e
fault
r
ange to co
n
text
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
uler
.
cc: summat
e
_over_domai
n
:
o
n
l
y
c
onsid
e
r actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
para
m
_util
.
c
: export Param_
V
er
t
ex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Para
m
_Polyh
e
dron_
F
acet: p
a
ss facet defi
n
in
g
cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
gen
f
un
.
cc: parallel_polytopes
:
don't
b
o
t
her
h
a
ndlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
s
p
lit_domains_into_orth
a
nts: don
'
t reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e_read: only al
l
ow terms to cross newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
e
v
al
u
e_
r
ead: only acc
e
pt implic
i
t
m
ul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
evalue_read: ac
c
ep
t
constraints containing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
aege
evalue_bernstein_coeffi
c
ient
s
:
e
n
su
r
e result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
bernstein: piecewise_lst
:
corr
e
ctly print
a
n
d ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
e
r
d
o
ol
a
ege
r
e
m
o
ve_all_equaliti
e
s:
k
e
e
p remov
i
ng paramet
e
r equ
a
li
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
up
d
ate polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: consistent
u
s
e of
K
evin's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
doc: update now p
u
bli
s
hed papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdo
o
laege
for_e
a
ch_lower
_
up
p
e
r_bo
u
nd: allow absen
c
e of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_
p
artitions: try to co
m
bine
m
ult
i
ple
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
e
v
alue_read_p
a
rtition
:
pu
t
partition
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: redu
c
e
_
eval
u
e:
a
dd n
o
te on some mi
s
sed opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
bernstein
.
cc:
h
a
ndle inp
u
t with unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
aege
maximize
.
cc: deal with unions in
i
nput dur
i
ng
v
e
rification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ve
r
do
o
laege
ev
a
lue_subst
i
tute:
p
roperl
y
h
a
ndle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
lue
.
c
: clean
u
p emul and ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laeg
e
eva
l
ue
_
read: correctly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
ol
a
ege
ev
a
lue_rea
d
: a
c
cept to
p
le
v
el "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
date polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoo
l
a
e
ge
ev
a
lue_backs
u
b
s
titu
t
e: add requ
i
r
e
d
m
o
d
ulo con
s
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdo
o
laeg
e
evalue
.
c: *
_
p
a
rtit
i
ons:
simplify
const
r
ain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
do
o
laege
doc: more s
p
ecific infor
m
ation on b
u
ggy cddlib
ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erd
o
o
laege
config
u
re
.
i
n: r
e
quire cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdo
o
la
e
ge
c
onfigure
.
in
:
only compile occ
if cod
e
_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
barvi
n
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
ad
d
some tests for im
p
l
e
me
n
tation
o
f projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
d
oc
:
docume
n
t new options and new appl
i
cati
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
A
U
THORS: updat
e
s
u
pport informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
genfun
.
cc: shor
t
_
r
a
t
:
:print
:
correc
t
ly print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Exp
o
r
t series as barvinok_
e
numerate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalit
i
e
s
: st
o
p
"re
m
oving
"
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
se
r
ies: leave freeing o
f
P argument
t
o
calling function
commit
|
commitdiff
|
tree
next