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
barvinok 0.32.1
2010-09-13
Sven
V
erdoo
l
aege
barvinok
0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Ve
r
doolaege
u
p
d
ate isl for fix in param
e
t
er alignmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaeg
e
barvi
n
o
k
0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
iscc: add lexicograp
h
ic o
p
erat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
u
pdate i
s
l to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdool
a
ege
iscc:
a
dd
"source" oper
a
tion
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
e
rd
o
olaeg
e
iscc: add sup
p
ort for
s
tri
n
g
s
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
do
o
laege
iscc
:
print err
o
r
messa
g
e on use of unknown ident
i
f
i
er
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
olaege
iscc:
s
uppo
r
t u
n
i
o
n sets in
v
ertices
o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoolaege
add
i
sl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Verdoolaege
b
arvinok
_
bound: use is
l
to spl
i
t period
s
commit
|
commitdiff
|
tree
2010-09-05
Sven Verd
o
ol
a
ege
update
i
sl for isl_pw_qpolynomial_s
p
lit_pe
r
iods
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
V
erdoolaege
doc: mark
PolyLib i
n
terface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
erdo
o
laege
Makefile
.
am:
drop references t
o
obsolete
@bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven
Verd
o
olaege
evalue_convert
.
cc: e
v
alue
_
print_isl: print end-of-li
n
e
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoola
e
ge
i
s
cc: allow c
o
ercion of binary list i
n
to
f
ir
s
t element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: c
o
nve
r
t to isl_pw_q
p
olynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolae
g
e
barvinok_bound: use isl
t
o
split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n Ve
r
doolaege
s
e
t s
e
nsib
l
e
d
efaults with
-
-polynomial-
a
p
p
r
oximatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n V
e
rdoolaege
isl_
p
w_qpo
l
yn
o
mial_sum: reuse barvin
o
k_options if
a
v
ailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_map
_
card: reuse barvi
n
ok_options if ava
i
lable
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdo
o
laege
update isl for aligning parameters of
u
n
i
on arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
ol
a
ege
iscc: ad
d
"
j
oin" operation
o
n folds
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdoolaege
i
scc:
a
dd "join" ope
r
at
i
o
n o
n
maps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
c
c: support addit
i
on on
a
p
a
ir of a fold and a quasipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
up
d
ate isl for a
d
ding types
to isl_{union_,}pw_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verd
o
olaege
allow codegen o
n
se
t
s
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
r
doolaege
iscc: codegen: detect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdo
o
laege
i
scc: use simplified CLooG
i
nte
r
face
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
doolaege
upda
t
e isl for
re
n
ame
of isl_
p
w_qpol
y
nomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdool
a
ege
iscc
.
c
:
u
n
io
n
_pw_qpolynomial_upper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaege
summate
.
c: fi
x
typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
Sven V
e
rdoolae
g
e
i
s
l_map_app
l
y_pw_qpolyn
o
mial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
S
v
en V
e
rdoo
l
aeg
e
update i
s
l
from is
l
_
u
n
ion_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
Verdoola
e
ge
iscc: allow inverse on non-union maps again
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaege
iscc: add wrap an
d
un
w
rap operat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
add isl_union_map_
a
p
p
ly_unio
n
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
isl_pw_qp
o
lynomial_sum: h
a
ndle
i
sl_pw_qpolynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
dool
a
e
ge
u
p
date isl
for nested dimen
s
ion specificat
i
ons
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
i
s
l_ma
p
_card:
p
ostpon
e
shu
f
fl
i
ng around o
f
dimensi
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoo
l
aege
update isl for
i
sl_b
a
sic_map_
m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_
p
w_qpo
l
ynomia
l
_
sum: push c
o
n
v
ersion t
o
Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw
_
qpolyno
m
ia
l
_sum: c
h
ec
k
for u
n
bounde
d
domains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoola
e
ge
avoid use of isl
_
dim inter
n
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
iscc: su
p
p
o
rt
c
odeg
e
n operati
o
n if CL
o
oG
is available
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rd
o
o
l
a
e
g
e
isc
c
: switch to using un
i
ons
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoola
e
ge
add isl_
u
n
i
on_p
w
_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaege
add
isl_union_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Ver
d
oola
e
ge
isl_pw_qpolynomi
a
l_sum:
take
t
uple names into account
commit
|
commitdiff
|
tree
2010-07-31
S
v
en
Verdoolaege
isl_map_card:
p
reserve full do
m
ai
n
d
imension informa
t
ion
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verd
o
olaege
update
isl for change in isl_hash
_
table_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoolaeg
e
barvi
n
ok_
e
numerate
.
c
c
: fix
prin
t
f form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Ve
r
doolaege
doc: add some
mo
r
e
papers refering to the
library
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoo
l
ae
g
e
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
n
figure
.
i
n
:
properly add
i
s
l flags a
n
d libs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
configure
.
in: dro
p
c
a
ll to gl_E
A
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
genf
u
n
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verdoolaege
test_ap
p
rox
.
c
: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
e
g
e
test_bou
n
d
.
c
: fi
x
prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
configure
.
in
:
stop compiling Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
evalu
e
.
c
:
avoid u
s
e
of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
evalue_isl
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verd
o
o
laege
iscc
:
recover from
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdo
o
laege
u
pdate isl for improved error h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isc
c
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laege
doc: iscc: update documentation of "ub" o
p
erator
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
te
s
t
_a
p
prox: incl
u
de ct
y
pe
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
test_app
r
ox: incl
u
de config
.
h
for HAV
E
_
SY
S
_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_bou
n
d: in
c
lude config
.
h for HAVE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
cc:
a
dd vertices oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
optionally use isl to per
f
orm par
a
metric vertex
e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
upda
t
e isl-polylib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
drop di
s
tinction between barvinok-core and bar
v
in
o
k
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
update i
s
l
for g
e
n
e
ric is
l
_pw_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
configure
.
in: drop bv
_
o
meg
a
_
programs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
a
d
d isl_ctx_peek_ba
r
vi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaeg
e
iscc: parse barvinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
expor
t
isl_qpolynomi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am:
dr
o
p
depend
e
nce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laeg
e
up
d
at
e
is
l
for ren
a
me of isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
verif_
e
hrhart
.
c
:
add missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
c
onfigure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for argument p
a
r
sing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
V
erdoolae
g
e
u
pdate i
s
l for keepin
g
track of user options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Ver
d
oolae
g
e
test_bound: rewrite in
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaeg
e
u
pda
t
e is
l
f
or help message printing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
remove ev
a
lue_optim
u
m
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
remove e
v
alue_r
a
nge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use isl i
n
terface f
o
r computing b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
bar
v
inok_bound: use isl interf
a
ce for
computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
g
e
iscc: s
u
pport ub
even if GiNaC suppo
r
t
was n
o
t compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
generic i
s
l_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
d
ool
a
ege
update isl for isl_pw
_
qpoly
n
omial_b
o
und
_
range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
test_b
o
und: use isl during ve
r
if
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
barvinok_bound: us
e
i
s
l during verific
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verd
o
o
l
aege
verify
.
c
:
extract so
m
e hel
p
er functi
o
ns for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
introduc
e
"boun
d
" option
commit
|
commitdiff
|
tree
next