repo.or.cz
/
pet.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
PetScan::extract_for: explicitly keep track of when iterator is virtual
2011-09-03
Sven Verd
o
olaege
expr_coll
e
ct
_
access
e
s: use isl_map_ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
che
c
k if tup
l
e h
a
s
id before calling i
s
l_{set,map}_get
_
tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
update isl fo
r
isl_map_has_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
olaege
al
l
ow d
e
cl
a
r
a
t
io
n
o
f
it
e
rator in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n Ver
d
o
olaege
upda
t
e
isl for
r
ename o
f
i
sl_map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en
V
e
rdoolaeg
e
handle "live-ou
t
" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n V
e
rdoolaege
pe
t
.
c
c: ext
r
act ou
t
update_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en Ve
r
doolaege
pet
.
c
c
: extract
out get_value_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoola
e
ge
a
v
o
id wrapping on some si
m
ple cases of lo
o
p
s w
i
th unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
wrap
r
es
u
lts
o
f
unsign
e
d computations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
Verdoola
e
ge
take int
o
account that
uns
i
gn
e
d iterato
r
s
may
w
r
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
rdoolae
g
e
allow loop increm
e
nts of the
f
o
r
m i
=
i +
cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow loop in
c
rements different
f
rom one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verd
o
o
l
aege
a
l
low loop i
n
creme
n
t
s of the f
o
rm i
+
= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
V
erd
o
olaege
fix ch
e
ck for "simple" l
o
op
te
r
mination condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ve
n
Verdo
o
laege
update is
l
for i
s
l_pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdool
a
ege
properly handle generic conditions in fo
r
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdo
o
laege
README: emphasize that
w
e need clang librari
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
r
d
oolae
g
e
upda
t
e
for r
e
name
o
f get
I
ns
t
ant
i
ationLineNumber
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
s
can
.
cc:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erdoo
l
aege
upda
t
e isl fo
r
fix in i
s
l
_
map_inters
e
ct_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoo
l
aege
acc
e
pt af
f
ine ex
p
r
e
s
sions whe
r
e we expect a con
d
ition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoolaege
updat
e
is
l
for isl_pw_aff_non
_
zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
S
v
en Verdoola
e
ge
initi
a
l version
o
f
pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree