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
accept infinite while loops
2011-09-03
S
v
en Verd
o
o
l
aege
accept i
n
fi
n
ite while l
o
ops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
g
e
ad
d
"eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
accept compound stateme
n
ts with ze
r
o statement
s
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
expr_c
o
llect_
a
ccesses: use isl_m
a
p_has_tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdoolaege
check if tuple has
i
d befo
r
e
c
alling is
l
_
{
s
et,ma
p
}_ge
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Verd
o
olaege
update
isl
f
or
i
sl_map_has_t
u
p
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
e
rdoolaege
allow decl
a
ratio
n
of itera
t
or in for
loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoo
l
aege
update isl fo
r
re
n
ame of isl
_
map_ins
e
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Tobi
a
s Gross
e
r
Hide warni
n
g
s
i
n
system
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n
Verd
o
olaege
handle "
l
ive-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
pet
.
cc: extract out u
p
date_
a
r
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
pet
.
cc: ext
r
a
c
t out get_
v
alue_de
c
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoi
d
wr
a
pping on
some simple cases
of lo
o
ps with unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolae
g
e
w
r
a
p res
u
lts
of
u
nsign
e
d
computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
take i
n
to account t
h
at u
n
signed
iterators
may w
r
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoo
l
aege
allow loop in
c
rem
e
nts of the form
i = i
+
c
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow l
o
op increments
d
ifferent
from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
e
rdoolaeg
e
allow loop increments of
t
he for
m
i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
f
i
x chec
k
fo
r
"simpl
e
" loop ter
m
i
na
t
i
o
n condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
laege
update isl for isl_
p
w
_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolae
g
e
p
r
operly handl
e
generic
c
ondi
t
ions
i
n for
loo
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaeg
e
README: empha
s
i
ze
t
ha
t
we need clang
l
ibraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
u
p
d
a
t
e f
o
r r
e
n
am
e
of getInsta
n
t
i
at
i
onL
i
neNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Verdo
o
laege
scan
.
cc
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
V
erd
o
olaege
u
p
date
i
sl for fix in isl_ma
p
_inter
s
e
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoo
l
aege
accept affine
e
xpre
s
sions where we
ex
p
e
ct a c
o
n
diti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Ver
d
oolae
g
e
update
isl for isl_p
w
_af
f
_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
van Ha
a
stregt
c
o
n
f
igure: check
if llvm-config actuall
y
exists
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verdoolaege
initial
vers
i
on of
p
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree