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
Hide warnings in system headers
2011-08-10
T
o
b
i
as Grosser
Hide wa
r
nings i
n
system h
e
aders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
Verdoolaege
handle "live-out
"
pra
g
m
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
erdoolaege
pe
t
.
c
c: extract out update_a
r
r
a
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
p
e
t
.
cc: extr
a
c
t out get_value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avo
i
d wrapp
i
n
g on some simple cases of loops with unsi
g
ned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oo
l
aege
wrap result
s
of uns
i
gned computatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ve
n
Verdoolaege
t
ake into
acco
u
nt t
h
at u
n
s
igned iterators ma
y
w
ra
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaege
allow loop
inc
r
ements of th
e
f
orm i = i + cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
allow loop increm
e
nts d
i
fferent
f
rom one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdoo
l
aege
allow
loop increme
n
ts
o
f the form i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdoo
l
aege
fix check
f
o
r
"simple" loop termination
condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
upd
a
te isl for
i
sl_pw_a
f
f
_
mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
properly handle
generic con
d
i
tion
s
i
n for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaeg
e
R
EADM
E
: empha
s
iz
e
that we
n
eed
clang l
i
braries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
upda
t
e fo
r
rename of getInstantiationLineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ve
r
doolaege
scan
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
e
rdoo
l
aege
update is
l
f
or fix in isl_map_
i
ntersect_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
accept af
f
ine
expre
s
sions where we
e
x
p
e
ct a cond
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoo
l
aege
upd
a
te i
s
l for is
l
_p
w
_aff_non_z
e
ro_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven van H
a
astre
g
t
configure
:
check i
f
llvm-config actua
l
ly exi
s
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sv
e
n Verdoolaege
initial ver
s
i
o
n
of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree