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
allow declaration of iterator in for loops
2011-08-12
Sven V
e
rdoolaege
allow dec
l
arat
i
on o
f
iterator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
update is
l
for rename of isl_
m
ap_insert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
T
obias Grosse
r
Hide warn
i
ngs
in system heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoo
l
aege
handle "live-out"
p
ragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
cc:
e
xtract out update
_
arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ve
n
Verdoolae
g
e
pet
.
cc:
e
x
t
ract out get_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Ve
r
do
o
la
e
ge
avoi
d
wrapping on some simple cases o
f
l
o
o
ps
with unsigne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wr
a
p r
e
sults of unsig
n
ed computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdo
o
laege
take
i
nto
a
ccount that unsigned iterators may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow
l
oop
i
ncreme
n
ts of the form i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
a
l
low loop incre
m
ents
d
if
f
erent from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow l
o
op incr
e
ments
o
f the form i +
=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdo
o
l
a
ege
fix check fo
r
"simple"
loop te
r
m
i
nation condi
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
upda
t
e isl for isl_pw_af
f
_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
p
r
operly handle
g
ene
r
ic
c
onditi
o
n
s
i
n
for
l
oops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoo
l
aege
README: emphasize that we need cla
n
g libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolae
g
e
update for rena
m
e
of
g
etInsta
n
tiati
o
n
L
ineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en V
e
rdo
o
laege
s
can
.
cc: fix typo
in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verd
o
olaege
update isl for fix i
n
is
l
_map_in
t
e
r
s
ect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
ven Ver
d
oolaege
accept aff
i
ne expressio
n
s where we expect a
condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Verdoolaege
update is
l
for isl_pw_aff_non_z
e
r
o
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van Ha
a
str
e
g
t
configure: ch
e
ck
i
f llvm-c
o
nf
i
g actual
l
y ex
i
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoolaege
initial version of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree