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
lattice_point.h: make sure correct evalues are used
2008-04-24
Sven Verdoolaege
lattic
e
_poin
t
.
h:
make sure correct
evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verd
o
olaege
lattice_point
.
cc: add ceilin
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
util
.
c: in
t
er
n
alize ugly
bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoolaege
lattice_point
.
cc: multi_
m
on
o
m/latt
i
ce_points: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
erdoo
l
aeg
e
doc: clean u
p
"expone
n
tial substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
te
s
t_bo
u
nd
.
cc
:
avoid loss o
f
precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaeg
e
barvinok_bound
:
option
a
lly take
ma
x
imal size
o
f d
o
m
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
vinok_bound: add --i
t
erate options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
laege
v
e
rify
.
c: export f
u
n
c
t
ions
for se
t
ting
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
verify
.
c: evalue_optimum: a
l
low com
p
utation
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
bernstein
.
cc: evalue2ex:
don'
t
assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
b
o
und
.
c
c
: f
i
x call to eval
u
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaeg
e
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
evalue_bernstei
n
_coefficient
s
: handl
e
problems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
l
a
t
t
ice_width
.
c: sk
i
p directi
o
ns th
a
t are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
erdoolae
g
e
Make
f
ile
.
am: add cdd94e-test to dis
t
r
i
butio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
omega/occ
:
optionall
y
use par
k
er for comp
u
tin
g
cardin
a
li
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmaliz
a
t
io
n
.
c: skew_to_p
o
sit
i
ve_orthant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/c
o
n
vert
.
cc: rel
a
tion2Domain: onl
y
coll
e
c
t
se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
occ: add dump for
d
u
m
ping in ba
r
vinok_enumerate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdool
a
eg
e
barvi
n
o
k
_enumera
t
e_e: optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
standard_co
n
straints
:
take cons
t
r
aints instead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aege
no
r
malization
.
c: ext
r
act s
t
an
d
ard_
c
onstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/coun
t
_solutions
.
cc: fi
x
treatmen
t
o
f
existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oo
l
a
ege
A
d
d
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: evalu
e
_deriv
e
: handle cons
t
ant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets fr
o
m case
s
2004 a
n
d cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
renam
e
barvinok_
m
a
x
imize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add
a te
s
t for te
s
t_b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
ng
e
_propagatio
n
:
r
emove redundan
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
test_b
o
u
n
d:
r
ecord
n
umber of polynom
i
a
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
d
o
olaege
te
s
t_bo
u
nd: conve
r
t quasipolynomi
a
ls to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_
b
ound: compare polynomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ver
i
fy
.
c:
o
ptimu
m
: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
dool
a
ege
v
erify
.
c: extrac
t
evalue_op
t
imum from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c: ex
t
ract common
code for verify
i
ng
o
p
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
eval
u
e
_
ra
n
ge
_
p
ropagation: add mono
t
o
n
icit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
barvinok_maximize:
o
ptionally use (basic) r
a
n
g
e propagation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
aege
A
dd some s
u
pport for dealing with evalues that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
o
olaege
barvi
n
ok_enum
e
rate:
support use o
f
Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
implement Bernoulli_s
u
m a
s
con
v
e
r
sion from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
Bernoulli_sum_ev
a
lue: explo
i
t integer
b
ounds to re
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
keep track
of numb
e
r of Bernoulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
er
d
oolaege
berno
u
lli
.
c
: pro
t
ect sha
r
ed e
v
alue from modification
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
o
olaege
t
est Bernoulli sums based e
x
a
ct
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count_w
i
th_
o
ptions: compute (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noul
l
i_sum_evalue: opt
i
o
n
a
lly handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
lattice_
p
oint
.
h:
e
xport frac
t
ion
a
l_pa
r
t with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
barvin
o
k_enume
r
a
t
e
_with_options: compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
laege
Bernoulli_sum
_
evalue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
a
e
ge
Berno
u
lli_sum_evalue: cu
t
off some redunda
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue: m
a
k
e
s
ure no empty pa
r
t
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Be
r
noulli_sum_evalue: remove redundant co
n
s
t
rai
n
t i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
bernoulli
.
c: m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aege
Ber
n
o
u
l
li_sum: handle context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernou
l
li_sum_evalue
:
ma
k
e sure enough memory
i
s a
l
locate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
fo
r
_each_lower_upp
e
r_
b
oun
d
: add a
n
other
c
allback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
verify
.
c: a
d
just
d
efault range to c
o
n
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
eu
l
er
.
cc
:
summat
e
_
o
ver
_
domain: o
n
ly consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
param_util
.
c: export Param_
V
ertex_Set_
F
a
c
ets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
Para
m
_Polyhedron_Face
t
: pass
facet definin
g
co
n
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
g
e
n
f
un
.
c
c: par
a
llel_polyt
o
pes:
don't b
o
ther
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_split_domains_into_orthants: don't reduce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
evalue_read
:
only
allow
t
erm
s
to
cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only
a
ccept im
p
licit multip
l
ica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_rea
d
:
acc
e
pt constraints containing "'-'
spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ev
a
lu
e
_bernstein_coeffi
c
ient
s
: ensure resu
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
b
er
n
stein: piec
e
wise
_
lst:
correctly
print and
evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
remove_all_equal
i
ties: kee
p
r
e
m
o
ving par
a
met
e
r
e
qua
l
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
upda
t
e polyli
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
erdoolaege
doc: co
n
sistent use
o
f
Kevi
n
's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: update
n
ow
publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
for
_
each_
l
ower
_
upper_
b
o
u
nd: al
l
ow abse
n
ce of l
o
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoola
e
g
e
Revert "eadd_parti
t
ions: try to combi
n
e mu
l
tiple do
m
ai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_
p
a
r
t
ition: p
u
t partitio
n
s ba
c
k in t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
e
v
alue: reduc
e
_eva
l
u
e
: add note
o
n
so
m
e missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle
input with unions +
relati
o
n vio
l
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
maximize
.
cc:
d
eal
with
u
nions
in input during ve
r
ifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
ve
n
Verdool
a
ege
evalue_substitute: prop
e
rly
h
andl
e
re
l
at
i
on
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue
.
c: clean up e
m
ul a
n
d
ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolae
g
e
e
v
alue_read: co
r
r
e
c
t
ly read var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read:
accept t
o
p level
"
relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
l
aege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n Verdoolaeg
e
evalue_backsubstitute:
a
d
d
requir
e
d
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
v
alue
.
c: *_
p
artitions: simplify constraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoo
l
aege
doc: more speci
f
ic informati
o
n on buggy cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
r
d
oola
e
ge
configure
.
in:
require cddlib
0
.
9
4e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
e
n
V
e
rdoolaege
co
n
figure
.
i
n
:
only compile occ if
c
ode_gen l
i
b
r
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
add
s
om
e
tes
t
s f
o
r implementat
i
on of proj
e
ctio
n
theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
doc: docu
m
ent new options and
n
ew appl
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
AUTHORS: update
s
u
pport in
f
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
g
enf
u
n
.
cc: short_rat:
:
print: correctly print polyno
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Exp
o
rt
series as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
remo
v
e_parameter_equalities
:
stop
"
removi
n
g"
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave freeing
of P
a
rgument
t
o
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document i
m
plementa
t
ion of
t
he proj
e
ction t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
do
o
laege
add
b
arvin
o
k_enumerate
_
e
_series imp
l
ementing the
p
roject
i
o
n
.
.
.
commit
|
commitdiff
|
tree
next