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
update piplib for corrected Urs_parms handling
2008-06-17
Sven Ver
d
o
olaege
update piplib
for
c
o
rrected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erd
o
olaege
configure: use corr
e
c
t
h
eader files in
case of b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoola
e
ge
c
o
nfigure
.
i
n
: f
i
x check for code_
g
en li
b
rary availabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
e
rdoolae
g
e
ome
g
a/occ
:
only open debug outp
u
t file if
t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
omega/Makefile
.
am: avo
i
d bison's -
o
opt
i
on as
n
aming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoola
e
ge
ra
n
ge
.
cc:
add missing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
erd
o
olaege
add editor
s
to
I
TSL pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoola
e
ge
use argp f
o
r
a
rgument parsing in b
a
rvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
e
ge
p
r
o
perly h
a
ndl
e
NTL
CPPFL
A
GS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdoolaege
basis_re
d
uction_
t
empl
.
c: add miss
i
ng include
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdo
o
laege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
a
d
d s
o
me test sets from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolae
g
e
do
c
: add la
t
est
(
ac
c
ept
e
d) public
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: ad
d
s
ection_array
.
h
t
o di
s
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c: compute_shif
t
s:
remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
move Free
_
ParamNa
m
es polylib and make param
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
occ: ad
d
inter
f
ace to barvinok
_
s
u
m
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
ex_co
n
vert
.
cc: extract ex2evalue
from
r
ang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: docu
m
ent
more --sum
m
atio
n
method
s
for ba
r
vinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
options
.
c:
r
enam
e
"barvi
n
ok" sum
m
ation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
M
akefile
.
am: check-euler
:
also chec
k
lau
r
en
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
sum
m
ate
.
c: barvinok_
s
u
mmate
:
handl
e
produc
t
s of
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export eva
l
ue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
o
olaege
be
r
nstein
:
num
e
ric2v
a
lue: fi
x
typo
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
util
.
c:
Fac
t
or_Context:
e
xt
r
ac
t
ed
f
rom b
a
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summate
.
c: barvinok_summate:
ignore floo
r
s
independen
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c:
add evalue
_
floo
r
2
frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
omega/occ: print barvino
k
version numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
g
e
doc
:
updat
e
so
m
e referenc
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Make
laur
e
nt based summat
i
on the
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdool
a
e
g
e
summate
.
c: b
a
rvinok_summate
:
handle quasi-
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
reduce_ev
a
lue: e
x
tract out ev
a
l
u
e_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
eva
l
ue
.
c: evalu
e
_shift_variables: allo
w
shifting
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
u
mma
t
e
.
c: handl
e
equalities
for all su
m
mation algo
r
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
l
a
ege
summate
.
c: bar
v
inok_summate:
move
commo
n
parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
e
value
.
c:
e
va
l
ue_su
m
: m
o
ve sign handl
i
ng
i
nto e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvi
n
o
k
_e
.
cc:
enumer
a
te_sum: us
e
barv
i
n
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doolaege
summate
.
c: extract
ba
r
vinok_summate
from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
rename summate
.
cc to barvinok
_
s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
ev
a
lue
.
c
: reduce_evalue: reduce fl
o
o
r
with consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
A
d
d Laurent expansion
based
s
ummati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
eva
l
ue
.
c: extend eequal t
o
handle dom
a
ins and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
binomial
.
c: extract binomial
and factorial f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaeg
e
power
.
h:
extract f
r
om eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
intr
o
duce evalue_sh
i
f
t_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rdoola
e
ge
lattic
e
_
p
oint
.
cc: ex
p
o
rt re
l
ative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
V
e
rdoolaege
lattice
_
point
.
h
:
mak
e
s
u
re
c
or
r
ect
e
values are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lat
t
ice_
p
oint
.
cc
:
a
d
d ceilin
g
fun
c
t
i
on
commit
|
commitdiff
|
tree
2008-04-24
S
ven Ve
r
doolaege
u
t
i
l
.
c: i
n
ternalize ug
l
y b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven V
e
r
doo
l
ae
g
e
latti
c
e
_point
.
cc:
m
ulti_monom/lattice_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc
:
cle
a
n up "exponential sub
s
ti
t
ution" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_bo
u
nd
.
cc: a
v
oid loss of precision caus
e
d by conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaeg
e
barvinok
_
b
o
und: op
t
ionally take
m
axi
m
al size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
barvi
n
ok
_
b
o
und: add
-
-iterate options
f
or
e
v
a
l
u
atin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: expo
r
t
functio
n
s for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
ve
r
ify
.
c: evalue_optimu
m
: allow
c
omputation
o
f optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc:
e
v
alu
e
2ex: don't assume all period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
bound
.
cc: fix ca
l
l to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doo
l
a
ege
e{a
d
d,mul}_periodics: plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Verdoo
l
aeg
e
eval
u
e_bernstein_coefficie
n
t
s: handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
pdate p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c: sk
i
p
dire
c
tion
s
that are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
Ve
r
d
o
olaege
Makefile
.
am: add cdd94e-test to
d
is
t
ributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verd
o
olaege
omega/occ: opti
o
nally use par
k
e
r for computing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalization
.
c:
s
k
e
w_to
_
posit
i
ve_orthant: pr
o
p
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Ver
d
oolaege
omega/convert
.
cc: relat
i
on2Domain: only co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
oc
c
: add dump for dumping in barvinok_enumerat
e
_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oo
l
aege
barvinok_e
n
ume
r
ate_e: optio
n
ally use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaege
st
a
ndar
d
_constraints: tak
e
cons
t
r
a
ints
i
n
s
tead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normalization
.
c: extract standard_constrain
t
s
f
rom
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
arke
r
/count
_
solu
t
ions
.
c
c
: fix treatment
of ex
i
s
t
entially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
e
u
ler
.
cc: evalue_deri
v
e: ha
n
d
l
e c
o
n
stan
t
pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
add
s
o
me t
e
st sets from
c
as
e
s 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_
m
aximiz
e
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
add a test for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
a
l
ue_range_propagation: re
m
ove redu
n
dant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
l
a
e
ge
test_boun
d
: record number of poly
n
omials as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bou
n
d
:
co
n
vert qu
a
sipolynomia
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
olaege
te
s
t_bound:
com
p
a
re po
l
ynomial bound
alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
verify
.
c: optimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
v
erify
.
c: e
x
tract eval
u
e
_op
t
imum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: extract
common code f
o
r
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
eva
l
u
e
_range_propagation: add
m
onotonicity t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
ba
r
vinok_m
a
ximize: optionall
y
u
s
e
(
b
asic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some support for
dea
l
ing w
i
th eva
l
ues that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
b
arvinok_enumerate: suppo
r
t use of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
implement
B
ernoul
l
i_sum as
co
n
version
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
o
laege
Ber
n
oulli_sum_ev
a
lu
e
: e
x
ploit integer
bo
u
n
ds
t
o
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ke
e
p track o
f
num
b
er of Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
o
la
e
ge
bernoulli
.
c: protect shared
e
value fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test B
e
rnoul
l
i sum
s
bas
e
d exact enumera
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
b
a
r
vinok_count_with
_
opt
i
ons: compute
(
exact)
B
e
r
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_ev
a
lue: op
t
ional
l
y handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
lattice
_
point
.
h: exp
o
rt
fractional
_
p
a
r
t
w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enume
r
ate_with_
o
pti
o
ns: compute
(
exact) Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
B
e
rnoull
i
_sum_e
v
alue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli
_
sum_evalue:
c
u
t off so
m
e red
u
ndant parts
.
.
.
commit
|
commitdiff
|
tree
next