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
add "eq" operation
2011-09-03
Sven Verdoo
l
a
e
ge
a
dd "eq"
o
perat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
acc
e
pt compound stat
e
ments wit
h
zero stat
e
ments w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
l
a
ege
e
xpr_collect_ac
c
esses: use isl_map_has_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdo
o
laege
check i
f
tuple ha
s
id
b
e
fore calling
i
sl_
{
s
e
t,map}
_
get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
Verdoo
l
aege
update isl for isl_m
a
p_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
a
llow declar
a
tion of iterator in
for loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
doolaege
u
p
date isl for rename of is
l
_map_
i
nsert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle "live-out
"
p
r
ag
m
as
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc: extract ou
t
updat
e
_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven V
e
rdoolaege
p
et
.
cc: extract
o
ut ge
t
_
v
a
lue_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doola
e
ge
avoid w
r
apping o
n
some simple cas
e
s of loo
p
s with
unsigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oola
e
ge
wrap results of
unsigne
d
c
o
mputa
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Ver
d
oolaege
take into ac
c
ount
t
hat unsigne
d
iterators m
a
y wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n
Ve
r
doola
e
ge
a
llow l
o
op increments of the
f
orm i =
i
+ cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
allow loop in
c
rements diffe
r
ent
f
rom one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
allow loo
p
increme
n
ts of
t
he form i += 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
fi
x
c
h
ec
k
for "simple"
l
o
op te
r
mination cond
i
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
o
o
laege
update isl for
isl_pw_
a
ff_mo
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaeg
e
p
r
operly
handle ge
n
eric conditio
n
s in fo
r
loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdool
a
e
g
e
README: emphasiz
e
that we need clang libra
r
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoola
e
ge
upda
t
e fo
r
rena
m
e of getInstantiatio
n
LineNumber t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
scan
.
cc:
fix
t
y
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Ve
r
doo
l
aege
update i
s
l for fix i
n
is
l
_map_in
t
ersec
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdool
a
eg
e
accept affin
e
e
x
pressions where we expect a co
n
diti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
u
pdate
i
s
l
for
isl_p
w
_a
f
f
_
non_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verdoolaege
initial v
e
rsion
of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree