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
update for change in TargetOptions refcounting
2014-09-02
Sven Verdo
o
la
e
ge
u
p
d
ate for change in
T
argetOptions
refcounting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-02
Sven Verdo
o
la
e
ge
upda
t
e f
o
r
removal o
f
llvm/ADT/OwningPtr
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven
V
e
rdoola
e
ge
i
nterface/
e
xt
r
act_interfa
c
e
.
cc: avo
i
d
u
se
o
f So
u
rceManager
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sven Ve
r
d
o
olaege
update
f
or removal of DefaultImageName
Driver co
n
structor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-31
Sv
e
n Verdoola
e
g
e
u
pdate isl
f
or support for
r
e
cent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-11
Sven Ve
r
dool
a
e
ge
pet_expr_new_una
r
y: take ty
p
e si
z
e argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoo
l
aege
pet_scop_collect_domains: properly h
a
nd
l
e statements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
doolaege
pet
_
s
t
mt_pr
i
nt_
b
ody
:
do not print
a
nythin
g
for kill
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
fix
qu
a
si_
a
ffine test ca
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Ve
r
doolaege
pet_tree_
d
u
m
p: fix typ
o
in
o
utpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
s
cop
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
d
oo
l
ae
g
e
scop
.
c:
scop_alloc: p
l
ug
m
emory leak on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdo
o
lae
g
e
exp
r
.
c: extr
a
ct_affin
e
_mul:
a
bor
t
on error
rather th
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoo
l
aege
P
e
tScan::se
t
_upper_bounds: handle
a
rrays d
e
clared insid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
v
an Haastregt
allow
s
pecification of
s
u
m
ma
r
y functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven Verdoolaege
der
i
ve
a
ccess r
e
lations of call expressions
fro
m
f
unction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolae
g
e
a
dd pet_
e
xpr
_
map_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
add pet_expr_access
_
g
et_augm
e
nted_dom
a
in_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaeg
e
P
e
tScan::extract_expr(CallExpr *):
e
xtract
function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolae
g
e
pet_expr
:
k
e
e
p
track of funct
i
on
su
m
m
aries in c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_exp
r
: put pet_expr_c
a
ll f
i
eld in su
b
s
t
ructure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olaege
introduce pet
_
fun
c
tion
_
summa
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olae
g
e
pet_expr_access_set
_
access: set read/write on non-em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
lae
g
e
break
u
p access relations i
n
to may
_
r
ead
/
ma
y
_
write/must_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Verdo
o
laege
a
d
d pet_union_map_move_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
in
t
roduce
pet_expr_a
c
cess_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdool
a
ege
dro
p
pet_exp
r
_from_access_and_in
d
ex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n V
e
rdo
o
laege
explicitly m
a
rk ki
l
l accesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdool
a
eg
e
pet_exp
r
:
r
e
p
r
ese
n
t rea
d
/write
flags as bits
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdo
o
laege
pet
_
expr:
d
ocument th
e
read and write fi
e
lds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erd
o
o
laege
br
e
ak up access relations into may_
r
ead/may_write/
m
ust_write
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet_expr_tag_access:
a
v
oid use of targ
e
t s
p
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n
V
er
d
oolaege
postpone introd
u
ction of acc
e
s
s relat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
e
mit
.
c:
em
i
t_expr: ex
t
r
a
ct out
emit_access_ex
p
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Ver
d
oolaege
drop pet_expr_a
c
cess_get_
a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoolaeg
e
nest
.
c: move is
_
sub_access to e
x
p
r
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
tree2scop
.
c:
e
xtract_kill: update k
i
ll expression ra
t
her
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
dool
a
ege
pe
t
_
expr_is_affin
e
: avoid us
i
ng acce
s
s rela
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr_filte
r
: a
v
oid using
a
ccess relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr_access_update_domain: avoid us
i
ng access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaeg
e
pet_expr
_
access_ge
t
_must_ac
c
ess
:
avoid usin
g
ac
c
ess
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
e
n V
e
rdoolaege
pet
_
expr_access
_
get_i
d
:
a
void using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
expr
.
c:
access_add_ref_id: a
v
oid using
access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_collect_
p
a
rams: a
v
oid us
i
ng access r
e
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
cop
.
c: impli
e
s_filter: avoi
d
using access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: acce
s
s
_extract_c
o
n
text: avo
i
d using
acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
ola
e
g
e
scop
.
c: expr_extract_co
n
text: avo
i
d using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
Verdoola
e
ge
s
c
op
.
c: extr
a
ct
o
ut sh
a
red
d
rop_ar
g
uments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
pet
_
ex
p
r
_
access_update_dom
a
in: minor cle
a
n-up of expressi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
furth
e
r generali
z
e compute_to
_
inner to support pet_
s
cop_comp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
la
e
ge
g
eneralize
compute_to_inner to
su
p
port pet_scop_compute_oute
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolaege
sco
p
.
c: co
m
pute_to
_
inner
:
micro-optimizati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sv
e
n Verdoolaege
tree2s
c
op
.
c: is_nested_allowed: do not allow
n
esting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
Sven V
e
r
doolaege
PetScan::s
e
t_upper_b
o
unds: use declared size of s
t
atic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c
:
restrict_skip: up
d
ate documen
t
ation to change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
tree2scop
.
c
:
sc
o
p_add_inc: take into
account af
f
ine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
Ver
d
oolaege
tr
e
e2sc
o
p
.
c: mo
v
e up
a
pply
_
affin
e
_c
o
ntin
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven
V
erdoolaege
tre
e
2sc
o
p
.
c
:
scop_from_non_a
f
fine_w
h
i
le: extract out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
v
en Verdoolaege
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdoolaege
update
i
s
l
to
v
ersion 0
.
13
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoola
e
ge
READM
E
:
u
pdate L
L
VM/clan
g
in
s
tallation instructions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
ege
i
n
terface/
e
xtrac
t
_
interface
.
cc:
e
xpli
c
itly inc
l
ude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Ver
d
o
o
lae
g
e
up
d
ate for change
i
n
a
rguments of Compi
l
erInstance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
pe
t
.
cc:
ad
d
s
p
ace bet
w
een liter
a
l an
d
ident
i
fier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verd
o
olaege
update
i
s
l
f
or suppo
r
t fo
r
recent cl
a
ngs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
rdoolaege
pet_st
m
t_fro
m
_pet_tree: avoi
d
f
r
ee of
un
i
niti
a
lized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
S
v
en Verdoolaege
s
can
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven V
e
rdoolae
g
e
pet_scop_fr
o
m
_pe
t
_stmt:
d
o not ex
t
rac
t
context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
PetScan:
:
e
x
tract_ar
g
umen
t
: handle passing
of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoola
e
g
e
M
a
ke
f
il
e
.
am: add dummy
C
++ sou
r
ce
f
i
le t
o
pet_sc
o
p_c
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaege
handl
e
penci
l
i
n
dependen
t
pragm
a
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
erdoolaege
PetScan:
ke
e
p track
o
f line nu
m
ber of curr
e
nt Stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
pet
.
cc: ex
t
r
act out P
e
tASTCons
u
me
r
:
:
add_pragma_
h
andler
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdoolaege
ad
d
encapsulat
e
_dy
n
amic_control
optio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
pet_scop_from_p
e
t_tree
:
creat
e
s
t
atements directl
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven V
e
rdoo
l
aege
r
e
place pe
t
_stmt_from
_
pet_
e
xpr by pet_stmt_from
_
pet_tr
e
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaeg
e
p
et_stmt
:
use
pet_tree to represe
n
t statem
e
nt
b
ody
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c
:
extract out pet_
s
tmt_is_affine
_
assume and pet_
s
tmt_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
e
n V
e
rdoo
l
aege
scop
.
c: s
t
mt_collec
t
_accesses
:
u
se
p
et_expr_foreach_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en
Verdoolaege
scop
.
c: stmt_co
l
lect_params: us
e
pet_expr_for
e
ach_acces
s
_exp
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoo
l
aege
keep tra
c
k
of indentation of extract
e
d code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdool
a
ege
update test c
a
se outputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
extract enum constants as their integer v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
PetSc
a
n::e
x
tract_int:
s
eparate out extraction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rd
o
ol
a
eg
e
Pe
t
Sca
n
::extract_unsigned:
t
u
r
n into a static
f
unction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
l
a
e
g
e
scan
.
cc: change textual
order of extr
a
ct_uns
i
gned
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
aege
p
e
t_c
h
e
c
k
_code
.
c
:
use
p
et_exp
r
_e
x
tract_
a
ffine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
export pet_expr_extrac
t
_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_context: no lon
g
er k
e
ep track of "unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_extract_affine
:
no lon
g
er create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetSc
a
n::extract
_
scop: populate
p
e
t_cont
e
xt
w
i
th parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
cc: mov
e
up static get_arr
a
y_
t
y
pe
f
u
n
ction in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::get_array
_
siz
e
:
c
ache result
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoolaege
PetS
c
an
:
:set_up
p
er_bounds: ex
t
r
a
ct out PetScan::get_array_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Verdoo
l
aege
p
e
t_exp
r
_
i
s_equal: compare i
n
dex ex
p
ressions up
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n Ver
d
oolaeg
e
pe
t
_expr_e
x
t
r
act_affine: ex
p
loit domain information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
oola
e
ge
ad
d
pet_conte
x
t_get_gist_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdo
o
laege
t
ree2scop
.
c:
scop_fro
m
_
b
lock: collect affine co
n
tinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolaege
pet_scop_from_pet_tree:
extract pet_sco
p
from the ro
o
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoo
l
aege
add function
s
f
o
r
manipulating the do
m
a
i
n of a pet_
c
o
nt
e
xt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next