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.cc: export relative_coordinates
2008-04-25
Sv
e
n Verdoolaege
lat
t
ice_poin
t
.
cc: exp
o
rt r
e
lative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
rd
o
ol
a
ege
l
a
ttice_point
.
h
: make sure correct evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
o
o
laege
latti
c
e_point
.
cc: add
ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
S
ven
Verdool
a
ege
u
til
.
c: internalize
ug
l
y bv
_
ce
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ver
d
ool
a
ege
lattice_poi
n
t
.
cc: multi
_
mon
o
m
/lattice_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoolaege
doc: clean up "exponential
s
ubst
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test_bound
.
cc: avoid
l
oss of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
o
l
aege
barvinok_bou
n
d
: optional
l
y
t
a
ke maximal size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barvinok_bound
:
a
dd --iterate options
for evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
v
erif
y
.
c: expo
r
t
f
unc
t
i
ons for
s
e
tting
a
nd
c
l
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: evalue_optimum: allow computati
o
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c: evalue2ex: don't assu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bound
.
cc: f
i
x call t
o
evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
e{add,mul}_pe
r
iod
i
cs: plug memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
e
v
alue_ber
n
s
te
i
n
_
c
oefficients: hand
l
e pro
b
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
o
laege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoo
l
aeg
e
lat
t
ice_width
.
c: s
k
ip directions
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoolaege
M
a
ke
f
ile
.
am:
a
dd cd
d
94e-test to distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolae
g
e
omega/
o
cc: optionally use parker for comput
i
ng ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
n
o
r
m
a
lization
.
c
:
skew_to_
p
ositive
_
o
r
t
h
ant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omeg
a
/convert
.
cc: rel
a
tion2Domain: only c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolae
g
e
o
cc: add dump fo
r
du
m
pin
g
in barvi
n
ok_enumerate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoola
e
g
e
bar
v
inok_
e
numerate_e: opti
o
nal
l
y us
e
pa
r
ker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
st
a
ndard_con
s
traints: take
c
onstraints inst
e
a
d of poly
h
e
d
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normaliza
t
ion
.
c: extract
s
t
andard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
parker/count_
s
olutions
.
cc: fix tr
e
at
m
ent of existenti
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
co
m
pil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
A
d
d pa
r
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
oolaege
e
ule
r
.
cc: evalu
e
_de
r
ive:
handle constant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add some test
sets from
c
a
s
es 200
4
and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
rename ba
r
v
i
n
ok_
m
aximi
z
e to barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
add a
t
est for
t
e
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
e
value_range_pr
o
pa
g
a
tion:
r
emov
e
redund
a
nt poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
t
est_bound: rec
o
rd number of
poly
n
omia
l
s
as "s
i
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
t
est_bound: co
n
v
e
r
t
quasipol
y
nomials t
o
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
la
e
ge
test_
b
oun
d
: compar
e
po
l
ynomial bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: optimum:
h
andle input evaluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
verify
.
c: extract e
v
alue_optimum
f
r
o
m maxi
m
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
v
e
rify
.
c:
ex
t
rac
t
com
m
on code for verifying operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
evalue_ran
g
e_propagation: add mono
t
onicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_max
i
miz
e
:
optionally
use
(
basic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for dealing with e
v
al
u
es th
a
t r
e
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_en
u
merate: support use of Eu
l
er-M
a
clau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
impl
e
ment Bernoulli_sum as conv
e
rsion fr
o
m unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoulli_sum_
e
value: exploit inte
g
e
r
bounds t
o
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
kee
p
track of
n
umber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
e
r
n
o
u
lli
.
c: protect
shared evalue fr
o
m modific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
test Ber
n
o
ull
i
sum
s
based exact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barv
i
nok_count
_
with_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ber
n
oulli_sum_evalue
:
optionally
h
andle fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
latt
i
ce_point
.
h
: export fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
barvinok_e
n
u
m
era
t
e_with_
o
ption
s
:
compute (exact
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
li_sum_evalue:
handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_
e
va
l
ue:
cut off some red
u
nd
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
B
ernoull
i
_sum_evalue:
m
ake su
r
e no empty p
a
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_s
u
m_evalue: rem
o
ve redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
la
e
ge
bernou
l
l
i
.
c
: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Be
r
n
o
ull
i
_sum: h
a
n
dle context
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
er
n
oul
l
i_sum
_
evalue
:
mak
e
sure enough
memory is allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolae
g
e
f
o
r_each_lo
w
er_uppe
r
_bound
:
a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ve
r
ify
.
c: adj
u
st d
e
fault range to cont
e
xt if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
ule
r
.
cc: summat
e
_
over_domain: on
l
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
par
a
m
_util
.
c:
e
xport P
a
ram_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
aege
Par
a
m_Pol
y
hedron_Facet: pass
facet defining cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
gen
f
un
.
cc: parallel_polytopes:
d
on't bothe
r
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_sp
l
it_domains_into
_
orthants: don't redu
c
e eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
eval
u
e_read
:
on
l
y
allow terms
t
o cro
s
s newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
dool
a
eg
e
ev
a
l
ue_read
:
only accept impl
i
cit
m
u
ltiplicat
i
on o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdoolaege
evalue_read: accept constraint
s
containin
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ber
n
stein_coefficients: ensure resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdool
a
eg
e
bernstein: piecew
i
se_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
remove_all_eq
u
a
l
ities: keep
r
emo
v
i
n
g parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
doc
:
consist
e
nt use of K
e
vin
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: update no
w
p
u
blished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper
_
bou
n
d: allow absence of
l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaeg
e
Revert "eadd_partitions: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
evalue_re
a
d_partition: put
p
artit
i
o
n
s back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolae
g
e
evalue: reduce_evalue: add note
on som
e
missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: ha
n
dle in
p
u
t
w
ith unions + rela
t
ion
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
maximize
.
cc:
deal wi
t
h unions in
i
nput
durin
g
verifica
t
io
n
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
olaege
ev
a
lue_substitute: properly handle re
l
atio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: clea
n
up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: correctly
r
ead variable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_read
:
acc
e
pt
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdate
p
o
l
y
lib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolae
g
e
e
value_backsubstitute: add requ
i
red modulo
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoo
l
aege
e
value
.
c: *_parti
t
ions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rd
o
olaege
doc
:
m
ore
s
pecific infor
m
ation on
b
uggy cddli
b
versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
configure
.
i
n
: require cddlib 0
.
94e by testin
g
for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ve
n
Ve
r
doolaege
configu
r
e
.
in: only comp
i
le occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
add some
t
ests for
i
mplementation of pr
o
jectio
n
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
d
oc: docum
e
nt new options and
n
e
w appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
AUTHORS: update su
p
p
ort information
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
genfun
.
cc: short_r
a
t
:
:print:
co
r
re
c
tly print
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
E
x
port s
e
ries as barvinok_
e
n
u
m
erate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolae
g
e
remove_paramete
r
_equalities: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
se
r
ies: le
a
ve freei
n
g of P argument to calli
n
g f
u
nction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
ument i
m
p
lementat
i
on of the projection theo
r
e
m
commit
|
commitdiff
|
tree
next