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
extract out (nearly) shared pet_expr_access_from_id
2017-03-09
Sven Verdoola
e
ge
extract
out (nea
r
ly) shared pet_expr_acce
s
s_fr
o
m_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-09
S
v
en Verdoolaege
exp
r
_plus
.
cc: extract_dept
h
: use pet_id_
g
et_a
r
r
ay_ty
p
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-09
Sven Ve
r
doolae
g
e
P
e
tS
c
an: extra
c
t ou
t
p
et_ex
p
r_ac
c
ess_fr
o
m_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sv
e
n Verdoolaege
p
e
t_sc
o
p_collect
_
arrays:
o
nly collect siblings o
f
acc
e
ssed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
S
ven Verdoolaege
pet_scop
_
collect_
a
rr
a
ys: c
o
n
sider all access
e
d dat
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verd
o
ola
e
ge
pet_scop_collec
t
_ar
r
ay
s
:
only c
o
llect
su
b
fields of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
pet_arr
a
y: ex
p
l
i
citly
k
e
ep
t
rack of
w
hethe
r
array
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
up
d
ate test cas
e
o
ut
p
uts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven Ve
r
doolaege
tree
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
S
v
e
n
Verdoolaege
scop_plus
.
c
c
:
f
ix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
S
ven
V
erdoolaeg
e
support bitwis
e
assignment op
e
ra
t
o
r
s
i
n st
a
t
e
men
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sve
n
V
erdoolaege
PetScan
:
:extract_expr(B
i
naryOperator *): imp
r
o
ve
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
scan
.
h: add
m
i
s
sing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-03-08
Sven
V
er
d
oolaege
s
can
.
h
: pr
o
tect against mult
i
p
l
e inclusions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
S
v
en
V
erdoolaege
pet
.
cc
:
updat
e
t
o Comp
i
lerInstance::setInvocation
t
a
king
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-02-07
S
ven V
e
rdoolaege
update
isl
f
or support f
o
r rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-02
Sven Ver
d
oola
e
g
e
pet_scop_comp
u
te_o
u
t
er_to_i
n
ner:
i
mpr
o
ve
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolae
g
e
tree2scop
.
c: ki
l
l: drop unused
v
ariab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
scop
.
c: stm
t
_anonymize;
dr
o
p u
n
used
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
scop
.
c: expr_collect_a
c
cesses: drop
u
n
u
se
d
var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
ool
a
ege
sc
o
p
.
c: expr_collec
t
_ac
c
esses: drop
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdoolaege
scop
.
c:
expr_
c
ollect_acces
s
es: drop unused var
i
ab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdoolaege
scop
.
c: access_collect_params: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven
Verdoolaeg
e
scop
.
c: stmt_filter: dr
o
p unuse
d
var
i
abl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdo
o
laege
s
c
op
.
c: filter
_
im
p
lied: drop unused
v
ariabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
oolaege
s
cop
.
c: pet_scop_restrict
:
dr
o
p unused var
i
a
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
scop
.
c
:
s
c
h
e
dule_embed: drop unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
oolae
g
e
scop
.
c
: pet_impl
i
cati
o
n
_free:
d
rop unused var
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdoolaege
pet_codegen
.
c:
s
e
t
_options: drop unused variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdoolaege
p
et_c
h
eck_code
.
c
: ch
e
c
k_domai
n
: drop unused var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdoolaege
nest
.
c
:
pet_stmt_resolve_n
e
sted:
d
rop unus
e
d
v
ariab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ve
r
doolaege
filter
.
c: pet_filter_insert_pma: drop
unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ve
r
doolaege
expr
.
c:
e
xt
r
act_affine_from_access: drop
u
nus
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoola
e
ge
expr
.
c: int
r
oduce_
a
ccess_r
e
la
t
ions: dr
o
p unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
expr
.
c: i
n
tro
d
uce_access_re
l
ations: drop unus
e
d variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sv
e
n V
e
rdoolaeg
e
expr
.
c: construct_a
c
cess_
r
elati
o
n: drop unuse
d
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
o
olaege
pet_expr_acc
e
ss_se
t
_depth: drop unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ve
r
doolaege
expr
.
c: has_relevan
t
_acc
e
s
s_relation
s
: drop un
u
s
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en V
e
r
d
ool
a
ege
scop
.
c: drop un
u
s
ed pet_implic
a
t
i
o
n_embed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdool
a
e
ge
nest
.
c: drop unused p
e
t
_nested_remove
_
fr
o
m_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verd
o
olaege
emi
t
.
c
:
e
mit_named_unsign
e
d: call emit
_
unsigned instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdool
a
ege
pars
e
.
c: extra
c
t_
t
ree:
a
vo
i
d
uni
n
itialized rea
d
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verd
o
olaeg
e
parse
.
c: extract
_
e
x
pr
:
avoid uniniti
a
lized re
a
d on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-18
S
v
e
n Verdoolaege
pet 0
.
10
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-18
S
v
en Verdoo
l
aege
updat
e
isl to ver
s
i
on 0
.
18
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en
V
erdoolaege
tree2s
c
op
.
c: directly i
n
clude requir
e
d he
a
ders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sv
e
n Verdoolaege
tree
.
c
:
directly include requir
e
d headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdo
o
laeg
e
skip
.
c: direct
l
y include r
e
qu
i
red
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sven
V
erdoolaeg
e
sc
o
p
.
c: d
i
rectly include required headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Verdoolaege
print
.
c: directly
i
nclude re
q
uired headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sv
e
n Verd
o
o
la
e
ge
pa
r
se
.
c
: direc
t
ly include required heade
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Verdoolaege
nest
.
c: directly in
c
lud
e
req
u
ire
d
headers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sven Ver
d
o
o
laeg
e
expr
.
c: direct
l
y i
n
c
l
ude r
e
quir
e
d
h
eaders
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Ve
r
doola
e
ge
emit
.
c
:
directly
incl
u
de required head
e
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
aff
.
c
: di
r
ectly
incl
u
d
e
requ
i
red
header
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaeg
e
pet_sc
o
p_from_p
e
t_tree: take in
t
o acco
u
n
t
assum
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verd
o
olae
g
e
scop
.
c:
stmt_extract
_
context
:
extract out
pet_stmt_a
s
su
m
e_ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
S
ven Verdo
o
laege
privately export pet_
s
tmt_is_
a
ffin
e
_
a
s
s
ume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven
Ver
d
oolae
g
e
p
e
t_tree_is_affine_assume: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdool
a
e
g
e
pet_check
_
code: use pet_s
c
op_get_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verd
o
olaege
P
etScan::scan: detect a
n
d rep
o
rt unbalan
c
ed
p
airs of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-07
Sven V
e
rd
o
olaege
ScopLoc: keep track of SourceLoca
t
io
n
s of
s
cop and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdoolaege
tree2
s
cop
.
c
:
tree_is_
d
ecl: do not treat
empty block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
m
4
/ax_
d
etect
_
cl
a
ng
.
m4:fix des
c
ription
o
f SETLANGDEFAULTS_TAK
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdo
o
laeg
e
m4/
a
x_detect_clang
.
m
4:
i
mprove detection
of 5-a
r
g
u
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
update isl
for suppo
r
t for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oolaege
p
et
.
cc: u
p
date to C
o
mpiler
I
n
v
o
c
ation::se
t
LangDefaults
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
a
e
ge
update isl for supp
o
rt
f
or rece
n
t clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-06
Sven Verdo
o
laege
upd
a
te
i
s
l to version 0
.
17
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoola
e
ge
p
et 0
.
09
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-05-03
Sven Verdoolaege
update isl
t
o version 0
.
1
7
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven Verdoolaege
READM
E
: updat
e
latest
r
e
l
ease
of clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
V
e
r
d
oolaege
stop cre
a
ting
f
ake De
c
lRefExp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sv
e
n
Verdoolaege
scan
.
cc: extract_array
:
dro
p
r
e
du
n
dant local variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-26
Sven V
e
rdoolaege
scan
.
h: drop sp
u
ri
o
us semicol
o
n
af
t
er names
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-23
Sven Verdoolaege
support __builtin_assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-23
Sven Ve
r
doolaege
PetS
c
an::ext
r
act_
e
xpr:
e
xtract out is_assume
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-19
Sven Verdo
o
laeg
e
pet_expr_dump_with_i
n
dent: also indent
f
irst line
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven V
e
rdoolae
g
e
p
e
rform subst
i
tutions
on siz
e
ex
p
ression of array declared
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
S
v
en Verdoola
e
ge
sc
a
n
.
cc: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sve
n
Verdo
o
laege
a
d
d pet_su
b
stit
u
ter::s
u
bs
t
i
t
u
te(pet_expr *)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven Verdoolaege
a
d
d PetScan::
s
et_array_s
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven V
e
rdoolae
g
e
PetScan
:
:get_ar
r
ay_size: add extra cache keyed on array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
Sven Verd
o
olaege
add isl_id_to_pet
_
expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-15
S
v
en Verdo
o
l
ae
g
e
PetSca
n
::ge
t
_array_
s
ize: t
a
ke
isl_id representing a
r
r
a
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-12
S
ve
n
Verdoolaege
r
emove "c
o
n
st"
q
uali
f
ier fr
o
m the type of a scalar
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-12
Sven Verdoolaege
take into
acco
u
nt w
r
ites inside macro
st
a
t
e
ments du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-07
Sven Verdoolaeg
e
support empty
statem
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-07
Sven Verdoola
e
g
e
fi
x
r
enaming of inlined fun
c
tion argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-04
Sven Verdoolaeg
e
properly handle
arrays of type
d
efs and
s
t
r
ucts ins
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-04-04
Sven
Verd
o
o
laege
only keep
tra
c
k o
f
s
t
ruct de
f
initions once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-09
S
v
en Verdool
a
ege
add assignments t
o
undeclar
e
d
loop iter
a
tors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
S
ven Verdo
o
laege
t
e
s
t
s/inf4
.
c: use unsigne
d
int for inf
i
nite loop itera
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sven Ver
d
oolaege
t
r
e
e2scop
.
c: extract o
u
t scop_
f
rom_for_init
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
S
v
en Ver
d
oolaege
tree2sc
o
p
.
c: fi
x
mino
r
style issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sven
V
erdoolaege
t
r
ee2sco
p
.
c: scop_from
_
non_affine_fo
r
: rename arg
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-08
Sven
V
erdool
a
ege
tree2scop
.
c: fix ty
p
os i
n
co
m
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sve
n
Verdoolaeg
e
extract out pet_w
r
a
p
_aff an
d
pet_wra
p
_
pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven
Ver
d
oolaege
push affi
n
e cond
i
t
io
n
s into index
ex
p
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-03-07
Sven
Verdoolaege
privately expose pet
_
expr_ac
c
ess
_
h
as_a
n
y_access_relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
