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 Ve
r
doolaege
intr
o
duce
evalue_shift_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdool
a
ege
lattice_point
.
cc:
exp
o
rt relative_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
r
do
o
la
e
ge
lattice_point
.
h: make sure co
r
rect eval
u
es
a
re used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
lattic
e
_poi
n
t
.
cc:
add ceiling
function
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
util
.
c: i
n
terna
l
ize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolae
g
e
lattice_p
o
int
.
cc: multi_mono
m
/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verd
o
olaege
doc
:
clean up
"
e
xponential subs
t
itution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaeg
e
te
s
t_bound
.
cc: avoid l
o
ss of p
r
ec
i
si
o
n caused by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
b
a
rvinok
_
bound: op
t
ional
l
y
t
ake maximal size o
f
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
barvinok_bound: add -
-
itera
t
e options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
r
doolaege
verify
.
c: export f
u
nctions f
o
r se
t
t
ing and clear
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oo
l
a
ege
verif
y
.
c:
evalue_optimum: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bernstein
.
cc: evalu
e
2ex: don't
assume
a
l
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
b
ound
.
cc: fix call
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
o
o
laege
e{add,mul}_
p
e
r
iodics: plug memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue
_
berns
t
ein_coefficien
t
s: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaeg
e
update
p
oly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdo
o
laege
l
a
ttice_width
.
c:
skip direc
t
io
n
s that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoola
e
ge
Mak
e
fi
l
e
.
a
m
:
add
c
dd94e-test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: o
p
tionally use
parker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
er
d
oolaege
normalization
.
c
:
s
kew_to_posi
t
ive_orthant: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
laege
omega/co
n
vert
.
c
c
: r
e
latio
n
2Domain
:
only collect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolaeg
e
o
cc:
add
du
m
p fo
r
du
m
p
i
ng in barv
i
nok_enum
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
ol
a
e
g
e
b
arvinok_enum
e
r
ate_e: optio
n
a
lly use parke
r
's
meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
e
rdo
o
l
a
ege
standar
d
_constra
i
nt
s
: take constraints instead of po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalization
.
c: ext
r
act s
t
and
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoo
l
aege
parker/
c
ount_solutions
.
cc: fi
x
treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
ool
a
eg
e
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
A
dd parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: eva
l
ue_
d
erive: handle
c
onstant polyn
o
m
ial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add some
test se
t
s
f
rom
c
ases
2004 and cc 2005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
renam
e
b
a
rvinok_maximi
z
e
t
o
barvin
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
a
e
ge
add
a test f
o
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
ge
evalue_range
_
propagation: remove redundant po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bound: r
e
cord numbe
r
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
test_bound: convert quasipolynomials to pol
y
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bound: compare pol
y
nomial
boun
d
al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
l
a
e
ge
verify
.
c: opti
m
u
m: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ve
r
i
f
y
.
c:
e
xtract eva
l
ue_optimu
m
from ma
x
im
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdool
a
ege
ver
i
fy
.
c: extract common c
o
de for verifying
o
pera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_pr
o
pagation: add
m
onotoni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
barv
i
n
ok_ma
x
imize: optionally use (basi
c
) rang
e
p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
oolaege
Add som
e
support
f
or de
a
ling
w
i
th evalu
e
s
t
hat re
p
r
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate:
s
uppo
r
t use of Eul
e
r-
M
aclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bernoulli_sum as con
v
ers
i
on from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bern
o
ulli_sum_evalue: exp
l
oit in
t
eger
b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
keep track of
n
umber of B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
ernoull
i
.
c: p
r
otect
s
har
e
d
evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bernoulli sums
based exac
t
enume
r
ati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
barvinok
_
c
o
unt_with_option
s
: compute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli
_
sum_evalue: optionall
y
handl
e
frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
ool
a
ege
lattice
_
po
i
nt
.
h: e
x
por
t
fractional_
p
a
r
t with
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bar
v
inok_enum
e
rate_w
i
th_opt
i
ons: co
m
pute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Bernoulli_s
u
m_eva
l
ue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Berno
u
ll
i
_sum_eval
u
e
:
cut off some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
lue: mak
e
sure no empt
y
p
artit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernou
l
li_s
u
m_evalue: remove redundant constrai
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
b
e
rnoulli
.
c: minor r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bern
o
u
l
l
i
_sum
:
handle c
o
ntext constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue: ma
k
e su
r
e enough m
e
mory i
s
all
o
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
e
ge
for_
e
a
ch_lower_upper
_
bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verif
y
.
c: ad
j
u
s
t default range to co
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eu
l
er
.
cc
:
summate
_
o
v
e
r_domain: onl
y
consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolae
g
e
param_u
t
il
.
c
:
expo
r
t
Param_Ve
r
tex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Param_Polyh
e
dr
o
n_Facet:
p
as
s
facet
d
efi
n
i
n
g
c
onst
r
ain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
genfun
.
cc: par
a
l
l
el_polytopes: don't bothe
r
ha
n
dlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_int
o
_orthants:
d
on't
r
ed
u
ce
e
va
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue
_
re
a
d
:
on
l
y allow t
e
rms to
c
ross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit
m
u
ltipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doolaege
evalue_
r
ead: accept co
n
strain
t
s
c
ontai
n
ing
"
'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
evalue_berns
t
ein_coefficients: ensure
result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdool
a
e
ge
bernst
e
i
n
:
piecewise_lst: correctl
y
print and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
remove_all_equalit
i
e
s: keep
removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
ool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rd
o
o
l
aege
do
c
:
c
onsi
s
te
n
t
u
s
e o
f
Kevin'
s
initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
d
o
c: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
for_each_lower_upper_
b
ound: a
l
l
ow ab
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Rev
e
rt "eadd_partiti
o
ns: t
r
y to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
eval
u
e_read_
p
a
rtiti
o
n: put pa
r
titions ba
c
k in th
e
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aege
evalue: red
u
c
e_evalu
e
: add n
o
te on some missed
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
berns
t
ein
.
cc: ha
n
dle
i
nput with unions
+ relati
o
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
maxi
m
ize
.
c
c
:
d
e
al with unions in
inpu
t
during verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
evalue_subst
i
tu
t
e: properly han
d
le re
l
ation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
oola
e
g
e
e
v
a
lue
_
read
:
corr
e
c
t
ly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_
r
ead: acce
p
t top l
e
vel "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en V
e
rdoola
e
ge
ev
a
lue_backsubstitute: add require
d
m
odulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdool
a
ege
eva
l
ue
.
c:
*
_partitions:
s
impl
i
fy constraints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
d
o
c: more specific information
o
n buggy cddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
S
ven V
e
rdool
a
e
g
e
confi
g
ure
.
in: require cddlib 0
.
94e by t
e
sting for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doola
e
ge
confi
g
ure
.
in: on
l
y compile
o
cc if c
o
de_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
b
a
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
ad
d
some tests for
i
mplem
e
nt
a
ti
o
n of projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
doc
:
docume
n
t new options and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AUT
H
ORS: update support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
genfun
.
cc: short_rat::print: corr
e
ctly print pol
y
n
o
mi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoo
l
ae
g
e
Export se
r
ies as barvinok_
e
numerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove
_
parameter_equalities:
stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
serie
s
: leave
f
re
e
ing of P argument to calling
f
unc
t
ion
commit
|
commitdiff
|
tree
next