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
Sven Ve
r
d
o
olaeg
e
l
a
ttice_p
o
int
.
cc: export relati
v
e_
c
oordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
latt
i
ce_poin
t
.
h: make sur
e
correct eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
util
.
c
: internalize ugly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
ven Verdoolaege
lat
t
ice_point
.
cc: multi_mo
n
om/lattice_point
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
Ver
d
o
o
laege
doc: clean up "e
x
ponenti
a
l substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_boun
d
.
cc:
a
void loss o
f
precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
b
a
rvin
o
k
_bound: optionally take
m
aximal
s
i
z
e
o
f
d
om
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoola
e
ge
barvinok_bound:
add --ite
r
ate
o
p
tio
n
s f
o
r evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaege
veri
f
y
.
c: export
functions
f
or
s
e
t
ting and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erd
o
o
laege
verify
.
c: e
v
alue_o
p
t
imum: a
l
lo
w
co
m
puta
t
i
on of o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
l
a
ege
bernstein
.
cc: evalue
2
ex: don'
t
a
ssume all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
boun
d
.
cc: fi
x
c
a
ll
t
o evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
e{add,mul}_periodics: plug
m
e
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
e
v
alue_berns
t
ein_
c
oefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_w
i
dth
.
c:
skip di
r
ections th
a
t are i
d
e
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolae
g
e
M
a
kefile
.
am: add cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/occ: o
p
t
i
onally use parker for
comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalizatio
n
.
c: skew_to_positive_orthant:
p
roperl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/convert
.
cc: re
l
a
tion2Domain: only
col
l
ect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
o
c
c
: add
d
u
m
p
for dumping i
n
barvinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
er
d
oolaege
barvinok_enume
r
ate_e: optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard
_
constraints: take cons
t
raints instead o
f
polyh
e
dro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
n
o
r
m
alization
.
c: extract stand
a
r
d_constraints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
par
k
er
/
count_solu
t
io
n
s
.
cc: fix tr
e
a
tme
n
t
of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_
d
erive: h
a
nd
l
e constant p
o
lynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets f
r
om ca
s
es
2
004 a
n
d cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oo
l
aege
rename barvinok_m
a
x
i
mize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
a
d
d a tes
t
for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
evalue_range_propa
g
ati
o
n: remov
e
redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
test_bound:
r
ecord nu
m
be
r
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_b
o
und: con
v
ert quasipolyn
o
mials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
compare
p
o
l
ynomial
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c: o
p
timum:
h
an
d
le i
n
put eva
l
uating t
o
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract e
v
alue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
eg
e
verify
.
c: extr
a
ct
c
ommo
n
code for veri
f
ying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_propagation: add
monoto
n
icity
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvino
k
_max
i
m
i
ze:
o
p
t
iona
l
ly use
(basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add some support for
dealing with evalues
t
ha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_enumer
a
te: support use of Euler-Macla
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
impleme
n
t
B
ernoulli
_
sum
as co
n
version
f
r
om unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
B
e
rnoulli_sum_e
v
alue:
e
xploit integer bound
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
keep tr
a
ck of
numb
e
r of Ber
n
oulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bernoulli
.
c: p
r
otect shar
e
d ev
a
l
u
e from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test Bern
o
ulli sums
b
ased exa
c
t
e
n
ume
r
atio
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
d
o
ola
e
ge
b
arvinok_count_wit
h
_options: co
m
pute
(exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eva
l
u
e
: optional
l
y handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
l
a
t
tice_point
.
h
:
export fr
a
c
t
ional_part with C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
barvinok_enumerate_
w
i
th_options: co
m
pute (exac
t
) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
Bernoulli_sum_evalue: handle e
q
ualiti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Be
r
no
u
lli_sum_evalu
e
: cut of
f
som
e
r
e
dunda
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bern
o
ulli_sum_evalu
e
: make
sure no
emp
t
y pa
r
tit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laege
Bernoulli
_
sum_evalue: remov
e
r
e
dunda
n
t cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoulli
.
c
:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
Be
r
noulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bern
o
ulli
_
sum_
e
valu
e
: make sure enough m
e
mory
is allo
c
at
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for_each_lower_upper_bound: add a
n
other
callback
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doo
l
a
e
g
e
verify
.
c: adjust
def
a
ult range to context if
n
e
ed
e
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erd
o
olaege
eule
r
.
cc
:
su
m
mate_over_domain
:
o
nly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
e
g
e
par
a
m_
u
t
i
l
.
c: export Param_Verte
x
_
Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
P
aram
_
P
o
lyhedron_Facet: pass facet defin
i
ng constr
a
in
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
g
enfun
.
cc: parall
e
l_polytopes:
don't bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdo
o
laege
e
v
alue_
s
plit_
d
omai
n
s_into
_
orthants
:
don't red
u
ce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e_rea
d
: only all
o
w
terms to c
r
oss newl
i
nes i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eval
u
e
_
read: only accept
i
m
plicit multi
p
lication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olae
g
e
evalue_read
:
accep
t
con
s
traints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
o
o
laege
ev
a
l
u
e
_bernstein_co
e
fficients:
e
nsure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
berns
t
ein: piec
e
wi
s
e_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
do
o
laege
r
e
mov
e
_all_equali
t
ies: ke
e
p
r
emoving pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
ool
a
ege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: consistent use of Kevin's initi
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc: up
d
ate now
p
u
bl
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
for_ea
c
h
_
l
ower_uppe
r
_boun
d
: allow a
b
s
e
nce
of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
Revert "eadd_p
a
rtitio
n
s: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_read_partiti
o
n: put p
a
rtitio
n
s back in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
eval
u
e: reduce_evalue: add note
on some missed o
p
portunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
bernstein
.
cc
:
h
an
d
le
i
nput
w
i
t
h
unions + relatio
n
violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ve
r
doolae
g
e
maximize
.
cc:
d
eal with unions in in
p
ut during v
e
rificatio
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ver
d
oolaege
evalue_substitute:
properly han
d
le relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
evalue
.
c
: clean up
emul a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doo
l
ae
g
e
evalue_read: corre
c
tly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aege
eva
l
u
e_
r
e
a
d: acc
e
pt top level "r
e
lation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolae
g
e
up
d
ate
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
e
va
l
ue_backsubstitute: add required m
o
d
ulo c
o
nstr
a
i
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
eva
l
ue
.
c: *_partit
i
ons: simplify
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdool
a
eg
e
d
oc: m
o
r
e
specific info
r
m
a
tion on buggy cddlib vers
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoolaege
c
on
f
igure
.
in: require cddli
b
0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoo
l
ae
g
e
configure
.
in: only
c
o
m
p
i
le occ if code_
g
en l
i
br
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
b
a
rvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add some test
s
f
o
r
implem
e
n
tation of projection
t
heo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docum
e
nt new
opti
o
ns and ne
w
applicat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update support i
n
formation
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
genfun
.
cc: short_rat::
p
rint: corr
e
c
t
ly print
polyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
Export serie
s
as barvi
n
ok
_
enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remov
e
_
parameter
_
equa
l
ities
:
stop "removing" equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
s
e
r
ies: leave f
r
e
e
i
ng o
f
P argumen
t
t
o
c
al
l
ing fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
do
c
: document implemen
t
ation of the
p
r
o
j
e
c
ti
o
n theo
r
em
commit
|
commitdiff
|
tree
next