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 PetScan::set_array_size
2016-04-15
Sv
e
n Verd
o
o
l
aege
a
d
d PetScan::set
_
array_
s
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven Verdoolaege
PetScan::get
_
array_size:
add e
x
tra cache keyed
o
n array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
S
ve
n
Verdoolaege
add
isl_id_to_pet_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven Verdoolaege
P
etScan::ge
t
_array_size: take
i
sl_id repr
e
s
e
nting ar
r
ay
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-12
Sv
e
n Verdoolaege
re
m
ove "
c
onst" qualifier from the type of
a
s
cala
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-12
Sve
n
Verdo
o
la
e
g
e
take int
o
a
c
count
writes ins
i
d
e
macro statements during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-07
Sven Verdool
a
ege
su
p
port emp
t
y statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-07
Sve
n
V
erdoolaege
fix r
e
nam
i
ng of in
l
ined function arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-04
Sven Verdoolaege
properly handle a
r
r
a
ys of
type
d
efs a
n
d structs inside
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-04
Sv
e
n
Verd
o
ol
a
ege
onl
y
keep track
o
f
s
t
ru
c
t definitions o
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
Sv
e
n Verdoolaege
add assign
m
ents
t
o undeclared loop iterators
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
S
v
en Verdoolaeg
e
t
ests/inf4
.
c: use
unsi
g
ned int
for infinite lo
o
p
iterator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sve
n
Verdoolaeg
e
tree2scop
.
c: extract o
u
t s
c
op_f
r
om_for_init
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
S
ven Verdoolae
g
e
tree2scop
.
c:
fix
m
i
nor style issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sven
Ver
d
oolaege
tree2scop
.
c
:
scop_from_n
o
n_aff
i
ne_for: ren
a
me argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sven Verdoolaege
tree2sco
p
.
c:
f
ix typos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
S
ven Verd
o
ola
e
ge
extract out
p
e
t_wra
p
_aff and pet_w
r
ap_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoo
l
aege
push
a
f
fine
co
n
diti
o
ns i
n
to i
n
dex expre
s
sions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdo
o
lae
g
e
privately exp
o
se pet_expr_access_h
a
s_any_acces
s
_re
l
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven
V
erdoolaege
add pet_
e
xpr_is
_
sa
m
e
_
ac
c
es
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven
V
erdo
o
laege
add pet_expr_map_op
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sve
n
Verd
o
olae
g
e
expr
.
c: extrac
t
out pet_exp
r
_get
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sv
e
n Verdoolaege
pet_context
_
evaluat
e
_expr: plug in affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sve
n
Verdoolaege
add
pe
t
_
ex
p
r_map_top_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
pet_expr_extract_a
f
f
i
n
e: cache result in
pet
_
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
S
ven Verdoolaege
add pet_expr_to
_
i
s
l_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven
Ver
d
oolaege
add
pet_expr_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
drop pet_funct
i
on_summary_dump_wi
t
h_indent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
S
v
en Verdool
a
eg
e
pe
t
_expr_dump: use isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
pe
t
_expr_dum
p
_with
_
ind
e
nt: ext
r
a
ct out repeated du
m
p
_ar
g
ume
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
p
et_function_sum
m
ary_dump: us
e
isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verd
o
olaege
a
d
d pe
t
_function_summary_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoola
e
ge
update test
case
o
utputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven V
e
rdoolaege
update
isl
for g
e
ner
a
liz
e
d is
l
_hmap_te
m
p
l
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdo
o
laege
add ki
l
ls t
o
variabl
e
s declared in
t
he same scope when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Ve
r
do
o
laege
PetScan::
e
xt
r
a
c
t(StmtR
a
n
g
e
,
.
.
.
): pass parent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
ext
r
a
c
t o
u
t pet
_
k
i
lled_locals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoola
e
ge
extr
a
ct out pe
t
_clang_array_depth into s
e
para
t
e fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoolaeg
e
s
c
an
.
c
c: a
r
r
ay_depth: take QualType as argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoolae
g
e
add pet_expr_acce
s
s_is_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
S
ven
Verdoolaege
ch
a
nge return type
o
f pet_expr
_
*_is_* to isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoolae
g
e
inc
l
u
d
e/pet
.
h: f
i
x
t
ypos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-06
Sven
Verdoolaege
sca
n
.
h: fix typo in arg
u
ment
n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-03
S
v
e
n Ve
r
doolaege
summar
y
.
c: add missing
copyrig
h
t stat
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-03
Sven Verd
o
ola
e
g
e
skip
.
c
:
add mis
s
ing copyri
g
ht state
m
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-28
Sve
n
Ver
d
o
olaege
pet_scop_from_pet_st
m
t: fix error ha
n
dli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-24
Sven
V
e
rdoo
l
aege
R
EADM
E
: update LL
V
M/clang installation instruction
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-24
Sven V
e
rdoolaege
link agains
t
si
n
g
l
e libLLVM s
h
a
r
ed library
w
h
e
n a
v
ailab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-24
Sven
V
erdoola
e
ge
configu
r
e
.
ac: mo
v
e detectio
n
of
clang to
s
e
parate fi
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sven
V
erdoolaege
add get_submodu
l
es
.
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sven Verdoolaege
Make
f
ile
.
a
m:
add C
L
EANF
I
LE
S
and DIS
T
CLEANFI
L
ES
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sven Ver
d
oo
l
aege
codegen_
t
est
.
sh: remove
t
e
st o
u
tput file on
succ
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sv
e
n
V
erdoo
l
a
e
ge
p
e
t_test
.
sh: rem
o
v
e test output
f
i
le on success
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sven
Verdo
o
laege
configure: do not cre
a
te g
i
tversion
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-05
Sven
V
e
r
d
o
ol
a
ege
m
a
ke dist: t
a
ke isl
.
py in srcdir if avai
l
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
PetASTConsum
e
r: av
o
i
d
i
n
itiali
z
ation reordering warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
PragmaValueBoundsHand
l
er: avoi
d
in
i
tializ
a
t
ion reor
d
ering
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
P
etScan: avo
i
d initi
a
lizat
i
on
r
eord
e
rin
g
wa
r
ning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven
Verdoolaege
sc
o
p_plus
.
cc:stmt_collect_
a
rrays: avoid d
i
ffer
e
nt signs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
S
v
en Verdoolaege
pet_
i
nliner:
:
inl
i
ne_tree: a
v
oid d
i
fferent
signs compari
s
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven
V
erdoolaege
pet_inliner::ad
d
_array_arg:
a
v
o
id diffe
r
ent signs compariso
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdo
o
laege
pet
.
cc: is_implicit: a
v
oid different signs
comp
a
r
i
s
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdo
o
l
aege
sc
a
n
.
cc: P
e
tSca
n
:
:
is_current_stmt_mark
e
d_inde
p
end
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
s
c
a
n
.
cc: killed_locals::ad
d
_locals:
av
o
id different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoola
e
ge
scan
.
cc: Pet
S
c
a
n::set_i
n
liner_a
r
gu
m
e
n
ts: avoi
d
differe
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sv
e
n Verdoo
l
aege
scan
.
cc: PetScan::extract_e
x
pr: av
o
i
d different signs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sv
e
n Verdo
o
l
a
eg
e
sca
n
.
cc: Pe
t
Scan::e
x
t
r
act(DeclS
t
m
t
*): avoid different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
S
v
en Ver
d
oolaege
scan
.
cc: Pet
S
c
a
n::get_summary: avoid different sign
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
S
ve
n
Ver
d
oo
l
aege
pet_
e
xpr: avoi
d
declara
t
i
o
n
s of anonymous types in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaeg
e
PetScan
:
:extract(IfStmt *): remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
S
ven
V
e
r
doolaege
P
et
S
can
:
:ex
t
ract_for: re
m
ove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verd
o
olaege
P
e
tSca
n
::e
x
tract_
e
xpr: remove u
n
us
e
d v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolae
g
e
substituter
.
cc:
s
ubstitute_access
:
remove unu
s
ed vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sven Verdool
a
ege
pet 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
Sven V
e
rdo
o
laeg
e
update
isl to v
e
rsion 0
.
16
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-15
S
ven Ve
r
doolaeg
e
PetScan::extract(Decl *): c
h
ec
k
that
de
c
larat
i
on i
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-07
Sven Verdoo
l
aege
add
isl
.
py to
distribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verd
o
olaege
READM
E
: upda
t
e latest release of cl
a
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-23
Sven
V
erd
o
olaege
add
interfa
c
e/pet
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdoolaege
u
pdate isl for
exp
o
r
t
of isl_schedule to pyth
o
n interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-23
Sven
V
erd
o
olaege
isl
.
py: call isl_ctx_alloc_wit
h
_pet_
o
ptio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-23
Sven
Verdo
o
laege
add
i
sl_ctx_alloc_with_pet_
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdool
a
e
g
e
g
e
n
erate own isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
Sven V
e
rdo
o
lae
g
e
tell bundled isl to b
u
ild extract_interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
S
ven Verdool
a
ege
add p
e
t_sc
o
p_get_co
n
t
e
x
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
Sven Verdoolaege
add pet_scop_get
_
schedu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
Sve
n
V
e
rdoola
e
ge
a
d
d pet_scop memory management an
n
otations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
S
v
en Verd
o
olaege
rename p
e
t_sc
o
p_collect_*
to
p
e
t_scop_get_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-18
Sven V
e
rdo
o
l
a
ege
add kil
l
s
t
o va
r
ia
b
l
e
s
declared in the sa
m
e scope that
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-17
Sven Verdoolae
g
e
u
pd
a
te test case outputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-17
Sven Verdoolaege
t
e
sts/call
7
.
s
co
p
:
fix ra
n
ge of scop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-17
Sven
V
erdo
o
laege
properly kil
l
varia
b
le
s
with kn
o
wn value
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-17
Sven Verdoo
l
ae
g
e
tree
2
scop
.
c: scop_
a
dd_kil
l
: plug mem
o
ry lea
k
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-11
S
v
en Verdoolaege
up
d
ate f
o
r rename of InitializeBuiltins
t
o
initialize
B
uiltins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-11
S
ve
n
V
erd
o
o
l
ae
g
e
update isl for
s
u
p
p
ort for re
c
e
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-12-11
Sven Ve
r
d
o
olaege
u
p
d
ate for
repla
c
e
m
ent of
S
t
mtRan
g
e by
itera
t
or_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-11-25
Sven Ve
r
d
oo
l
ae
g
e
p
et_scop_collec
t
_a
r
r
a
ys: keep track of i
s
l_id representing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-11-25
Sven Verdoolaege
PetScan::extra
c
t_array:
dr
o
p re
d
u
ndan
t
isl_ct
x
a
rg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-11-10
S
v
en Ve
r
doolae
g
e
su
p
port
inlin
i
ng of
outermost c
a
ll expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-11-10
Sven
Verdool
a
ege
e
x
tract ou
t
PetScan::extract_e
x
pr_stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
