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
binomial.c: extract binomial and factorial from euler.cc
2008-04-25
Sven Verdoolae
g
e
bino
m
ial
.
c
:
extract b
i
nom
i
a
l
an
d
factorial from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
power
.
h
:
ex
t
r
act from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoo
l
aege
int
r
oduce ev
a
lue_s
h
ift
_
variab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
Verdoolaege
lattice_point
.
cc: export re
l
ative_co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latti
c
e_
p
o
i
nt
.
h: m
a
ke sure correct evalu
e
s ar
e
us
e
d
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
lattice_
p
o
in
t
.
c
c: a
d
d c
e
i
l
ing
f
unction
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
Verdoolae
g
e
util
.
c: int
e
rn
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
laeg
e
lattice_point
.
cc: multi
_
monom/lattice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
d
o
olaege
doc:
clean up
"exponential
s
ubstitution"
s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
test_bound
.
cc: avoid loss of
precis
i
on caused by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
ba
r
vinok
_
boun
d
: op
t
ionally
t
ake max
i
m
a
l size
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdool
a
e
g
e
b
a
rv
i
n
ok_bound:
a
dd --iterate options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
export funct
i
ons
for setting and
c
leari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
verify
.
c: evalue
_
o
p
timum: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
r
d
oola
e
g
e
bernstein
.
cc: ev
a
l
ue2ex
:
d
on'
t
assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
bound
.
cc: fix call to ev
a
lue_
c
o
nver
t
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdo
o
laege
e{add,mul}_peri
o
dics: plu
g
m
emory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
evalu
e
_ber
n
stein_coefficients: h
a
ndle probl
e
m
s wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
la
t
tice_w
i
d
th
.
c: skip directions t
h
at a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
Verdoola
e
ge
Makefile
.
am: add cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
laege
omega/occ: optionally use parker for comput
i
ng cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalizat
i
on
.
c
: skew_to_positive
_
orthan
t
: p
r
oper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
dool
a
ege
omega/convert
.
cc:
relation2
D
o
m
ain: only
c
ol
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
occ:
add dump f
o
r dumpin
g
in barvinok_enumer
a
te_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
barvinok_e
n
u
m
erate_e: o
p
tionally us
e
p
a
rk
e
r's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
stand
a
rd_constra
i
nts: take const
r
a
ints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
no
r
malization
.
c: extract stand
a
rd_
c
on
s
t
rain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Verdoolaege
park
e
r/count_solutions
.
cc
:
fix treatment
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eu
l
e
r
.
cc: ev
a
lue_derive
:
handl
e
c
o
nstant polyn
o
mials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
s
ome te
s
t sets
f
rom cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
rename barvinok_m
a
ximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a te
s
t
for test_
b
oun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range_propag
a
tion: remove r
e
dundant poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
d
oolaege
test_bound: record numbe
r
o
f
polynomials as "
s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test_boun
d
: co
n
vert qua
s
i
polynomi
a
ls to
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
test_bound: compa
r
e p
o
lynomi
a
l bo
u
n
d algor
i
t
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
e
ge
verify
.
c: optimum:
h
andle input e
v
a
l
uating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
e
rify
.
c: extract
e
value_optimum from m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: extract
c
om
m
on
c
ode
f
o
r
ver
i
fy
i
ng
oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaeg
e
eval
u
e
_
range_propagation
:
add monotoni
c
i
ty
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ba
r
vinok_
m
a
ximi
z
e: optio
n
al
l
y use (basic) range prop
a
g
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add
s
ome suppor
t
for deal
i
ng w
i
th e
v
a
lues that
represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oola
e
ge
b
a
rvinok_e
n
umerat
e
:
suppo
r
t u
s
e of Euler-
M
a
cla
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
i
m
ple
m
e
nt Bernoul
l
i_
s
um
a
s
co
n
ve
r
sion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
Bernoulli_sum_e
v
alue: exploit in
t
eg
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
keep track of number of B
e
r
noulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
bernoulli
.
c: pro
t
e
c
t share
d
evalue f
r
o
m
modi
f
ic
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli
s
u
ms based
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
b
a
rvinok_coun
t
_with_opti
o
ns: com
p
ute (exact) B
e
rnoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ernoull
i
_sum
_
e
value: o
p
tionally hand
l
e frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
la
t
t
ic
e
_point
.
h:
e
xpor
t
fractional_pa
r
t with C
linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
b
a
rvinok_enumera
t
e
_with_
o
ptions: compute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue:
handl
e
equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
B
ernoulli
_
su
m
_evalue: cut of
f
some re
d
un
d
an
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
B
e
rn
o
ulli_s
u
m_ev
a
lue: make
s
ure no emp
t
y
par
t
it
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalue: remove redundant c
o
ns
t
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
B
ernoulli_su
m
: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
e
r
n
oull
i
_
s
um
_
evalue: make sure en
o
ugh
m
emory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
for_eac
h
_lower_upp
e
r_bound: ad
d
another callback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
verify
.
c
: a
d
just defaul
t
r
a
nge to context if
ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
euler
.
cc:
s
um
m
ate
_
over_
d
o
m
a
in: only
c
onsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c
:
export Pa
r
am_Vertex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
laege
P
a
ram_Polyhedr
o
n_
F
acet: pass face
t
de
f
i
ning constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolae
g
e
gen
f
un
.
cc: parallel_p
o
ly
t
opes: do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
g
e
evalue_spl
i
t_domains_
i
nto_orthant
s
: don't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
v
a
l
ue_read: only all
o
w terms t
o
cro
s
s newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_read: onl
y
accept im
p
licit mult
i
plic
a
tion
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
e
val
u
e_read: accept con
s
trai
n
ts containing "'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
e
value_ber
n
st
e
in_
c
oeffi
c
ient
s
: ensure result partit
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
erdoolaege
bern
s
tei
n
: pi
e
cew
i
se_lst: cor
r
ectly print an
d
e
v
alu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
r
e
m
o
v
e_all_e
q
ualitie
s
:
k
e
e
p rem
o
ving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
ol
a
ege
update
p
olyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
dool
a
e
g
e
doc: con
s
istent use of Kevin's ini
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
d
oc: up
d
at
e
now publishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
olaege
f
or_each_
l
ower_up
p
er_bound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
Revert
"
eadd_partiti
o
ns: try to
c
ombine
m
ulti
p
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoo
l
aege
eval
u
e_read_partition
:
p
u
t
partitions back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue: re
d
uce_evalue: add
n
o
t
e
on some mi
s
sed opportun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdool
a
e
ge
bern
s
te
i
n
.
cc: handle input with unions + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rd
o
o
laege
maxim
i
ze
.
cc: deal with unions in inp
u
t dur
i
ng verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_substitu
t
e: properly han
d
le
r
elati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c:
c
lean up emul a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Ve
r
doolaege
evalue
_
read: correct
l
y r
e
ad var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
olaege
evalue_re
a
d: acce
p
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolaeg
e
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsu
b
stit
u
te: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoola
e
ge
evalue
.
c: *_partitions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaeg
e
doc: more
speci
f
ic informati
o
n on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoolae
g
e
configure
.
in: requi
r
e
c
ddlib 0
.
9
4e by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Ver
d
oolaege
configure
.
in: on
l
y compile occ if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoola
e
ge
add
som
e
tests for im
p
lementation o
f
p
r
o
jecti
o
n theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
doc:
d
ocument
n
e
w o
p
tion
s
a
nd new ap
p
lic
a
t
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
AUT
H
ORS: update support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
genfun
.
cc: short_rat::print: c
o
rrectly print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Exp
o
rt series a
s
bar
v
i
nok_enumerat
e
_ser
i
es and use
.
.
.
commit
|
commitdiff
|
tree
next