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 Verdoolaege
binomial
.
c:
e
x
t
r
a
ct
b
inomia
l
and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
o
l
aege
po
w
er
.
h: extrac
t
from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
i
n
trod
u
ce evalue_shift_var
i
ab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaeg
e
lattice_point
.
c
c: export
r
elative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoo
l
aege
lattice_
p
oint
.
h
: make su
r
e
c
o
r
r
ect e
v
a
lues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice_point
.
cc:
a
dd ceiling
f
unctio
n
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaeg
e
ut
i
l
.
c: internalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice
_
po
i
nt
.
cc: m
u
lti_mo
n
om/lattice_p
o
int
s
: re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
doc: clean
up "exponential
s
ubstitut
i
on"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
t
e
st_bound
.
cc: avoid
l
oss of preci
s
i
o
n c
a
used by
c
onver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: opt
i
onally
t
ake ma
x
imal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
do
o
laege
ba
r
vi
n
ok_bound: a
d
d --iterate opt
i
ons for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaeg
e
ver
i
fy
.
c: export
f
u
n
c
tions
f
or setting a
n
d
clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
v
erify
.
c: eva
l
ue_optimum: allow comp
u
tatio
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
bernstein
.
cc: e
v
a
lue
2
ex: do
n
't a
s
sume
all
peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c:
f
ix cal
l
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
e{add,mul}_
p
eriodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoola
e
ge
evalue_b
e
rnst
e
in_coe
f
f
icien
t
s
:
hand
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erd
o
olaege
lattice_widt
h
.
c: skip
dir
e
ctions that are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolae
g
e
Ma
k
efile
.
a
m: add cdd94e
-
te
s
t t
o
distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdoolaege
omega/occ
:
optionally use parker
f
o
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
norm
a
liza
t
i
o
n
.
c:
ske
w
_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
ome
g
a/convert
.
cc:
r
elation2Domain: on
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add
dump for dumping in barvin
o
k
_
enumerat
e
_e
f
or
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
olaege
barvino
k
_enumerate_e: optiona
l
ly use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standar
d
_constraint
s
: take constra
i
nt
s
ins
t
ead o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ation
.
c: ext
r
a
c
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
Verdoolaege
parker/count_solu
t
ions
.
cc: fix treatment of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
co
m
pile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
dool
a
ege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
e
ul
e
r
.
cc: eval
u
e
_
derive: han
d
l
e con
s
t
ant
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add some test s
e
ts from cases 2004 and cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ren
a
me barvin
o
k_
m
aximize t
o
b
arvin
o
k_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add a test for test_bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
evalue_range_propagation: remo
v
e
redundan
t
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_bound
:
record
number o
f
p
o
l
ynomials as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
test_b
o
und:
convert
quasipo
l
yn
o
m
i
als to polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound
:
compa
r
e
p
olynomial bound algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c: optimum: handle inp
u
t e
v
al
u
ati
n
g to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ver
i
fy
.
c:
e
xtract evalue_optimum from ma
x
imiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
eg
e
verify
.
c
:
e
x
tract com
m
on
code
f
o
r
v
erifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range_p
r
opaga
t
ion: a
d
d
m
onoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k_maximiz
e
: optionally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
ae
g
e
A
d
d
s
ome support for dea
l
i
ng w
i
th eval
u
es that
r
epresen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_enumerate:
suppor
t
use of
E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
o
la
e
ge
implement B
e
rnoulli_sum
as c
o
nversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernou
l
li_sum_eval
u
e: expl
o
it integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
ep track o
f
nu
m
b
er of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoull
i
.
c
: protect sh
a
r
e
d eva
l
ue fr
o
m m
o
difica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
B
e
r
no
u
lli sums ba
s
ed
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barv
i
nok_co
u
nt_
w
ith_options: comp
u
te (exac
t
) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernou
l
l
i_sum_eval
u
e: optionall
y
hand
l
e fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: export fractional_part
w
ith C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
barvinok_
e
numera
t
e_with_op
t
io
n
s: compute (ex
a
c
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
B
e
r
nou
l
li_su
m
_e
v
alue: handl
e
e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
B
ernoulli_sum_eva
l
ue: cut off some redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_eval
u
e
: make sure no empty pa
r
t
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
s
um_evalue
:
remov
e
redundant const
r
aint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
ool
a
eg
e
bernoulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: handle cont
e
xt const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
for_each_lower_upper_bo
u
n
d
: add ano
t
her
cal
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust d
e
f
a
ult range to context
if ne
e
d
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
s
ummate_over_domain: only conside
r
actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: ex
p
ort Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
P
a
ram
_
Polyhedro
n
_Facet: pas
s
f
acet defining constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
g
enfun
.
cc: parallel_polytopes: d
o
n't
b
o
t
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_split_domains_into_orthants: don't red
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_re
a
d
:
o
nly allow t
e
rms to cross n
e
wlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_read: only accept implicit multiplic
a
tion o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
u
e_read: accept c
o
nstraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_berns
t
e
i
n_coeff
i
cients:
e
n
s
u
re result
p
artit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
bernst
e
in: piece
w
i
se_ls
t
:
cor
r
ectly print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
eg
e
remove_all_equalitie
s
: keep removin
g
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: con
s
istent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc:
u
p
date now published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
for_each_
l
ower_upper_
b
ound: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verd
o
ol
a
ege
R
e
vert "
e
add_partition
s
:
t
ry to combine multiple doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aeg
e
eval
u
e
_
read_partit
i
on: put pa
r
tit
i
ons back
i
n th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Ve
r
d
o
o
laege
evalue: red
u
c
e_evalue
:
add note on some m
i
ssed opportunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
e
g
e
b
e
rnstein
.
c
c: handle i
n
p
ut
w
ith u
n
io
n
s
+ relati
o
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maxim
i
ze
.
cc: deal
w
ith unions in
i
nput
during
verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
ev
a
lue_
s
ubstitute
:
prop
e
rly handle re
l
ati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
eva
l
ue
.
c
: clean u
p
emul an
d
ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: correctly
r
ead variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
o
o
laege
evalu
e
_read: acc
e
p
t
top
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalu
e
_backsubstitute: add require
d
mod
u
lo
c
o
nstraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verd
o
olaege
evalue
.
c: *_part
i
tions: si
m
plify constr
a
ints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaege
doc:
mo
r
e specific infor
m
ation on
b
uggy cddlib ve
r
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven
Verdoola
e
ge
configure
.
in: req
u
i
r
e cddlib 0
.
94e by testing for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
configur
e
.
in: only compile occ
if
code_ge
n
li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
add
som
e
t
e
s
t
s for impl
e
mentation
of projec
t
ion t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c
:
document new op
t
ions and new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
lae
g
e
AUTHORS: update support
infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c: sho
r
t
_rat::
p
rint:
correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Export
s
erie
s
as bar
v
inok_enume
r
at
e
_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
remove_parameter_e
q
ualities: s
t
op
"
r
emovi
n
g" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
next