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
doc: fix typos
2008-07-30
Sv
e
n Verdoolaege
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add missing
a
l
g
ori
t
hm include
for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
Fix
o
ut-of-b
o
u
nds
e
rr
o
r in
Laurent
e
x
p
ansion
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
I
n
clu
d
e
e
m
pty
.
c file i
n
libbarvinok
i
f GiNaC was n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolaege
c
orrectly reflect extra sources
f
o
r
libbarvinok
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
lib/string
.
in
.
h: copy __restrict ha
n
dling f
r
om
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
e
n Verdoolaege
update gnulib fu
n
ctio
n
to last
pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n
Verdoolaege
enumerator::handle: replace in
c
orrect de
l
e
te by f
r
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
update pip
l
ib for correcte
d
Urs_parms handl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolaege
configure: use correct header
files in case
o
f
b
undled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
c
o
nfigur
e
.
in: fi
x
check
for code_g
e
n libra
r
y availabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
omega/oc
c
: only op
e
n
debug output fil
e
if there
i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
Verd
o
olae
g
e
o
mega/Makef
i
le
.
am: avoid bison
'
s -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdoola
e
ge
range
.
cc:
add m
i
s
s
i
n
g include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Ver
d
oolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoolaege
add editors to I
T
S
L
pap
e
rs
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp
for argum
e
nt parsing in
b
arv
i
nok_
e
h
rhart
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven
Ve
r
doolaege
properly ha
n
dl
e
NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven V
e
r
d
oolae
g
e
basis_
r
eduction_templ
.
c: add mis
s
i
n
g include
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
barvin
o
k 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
add some
t
est set
s
from i
t
sl200
8
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc
:
add late
s
t (accepted) publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
M
a
k
e
file
.
am: add section_ar
r
ay
.
h t
o
di
s
tri
b
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
normalization
.
c: comput
e
_shifts: remov
e
redund
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoo
l
ae
g
e
move F
r
e
e
_P
a
r
amN
a
me
s
polylib and make pa
r
a
m
names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aeg
e
oc
c
: a
d
d interf
a
ce to barvinok
_
summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
er
d
oolae
g
e
ex_convert
.
c
c
:
extract ex2eva
l
ue f
r
om ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document more --summation methods
for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
aege
options
.
c: rename "barvinok" s
u
mmation metho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
M
akefile
.
am: check
-
euler:
a
lso check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c
:
barvinok_summ
a
t
e: ha
n
dle
p
r
oducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: ex
p
ort eval
u
e_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
e
r
doolaege
bernst
e
in:
n
u
m
eric2val
u
e: fix
typo t
o
al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
util
.
c: Factor_Context:
e
xtracte
d
from b
a
rvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
ma
t
e
.
c: b
a
rvino
k
_summate
:
ignore floors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
e
val
u
e
.
c: add evalue_floor
2
fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
ege
omega/
o
cc: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
doc: up
d
ate some
r
eferences
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
Mak
e
lauren
t
based summation t
h
e defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
u
mmate
.
c: barvinok_summate: handle quasi-
p
oly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
r
educe_e
v
alue: extract out
evalue
_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
evalue
.
c: eva
l
ue_shif
t
_variables: allo
w
shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verd
o
olaege
s
ummate
.
c
: handl
e
equali
t
ies for all
summatio
n
a
l
gor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c: barvinok_summate: move co
m
mon par
t
s of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verd
o
olae
g
e
eva
l
ue
.
c: e
v
alue_s
u
m: move sign handling in
t
o
esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
ba
r
vin
o
k
_e
.
cc
:
enumerate_sum:
use barvin
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
doo
l
aege
s
u
mmate
.
c: ex
t
ract ba
r
vinok_summa
t
e
f
rom
b
a
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
g
e
re
n
ame
s
ummate
.
c
c to barvinok_sum
m
ate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c: re
d
uce_
e
valu
e
: re
d
u
ce floor wi
t
h c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent exp
a
n
s
io
n
b
ased
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Ve
r
do
o
laeg
e
evalue
.
c: exte
n
d ee
q
ual
t
o
handle
d
omain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
binomial
.
c: extract binom
i
al
a
n
d fa
c
torial
f
r
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rd
o
olaege
power
.
h:
ext
r
act
f
rom
e
u
le
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
introduce evalue_shift_variabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
lattice_poin
t
.
cc: export relati
v
e_c
o
ordin
a
t
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
o
olaege
lattic
e
_point
.
h
: make sur
e
correct
e
val
u
e
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoola
e
ge
l
atti
c
e_point
.
cc
:
a
d
d cei
l
in
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoolaege
util
.
c: in
t
ernalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
doolaege
lattice_point
.
cc: multi_monom
/
lat
t
ice
_
points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
Verdoolaege
doc
:
clean
u
p "e
x
ponentia
l
substitu
t
ion" s
e
ct
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
test_bound
.
cc: avoi
d
loss
o
f precision cause
d
by conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvin
o
k_bound: o
p
t
i
onally
t
a
k
e
maximal
s
ize of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_
b
ound: ad
d
--iterate options fo
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
ve
r
ify
.
c: export functi
o
ns
f
or setting and
c
l
e
ari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
v
alue
_
op
t
imum: allow compu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
bernstein
.
cc: evalue2ex: don't
a
ssume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
bound
.
cc:
fix ca
l
l to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{a
d
d
,mul}_periodics: plu
g
m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
a
e
ge
ev
a
lue_bernstein_coeff
i
cient
s
:
h
a
ndle problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
update
pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n Verdoolaege
lattice_
w
idth
.
c: skip direction
s
th
a
t
a
re iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Ve
r
doolaege
M
a
k
e
fil
e
.
am:
add cdd9
4
e-test to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: op
t
ionally use
p
a
rker for computing cardina
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdoolaege
no
r
malization
.
c:
skew_
t
o_positive
_
ort
h
ant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omeg
a
/convert
.
cc: relation
2
Domain: only coll
e
c
t
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
o
c
c: add d
u
mp for dump
i
ng in
barvinok_enumerat
e
_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
barvin
o
k
_enumerat
e
_
e: optionally use
parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Ver
d
oolaege
sta
n
dard_const
r
aints: take constraints
i
nstead o
f
pol
y
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
nor
m
al
i
zat
i
on
.
c
: extract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
parker/count_sol
u
t
i
ons
.
cc:
f
ix
t
reatm
e
nt of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
oola
e
ge
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
euler
.
c
c
: ev
a
lue_de
r
i
ve: handle const
a
nt polynom
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
ad
d
some test set
s
from c
a
ses 200
4
and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rena
m
e barv
i
nok_
m
a
x
i
m
ize to barv
i
n
ok
_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
add a te
s
t fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
e
value_ra
n
ge_propagation: remo
v
e redun
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_bound: re
c
ord number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aeg
e
test_bound
:
convert quasipoly
n
omials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t
_
bo
u
n
d: compare pol
y
n
omia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
verify
.
c: op
t
imum: hand
l
e input
e
valuat
i
n
g to n
e
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: extract
eval
u
e_optimum
f
r
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
verify
.
c: extract com
m
o
n code f
o
r v
e
ri
f
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_ra
n
ge_propag
a
ti
o
n: add monotonicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
barvi
n
ok_maximize: optionally u
s
e (b
a
s
ic)
r
ange p
r
opaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
Add some support f
o
r d
e
alin
g
wit
h
evalues
t
hat represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_enumerat
e
:
support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
i
mplem
e
nt Be
r
noulli_sum as conve
r
sion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
a
ege
Bernoulli_sum_evalu
e
:
e
xploit integer bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
next