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.36
2011-01-16
Sve
n
Ve
r
doolaege
doc: fix do
c
umentation of join of ma
p
s and f
o
lds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdo
o
laege
a
d
d isl_union_set_appl
y
_union_pw_qp
o
lynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
update i
s
l for e
x
port of
isl_union_map_fr
o
m_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
iscc
:
a
d
d
w
r
ite opera
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
is
c
c
:
optionally d
i
sable read op
e
rat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-15
Sven
Verdoolaege
doc: ex
p
lai
n
comma operator
in
a
set des
c
rip
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolaege
iscc: add
typeof
o
perator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
add is
l
_str
_
f
r
om
_
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
i
s
cc
.
c: use C99 des
i
gna
t
ed initial
i
z
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en
Verdool
a
ege
iscc: mino
r
impro
v
ement in error messag
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
iscc
:
add domain_map and ra
n
ge_ma
p
operat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolaeg
e
iscc: add "domain"
and "range
"
s
y
n
onyms for "dom" a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdo
o
la
e
g
e
update
i
sl to
version 0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdo
o
l
aege
iscc: don't allow cod
e
g
e
neration
o
n union
s
e
ts
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
update isl to version 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoola
e
g
e
avoi
d
use of
i
sl
_
set a
n
d
i
sl_map
i
nterna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
S
v
en Verdoolaege
separate
out isl interfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-28
Sve
n
Verdoolaege
configure
.
in:
propagate a
b
sol
u
te isl
buildd
i
r
to submodule
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoo
l
a
e
ge
update
i
sl for rename of header files
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolae
g
e
ev
a
lue_floor2frac:
d
on't ass
u
me coefficients
o
f
floors
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven
V
er
d
oolaege
test_bound: stop testing after predetermin
e
d
n
u
mber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven V
e
rdoolaeg
e
barvinok_bou
n
d
:
r
ewrite in
C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdool
a
ege
barvinok_
{
summate,bound
}
: take
is
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sve
n
Verdoolaege
test_bound: switch t
o
isl repr
e
sentation
e
ven earlier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
S
ve
n
Ve
r
doolae
g
e
test_bound:
switch to isl
r
epresentatio
n
earlie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaeg
e
iscc: add polynomial
approximat
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verd
o
olaeg
e
ba
r
vinok_summate
:
rewrite in C
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-11
Sven Verdoo
l
a
e
ge
barvinok
_
s
u
mm
a
te: use isl int
e
rfa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Ver
d
o
o
l
a
ege
bound
.
cc: dr
o
p dea
d
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-07
Sven Verdoola
e
ge
doc: more info
r
mat
i
on
ab
o
ut us
i
ng se
t
s an
d
maps in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
S
v
en Ve
r
doolaeg
e
doc:
u
pd
a
t
e
s
ome references
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdo
o
laege
i
s
c
c: add poly operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-03
Sven Verdoolaege
iscc: ad
d
scan
operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
S
ven
V
erdoolaege
is
l
_pw
_
qpolynomial_sum: handle exi
s
tentials in
wrapped
.
.
.
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
update isl for
ren
a
ming of isl_map_rem
o
v
e
commit
|
commitdiff
|
tree
2010-10-20
S
ven Verd
o
olaege
versi
o
n
.
c
:
sh
o
w
use o
f
CLooG
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Ve
r
doolaege
d
oc: a b
i
t
m
ore info on iscc
commit
|
commitdiff
|
tree
2010-10-18
S
v
en Verdoolae
g
e
isc
c
:
a
dd bef
o
re and after opera
t
ion
s
commit
|
commitdiff
|
tree
2010-10-18
Sven Ver
d
oolaege
isc
c
: add id
e
ntity
o
pe
r
ation
commit
|
commitdiff
|
tree
2010-10-18
S
ven Verdoolaege
isc
c
: break out
o
ff main loop when printer
no longer
.
.
.
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoolaege
iscc: support
e
xtende
d
PolyLi
b
output f
o
rmat
commit
|
commitdiff
|
tree
2010-10-18
Sven Verdoola
e
g
e
configure
.
in:
p
e
r
form
c
h
eck for GM
P
su
p
port in
N
T
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
V
e
rdoolaege
iscc:
a
dd
c
omp
o
s
itio
n
o
p
e
r
ation o
n
piecewise quasipolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoola
e
ge
iscc
:
add
d
ependenc
e
a
nalysis operation
s
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
Verdoolaege
iscc: r
e
gister e
x
tr
a
keywor
d
s in
g
ener
i
c way
commit
|
commitdiff
|
tree
2010-10-11
S
v
e
n
V
erdoola
e
ge
use isl to perform "manu
a
l_count"
commit
|
commitdiff
|
tree
2010-10-11
Sven
V
e
r
doolaege
allow build
i
ng without pipl
i
b
commit
|
commitdiff
|
tree
2010-10-11
Sve
n
V
e
rdoolaege
Polyhedron_Red
u
ced_
B
asis
:
opti
o
n
a
l
l
y
use isl
commit
|
commitdiff
|
tree
2010-10-11
Sv
e
n Verdoolaege
f
i
x
d
ependenc
e
on build isl
commit
|
commitdiff
|
tree
2010-10-11
Sven Verdoolaege
is
l
_map_card: u
s
e isl for facto
r
ization
commit
|
commitdiff
|
tree
2010-09-14
Sven V
e
r
d
oolaege
i
sl_map_c
a
rd
:
sp
l
it di
m
ension fiddling from conversion
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sve
n
Verdoolaege
i
sl_map
_
ca
r
d: use isl_pw_qpo
l
ynomial_
s
um if
r
e
queste
d
.
.
.
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
e
rdoolae
g
e
barvi
n
ok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven
V
erdo
o
laege
up
d
ate isl for fix in parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
barvinok
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
S
v
en Verdoolaege
is
c
c: add lexicographic oper
a
t
o
rs
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdo
o
laege
upda
t
e
isl to
v
ersion 0
.
0
4
commit
|
commitdiff
|
tree
2010-09-07
Sven V
e
rdoolae
g
e
is
c
c: add "source" opera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
doolaege
iscc:
a
d
d
suppo
r
t for strings
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
i
s
cc: print erro
r
message on use of
u
n
k
nown identifi
e
r
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdool
a
e
ge
i
s
c
c
: su
p
port union sets in vertices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
S
ven
Verdoolaeg
e
a
d
d i
s
l_list
_
c
oncat
commit
|
commitdiff
|
tree
2010-09-05
Sven Ve
r
do
o
laege
b
ar
v
i
n
o
k_bou
n
d: use isl to
s
plit pe
r
io
d
s
commit
|
commitdiff
|
tree
2010-09-05
S
v
en
V
e
rdoolaege
update isl f
o
r
isl_pw
_
q
polynomial
_
split_peri
o
ds
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark
P
o
lyLib interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
S
v
en
Verdool
a
ege
Makef
i
l
e
.
a
m
: dro
p
refer
e
nces to obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
e
v
a
l
ue_co
n
v
e
rt
.
cc: e
v
al
u
e_print_isl: print e
n
d-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaege
isc
c
: all
o
w
c
oercion
o
f bina
r
y list into first eleme
n
t
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoola
e
ge
barvino
k
_bound:
c
onve
r
t to isl_pw_qpolynomial o
n
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven
V
e
r
d
oo
l
aege
ba
r
vinok_bound: use isl to split on
domain size
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
set sensible defaults with
-
-polyno
m
ial-a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_pw_qpolynomial_s
u
m: reuse
b
ar
v
in
o
k_options
if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Verdoolaege
is
l
_ma
p
_card
:
reuse barvinok_
o
pti
o
ns if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaege
update isl for
aligning parameters of union argum
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdool
a
ege
i
s
c
c
: add
"join" operation on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
erdoolaege
iscc: add "join" op
e
ration on maps and
f
olds
commit
|
commitdiff
|
tree
2010-08-18
S
ve
n
Verdoolaege
i
scc: support a
d
d
itio
n
on a pair of a
f
old and
a quas
i
poly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoola
e
ge
update isl for adding types to isl_{union
_
,}pw
_
qp
o
lynomial
_
fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
allow
c
o
d
egen on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: det
e
ct strides
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
iscc:
u
se simplified CLooG
in
t
erfac
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
u
p
dat
e
isl for rename o
f
isl_pw_qpolynomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc
.
c: union_p
w
_
qpolynomia
l
_u
p
per_bound: fix memor
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
summate
.
c: fix typo in c
o
m
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sven Ver
d
o
olaege
isl_ma
p
_apply_pw_qpolynomial: f
i
x
typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
update isl from isl_union_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow invers
e
on non-union maps ag
a
in
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
i
s
c
c: add wr
a
p and unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
add isl_union_map_ap
p
ly
_
union_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n V
e
r
d
oolaege
isl_
p
w_
q
polynomi
a
l_sum: handle i
s
l_pw_qpolynomial
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoo
l
a
ege
update isl
f
or nested dimension specific
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verd
o
olae
g
e
isl_map_card:
p
ostpone shuffl
i
ng around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
up
d
a
t
e isl for isl_basic_map_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-08-04
Sven
V
e
rdoolaege
i
s
l_p
w
_
qpolynomial_sum: push conversion to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven
Verdoolae
g
e
i
sl_pw_
q
polynom
i
al_sum: check for
unbounded
domains
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
avoid use of isl_dim inte
r
nals
commit
|
commitdiff
|
tree
2010-07-31
S
ve
n
Verdoolaege
isc
c
: support codege
n
operation if CLooG is a
v
ailable
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdoolaege
iscc: switch t
o
using unions
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
a
ege
add isl_union_pw
_
qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_u
n
ion
_
map_card
commit
|
commitdiff
|
tree
next