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
PetScan::extract_increment: improve error message
2014-03-21
Sven V
e
rdoolaege
PetSca
n
::extr
a
ct_inc
r
ement: im
p
ro
v
e error m
e
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
support logical op
e
rators in expressio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
supp
o
rt intMod, intCe
i
l and intF
l
oor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoo
l
aege
provide
g
etter and sette
r
for de
t
ect
-
c
o
nditional-assi
g
n
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
p
e
t
_
chec
k
_
code: dump iteration domains i
f
they a
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdool
a
ege
pet_ch
e
ck_code
:
p
a
r
se i
s
l o
p
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
scan
.
cc:
i
ndicator_function: coal
e
sce do
m
ain before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoo
l
aege
scop
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
scan
.
cc: fix
ty
p
os in com
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
pet_scop_restrict_skip: fi
x
typo
i
n error m
e
ssage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Ve
r
doolaege
PetScan
:
:is_nested_allowed: check for
s
k
ip conditions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoola
e
ge
print
.
c: pr
i
nt_pet_expr:
f
ix mem
o
ry manag
e
ment anno
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
dro
p
dead meth
o
d
P
et
S
can::is_a
f
fine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
s
c
op
.
c: embed
_
access: dro
p
r
e
d
u
n
d
ant va
r
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
e
g
e
pet_sco
p
_
filter_skip: avoid r
e
c
o
m
put
a
tion of
t
est expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
er
d
oo
l
a
ege
Pe
t
Sca
n
:
:
e
xtract_non_affi
n
e
_condition: remove redunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
separa
t
e out shared PetScan::update_
s
cop_sta
r
t_e
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ver
d
oo
l
ae
g
e
pet_expr_dump: only print
e
xpr->acc
.
ref
_
i
d
if i
t
i
s set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aeg
e
scop
.
c: stmt_
p
r
o
pagate_params: als
o
update accesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verd
o
o
laege
scop
.
c:
s
tmt
_
coll
e
ct_p
a
rams: also c
o
l
lect param
e
te
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Verdoolaege
scop
.
c: *_collect_params: fix
error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
p
e
t_scop
_
align_params
:
improve
e
rror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
V
e
rdoolaege
pet_sc
o
p
_
align_params:
r
e
nam
e
"
d
im
"
var
i
able
t
o "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n V
e
rdoolaege
PetScan
:
:
e
xtract_neste
d
: plug memory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdoo
l
a
e
g
e
scan
.
cc: clear_assignment: fix
l
og
i
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoo
l
a
ege
PetScan::
e
xtract(I
f
Stmt *): clear assignments in bod
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
PetScan::extract_infinite_for: a
l
so c
l
ear a
s
s
i
gnments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
er
d
oolaege
PetSc
a
n::extract_for:
a
l
ways
keep
v
irtual iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
ae
g
e
modify tests/unsi
g
ned3
.
c
test case to use the iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verd
o
olaege
w
h
en au
t
od
e
t
ecting only sk
i
p i
n
iti
a
l declarations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoo
l
a
e
ge
do no
t
ex
t
ract
loop around pa
r
t
i
a
l body when autodetecting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
P
e
tScan::ex
t
ract
_
non_affine_
c
o
n
dition: take statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ver
d
oola
e
ge
PetScan::extract_for: do not allow initia
l
value
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolae
g
e
P
etScan::extr
a
c
t_for: clea
r
a
s
s
i
gnm
e
n
t
to iterato
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdo
o
laege
PetScan:
:
unsupported: pass
fixed ch
a
ract
e
r
s
t
rin
g
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ver
d
oolaeg
e
c
onfigure
.
ac: ad
d
llvm-config --sy
s
tem-libs to CLAN
G
_LI
B
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdool
a
ege
update
i
sl for su
p
p
ort for rece
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven V
e
rd
o
o
l
ae
g
e
Make
f
ile
.
am: av
o
id use of INCLU
D
ES va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdool
a
ege
AX_DE
T
ECT_GIT_HEA
D
: detect git version with
n
e
wer
v
ersions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verdoolae
g
e
README: add contact
i
nfo
r
mat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdo
o
laege
add affine
assumption
s
t
o
the conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoolae
g
e
parse __
p
encil_assume statemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verd
o
ola
e
g
e
extra
c
t
out PetSca
n
::extra
c
t
_
argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sven
V
e
r
d
oolaege
add support for
s
tructs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdool
a
eg
e
add pet_scop_collect_tagged_must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoolaege
add p
e
t
_scop_col
l
ect_must_kill
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
e
ge
scop
.
c: extract ou
t
expr_col
l
e
ct_a
c
ces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
rdoolaege
sc
o
p
.
c: scop_c
o
llect
_
acc
e
s
s
es: r
e
name "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
a
d
d
pet_expr_access_get_tagg
e
d_m
a
y_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verd
o
o
laege
add pe
t
_scop_collect_tagged_{may,must}_{reads,write
s
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
erd
o
olaege
export pet_expr_acc
e
ss_ge
t
_
m
a
y_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
d
oo
l
aege
s
cop
.
c: expr_
c
o
l
lect_acces
s
es: pl
u
g me
m
ory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Ve
r
doolaege
extract
o
ut pet_clang_ba
s
e_t
y
pe into sepa
r
ate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
s
can
.
cc: extract out subsc
r
ipt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
scop
.
c: extract out
*_is_vir
t
ual
_
array f
u
n
ctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
V
erdo
o
laege
pet_expr_from_index_and_depth: extract out extend_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
introduce
pet_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
lae
g
e
use isl_*_reset
_
user inst
e
a
d of *_
a
nonymiz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
doolaeg
e
u
pdate is
l
f
o
r suppor
t
f
o
r member a
c
cesses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
pet_expr_f
r
e
e: return struct pet_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
PetScan::resolv
e
_
n
ested(struct
pet_stmt *
)
: remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::
r
e
solve
_
nest
e
d
(
struct pet
_
expr *): r
e
mov
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
scan
.
cc:
c
o
mpute_wrapping: r
e
move un
u
sed
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scan
.
cc
:
extract_sk
i
p_seq: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scan
.
c
c
: universally: r
e
move u
n
u
se
d
va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ve
n
Ve
r
doo
l
aege
PetScan::extract_affine
:
remove unused vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
M
akefile
.
am: add dummy C++ source fil
e
to pet and pet_check_code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
sto
p
linkin
g
i
n
c
l
ang
l
ibraries directly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
also
print clang version
w
hen
pr
i
nting
p
et vers
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoola
e
ge
R
E
ADME: u
p
date latest release of LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolaege
parse
.
c:
r
emove
s
pu
r
ious dupl
i
c
ate declara
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verd
o
olaege
pet_scop
_
free:
r
eturn
s
truct pet_scop
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven
V
erd
o
ola
e
g
e
P
etScan::e
x
t
ract(StmtRange, b
o
ol, bool): br
e
a
k
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
pet_scop_colle
c
t_{read
s
,writes}: take arguments into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
rdoolaege
pet_s
c
op_collect_{reads,writ
e
s}: intersect ranges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdool
a
ege
scan
.
cc: ext
r
act_
d
ep
t
h
:
u
se correct dimensi
o
n typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n V
e
r
doolaege
pet_ex
p
r
_
from_access_and_index: plug memor
y
leak
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Verdoolaege
configur
e
.
a
c
: remove
e
x
p
l
icit de
p
end
e
nce on gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven V
e
rd
o
olaege
discard incompl
e
t
e
ly extrac
t
e
d
comp
o
u
n
d statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fix ha
n
dling of co
m
pound statem
e
n
ts with initia
l
partial
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
p
et_transform_C_source: han
d
le multiple
ex
p
l
i
citly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdo
o
laege
add pet_s
c
op_pri
n
t_origin
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
a
d
d
pet_transf
o
rm_C_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
o
olaege
extend PetASTConsumer to extract
a
scop for
e
ach function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
eg
e
post-
p
roscess sco
p
s i
n
side Pe
t
A
S
TC
o
n
s
u
mer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
add
pet_s
t
m
t
_
bu
i
ld_ast
_
exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolae
g
e
add pet_st
m
t_print_b
o
dy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add pet_scop_has_da
t
a_dependent_conditio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add pet_sc
o
p_has_data_dependent_a
c
cesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
pet_c
h
eck_code
:
use index expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
pe
t
_ch
e
ck_code: use isl_id_t
o
_pw_aff for
k
eeping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
oo
l
aege
update isl for is
l
_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
keep
t
rack of index expres
s
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
e
rdoolaege
scop
.
c: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
u
pdat
e
test case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
aege
s
cop
.
c
: insert_filter_map: co
n
st
r
uct function int
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: upd
a
te_domain:
use
f
un
c
tion intead of
r
el
a
t
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: update
_
d
o
main: rename variable "
d
im
"
to "space
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdool
a
ege
PetScan::resolve_ne
s
t
ed: use funct
i
on to embed
a
r
gument
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
PetScan::k
i
l
l
: use
pet_expr_kill_f
r
om
_
acc
e
ss_and
_
i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next