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
summate.c: add missing return values
2008-08-28
Sven
V
e
r
d
o
o
l
aeg
e
summa
t
e
.
c: ad
d
m
issing r
e
tu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
o
olaege
Makefile
.
am: include
lib include d
i
r
i
n build
dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lauren
t
.
c
c
: do
n
't use const v
e
ct
o
rs as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
variable length arrays a
r
e not
standa
r
d C++ (
y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
g
e
nfun
.
c
c:
arg
u
ment of mp_get_memory_function
s
sh
o
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
upd
a
te piplib fo
r
compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sve
n
V
erdoolaege
update poly
l
ib
w
i
th ex
t
ra field in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoolaege
doc
:
fix
t
ypo
s
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
r
doolaege
a
d
d missing algorithm
i
nclude for
f
ind
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
Fix out-of-boun
d
s error i
n
Laurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
Include
empt
y
.
c file in libbarvinok
if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoola
e
ge
correctly refle
c
t
ext
r
a
s
o
urces for li
b
barvin
o
k a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Ve
r
doolae
g
e
f
i
x
typo in co
m
me
n
t
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
li
b
/string
.
in
.
h: copy __restrict han
d
ling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdo
o
laege
update gnulib function to last pre
-
GPLv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven Verd
o
olaege
enumerat
o
r::handle: replace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven
Verdool
a
ege
u
pd
a
te piplib for corre
c
t
ed Urs_parm
s
handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdoolae
g
e
c
onfigure: use correct he
a
der
f
iles i
n
ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven Verdoolaege
omega/occ:
only open debug output fi
l
e i
f
there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
V
erdoolaege
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
rdoolaege
a
dd editors
to
ITS
L
papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
barvi
n
o
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
add some
test se
t
s from itsl2008 pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc
:
add latest (accep
t
ed) publications
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoo
l
ae
g
e
Makefile
.
a
m: add section_array
.
h to distr
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
normalization
.
c: compute_
s
hifts: remove redun
d
ant
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
er
d
oolaege
move Free_ParamNames polylib and make
p
aram
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
olaege
occ: add interface to b
a
r
v
inok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
eg
e
e
x_co
n
vert
.
cc: e
x
tract ex2evalue
fro
m
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
ae
g
e
doc:
document more --summati
o
n methods
fo
r
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
options
.
c: rename "barvinok" summati
o
n method t
o
"bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
M
a
k
e
f
ile
.
am: ch
e
ck-eu
l
e
r
: also
c
heck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
summate
.
c:
barvinok_s
u
mmate: handle
p
r
oducts of po
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
be
r
n
s
te
i
n: n
u
meric2value: fix typo to
allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
util
.
c: Factor_Context: e
x
tracted fr
o
m barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summa
t
e
.
c: barvinok_summ
a
te: ignore fl
o
or
s
independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
ev
a
lue
.
c
:
a
dd evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoo
l
aege
o
m
e
ga/
o
c
c
: print b
a
rvinok
version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
d
o
c: update
some
reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
d
oolae
g
e
Make lauren
t
b
ased summation the
d
efa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
o
l
aege
summate
.
c: barvinok_summate: h
a
ndle quasi-po
l
ynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
reduce_ev
a
l
u
e: extra
c
t ou
t
eva
l
ue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
eva
l
u
e
.
c
:
evalue_shift_v
a
r
iables: allow s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
summ
a
te
.
c: handle
eq
u
alities for
a
ll
s
ummation
algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: b
a
rvinok_summate: move
c
ommon parts of summ
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
l
aege
evalue
.
c: eva
l
ue_sum: move si
g
n handl
i
ng into esu
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
r
doolaege
barvi
n
o
k
_
e
.
cc: e
n
umerate_sum: u
s
e
b
arvi
n
o
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract
barvinok_
s
ummate fr
o
m bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
c
c
t
o barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
e
ge
eva
l
ue
.
c: r
e
duce_evalue: reduce fl
o
or with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
Add
Laurent expansion based s
u
mmatio
n
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoolaege
evalue
.
c: extend e
e
qual to
h
a
ndle d
o
m
ain
s
a
n
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
binomial
.
c: extr
a
ct binomial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdo
o
laege
pow
e
r
.
h: extract
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erdo
o
lae
g
e
introduce
e
value_shi
f
t_va
r
iab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
i
n
t
.
cc: exp
o
rt relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h:
make
sure correct evalue
s
are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_point
.
cc:
a
d
d ceiling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoo
l
aege
util
.
c: inter
n
al
i
ze ugly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lat
t
ice
_
point
.
cc: multi_mono
m
/lattice_poin
t
s: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Ve
r
doola
e
ge
doc:
clean up "exponen
t
ial substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laege
test_bound
.
cc: avo
i
d
loss of
precision caus
e
d by co
n
v
e
r
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barv
i
nok_boun
d
:
o
ptionally ta
k
e maximal siz
e
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
barvi
n
o
k_bo
u
nd
:
add --iterate o
p
tions for
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
e
rdoolaege
verify
.
c: e
x
port
fun
c
t
i
ons fo
r
s
etting and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaeg
e
verify
.
c
:
evalue_optimum:
allow co
m
putation o
f
opt
i
mu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
berns
t
ei
n
.
c
c: evalue2ex: don
'
t assum
e
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
r
d
oolae
g
e
b
o
und
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e
{add,mul}_perio
d
ics:
p
l
ug m
e
mory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doola
e
ge
evalue_
b
ernstein
_
coeffi
c
i
ents: handle
p
roblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n
Verdoo
l
aege
lattice_width
.
c: skip
direct
i
ons
t
hat are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdool
a
ege
Makefil
e
.
am: add
c
dd94e-test
t
o distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/occ: op
t
io
n
all
y
use p
a
rker for
computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
n
ormaliza
t
i
o
n
.
c: skew_to_positive_orthant
:
p
r
o
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
omega/convert
.
cc:
relation2
D
o
m
ain: onl
y
c
ollect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
ola
e
g
e
occ: add du
m
p for dumping in barvinok_enumerate
_
e
fo
r
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
ege
barv
i
nok_enumerate_e: option
a
lly use parke
r
's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard
_
constraints: take const
r
aints inst
e
ad of
p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c: extract standard_co
n
straints
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
parker
/
count_
s
olutions
.
cc: fix treatment o
f
e
x
istentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
c
c
:
evalue_deri
v
e
: handle
con
s
tant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolae
g
e
add some test sets f
r
om ca
s
es 2004 and
cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
rename b
a
rvin
o
k_maximi
z
e to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a test for test_bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
e
v
a
lue_range_p
r
opag
a
tion: remove red
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test_bound
:
recor
d
n
u
mber o
f
polynomials as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
tes
t
_
bo
u
nd: c
o
nvert quasipolynomial
s
to po
l
y
no
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
la
e
ge
tes
t
_
b
ound: compare polynomial bo
u
n
d
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaeg
e
verify
.
c:
o
ptimum:
h
andle
i
np
u
t evaluatin
g
to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: extract evalue_optimum from maximi
z
e
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
verify
.
c: extract common code for verifying
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eval
u
e_range_propagatio
n
: add monotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
b
a
rv
i
nok_maximize: optio
n
ally use
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Add some support for
dealing
with
e
values that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdool
a
ege
b
arvinok_enumerate: support use of
E
uler
-
Maclaur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
implement Berno
u
lli_
s
um as convers
i
on from u
n
weighted
.
.
.
commit
|
commitdiff
|
tree
next