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_scop_collect_arrays: consider all accessed data spaces of an array
2017-03-08
Sven Verdoolaege
pe
t
_
s
cop_collect_arr
a
ys: consider all accessed data
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
V
e
rdoo
l
a
ege
p
et_scop_co
l
l
e
ct_
a
rr
a
ys: only collect subfi
e
lds of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
Verdoolae
g
e
pet_array: explicitl
y
kee
p
track
o
f wh
e
ther array is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven
V
erdoolaege
u
p
date t
e
s
t
case outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoolaege
t
r
e
e
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdool
a
ege
s
c
op_plus
.
cc: fix typos i
n
c
o
mme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoo
l
aege
support
bit
w
is
e
a
ss
i
gnment opera
t
ors i
n
stat
e
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verdoola
e
ge
P
e
t
S
can::ex
t
ract_ex
p
r(Bin
a
ryOp
e
rato
r
*): improve e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Ver
d
oolaege
scan
.
h: a
d
d missing inc
l
ude
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-03-08
Sven Verd
o
olaege
scan
.
h: pro
t
ect against multiple inclusion
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Verdoo
l
ae
g
e
pet
.
cc: update
t
o
CompilerInstance::se
t
Invocation taking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-02-07
Sven Ve
r
doola
e
ge
update i
s
l for sup
p
ort for rec
e
nt
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-02
S
ven V
e
rdoolaege
p
e
t_scop_comp
u
t
e
_outer_to_
i
n
n
er:
i
mprove
han
d
ling of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
Verdoolaeg
e
tree2scop
.
c: kill: drop unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
scop
.
c: stmt_an
o
nymize; drop unu
s
ed var
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoo
l
aege
scop
.
c: expr_collect_acces
s
es
:
drop unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdool
a
ege
s
co
p
.
c
: expr_
c
ollec
t
_a
c
c
e
sses: drop un
u
sed vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Ve
r
do
o
l
a
e
ge
scop
.
c:
e
xpr_collect
_
accesses:
drop unus
e
d va
r
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verd
o
olaege
sc
o
p
.
c: access_
c
ollect
_
p
arams: drop un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
ven
V
er
d
oo
l
aege
scop
.
c: stmt_f
i
lter:
drop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
scop
.
c: filter_impl
i
ed: d
r
op unus
e
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolae
g
e
s
c
op
.
c: pet_
s
cop_r
e
st
r
ict:
drop
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
scop
.
c: schedule_embed
:
d
rop unused v
a
riab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
s
cop
.
c: pet
_
implication_fre
e
:
d
rop unused
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
pet_codegen
.
c
:
set_
o
ptio
n
s: drop unused var
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
V
erdoolaeg
e
pet_check_code
.
c:
c
he
c
k_domain: drop unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erd
o
ola
e
ge
nest
.
c: pet
_
s
t
mt_re
s
olve_n
e
sted:
d
ro
p
unused
vari
a
ble
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ver
d
oolaege
filter
.
c: pet_filter_insert_pma: drop u
n
u
s
ed
v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven
V
erdoolaege
e
x
pr
.
c:
ext
r
act_affine_
f
rom_access: drop unused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoolaege
expr
.
c: in
t
roduce
_
ac
c
es
s
_
relations:
d
rop unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Ve
r
doola
e
ge
e
x
pr
.
c:
introduce_acces
s
_relat
i
ons
:
dro
p
u
nused variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoo
l
ae
g
e
e
xpr
.
c:
c
onstruc
t
_
a
c
c
ess_
r
elation: dro
p
unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
S
v
en Verdoolae
g
e
pet_expr_access
_
set_depth:
drop
unused variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdo
o
laege
expr
.
c: has_relevant_access_relati
o
n
s
:
drop unused
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verd
o
olaege
scop
.
c: drop un
u
s
e
d pet_implication_e
m
bed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Verdoo
l
aege
nes
t
.
c
:
drop unus
e
d pe
t
_nes
t
ed_r
e
move_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sve
n
Verdo
o
laeg
e
emit
.
c: emit_named
_
u
n
signe
d
: call emit_unsigned instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven Ve
r
doolaege
pa
r
se
.
c: e
x
t
ract_t
r
ee:
a
void unin
i
t
i
alized read on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-26
Sven V
e
rdool
a
ege
parse
.
c: extract_expr: avoi
d
uniniti
a
lized read on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sve
n
Verdool
a
e
ge
pe
t
0
.
10
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-18
Sven Verdoola
e
ge
up
d
ate i
s
l to versi
o
n 0
.
1
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sv
e
n Verdo
o
l
a
e
ge
tr
e
e2scop
.
c
: directly in
c
lude req
u
i
r
e
d
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdool
a
ege
tr
e
e
.
c: di
r
ect
l
y incl
u
d
e
required he
a
ders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
ven Verdoo
l
a
e
ge
skip
.
c
: dire
c
tly inc
l
ud
e
required
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Verdoolaege
scop
.
c: dir
e
c
t
ly includ
e
requ
i
red
headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
pri
n
t
.
c:
d
irectly include
r
equired
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
parse
.
c
: directly include requi
r
ed
h
eaders
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven
Verd
o
olae
g
e
nest
.
c
: direc
t
l
y include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
S
v
en Verdoolaeg
e
e
xpr
.
c
: directly include required hea
d
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaege
emit
.
c: directly include req
u
ired headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-08
Sven Verdoolaeg
e
aff
.
c: dire
c
tly include required headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-23
Sven V
e
rdoolaege
pet
_
s
cop_from
_
p
et_tree: take into
a
c
c
o
un
t
assu
m
p
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdoolaege
s
c
op
.
c
:
s
t
mt_extr
a
ct_c
o
nte
x
t:
extr
a
c
t out pet_stmt_assume_g
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
S
ven
V
erdoola
e
g
e
privately expor
t
pet_stmt_is_aff
i
ne_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verd
o
o
l
a
ege
pet_
t
r
e
e_is_aff
i
ne_assume: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
S
v
e
n Verdoola
e
ge
pet_check_c
o
de: use pet_scop_get_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
S
v
en Verdoolaege
PetScan::scan: detec
t
and repor
t
unba
l
a
nced pairs of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
Sven Verdoolaege
S
c
o
p
Loc: keep trac
k
of S
o
ur
c
eLocations o
f
sco
p
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-11-07
S
ven Verdoolaege
tre
e
2s
c
op
.
c
: tree_is_d
e
cl: do not treat empty
b
lock
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verd
o
olaege
m
4/ax
_
detect_cla
n
g
.
m4:fix des
c
ri
p
tion o
f
S
E
TLANGDEF
A
ULTS_TAK
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sven Verdoolaege
m4/ax_detect_clan
g
.
m4: improve
d
etect
i
on of
5-argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-09-04
Sve
n
Verdoolaege
update isl for support for
r
e
c
e
nt c
l
an
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verd
o
ol
a
ege
pet
.
c
c
: up
d
ate to Comp
i
l
erI
n
vocatio
n
:
:
setLangDefaults
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdo
o
laege
update isl for support
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-06
Sve
n
Verdoolaeg
e
update isl to versi
o
n 0
.
17
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
S
ven Verdoolaege
pet 0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-05-03
Sven Ver
d
oolae
g
e
u
pdate isl to versi
o
n 0
.
17
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
S
ve
n
Verdo
o
lae
g
e
README
:
u
p
date latest release of
c
lang
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
S
v
en
V
erdoolaege
stop
c
reating fake Decl
R
efExpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sve
n
Verdoolaege
scan
.
cc: extra
c
t_array: dr
o
p red
u
ndant loc
a
l v
a
ria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-26
Sven V
e
rdoola
e
g
e
sc
a
n
.
h: d
r
op spurious semicolon after namespace
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
S
v
en Verd
o
olaege
PetScan::extr
a
ct
_
expr: e
x
t
r
act out is_assume
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-19
Sven Verd
o
olaege
p
e
t_expr_dump_with_in
d
ent: also
i
ndent first line
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
Sven V
e
rdoolaege
pe
r
form substitut
i
o
n
s on
size expression of array
d
ecl
a
r
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
Sven Ve
r
doolaege
s
can
.
cc: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
Sven
Verdo
o
l
aege
add
p
et_sub
s
tituter::su
b
stit
u
te(p
e
t_expr *)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
Sven Ve
r
d
o
ol
a
ege
a
d
d PetScan::se
t
_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
S
v
en
Verdoolaeg
e
PetSc
a
n::get_a
r
ray_si
z
e
: ad
d
extra
c
ache k
e
ye
d
o
n
array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
Sven Verd
o
olaege
ad
d
isl
_
id_to
_
pet_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-15
S
v
en Verdo
o
laege
PetScan:
:
get_array_siz
e
: ta
k
e
isl_id
r
epresenting array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-12
Sven Ve
r
do
o
laege
remove "const" qualifie
r
f
rom the typ
e
of a scalar
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-12
S
ven Verdoolaege
take
i
n
to
a
ccount writes inside macro sta
t
e
m
ents dur
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-07
Sven V
e
rdoolae
g
e
s
u
pport e
m
pty statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-07
S
v
e
n Verdool
a
ege
fix renaming of inline
d
function ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-04
Sven
V
e
r
do
o
laeg
e
properly handle ar
r
ays of t
y
p
e
d
ef
s
a
n
d structs inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-04-04
Sven Verdool
a
ege
o
n
ly keep track
o
f st
r
u
c
t defi
n
ition
s
once
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-09
Sven V
e
rdo
o
laege
add assignmen
t
s t
o
und
e
clared loo
p
iterators
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-08
Sv
e
n
V
e
rdoo
l
a
e
ge
tests/inf4
.
c: use unsi
g
ned int fo
r
infini
t
e
loop
i
ter
a
tor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-08
Sven V
e
r
d
oolaege
tree2sco
p
.
c
:
e
xtract out scop_from_for_init
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-08
Sven Verdoolaege
tree2scop
.
c: fi
x
m
in
o
r style
issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-08
Sven Verdo
o
laege
t
r
e
e2
s
co
p
.
c:
sco
p
_from_non
_
affi
n
e_
f
or:
r
enam
e
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-08
Sven Verdoola
e
ge
tree2scop
.
c: fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoolae
g
e
extr
a
c
t
out pet_wrap_aff and pet_w
r
a
p
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoola
e
ge
push
a
f
fin
e
c
o
ndi
t
ions into index e
x
pression
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
S
ven Verdoolaege
p
riv
a
tely expos
e
pet_e
x
pr_access
_
has_an
y
_access_relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven Verdoola
e
ge
add pet
_
expr
_
i
s
_same_
a
cces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sv
e
n
Verdoolaege
a
dd pet_expr_
m
ap_
o
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
S
ven
V
erdool
a
ege
expr
.
c
:
e
x
tr
a
ct out
pet_expr_get_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-07
Sven
Verd
o
olaege
pet_
c
on
t
e
x
t
_
e
valuate_expr:
plug
i
n
a
ffine expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next