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
provide getter and setter for detect-conditional-assignment option
2014-03-19
S
ven Verdool
a
ege
prov
i
de getter
a
nd setter for detect-conditio
n
a
l-ass
i
gnme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
pet_check
_
code: du
m
p iteration domains if t
h
ey are
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
p
et_check_code: pars
e
i
s
l
op
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
scan
.
c
c
: in
d
icator_function: coalesce domain before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en V
e
rdoolaege
scop
.
c
:
f
ix typos in commen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
scan
.
cc: fix typos in
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ve
n
V
e
r
d
o
o
laeg
e
pet_
s
c
op
_
restrict
_
skip:
fix t
y
po in e
r
ror
m
es
s
age
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
etS
c
a
n
:
:is_nes
t
ed_allowed: c
h
eck for skip conditions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoola
e
ge
p
rin
t
.
c: print_pet_expr:
fix memor
y
management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
drop dead
m
ethod PetScan::is_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdo
o
l
aeg
e
scop
.
c: em
b
ed_acce
s
s
:
drop redundant variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Ve
r
do
o
laege
pet_scop_filter_skip: avoid r
e
c
o
m
p
utation of test expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoola
e
ge
PetScan::
e
xtract_non
_
affin
e
_
c
o
n
d
ition: remove redund
a
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
van
Haastr
e
gt
AX_
D
ETECT_GIT_HEAD: avoid empty v
e
rsio
n
string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
separate out shared PetScan::update_sc
o
p_s
t
art_end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_expr_dump: o
n
ly print expr->acc
.
ref_id if it is
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
scop
.
c: stmt_pr
o
paga
t
e
_params: also update
a
ccesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
ven Verdoolaege
scop
.
c: stmt_collect_p
a
r
a
ms: also collec
t
parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Ve
r
do
o
l
a
ege
scop
.
c:
*_c
o
llect_params: fix error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
p
e
t
_
scop_align
_
params: impro
v
e
e
rror handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verd
o
o
l
aege
p
et_scop_align_params
:
rename "dim" varia
b
l
e to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verd
o
olaege
PetScan::extract_nested: plug me
m
ory
l
eak
o
n err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Ver
d
o
o
laege
scan
.
cc: clear
_
assignment: fix logic
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
Pet
S
ca
n
::extract(I
f
Stmt *)
:
clear assignments
i
n bod
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Verdoolaege
Pet
S
can
:
:extract_infinite_for: also clear assignments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
P
e
tSca
n
::
e
xtr
a
ct
_
for:
always
k
e
ep
v
i
r
t
ual
iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
modify tests/
u
nsigned
3
.
c
te
s
t case
to use the it
e
rat
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoo
l
aeg
e
when a
u
todetectin
g
onl
y
skip
i
nitial declarations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do not extra
c
t loop around p
a
r
tial body when
a
utod
e
te
c
tin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven
V
erdoolaege
PetSc
a
n::extr
a
ct_
n
o
n
_
a
ffine_condition
:
take statement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolae
g
e
P
e
tSca
n
::extract_for: do
n
ot
al
l
o
w
init
i
al value to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoo
l
aege
Pe
t
Sc
a
n::extr
a
ct_for: clear assignmen
t
to iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sv
e
n Verdoolaege
P
etScan::uns
u
pported: pass fixed character string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdool
a
ege
configure
.
ac: add
llvm-config --
s
ystem
-
l
ibs to
CLAN
G
_LIBS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ve
r
doo
l
aege
upd
a
te isl for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven Verdoolaege
Makef
i
le
.
a
m
:
a
void use of INCLUDES variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoo
l
aege
AX_DETECT_GI
T
_H
E
AD:
d
etect git
vers
i
on
with newer
v
ers
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verdoolaege
README: add c
o
ntact informa
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Alber
t
Cohen
Support
for a
d
dit
i
o
n
al b
i
nary/unary operators
in C
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verd
o
olaeg
e
add a
f
fine assu
m
p
tio
n
s t
o
the
c
ontex
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
S
ven Verdoola
e
ge
parse __
p
encil_
a
ssume statemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
Sve
n
Verdoolae
g
e
extract
o
u
t PetScan::extract
_
a
rgument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
S
ven Verdoo
l
aege
add support fo
r
s
t
ructs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
add pet_scop_collect_tagged_mu
s
t_k
i
lls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ve
n
Verdoola
e
ge
a
d
d pet_scop
_
collect_m
u
st_kil
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdool
a
eg
e
scop
.
c: extr
a
c
t o
u
t expr_collect_acc
e
ss
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
scop
.
c
:
sc
o
p
_
collec
t
_accesses: rename
"dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaeg
e
add p
e
t
_expr_acc
e
ss_
g
et_tagged_
m
ay_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
add pe
t
_sco
p
_c
o
llect_ta
g
ged_{may,must}_{r
e
a
d
s,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
expor
t
pe
t
_expr_access_ge
t
_ma
y
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
l
a
ege
scop
.
c: expr_
c
ollect_accesses: plug
memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
ext
r
act o
u
t pet_clang_base_
t
ype int
o
separa
t
e file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoolaege
scan
.
cc: e
x
trac
t
out subscript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
scop
.
c: e
x
tract ou
t
*_is_vir
t
ual_array functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
o
olaege
pet_expr_from_in
d
e
x
_and
_
depth: e
x
t
r
act out extend
_
ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
V
e
rdoola
e
ge
in
t
r
oduce pet_typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
e
r
d
o
ola
e
ge
u
se isl_*_re
s
e
t
_
user
i
nstead of *_
a
n
o
ny
m
i
ze
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
update
i
sl for su
p
port
for memb
e
r
accesses in
A
ST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pet_expr_free: return
s
truct pet
_
expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolaege
Pe
t
Scan::resolve_nested
(
struct pet_stmt *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolae
g
e
PetScan::r
e
solv
e
_nest
e
d(
s
t
ruct pet_expr
*): rem
o
ve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
scan
.
cc: comput
e
_wrapping: r
e
move unused var
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
doolaege
sca
n
.
cc:
e
xtract_skip_seq: rem
o
ve unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
er
d
oola
e
ge
sca
n
.
c
c:
univers
a
lly
:
remove un
u
sed variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
PetScan::extract_affin
e
:
r
emove unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en V
e
rd
o
olaege
Makefil
e
.
am: ad
d
dumm
y
C++
source file to pet and pet_c
h
eck
_
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
sto
p
linking in clang l
i
braries directly
into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ver
d
oolaege
also print clang ve
r
s
i
o
n
w
hen printing pet version
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
e
g
e
R
EADME
:
upd
a
t
e latest release of LLVM/clang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verd
o
ola
e
ge
pars
e
.
c: remove s
p
urious
d
uplicate
decl
a
rati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
Sven Verdoolae
g
e
pet_scop_free: return struct pet_s
c
o
p
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-17
S
ven
Verdoolaege
PetScan::ex
t
ract(StmtRange, bool, bool):
b
reak out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verdoolaege
p
e
t_scop
_
c
ollect_{reads,writes}:
take argu
m
e
n
ts into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Ver
d
oolaege
pet_scop_collect
_
{reads,wri
t
es}
:
in
t
ersect
ra
n
ges with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n V
e
rdoolaege
scan
.
cc: ex
t
ract_de
p
th:
use corre
c
t
dimens
i
on type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-11
Sven Verd
o
ol
a
ege
pet_expr_from_
a
ccess_and_index
:
plug
memory lea
k
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-08
Sven Ve
r
d
o
o
lae
g
e
config
u
re
.
ac: remove explicit
depend
e
nce on gmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verd
o
ola
e
ge
dis
c
ard in
c
ompl
e
tely ex
t
racted compound
s
t
a
t
ements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
S
ve
n
Verdoolaege
fix handl
i
ng of c
o
mpound statements
w
ith initial
part
i
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
pet_transform_C_
s
o
urce: h
a
ndle m
u
ltiple exp
l
icitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add pet_sco
p
_pri
n
t_ori
g
i
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rd
o
ol
a
ege
a
d
d
p
et_transfo
r
m_C_source
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
extend PetASTConsum
e
r to
extr
a
ct
a
scop for each
func
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
post-prosces
s
sc
o
ps inside PetASTConsumer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaeg
e
add pet_stmt_build_
a
st_exprs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
a
d
d pet_stm
t
_print_body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d pet_scop_h
a
s_data
_
d
e
p
endent_conditions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add pet_scop_has_da
t
a_d
e
pendent_accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
pet_
c
heck_code: use
i
ndex expr
e
ssions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
a
ege
pet_ch
e
ck_c
o
de: use isl_id
_
to
_
pw_aff
f
or k
e
eping track
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
update
isl for
i
sl_i
d
_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olaege
keep track of in
d
ex
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
scop
.
c: fi
x
typo i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
upd
a
t
e
test case o
u
tputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
oolaege
scop
.
c:
i
n
sert_fi
l
ter_ma
p
:
construct f
u
nctio
n
intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
doolae
g
e
scop
.
c: updat
e
_domain:
u
s
e
f
unc
t
ion intead
o
f
relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
ve
n
Verdo
o
la
e
ge
scop
.
c: update_domain:
r
e
n
a
m
e va
r
iable "dim" to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
PetScan::resolve_nested: use fu
n
ction
t
o embed arguments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
P
etScan::
k
il
l
: use
pet_expr_k
i
ll_from_ac
c
ess_and
_
index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
sc
o
p
_
add_a
r
r
ay: t
a
ke i
n
dex expressi
o
n instead of ac
c
e
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next