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_check_code.c: directly include required header
2015-04-30
Sven Verdoolaeg
e
pet_
c
h
e
ck_code
.
c: dir
e
ctly i
n
clude
re
q
u
ired
h
eader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sv
e
n
V
erdoolaege
tree2scop
.
c: directly includ
e
r
equired header
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
erdoolaeg
e
summary
.
c:
di
r
ectly
i
nclude requ
i
re
d
he
a
d
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven Verd
o
olaege
scan
.
cc: directly in
c
l
ude requi
r
ed he
a
der
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
S
v
e
n Ver
d
o
o
laege
p
ar
s
e
.
c: di
r
ectly include required
h
e
ader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
erd
o
olaege
e
x
p
r
.
c:
dir
e
c
t
ly
inc
l
ude
required
h
eader
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-30
Sven
V
e
rdoolaege
em
i
t
.
c: dir
e
ctly in
c
lu
d
e required hea
d
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-09
Sven Verdoolaege
add
-
-no-pencil o
p
tion to tur
n
o
f
f
pencil specific
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-02
Sv
e
n Verd
o
ola
e
ge
PetScan::extrac
t
_argum
e
nt:
ma
r
k
non-const poi
n
ter arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-04-02
Sv
e
n Verdoo
l
aege
priva
t
ely export pet_
e
xpr
_
acces
s
_g
e
t_dep
e
ndent_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-30
Sven Verdoo
l
a
e
g
e
P
e
tScan:
:
e
x
trac
t
_
argument: i
g
nore
e
xpressi
o
n class
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-30
Sven Verdo
o
l
a
ege
Pe
t
Scan::
e
xtract_arg
u
ment: allow multipl
e
impl
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
v
e
n Verd
o
olae
g
e
u
p
d
ate
isl for repla
c
ement of
C
L
o
o
G te
s
t
c
as
e
s wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
cod
e
gen_tes
t
.
sh: tes
t
schedule tree inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven Verdoolaege
pet_check
_
code:
o
ptionall
y
take schedule
tree as i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
S
ve
n
Verdoo
l
aege
p
et_codeg
e
n
.
c: optio
n
a
lly take schedul
e
tree as inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-16
Sven V
e
r
d
oolaege
pe
t
_codegen
.
c: extrac
t
out print_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
Sven Verdo
o
laeg
e
update isl
f
or
s
c
he
d
ule tree b
a
sed AST gener
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
Sve
n
Verd
o
olaege
rename isl_a
s
t_build_ast_fro
m
_s
c
hedule to isl
_
ast_
b
uild_node
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
S
v
en
V
e
rdoolaege
update
i
sl
f
or r
e
nam
e
of
isl_ast_bu
i
ld_ast_from_s
c
hed
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-03-11
Sven
V
erdoolaege
skip emp
t
y sc
o
ps wh
e
n auto
d
e
tect is turn
e
d on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
tree2scop
.
c: set
l
oop band schedule name fro
m
loop
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
merge
p
et_ski
p
_info_i
f
_add an
d
pet_skip_info_se
q
_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verd
o
olaege
pet_stmt: d
r
op sch
e
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
pet_check_
c
o
d
e: u
s
e scop
-
>schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoola
e
ge
pet_scop: k
e
ep tra
c
k of
sched
u
le t
r
ee
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
use i
s
l_multi_aff t
o
represent lo
o
p
s
chedu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoolaege
u
p
date
test c
a
se outp
u
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-19
Sv
e
n Ve
r
d
o
olaege
u
p
d
ate
i
sl
f
or schedul
e
tree
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-13
Sven
V
erdoolae
g
e
postpone calls to
p
et
_
s
cop_embed un
t
i
l after
c
alls
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven V
e
r
doolaege
pet_scop_embed: e
x
trac
t
out pet_scop_res
e
t_skip
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdool
a
ege
pet_skip_info_a
d
d_scop
s
: add
s
cops for computing s
k
ip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
pet_skip_info_add_ty
p
e: extract out a
d
d
i
tion of skip
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ver
d
oolaege
merge pet
_
s
kip_i
n
fo_if_add_type a
n
d
pet_skip_
i
nfo_seq_add_t
y
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
pet
_
skip_info_
s
e
q_add_
t
ype: extract
out pe
t
_skip_info_seq_prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verd
o
olaeg
e
pet_skip
_
info_i
f
_add_type: extract out pet_skip_i
n
fo_if_
p
re
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n
Verdoolaege
pet_scop_align_p
a
rams: minor clean-
u
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdoolaege
add pet_tree_
m
ap_call_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
ven
V
e
rdoolaege
tr
e
e
.
c
:
map_access_expr: fi
x
documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
export pet_expr_new_
c
a
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
v
e
n
V
e
rdoo
l
aege
a
d
d support for (some) t
y
pe
d
efs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sve
n
V
erdool
a
ege
scan
.
cc: in
c
l
ude config
.
h
f
irs
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
sca
n
.
cc: add_t
y
pe: extract out add_field
_
type
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdool
a
ege
PetScan:
:
scan_arrays: k
e
ep tra
c
k of handle
d
types in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Ve
r
doolaege
scan
.
h: less_name: gen
e
ralize to any
T
y
peDecl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
v
en Verdoo
l
aege
PetScan::scan_ar
r
ays: store reco
r
d t
y
pes in
t
o new Pe
t
Typ
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven Verdoolaege
sca
n
.
c
c:
fi
x
typos
in c
o
mments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
ven Verdoolaege
tree
.
c: fi
x
typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
erdool
a
eg
e
adjust configu
r
e t
e
st to change i
n
argument name
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sven
V
e
rdoolaege
adjust
to
change in
return t
y
pe of getTy
p
eInfo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
S
v
e
n
Verdoolaege
adjust to
c
hange in clang'
s
Job
L
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-04
Sv
e
n Verdo
o
l
aege
update isl for supp
o
rt fo
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
P
e
t
Scan::extra
c
t
:
improve
error
message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Ve
r
doolaege
PetScan: allow l
a
b
el on any statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
pet_scop_cmp: do not consider scops to be equal if
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
tre
e
2scop
.
c: scop_
f
rom_
a
ffine_if: check cond
i
tion of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-14
Sven Verdoolaege
pet_s
c
op_fr
o
m_pet_t
r
ee: avoid clashes with explicit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sve
n
Verdoolaege
add support
for _
_
pencil_kill
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven
V
e
rdoolaege
tr
e
e2scop
.
c: extract ou
t
scop_f
r
om_tree_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-13
Sven Verdoolaege
PetSca
n
::ex
t
ra
c
t_argumen
t
: o
n
ly perform
write detection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-16
Sven V
e
r
d
oolaege
e
ncapsula
t
e
l
o
op containing co
n
t
i
nue/bre
a
k when encapsu
l
atin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-21
Sven Verdoo
l
a
e
ge
p
et_
s
tmt_bu
i
ld_ast
_
exp
r
s: ig
n
ore expr
e
s
s
io
n
argum
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-06
S
v
e
n Verdool
a
ege
impr
o
ve han
d
ling of f
u
nct
i
on
summaries with st
r
uc
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
pet
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
update isl to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
PetScan::
s
et_upper
_
b
oun
d
s: fix
typo br
e
aking no
n
-1D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-16
Sven
Verdoolaege
upd
a
te isl for ch
a
nge in isl_map_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
S
ven Verdoolaege
update for change in
T
a
rgetO
p
t
ions refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
S
v
en Verdoo
l
a
e
g
e
u
pdate for re
m
ova
l
of
l
lvm/ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdool
a
e
g
e
interface/
e
xtract
_
interface
.
cc: avoid
use of So
u
rceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
S
v
e
n
Verdoolaege
update for r
e
moval of D
e
faultIm
a
geN
a
me Driver const
r
uctor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
update isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
S
v
en Verdoolaege
pet_
e
xpr_new_unary: take ty
p
e size argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sv
e
n
Ver
d
oolaege
pet_scop_colle
c
t_domains: prope
r
ly h
a
ndle s
t
ate
m
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven V
e
rd
o
olaege
p
et
_
stmt_print_body:
do not print
a
nything for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fi
x
quasi_affi
n
e
test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoola
e
ge
pet_tree
_
dump: fix typo in output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven
V
e
r
d
o
olaege
sc
o
p
.
c: fi
x
t
yp
o
in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verd
o
olaege
scop
.
c: scop_
a
lloc: pl
u
g memory leak
on error
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoolaege
expr
.
c: extract_affine_
m
ul: abort on error
rat
h
er than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
olaege
Pet
S
ca
n
::set_upper_bounds:
ha
n
dle ar
r
ays declared inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
S
v
en Verdoolaege
derive access
r
e
lations
o
f call expressions
f
rom functio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
add pet
_
expr_map_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
add pet
_
ex
p
r_
a
ccess_get_
a
ugmented_doma
i
n_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ol
a
eg
e
P
e
t
Scan::extract_expr(CallExpr *): extract
f
un
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr
:
keep track
o
f fu
n
c
tion
s
u
mmaries
in call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pet_expr: put pet_expr_ca
l
l fie
l
d in substruct
u
re
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
in
t
rodu
c
e pet_
f
unction_summ
a
ry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
doolaege
pet_expr
_
acc
e
ss_se
t
_a
c
cess:
set r
e
ad/
w
rite
o
n
non-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdoo
l
aege
bre
a
k up access relations into may_rea
d
/may_write
/
must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
d
o
ol
a
ege
a
dd pet_union_map_
m
ove_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
i
n
trodu
c
e pet
_
expr_acc
e
ss_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
d
r
op pet_
e
xp
r
_from_
a
c
c
ess
_
a
n
d
_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
explicitly mark
k
ill accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdo
o
laege
p
e
t_expr: represen
t
read/wr
i
te f
l
ags
a
s
b
its
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdoolaege
pet_expr: document the read and
w
rit
e
fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n Verdool
a
ege
b
r
e
ak up access
r
elatio
n
s into ma
y
_read/may_write/mu
s
t
_
wr
i
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ve
r
doola
e
g
e
pet_
e
xpr_tag_access
:
avoid use of targe
t
spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
postpone intro
d
uction
of access relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
r
d
oo
l
a
e
g
e
emit
.
c
: em
i
t_expr: extract
o
u
t
em
i
t_ac
c
e
s
s_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next