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
add missing algorithm include for find
2008-07-22
Sven Verdoolaege
add missing algorit
h
m i
n
cl
u
de f
o
r find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
Fix out-o
f
-bounds error
in Laurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
V
erdoola
e
ge
Include empt
y
.
c file in
lib
b
arvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
corr
e
c
tl
y
reflect ex
t
ra sources
f
o
r libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdo
o
laeg
e
fix
typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdoolaege
lib/string
.
in
.
h: copy __rest
r
ict handling fr
o
m
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Verdoolaege
u
p
date gnuli
b
functi
o
n to las
t
p
r
e
-
GPL
v
3
v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Ver
d
o
o
laege
enumerator::handle: replace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rd
o
o
laege
update piplib f
o
r cor
r
ected Urs
_
p
a
r
m
s
hand
l
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
c
o
nfigu
r
e: u
s
e correct
h
e
ad
e
r files i
n
c
ase
o
f
bu
n
dled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
configure
.
in: f
i
x c
h
eck for code_
g
en l
i
brary availability
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdo
o
laege
o
m
e
ga/occ: o
n
l
y
open de
b
u
g output file i
f
ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
la
e
ge
omeg
a
/Makef
i
le
.
am:
a
void bison's -
o
option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
r
a
n
g
e
.
cc:
a
dd missing i
n
c
lud
e
of allo
c
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ven
V
e
r
doolaege
doc:
fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaege
add editors
t
o
I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp for arg
u
m
ent
p
a
r
s
in
g
i
n
barvinok_eh
r
hart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdo
o
laege
pro
p
erly han
d
le NTL CPPFLA
G
S and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erdoo
l
aege
basis_reduction_t
e
mpl
.
c: a
d
d mis
s
ing
include
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoo
l
aege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add som
e
test
sets fr
o
m itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c
: add lates
t
(accepted) pub
l
ications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makef
i
le
.
a
m
: add
s
ection_arra
y
.
h t
o
distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
normalization
.
c
:
co
m
pute_
s
hi
f
ts: remove
r
edundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_Pa
r
am
N
a
m
es polylib and make p
a
ra
m
n
ames co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ver
d
oolae
g
e
occ
:
add
interfac
e
t
o
barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
ex_convert
.
cc: extract
ex2
e
v
a
l
u
e
from rang
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
doc: doc
u
ment mo
r
e
--sum
m
ation methods fo
r
barvinok
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
options
.
c: rename "barvinok" summatio
n
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
Makefile
.
am:
c
heck-euler: als
o
c
h
eck la
u
ren
t
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
su
m
mate
.
c:
b
ar
v
i
n
o
k_summate
:
handle products of po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
aege
evalue
.
c: e
x
p
o
rt
e
valu
e
_reorder_ter
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernst
e
i
n: numeric2value: fix typo to allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
util
.
c:
F
a
c
t
o
r
_
Context: extrac
t
ed
from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
summ
a
t
e
.
c: barvin
o
k
_
su
m
mat
e
: ignore
f
l
oors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add evalue_floo
r
2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
ome
g
a
/
o
cc: print b
a
rvinok vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
g
e
doc: upda
t
e some
references
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Make
laur
e
nt based summation th
e
defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
sum
m
ate
.
c: barv
i
nok_summa
t
e: ha
n
dle
q
uasi-p
o
ly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verdoola
e
ge
reduce_evalue: ext
r
a
c
t
out ev
a
lue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
ge
evalue
.
c:
evalue_shi
f
t_va
r
iables: allow
s
hifting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c:
h
an
d
le equalities for all sum
m
at
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
s
u
mmate
.
c: barvinok_
s
um
m
ate: move commo
n
p
arts of summat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
e
v
alue
.
c
:
evalue_sum: move sign ha
n
dling i
n
to
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
ba
r
vinok_e
.
cc: enum
e
rate_sum: use bar
v
inok_summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
olaege
summate
.
c: extract barvi
n
o
k
_summate from barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
cc to
b
arvinok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
value
.
c
: redu
c
e_evalue: reduce floor with c
o
ns
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
Add Laurent expansion based su
m
matio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
e
ge
evalue
.
c: extend eequal to
han
d
le domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
bi
n
omial
.
c: extra
c
t bi
n
omial and
fact
o
rial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ve
r
doolaege
p
owe
r
.
h:
extr
a
ct from eul
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
introduce evalue_shift_va
r
i
a
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doo
l
a
ege
l
a
ttice_point
.
cc: export r
e
lative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
latt
i
c
e
_
point
.
h: make sure
c
orrect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice_point
.
cc: add ce
i
ling
fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c:
internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Ve
r
doolaege
l
attice_point
.
cc: m
u
lti_monom/latt
i
ce_p
o
ints: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoolaege
doc:
c
lea
n
up "e
x
p
onent
i
al substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
laege
test_bound
.
cc: avoid l
o
ss of pre
c
isi
o
n c
a
u
sed by convers
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
barv
i
nok_b
o
und:
o
ptionally
take maxi
m
al
size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
r
vin
o
k_bound: add
--iterate options for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
v
e
rify
.
c: ex
p
ort functions for setting an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaege
verify
.
c: evalu
e
_
o
pti
m
um: allow c
o
mputation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
bernstein
.
cc: ev
a
lue2ex: don't
a
s
sume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
b
ound
.
cc
:
fi
x
call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
g
e
e{
a
dd,mul}_periodics: p
l
ug m
e
mor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aeg
e
evalue_b
e
rnste
i
n_coefficients: han
d
le problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoo
l
aege
l
attice_width
.
c: skip directi
o
ns that a
r
e
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add
cdd94e-test to distribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
olaege
o
m
ega/occ: option
a
lly u
s
e par
k
er f
o
r comput
i
ng card
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalizati
o
n
.
c: skew_to_
p
ositive_orthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
d
o
olaege
omega/convert
.
c
c
:
relati
o
n
2Domain:
only colle
c
t s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
occ:
a
dd dump
for dumping in ba
r
vinok_enumer
a
te_e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoola
e
ge
ba
r
vi
n
o
k
_enumerate_e
:
optionally use parker's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
sta
n
d
a
rd
_
con
s
traint
s
: take co
n
strai
n
ts
i
ns
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalization
.
c: e
x
tract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
p
a
rker/coun
t
_so
l
u
t
i
o
ns
.
c
c: fix t
r
eatm
e
nt of e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc:
evalue_de
r
ive: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add
some test sets from cas
e
s
2004 a
n
d cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
renam
e
barvinok_
m
aximize
t
o barvin
o
k
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ola
e
ge
add a test f
o
r tes
t
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalu
e
_range
_
propag
a
tion: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_b
o
und: record number of polynomi
a
l
s
as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
tes
t
_bound:
c
onvert quasipolyn
o
mi
a
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
test
_
bound: compare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
o
ptimum:
h
andle inpu
t
evaluating
t
o nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
olaege
verify
.
c
: extract e
v
alue_opt
i
mu
m
fro
m
maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c
:
extrac
t
common code
f
or verif
y
i
n
g o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoola
e
ge
eval
u
e_range_propaga
t
i
o
n: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
inok_maxim
i
ze:
option
a
l
l
y u
s
e (basic)
range p
r
opag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add
s
o
m
e support for dealing wit
h
evalues that
repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_enume
r
ate: suppo
r
t use of Euler-
M
aclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
im
p
lement
B
ernoulli_su
m
as
convers
i
on from
u
nweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue
:
exploit integer bounds
t
o re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
keep track of
n
u
m
ber of
B
ernoulli s
u
ms
commit
|
commitdiff
|
tree
next