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 removal of DefaultImageName Driver constructor argument
2014-08-31
S
ven Ve
r
doolaege
upd
a
te for removal of Def
a
ultImage
N
ame Driver constructor
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-31
Sven Verdoolaege
u
p
date
i
sl for
s
uppo
r
t
f
or recent cla
n
gs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-11
Sven
V
e
rdoo
l
aege
pe
t
_ex
p
r_new_unary: t
a
k
e
type size a
r
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-08-06
Sven Verdoolaege
pet_scop
_
collect_domai
n
s:
proper
l
y handle
stateme
n
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
pe
t
_stmt
_
prin
t
_bo
d
y:
d
o
not print any
t
hing fo
r
kil
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
v
en Verdoola
e
ge
f
i
x
quasi_affine
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n
V
e
r
d
o
olaege
pet_tr
e
e_dump: fix typo i
n
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
o
laege
scop
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
S
ven Verdoolaege
scop
.
c: scop_all
o
c:
plug me
m
o
r
y leak on erro
r
path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sv
e
n Verdo
o
laege
exp
r
.
c: extract_aff
i
ne_mul: abort
o
n error rat
h
er
t
han
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
P
e
tSca
n
::s
e
t
_
up
p
er_b
o
unds: handle
a
rrays
d
eclared ins
i
de
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
S
ven van Haastreg
t
allow sp
e
c
ification of summary
functi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-07-09
Sven Ver
d
o
ol
a
ege
derive access relations of
c
a
l
l
e
xpression
s
from fu
n
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
add pet
_
e
x
pr_map_call
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
ge
add
p
et_expr_access_get_augme
n
ted_dom
a
in_sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
PetScan::extract_expr(CallExpr *): extract function
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
p
e
t_expr: keep track of f
u
nction summaries in call
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
p
e
t_expr: put pet_e
x
pr_call f
i
eld in substruct
u
r
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
intr
o
duce pet_function_
s
umma
r
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pe
t
_
e
x
pr_ac
c
ess_set_access: set read/write on non
-
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
bre
a
k
u
p
acc
e
s
s relations i
n
to m
a
y_re
a
d/may_write/must_write
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doola
e
g
e
add pet_union_map_
m
ov
e
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
intr
o
d
uce pet_expr_access_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
erdool
a
eg
e
dr
o
p pet_expr_from_acc
e
ss_a
n
d_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
explicitly
mark ki
l
l acces
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
pet_expr
:
r
e
present read/wr
i
t
e flags as bits
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aege
pet_expr: do
c
ument the read and
wri
t
e fields
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
break up a
c
cess r
e
lations into may_read/may_write/must_write
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ve
r
doolae
g
e
pet_expr_tag_access: avoid
use of tar
g
et
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
postpone
introducti
o
n of a
c
c
e
ss r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoolaege
emit
.
c: emit_expr: extract
o
ut emit_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
d
r
op pet_expr_a
c
cess_get_
a
c
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
nest
.
c
: move is_sub_ac
c
ess to expr
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
e
rdoolaege
tree2sco
p
.
c: ex
t
ract_kill: up
d
at
e
ki
l
l exp
r
ession rath
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
olae
g
e
pet_expr_is_a
f
fine: a
v
oid us
i
n
g
access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven
V
e
r
d
o
ola
e
ge
pet_e
x
pr_filter
:
a
v
oid u
s
ing acc
e
s
s
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaege
p
e
t_
e
xpr_access_upda
t
e_domain: avoid u
s
in
g
access
relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
pet_exp
r
_access_get_mus
t
_access: avoid usin
g
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n
V
erdoolaege
pet_
e
x
p
r_access_ge
t
_id: av
o
id using access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
expr
.
c: access_add_
r
ef_id: a
v
oid using access
r
elation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verd
o
olaeg
e
scop
.
c: a
c
cess_coll
e
ct_params: av
o
id usin
g
access relation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verd
o
olaege
scop
.
c: implies_filter:
avoid us
i
ng access relatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
scop
.
c: acces
s
_
e
x
tract_context: avoid using access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en Verdoolaege
sc
o
p
.
c: expr_extra
c
t_
c
ontext: avoid usi
n
g
a
ccess re
l
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verd
o
olaege
scop
.
c: extract out sha
r
ed drop_ar
g
uments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
pet_expr_access_update_domain
:
m
i
nor c
l
ean-up of expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
further
generalize compute_to_inne
r
to support
pet_scop_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
gener
a
lize
c
o
mpute_
t
o_inner
to support pet_scop
_
comput
e
_o
u
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdo
o
l
aege
scop
.
c:
c
ompute
_
to_inner:
micro-optimi
z
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-06-19
Sven
V
erdoola
e
ge
tree2scop
.
c
:
is_
n
ested_allowed: do no
t
allow ne
s
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-05-26
Sven
V
erdoolaege
P
e
tSc
a
n
::set_upper_bounds: use
declared size of stat
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
v
en
V
erdoolaege
scop
.
c
: re
s
trict_skip: update docu
m
ent
a
ti
o
n
to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoo
l
aege
tre
e
2scop
.
c: scop_ad
d
_
i
nc: ta
k
e into account affine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
Sve
n
Ve
r
d
oolaeg
e
tree2scop
.
c: mo
v
e up
a
p
ply_affine_continue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-24
S
ven Verdo
o
laege
tree2scop
.
c
: scop_
f
ro
m
_
n
o
n_
a
f
f
ine_while: extract o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolae
g
e
pet 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaeg
e
update isl
t
o
version 0
.
13
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
READM
E
: update LLVM
/
c
lang
i
nst
a
llatio
n
instru
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
interface/extrac
t
_int
e
rfac
e
.
cc: explicitly include
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaeg
e
u
p
date for
c
han
g
e in arguments of CompilerInstan
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
S
v
en Ve
r
doolaege
pet
.
cc: add space between l
i
teral and identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven
Verdoolaege
update isl for s
u
p
port
f
o
r recent c
l
angs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdoolaege
pet_st
m
t_from
_
pet_
t
ree: a
v
oid free of unini
t
ialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-06
Sven Ver
d
oolaege
scan
.
c
c: fix typo in c
o
m
m
en
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
p
e
t_scop
_
fro
m
_pet_stmt:
d
o
not extract cont
e
xt from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
S
v
en Ve
r
doola
e
ge
PetSca
n
::extract_argume
n
t
: ha
n
dl
e
p
a
ssing of entir
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-03
Sv
e
n Verdoolaege
Makefile
.
am:
a
d
d
d
ummy C++ source file
t
o pet_sco
p
_
c
m
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ver
d
oolaege
handle penc
i
l independent
pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
P
e
tScan
:
keep
t
rack
of
l
ine number of current Stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdool
a
ege
pet
.
c
c
:
e
xtract out PetASTC
o
nsumer::add_pragma_hand
l
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n
Verdool
a
ege
add e
n
cap
s
u
l
ate_dynamic_c
o
ntrol opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sve
n
Verdoolaege
pet_scop_from_pet_tr
e
e:
create s
t
atem
e
nts directl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
v
en Verdool
a
eg
e
r
e
place
p
et_stmt_from_pet_expr by
p
e
t_st
m
t_
f
ro
m
_pet_tree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verd
o
ol
a
ege
pet_st
m
t: use pet_
t
ree to represent statement
b
o
d
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c: extra
c
t
o
ut pet_stmt_is_af
f
ine_assume
and pet_stmt_a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
scop
.
c:
stmt_c
o
llect_accesses: use pet_expr_foreach
_
access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ver
d
oolaege
sco
p
.
c: stmt_collect_params:
us
e
pet_expr_foreach_
a
ccess_exp
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
keep t
r
a
ck of indentation
o
f extr
a
cted code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-31
Sv
e
n V
e
rdoolaege
up
d
a
t
e test case
o
utputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
extract enum constants as their
int
e
g
e
r values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
PetScan::
e
xtract_int:
s
e
p
arate out
extr
a
ction fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
PetScan::extract_unsig
n
ed: tu
r
n int
o
a static function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Ve
r
doolaege
sca
n
.
cc: ch
a
nge textual
order
of ext
r
act_unsigned an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoo
l
a
e
ge
pet_check_code
.
c: use pet_expr_extract_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
e
rdoolaege
export
pet
_
expr_extrac
t
_
affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verdoolaege
pe
t
_context: no l
o
nger keep track of "unknown" values
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n
Verdoolae
g
e
pe
t
_expr_extract_aff
i
ne: no longer c
r
eate new p
a
rameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdoolae
g
e
P
e
tSc
a
n::extract_scop: po
p
ul
a
te pet_
c
o
ntext
w
ith parame
t
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
scan
.
c
c
: move up
static
get
_
ar
r
ay_type function in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
PetSc
a
n::get_array_size: cache r
e
sults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
PetScan::
s
et_upper_bounds: extr
a
ct ou
t
PetSc
a
n::get_array_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
e
x
pr_is
_
equal: compare i
n
d
e
x
e
x
pressions up t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_expr_
e
xt
r
a
c
t_affine: exploit dom
a
in inf
o
rmation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdo
o
l
a
ege
add
p
et
_
context_g
e
t_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erdool
a
ege
tree2scop
.
c: sc
o
p_from_block: co
l
lec
t
affine
c
ontinue
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven
Ver
d
o
olaege
p
e
t
_
sco
p
_fro
m
_pet_tree: ext
r
a
ct pet_
s
co
p
from
t
h
e
root
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
add
f
u
n
c
tio
n
s for manipulating
the domain of
a pet_co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sven V
e
rdoola
e
ge
pet
_
scop_restri
c
t: also re
s
t
r
i
c
t virtual array extents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaeg
e
pet_context_evaluat
e
_expr: first insert d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-25
S
ven Verdoolaege
pet_check_cod
e
: remo
v
e tr
a
c
k
in
g
of assignments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
