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
pet.cc: extract out get_value_decl
2011-07-31
S
v
en Verdoolaege
pet
.
cc:
ext
r
a
c
t
o
u
t
g
et_
v
al
u
e_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoolaege
avoi
d
w
r
apping on som
e
simple c
a
ses
o
f loo
p
s with
un
s
igned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
wrap r
e
sult
s
o
f
unsigned computati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoolaege
t
ak
e
into accoun
t
t
hat unsig
n
ed ite
r
ators may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolae
g
e
allow l
o
op i
n
c
r
ements
o
f
the f
o
rm i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
V
e
rdoolaege
a
llo
w
loop increment
s
d
i
fferent from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
V
erdoo
l
aeg
e
allow loop in
c
rement
s
o
f th
e
form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
fi
x
ch
e
ck f
o
r "sim
p
le" loo
p
termination c
o
nditi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ve
n
Verdoolaege
update is
l
f
o
r isl_pw
_
af
f
_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
properly ha
n
dle
g
eneric conditi
o
n
s in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoolaege
README: emph
a
size that
we need cla
n
g lib
r
a
r
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
upda
t
e
f
or rename of getI
n
stant
i
ationL
i
neNum
b
er to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoolaege
s
can
.
cc: fix t
y
po in
c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
oolaege
update isl for fix in
i
sl_map_inter
s
ect_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdo
o
laege
ac
c
ept
affine expressi
o
n
s
where we expect a condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
e
n Verdoolaege
update is
l
f
o
r is
l
_pw_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n va
n
Haastregt
con
f
ig
u
re: check if
llvm-config ac
t
ual
l
y exis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdo
o
laege
i
nitial versio
n
of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
