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
Sven V
e
rdoolaege
d
oc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
add miss
i
ng al
g
o
rithm inclu
d
e for f
i
nd
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ve
r
doolaege
F
i
x out-of-
b
ounds error in Laurent
expansio
n
b
ased
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verd
o
olaege
I
n
c
l
ude empty
.
c file in libb
a
r
vinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Ver
d
oolaeg
e
correctly reflect
e
xt
r
a
s
ources for l
i
bb
a
r
vinok an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
V
er
d
o
o
la
e
g
e
fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
o
l
aege
li
b
/strin
g
.
i
n
.
h: copy
__restric
t
handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
u
p
dat
e
gn
u
li
b
function to last p
r
e-GPLv3 v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
V
e
rdool
a
ege
enumerat
o
r::ha
n
dle: re
p
lace incorrec
t
d
elete
b
y
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdo
o
laege
update piplib for c
o
rrect
e
d Urs_parms
hand
l
ing
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolaege
configure:
use correc
t
header fil
e
s in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
configur
e
.
i
n
:
f
ix check for c
o
de_gen
library availability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
o
m
e
ga/occ:
o
nly
open debug outp
u
t
file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verdo
o
laege
omega/Mak
e
file
.
am: avoid bison's -o
o
ption as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
range
.
cc: add missing inclu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
d
o
ol
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verdoolaege
add
editors to
I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n Verdoolaege
use argp
for argument
p
ars
i
ng in barv
i
nok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoola
e
ge
pro
p
erly handle NT
L
CPPF
L
A
G
S and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdo
o
laege
basi
s
_
r
eductio
n
_temp
l
.
c: add missing include
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
b
a
rv
i
n
ok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
add some test sets from itsl2
0
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolae
g
e
doc: add l
a
tes
t
(accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
l
a
ege
Makefile
.
am: add section_array
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven
V
er
d
oolaeg
e
normalizat
i
on
.
c: compu
t
e_sh
i
ft
s
: remov
e
redundant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
mo
v
e
Free_P
a
ram
N
ames polyl
i
b and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
occ:
add interface to barvin
o
k_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc: ext
r
a
ct
e
x2
e
val
u
e from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
doc
:
docume
n
t more --summation
m
ethods for barvinok
_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
opti
o
ns
.
c: rename "barvinok" s
u
mmation method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
M
akefile
.
am: check-
e
uler:
a
lso
c
heck la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barvino
k
_summate: hand
l
e products of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoola
e
ge
evalu
e
.
c:
e
xport eva
l
ue_r
e
o
r
d
er_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aeg
e
ber
n
st
e
in: numeri
c
2value
:
fi
x
typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c
: Factor_Contex
t
: extracted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
summate
.
c
:
barvinok_sum
m
ate: ignore fl
o
ors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
v
al
u
e
.
c: add evalu
e
_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
omega/
o
cc: pri
n
t barvinok
v
e
r
sion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
e
ge
doc: upda
t
e some ref
e
r
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
Make
l
a
u
rent bas
e
d su
m
mation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: barvinok_
s
ummate: handle
q
ua
s
i-po
l
y
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rdoolaege
re
d
uc
e
_
evalu
e
: extract out evalu
e
_red
u
c
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaeg
e
evalue
.
c: evalue_shift_v
a
r
ia
b
les: allow sh
i
f
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erd
o
olaege
summate
.
c: hand
l
e
e
q
u
alities for a
l
l s
u
mmat
i
o
n
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
s
u
mmate
.
c
:
barvin
o
k_s
u
mmate:
m
ov
e
co
m
m
o
n
parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
evalue
_
sum
:
m
o
ve
sign
h
andling into esum_o
v
er_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
barvinok_e
.
cc: enumer
a
te_s
u
m: use barvi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olae
g
e
summ
a
te
.
c: extrac
t
barvin
o
k
_
summat
e
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
ren
a
me
summate
.
cc to
barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
d
ool
a
e
g
e
evalue
.
c
: reduce_ev
a
lue:
r
e
d
uce floor
with constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verd
o
olaege
A
d
d La
u
re
n
t expansion based su
m
ma
t
ion
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oolaege
eval
u
e
.
c:
exten
d
eequal
to
h
andle domain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
binomial
.
c:
e
xtract binomi
a
l and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verd
o
olaege
pow
e
r
.
h: extract
f
r
om
e
ul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce evalue_shif
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
l
attice_point
.
cc: exp
o
r
t relative_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
l
a
t
t
ice_point
.
h: ma
k
e sure cor
r
ect evalu
e
s
a
re used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
l
attice_poin
t
.
cc: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verd
o
ol
a
e
g
e
util
.
c: internalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Ver
d
ool
a
ege
lattice_po
i
nt
.
cc
:
multi_
m
onom
/
lattice_po
i
nts: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Ver
d
oolaege
doc: cle
a
n up "exponen
t
ial substitut
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
d
o
olaege
test_
b
ound
.
cc: a
v
oi
d
loss o
f
precision caused
by
c
onve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
ool
a
ege
barvinok_bound: optionally take maximal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
olaege
barvin
o
k_bound: a
d
d -
-
iterate options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolae
g
e
verify
.
c: export funct
i
o
ns f
o
r
s
etti
n
g and cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
veri
f
y
.
c: evalue_o
p
timu
m
: al
l
o
w
computa
t
ion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doola
e
ge
bernst
e
in
.
cc: ev
a
lue2ex: don't as
s
ume al
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
aege
boun
d
.
c
c
:
fix call to evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{
a
d
d
,
m
u
l}_periodics: pl
u
g m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoola
e
ge
evalue_bernstein_coefficients: h
a
ndl
e
problems w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n Verdoo
l
ae
g
e
la
t
tice_width
.
c: sk
i
p d
i
rections t
h
at are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makef
i
l
e
.
am
:
add cdd94e-t
e
s
t
to distribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdoolaege
omeg
a
/o
c
c: optionall
y
u
s
e
p
a
rker for computing cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
lizat
i
on
.
c: skew_to_p
o
sitive
_
orthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
omeg
a
/conve
r
t
.
c
c: relation2
D
omain: only co
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ:
a
dd d
u
mp for dumpi
n
g
i
n
b
a
rv
i
n
o
k_enumera
t
e_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doo
l
aege
barvinok_e
n
u
m
e
rate_e:
optiona
l
l
y use
p
a
rker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard_con
s
t
r
aints: take constr
a
ints ins
t
e
a
d o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
doolae
g
e
normalization
.
c:
e
x
tr
a
c
t
standar
d
_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
p
arker/count_soluti
o
ns
.
cc: fix tre
a
tment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
ae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc:
e
value_deri
v
e
: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd some test se
t
s from cases 2004 and cc
2
00
5
papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
rename
b
a
rvino
k
_m
a
x
imize to ba
r
v
i
nok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d a test for test
_
bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_range_prop
a
gati
o
n:
r
emove r
e
d
und
a
nt
polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_b
o
und: record
n
umber of poly
n
omials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
tes
t
_bou
n
d: convert quasipolynomial
s
to pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
t
est_boun
d
: compare polynomial bound algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
aege
verify
.
c: optimum
:
hand
l
e input
evaluating
t
o nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ex
t
ract evalu
e
_optimum
fr
o
m maxim
i
ze
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
verify
.
c: extract common code for ve
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_p
r
opagation:
add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
arvino
k
_maximiz
e
: opt
i
onally us
e
(
basic) ra
n
g
e propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
l
a
ege
Add
s
ome support
f
o
r dealing
w
ith evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvi
n
ok_en
u
merate: s
u
p
port
u
se of Euler-Macla
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaege
impl
e
ment Bernoulli_sum
a
s con
v
ersio
n
f
r
om
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
Bernoulli_sum_evalue:
exploit inte
g
er
b
o
u
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
next