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
summate.c: extract barvinok_summate from barvinok.cc
2008-05-03
S
v
en Ve
r
doolaege
summate
.
c: extra
c
t b
a
r
v
i
nok_summate f
r
om barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
rename
s
u
mmate
.
cc to ba
r
vinok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
eva
l
ue
.
c: reduce_e
v
alue: reduce floor
w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ve
r
doolae
g
e
A
dd Laurent expansion bas
e
d su
m
mati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoola
e
ge
e
v
alue
.
c:
e
xt
e
nd
eequal to hand
l
e domains and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
laeg
e
b
i
nomial
.
c
: extract binomial and factoria
l
fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
power
.
h: extract fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
i
n
trodu
c
e
eva
l
ue_shift_v
a
riab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaeg
e
lattice_poin
t
.
cc: export r
e
lati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
a
tti
c
e_poi
n
t
.
h: make sure
c
o
rrec
t
eval
u
es are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
dool
a
ege
lattic
e
_p
o
int
.
cc: add ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoola
e
ge
ut
i
l
.
c: interna
l
ize ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verd
o
olaege
lattice
_
point
.
cc: multi_m
o
n
o
m
/
lattice_p
o
ints: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
e
n V
e
rdoolaege
doc: cle
a
n up "exponential subst
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
test_bou
n
d
.
cc:
a
v
oid loss of pr
e
c
i
s
io
n
caused by conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvi
n
ok
_
bound: optionally take maximal size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_boun
d
:
add --iterate options
for eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
verify
.
c:
e
xport functions fo
r
setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: e
v
alue_optimum
:
allow co
m
putat
i
on of op
t
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
bernstein
.
cc: evalue
2
ex: don't
a
ssume all
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
g
e
bo
u
nd
.
cc: fix call to evalue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{add,mul}_per
i
odics: plug memory
l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
e
v
alue_bernstein_coefficients: h
a
ndle pr
o
blems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
e
rd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
rdoolaege
latti
c
e
_
w
i
d
th
.
c: skip directions that are id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
M
a
kef
i
le
.
am: add
c
dd94e
-
test
t
o
distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/occ: op
t
ionally use pa
r
ker for com
p
uti
n
g
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rm
a
l
i
zati
o
n
.
c
:
s
k
ew_to_posi
t
ive_orthant: pro
p
erl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
ege
omega/conver
t
.
c
c
: r
e
lation2
D
omain:
only co
l
lect
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: ad
d
du
m
p for dum
p
ing i
n
bar
v
i
n
ok_enumerate_
e
forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
barvin
o
k_enumerate_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
stand
a
rd_constraints:
t
ake co
n
s
traint
s
ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norma
l
iz
a
tion
.
c: extract standard_constraints
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n V
e
rdoolaege
parker/count_solutions
.
cc:
fix trea
t
ment of existe
n
tia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
comp
i
le p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
e
u
l
e
r
.
cc:
e
value_de
r
i
ve: handle consta
n
t
p
oly
n
o
m
ia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
add some test s
e
t
s
f
rom ca
s
e
s
2004
a
nd cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
renam
e
barvi
n
o
k
_
m
a
xim
i
ze to
ba
r
vino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
ge
add
a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_
r
ange_propagat
i
on: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
la
e
ge
test_bou
n
d:
r
ecor
d
n
umber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
ola
e
ge
tes
t
_
bound: c
o
n
vert
q
uasi
p
olyno
m
ia
l
s to polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test_bou
n
d:
compare polyn
o
mial boun
d
a
l
gorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
verify
.
c
: optimum: handle in
p
u
t
evaluating
t
o
n
egativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
verify
.
c: ext
r
act eva
l
ue_o
p
timum from maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
v
e
rify
.
c
: extract commo
n
co
d
e
for verifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
evalue_r
a
nge_propagation:
a
d
d
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
o
k_m
a
x
i
m
i
ze: optionally
u
se (bas
i
c
)
range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Add some s
u
pport f
o
r dealing w
i
th
evalues th
a
t re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
b
a
rvinok_en
u
merate
:
sup
p
ort use of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
i
m
plem
e
nt Berno
u
lli_sum as con
v
ersion
f
rom u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Berno
u
lli_sum_evalue
:
e
x
ploit int
e
ger b
o
unds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
k
e
ep track of
n
umber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoulli
.
c: prote
c
t
sha
r
ed evalue from modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test B
e
rno
u
lli sums based e
x
act enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olaege
barvi
n
ok_count_with_options:
c
ompute (e
x
a
c
t)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoulli_sum_evalue: opti
o
nall
y
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
lattice_poi
n
t
.
h
:
export fractional_part with C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enu
m
erate
_
with_options: compu
t
e
(
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernou
l
li_sum_eval
u
e: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
e
r
n
oulli_sum_
e
value: cut off some
r
e
dundant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_e
v
al
u
e
: make sure no empty par
t
itio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_evalue: remove redundant
c
onstraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
Bernoull
i
_
s
um:
h
andl
e
cont
e
x
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
Bernoulli_sum_eval
u
e: make sure e
n
oug
h
memory
i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
for
_
each_lower_upper_bou
n
d: add
a
no
t
her c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
e
r
doolaege
verify
.
c:
a
djust default rang
e
to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
euler
.
cc
:
summate_over_
d
omain: on
l
y consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
p
a
r
am_util
.
c: e
x
p
o
r
t Par
a
m_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
a
e
ge
Param
_
P
olyhedron_F
a
cet
:
pass facet d
e
finin
g
c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
g
e
nfun
.
cc: para
l
l
e
l_polytopes: do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
e
value_split_
d
omains_into_or
t
hants: don't reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
laege
e
v
a
l
ue_r
e
ad: only allow
terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_read: only accept
i
mplicit multi
p
lication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
ola
e
g
e
evalue_read: acc
e
p
t
con
s
traints containing "'-
'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolae
g
e
eval
u
e_be
r
nstei
n
_coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
oolae
g
e
bernstein: piece
w
ise
_
lst: correctly
p
rint and
e
va
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
remove_all_equalities: kee
p
removing parame
t
er
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
ola
e
ge
doc: consis
t
ent use
o
f
Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
lae
g
e
doc: upd
a
te now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
for_ea
c
h_lo
w
er_up
p
er_boun
d
: allow
abse
n
ce
o
f
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
Revert
"
eadd_partitions: try to
c
ombine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
e
v
a
lue_read_partitio
n
: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
olaege
evalue: redu
c
e_evalue:
add n
o
te on some missed opportu
n
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
ein
.
cc: handle input with unions
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
ma
x
imi
z
e
.
cc
:
deal
w
ith unions in input du
r
ing
v
erification
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
eval
u
e_su
b
s
t
itute:
p
rope
r
l
y ha
n
dle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue
.
c: clean up em
u
l and ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
e
ge
evalue_read:
correctly
r
ead
v
ariable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
ge
ev
a
lue_read:
accept t
o
p level "
r
el
a
tion"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
upda
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_ba
c
ksub
s
titute: a
d
d required modu
l
o const
r
ai
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolaege
evalue
.
c: *_p
a
r
t
itions
:
simplify
cons
t
raints befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdool
a
e
ge
d
o
c
: more
specific info
r
mation on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaege
c
onfigure
.
in: require
c
d
d
lib 0
.
9
4e
b
y testing
f
or b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: onl
y
com
p
ile occ if co
d
e_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
e
ge
barvinok 0
.
26
commit
|
commitdiff
|
tree
next