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
verify.c: evalue_optimum: allow computation of optimum in 0D domain
2008-04-08
Sv
e
n
V
erdoolaege
v
e
rify
.
c: evalue_opt
i
mu
m
: allow c
o
m
putation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
bernstein
.
cc: evalue
2
ex:
don't assume a
l
l perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
o
o
laege
e{add,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdoolaege
evalue_bernstein_
c
o
efficients: handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolae
g
e
l
a
ttice
_
w
i
dth
.
c:
s
kip
d
i
r
e
ctions that a
r
e i
d
entical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
V
e
rdoolaege
Ma
k
efile
.
am:
add cdd94e-test
t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaeg
e
omega/occ:
o
ptionally use parke
r
f
o
r co
m
puting
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormalizatio
n
.
c:
s
kew_
t
o_positive_
o
rt
h
a
n
t
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/conv
e
r
t
.
c
c
: relation2D
o
m
a
i
n
: o
n
ly
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
occ: add dump for du
m
ping
i
n barvinok_enumerat
e
_
e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
d
o
olaeg
e
bar
v
i
nok_
e
numerat
e
_
e:
o
p
t
iona
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdo
o
l
a
ege
st
a
n
d
ard_con
s
trai
n
ts: ta
k
e
cons
t
rai
n
ts ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
normalizatio
n
.
c: extract
s
tanda
r
d_constraint
s
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdo
o
laege
parker/count_solut
i
o
n
s
.
cc: fix tre
a
tment of
e
xistentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add
p
arke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc
:
ev
a
lue_derive: handle constant po
l
ynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
a
d
d some
test sets
from cases
2
004 and cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e
bar
v
inok_maxim
i
ze to
b
arv
i
n
ok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
add a tes
t
for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
a
nge_propaga
t
i
o
n: remove
r
ed
u
ndant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
tes
t
_bo
u
nd: record number of polyn
o
mials as
"
s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
und: conve
r
t quasipolynomials to po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
c
ompare pol
y
nomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optim
u
m: h
a
ndle
i
nput evaluati
n
g to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
verify
.
c
: extr
a
c
t ev
a
lue_optimum from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
ver
i
fy
.
c: e
x
tract
c
o
m
mon code for veri
f
ying
op
e
ra
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
evalue_range_pro
p
a
g
a
t
ion: add mo
n
otonicity
tes
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize: optional
l
y use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
A
d
d some supp
o
rt for dealing
with evalues that
r
e
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doolaege
ba
r
vi
n
ok_enumerate: sup
p
ort use of Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
impl
e
ment Bernoulli_su
m
as conversion
f
rom un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
laege
Bernoulli_sum_evalue: exploi
t
integer bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number
o
f
Bernoull
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoull
i
.
c:
protect sh
a
red
e
value from modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
test Bernoulli sum
s
bas
e
d exact enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
erdoolaeg
e
barvin
o
k_cou
n
t_wi
t
h
_options: co
m
pu
t
e (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
Bernoulli_sum_evalu
e
: optionally handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
lattice_point
.
h: ex
p
ort fr
a
ctional_part w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_en
u
m
erate_with_options: co
m
pute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Bernoul
l
i_sum_eva
l
u
e
: ha
n
dle
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
oulli_
s
u
m_evalue: cut off some
r
ed
u
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum
_
evalue: ma
k
e
sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
g
e
Bernoull
i
_sum_
e
value: remove redundant constrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bernoulli
.
c:
minor refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
Bernoulli_sum: handle conte
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
Be
r
noulli_sum_evalue
:
ma
k
e sure enough
memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
d
o
ola
e
ge
f
o
r_each
_
lower_upper_bo
u
nd: add ano
t
her callback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
v
erify
.
c:
a
djust defau
l
t
r
ange
to contex
t
if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eu
l
er
.
cc: summate
_
over_domain: only
c
ons
i
der ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_
u
til
.
c:
e
xport
Param
_
Vert
e
x_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Param_Polyhedro
n
_Face
t
: pass
f
acet defini
n
g constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laeg
e
genfun
.
cc:
paral
l
el_polytopes: don't both
e
r h
a
nd
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
oolaege
eva
l
ue_spl
i
t_d
o
mains_in
t
o_orthants
:
d
o
n
't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
ev
a
lue_read: only allo
w
terms to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
a
l
u
e_read
:
only accept
i
mpli
c
it
m
ultiplicat
i
on
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
e
v
alue_read: a
c
cept cons
t
ra
i
nts conta
i
ni
n
g
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
evalue_ber
n
s
tei
n
_coefficie
n
ts: ensure result p
a
r
tit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bernstein: piec
e
wise_lst: correctl
y
print and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
remov
e
_all_equalities: kee
p
re
m
oving paramete
r
e
qualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
date poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: consiste
n
t use of
Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
doc:
u
pdate n
o
w published
papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolae
g
e
for_each
_
lower_
u
pper_boun
d
: allow a
b
sence o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
Revert "ead
d
_parti
t
ions:
t
ry t
o
combine mul
t
iple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalu
e
_read_parti
t
ion: put par
t
itions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue: re
d
uce_evalue: add note on som
e
missed op
p
ortuni
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ber
n
stein
.
cc: handle input
with unions
+
relation viol
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdo
o
laege
maxim
i
ze
.
cc:
d
eal with unions in inpu
t
during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
evalue_
s
ubs
t
it
u
te: properly handle r
e
lations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
evalue
.
c: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoo
l
a
eg
e
e
v
alue
_
r
ead: correctly
r
ead va
r
iable
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
l
ue_read
:
accept top lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven
Verdo
o
laege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitut
e
:
add r
e
q
u
i
r
ed modulo
c
onstraint
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdoolaege
evalue
.
c: *_part
i
ti
o
ns: simp
l
ify
c
onstraint
s
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
doc: more specific information on buggy
cddli
b
version
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
co
n
figure
.
in: require cddlib 0
.
94e by
testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
conf
i
gure
.
in:
o
nly com
p
ile
o
cc if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
add some te
s
ts
f
or implement
a
tion o
f
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
l
aege
doc: d
o
cume
n
t new
o
pti
o
ns and new a
p
plicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHOR
S
: update sup
p
ort information
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaege
genfun
.
cc: short_rat::
p
rint:
c
orr
e
ctly pr
i
nt po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaeg
e
Export series as barvinok_enumer
a
te_serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
remove_p
a
rameter_equ
a
litie
s
: st
o
p "
r
emoving" equ
a
litie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
e
r
d
ool
a
ege
series: leave freeing of P argument to ca
l
ling
function
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolaege
doc: doc
u
ment
implementation of
t
he p
r
ojection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
a
d
d
b
arvino
k
_enumerate_e_ser
i
e
s
implementing the pr
o
je
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
c
c: fix and document para
l
lel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Onl
y
com
p
ile zs
o
l
v
e
if gcc 3
.
4
o
r
later is av
a
ila
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Move GiNaC-independent part o
f
library to
ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
doc:
h
ow to count
t
he numb
e
r
o
f e
l
ements in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
aege
doc/implem
e
n
t
ation
.
t
ex: avoi
d
m
u
ltip
l
y def
i
ned l
a
be
l
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoo
l
aeg
e
lattice_width
.
c: try ve
r
tices of pre
v
ious integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: docum
e
n
t
integer hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolae
g
e
h
u
ll
.
c: add all
p
oint
s
found
by sam
p
ling directly to
.
.
.
commit
|
commitdiff
|
tree
next