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_expr_dump: use isl_printer
2016-03-07
Sv
e
n Ver
d
oo
l
ae
g
e
p
e
t_expr
_
d
ump: use isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
pet_expr
_
dump_with_indent: extract
out repeated
d
ump_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
pet_fu
n
c
t
ion_summary_dump: u
s
e
isl_printer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
add pe
t
_fun
c
tion_summary_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
S
ven Ve
r
d
o
olaege
upda
t
e test
case out
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
S
v
en Ve
r
doola
e
g
e
updat
e
isl for generalized isl_
h
m
ap_templ
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven
V
erd
o
olaege
a
dd kills
to
variab
l
e
s
d
e
clared in the same s
c
o
pe when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolaege
PetScan::extra
c
t
(StmtRa
n
ge
,
.
.
.
)
:
pass paren
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
S
v
en Ve
r
d
oolaege
extract out pe
t
_killed
_
locals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoolaege
ex
t
ract out p
e
t_clang_ar
r
a
y
_
depth into s
e
parate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdo
o
laeg
e
s
c
an
.
cc: array_dep
t
h
:
take QualType as argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdoolaege
a
d
d p
e
t_expr_
a
ccess_i
s
_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Ver
d
o
ol
a
ege
change re
t
u
r
n t
y
pe
o
f
pet_expr_*_is_* to i
s
l_b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Verdo
o
laege
incl
u
de/pet
.
h: f
i
x typos i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-06
Sven Ve
r
doolae
g
e
s
can
.
h
:
fix ty
p
o
in argument
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-03
S
ven V
e
rdoolaege
su
m
m
ary
.
c
:
add
missin
g
copyright
statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-03
S
v
en Verdool
a
e
g
e
skip
.
c
:
a
d
d miss
i
ng c
o
pyright
s
tatement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ver
d
o
o
laege
p
et_scop_fr
o
m_pet_st
m
t: fix error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-24
Sven Verdoolae
g
e
README: up
d
ate
L
L
VM/clan
g
i
nstallati
o
n instruc
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-24
Sven V
e
rdool
a
ege
link a
g
ainst single libLLVM shared li
b
rary
w
h
e
n
available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-24
Sven Ve
r
doo
l
aege
configure
.
ac:
move detec
t
ion of cla
n
g to sep
a
ra
t
e file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
S
ven Ve
r
doolaege
ad
d
ge
t
_submod
u
les
.
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
Sve
n
V
e
rdool
a
ege
M
a
kefile
.
am:
a
dd
CLE
A
NFILES an
d
DI
S
TCLEANFI
L
E
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
Sv
e
n V
e
rdoolaege
codegen_test
.
s
h
: remov
e
test output
f
i
le on
s
uccess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
Sven Verd
o
o
l
aege
pet_test
.
sh: remove tes
t
output file
on success
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
Sven Verdoo
l
a
e
g
e
co
n
f
i
gur
e
: do n
o
t cr
e
a
te gitversion
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-05
Sven Verd
o
ola
e
g
e
make dist:
t
ake isl
.
py in src
d
ir i
f
availa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdool
a
ege
Pe
t
ASTCons
u
mer: avoid in
i
tializati
o
n
reord
e
ring warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven
V
erdoolaege
PragmaVa
l
ueBoun
d
sH
a
ndler: av
o
id i
n
iti
a
lization reordering
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
P
etScan: avoid
i
nitial
i
zation re
o
rdering war
n
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
scop_plu
s
.
cc:stmt_collect_arr
a
ys: avo
i
d
di
f
fere
n
t signs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sv
e
n Verdoolaege
pet_inliner:
:
i
n
lin
e
_tre
e
:
a
v
o
id different s
i
gns comparison
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Ver
d
oo
l
aege
p
e
t_i
n
liner::add
_
array_arg: a
v
oid different signs
c
ompar
i
so
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoo
l
aege
pet
.
cc: is_imp
l
icit: a
v
oid diffe
r
ent s
i
gns comp
a
rison
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven
V
e
r
doolaege
scan
.
c
c
: PetScan::is_curr
e
nt_stmt_marked_i
n
dep
e
n
de
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verd
o
o
l
aege
scan
.
cc:
k
ill
e
d_locals::add_locals: av
o
id
different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdo
o
laege
scan
.
cc: PetScan:
:
set_inl
i
ner_arguments: a
v
oid different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolae
g
e
scan
.
cc
:
P
e
tSc
a
n::extract_ex
p
r: av
o
id
dif
f
eren
t
s
i
g
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdool
a
ege
scan
.
cc: Pet
S
can
:
:extract(
D
eclStmt *): a
v
oid
d
ifferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoo
l
aege
scan
.
c
c
: PetScan::get_
s
umm
a
ry: avoid
different
s
i
gns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven
V
erdoolaege
pet_exp
r
:
a
vo
i
d
d
eclarati
o
ns o
f
an
o
nymous types in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdo
o
l
aege
P
e
tSca
n
::extract(If
S
tmt *): remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven
Ve
r
d
o
ol
a
ege
PetSc
a
n::ext
r
act_for: remo
v
e unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sve
n
V
e
rdoolaeg
e
PetScan::ex
t
ract_expr: remove unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-01
Sven Verdoolaege
sub
s
titute
r
.
cc: substitute_access
:
r
emov
e
un
u
s
ed
v
a
r
iabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven Verdoolaege
pe
t
0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven Verdo
o
laege
u
pdat
e
isl to versi
o
n 0
.
1
6
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-15
Sven V
e
rdoola
e
g
e
PetScan::ext
r
act(Decl *): ch
e
ck t
h
at declaration
i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-07
Sven Verdo
o
l
aege
add isl
.
py to
distr
i
bution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-01-04
Sven Verdoola
e
ge
REA
D
ME
:
update la
t
es
t
relea
s
e of clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdoo
l
aege
add interfa
c
e/pet
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdool
a
ege
u
p
date is
l
for e
x
port of is
l
_sched
u
l
e to p
y
thon interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdoolaege
isl
.
py: cal
l
isl_ctx_alloc_w
i
th_
p
e
t
_
options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven
V
e
rdoolaege
add
i
sl_ctx_a
l
l
oc_w
i
th_p
e
t_options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-23
Sven Verdoolaege
g
ene
r
a
t
e
own isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sve
n
V
e
rdoolaege
te
l
l bund
l
ed isl to build extract_inter
f
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven Verdool
a
ege
add p
e
t_s
c
op_get_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven V
e
rdo
o
laege
add pet_scop_
g
et_sc
h
edul
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven V
e
rdoolae
g
e
add pet_scop mem
o
r
y
ma
n
agement annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sv
e
n Ver
d
oolaege
rename pet_scop_
c
oll
e
ct_* to p
e
t_scop_get_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-18
Sven Verd
o
olaege
add kills to variables declared
i
n
t
he
same scope that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven Verdoolaege
update tes
t
case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven
V
erdo
o
laege
tests/call7
.
scop: fix ran
g
e of
scop
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
S
ven Verdoolaege
p
r
op
e
r
ly kill variables wi
t
h know
n
v
alue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-17
Sven V
e
rdoolaege
tree2sco
p
.
c
:
s
cop_add_kill: plug memory
l
eak
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
S
v
en
V
erdoolaege
update for rename of In
i
tializeBuil
t
ins to initializeBuilt
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
Sven
V
erdoolaeg
e
update is
l
for support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-12-11
Sven Verdoolaege
update for replacement
o
f StmtRang
e
b
y iterator_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-25
Sven Ve
r
do
o
laege
pet
_
sc
o
p_col
l
ect_arrays: keep track
o
f isl_id rep
r
esenting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-25
Sven
Verdoolaege
P
e
tScan::
e
x
t
ract_arra
y
:
drop redundant
i
sl_
c
tx argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
S
v
en Verdoolaege
su
p
p
ort inlining of ou
t
er
m
o
s
t
call expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sv
e
n
V
er
d
ool
a
ege
extrac
t
out PetScan
:
:e
x
tract
_
expr_stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Ve
r
doolaege
P
e
tScan:
:
extract_argum
e
nt: ext
r
act o
u
t extract_addr_of_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
S
v
en Verdoolaeg
e
extra
c
t out pet_clang
_
find_function_dec
l
_w
i
th_
b
ody
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdool
a
ege
a
dd PetScan::add_new_used_n
a
m
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Verdoolaege
add
PetScan::collect_d
e
clare
d
_names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven Ver
d
oolaege
a
dd
pet_inliner
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-10
Sven V
e
rdoolaege
ad
d
p
e
t_id_arg_from_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verdoola
e
ge
extract o
u
t pet_id_get
_
array_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sv
e
n Ve
r
dool
a
ege
move pet_clang
_
get_type_size to clang
.
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
S
v
en V
e
rdoolaege
i
f the sam
e
na
m
e
i
s
used
f
or seve
r
al
variable
s
, then
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verdoolaege
P
e
tScan::extract_index_expr: ex
t
r
a
ct out pet_id_cr
e
at
e
_
i
ndex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verd
o
olaege
a
d
d pet_id_from_nam
e
_and_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verdoolae
g
e
PetScan:
k
eep t
r
ack of
dec
l
ared variables in a com
p
oun
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-06
Sven Verdoolaege
PetScan:
keep tra
c
k of
Dec
l
Context of f
u
nction containing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven
V
e
rdo
o
laege
add pet
_
substituter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sve
n
Verdoolaege
add pet_e
x
pr_acc
e
s
s
_p
a
tch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
S
ven Ve
r
doola
e
ge
add
p
et_patch_mu
l
ti_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolae
g
e
patc
h
.
c: extract out pa
t
ch_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolae
g
e
pet_patch_union
_
map: mak
e
warning opti
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Ver
d
o
olaege
ext
r
act patching
o
f
i
ndex expressions and access
r
elatio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Ve
r
doolaege
add pet_expr_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven V
e
rdoolaege
extract out pet_e
x
p
r
_
is_add
r
ess
_
of
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven
V
e
rdoolaeg
e
PetScan::extract_array:
allow extr
a
ct
i
on of a pet_array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven V
e
rdoolaege
PetScan::e
x
tra
c
t_array:
use ast_context from
Pe
t
Scan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
P
e
t
Sc
a
n::ex
t
ract_array: drop
redunda
n
t isl_ctx ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven V
e
rdoolaege
extract out sh
a
red
pet_i
d
_g
e
t_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
S
ven Verdoolaege
move creation of i
s
l
_
i
d
that encapsulates a ValueDecl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven
V
erdoolaeg
e
PetScan::extract_arra
y
:
r
ename "dim" variable to "space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-11-02
Sven Verdoolaege
allow
redundant casts
i
n f
u
nction call a
r
gum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next