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
scop.c: fix typo in comment
2014-07-17
Sven Verdo
o
laege
s
cop
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verdoolaege
scop
.
c: scop_alloc: plug
memory leak o
n
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Ve
r
d
o
olaege
e
x
pr
.
c: extract_
a
ff
i
ne_mul: abort
on error rathe
r
t
h
a
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-17
Sven Verd
o
ol
a
ege
PetScan::set_upp
e
r
_bounds: h
a
ndle a
r
rays dec
l
ared inside
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-07-09
Sven
V
erdoolaege
d
erive access relations o
f
call expression
s
from function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rdoo
l
aege
a
dd p
e
t_expr_ma
p
_call
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven
Ver
d
o
o
l
aege
ad
d
p
e
t_expr_access_get_augme
n
ted_
d
omain_s
p
ac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdoola
e
ge
Pet
S
ca
n
::
e
xtract_exp
r
(Call
E
x
p
r *):
extract function
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_
e
xpr:
k
eep track of
f
unction su
m
maries in
c
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven V
e
rd
o
olae
g
e
pet_expr: p
u
t p
e
t_expr_call field in substr
u
ctur
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
ae
g
e
introduce pet_function_summary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n V
e
rdoolaege
pet_expr_access_se
t
_acc
e
ss: set
re
a
d/write
o
n no
n
-empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
break
u
p
ac
c
e
s
s relations into may_read/may_write/
m
ust_write
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
o
o
lae
g
e
add p
e
t_
u
n
ion_map_m
o
ve_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
intr
o
d
uce pet
_
expr_access_
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop pet_expr
_
f
rom_a
c
cess_a
n
d_i
n
dex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
exp
l
icitly
m
a
rk
k
i
ll
a
ccesses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
pet_expr
:
repres
e
nt read/w
r
it
e
flags a
s
b
i
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
e
g
e
pet_expr
:
document t
h
e r
e
ad
and
write fiel
d
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdo
o
laege
break
u
p acc
e
ss relatio
n
s into may_read
/
may_write/
m
ust_wr
i
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoolae
g
e
pe
t
_expr_tag_access:
a
v
oid use of target sp
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sv
e
n Verdoola
e
ge
p
ostpone introduction of access rel
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Verdool
a
ege
emit
.
c: emit_e
x
pr: extra
c
t out emit_access_expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
drop
p
e
t_expr_
a
c
cess_get_ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
nest
.
c:
mov
e
is_sub_access to expr
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en
V
e
rdoolaege
tr
e
e2scop
.
c
:
extr
a
ct
_
kill:
update
k
ill exp
r
ession rather
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaeg
e
pet_expr_is_affine: avoid using access relat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolaege
pe
t
_ex
p
r_fil
t
er: avoid using access rela
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven V
e
rdoolaege
p
et_expr_ac
c
ess_
u
pdate_domain: avo
i
d
u
sing access
r
elatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoo
l
aege
pet_expr_acces
s
_get
_
must_acces
s
: avoi
d
using acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolae
g
e
pet_expr_access_g
e
t
_
i
d: avoi
d
using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ver
d
oolaege
expr
.
c:
access_add_
r
e
f_id: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
ven Ver
d
oolaege
scop
.
c
:
access_co
l
lect_params: avoid
u
sing a
c
cess relat
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
s
c
op
.
c: implies_f
i
lter: avo
i
d using access relati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoolaege
scop
.
c: access_e
x
tr
a
ct_context: avoid using access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdoola
e
ge
sc
o
p
.
c: expr_extract_cont
e
xt: avoid using access relation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doolae
g
e
scop
.
c: ext
r
act ou
t
sha
r
ed drop_arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Ve
r
doo
l
aeg
e
pet_expr_access_u
p
date_do
m
ain:
m
inor clean
-
up of e
x
pression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
S
v
en V
e
rdoolaege
f
u
rther gen
e
ralize compute_to_inner to supp
o
rt pet_scop_co
m
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sven Verdool
a
ege
g
eneralize compute_t
o
_inner
t
o support pet_scop_compute_o
u
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-20
Sve
n
Verdoolaege
sc
o
p
.
c: comp
u
t
e_
t
o_inn
e
r: micro-optimization
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-19
Sven Ver
d
oolaege
tree2sc
o
p
.
c
:
is_ne
s
ted_allowed: do
no
t
allow nesti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-26
S
v
en Verdool
a
eg
e
PetS
c
a
n
::set_uppe
r
_bo
u
nds: use de
c
l
ared
s
ize of sta
t
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sven Verdoolaege
scop
.
c: res
t
rict_s
k
ip: update docu
m
entation t
o
change
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdo
o
la
e
ge
tree2
s
cop
.
c: scop
_
add_inc: take into acc
o
u
n
t affine
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verdoolaege
tree2scop
.
c: move up ap
p
ly_affine_contin
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-24
Sv
e
n Verd
o
o
l
aege
t
r
ee2scop
.
c
:
s
cop_from
_
non_aff
i
n
e
_while: e
x
tract
out
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
Verdool
a
ege
p
et 0
.
05
commit
|
commitdiff
|
tree
2014-04-14
Sven Ver
d
ool
a
ege
update isl to
v
e
rsion 0
.
1
3
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-13
Sven Verdoolaege
README: update LLVM/c
l
ang instal
l
ation instr
u
c
ti
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sve
n
Verdoolaege
i
n
terface/ext
r
act_interface
.
cc: explic
i
t
ly
i
nclude
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdoolaege
update for cha
n
ge
in arguments of Compi
l
e
r
In
s
tance
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven V
e
r
d
oolaege
pe
t
.
cc: add sp
a
c
e
between li
t
eral and identifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven Verdool
a
e
g
e
upd
a
te isl for support for
recent
clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-11
Sven
V
erdo
o
laege
pet_st
m
t_from_pe
t
_
tree: avoid free
of un
i
niti
a
lized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-06
Sven Verdoola
e
ge
scan
.
c
c
: fix t
y
po in
c
ommen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdool
a
ege
pet_scop_fr
o
m_
p
et_stmt: do not extract context from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdool
a
ege
PetScan::extract_argument: handle
p
assing of enti
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-03
Sven Verdoolaege
M
akefile
.
am:
a
dd d
u
mmy C+
+
source f
i
le
t
o
pet_scop_cmp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sv
e
n Verdoolaege
han
d
le
p
enci
l
inde
p
endent pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
d
o
ola
e
ge
PetScan: keep tr
a
ck of line number of curre
n
t St
m
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoola
e
ge
pet
.
c
c: extrac
t
out PetASTConsumer::
a
d
d
_pragma_handlers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
a
dd encapsulate_dynamic_control option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven
V
e
rdo
o
l
a
ege
pet
_
scop_fro
m
_pet_tre
e
: c
r
eat
e
statements d
i
re
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolae
g
e
replace pet_stmt
_
f
rom_pet_expr by pe
t
_stm
t
_from_pet_tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Verdoolaege
pet_stmt
:
use pet_tree to represent
s
tatement body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verdoolaege
s
cop
.
c
: extr
a
ct ou
t
pet_stmt_is_affine_assume and pet_st
m
t_a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Ve
r
doolaege
scop
.
c: stmt_c
o
l
l
ect
_
accesses: use pet_e
x
pr_f
o
r
each
_
access_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
olaege
scop
.
c: stmt_c
o
l
lect_par
a
ms: use
pet_ex
p
r_fore
a
ch_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
S
ven Ve
r
doolaege
keep tr
a
ck of inden
t
a
tion of extracte
d
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-31
Sven Verd
o
ol
a
ege
u
p
dat
e
tes
t
ca
s
e ou
t
put
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
e
xtract enum
constants as t
h
eir i
n
teger v
a
lues
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::
e
xtract_int:
separate
out ex
t
r
a
ction from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verd
o
olaege
PetScan::extr
a
ct_unsigned: turn
i
nto
a static functi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaege
scan
.
cc: change t
e
xt
u
al order
of ex
t
ract_
u
nsigned and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verd
o
olaege
pet_ch
e
ck_
c
ode
.
c
: use pet_expr_ex
t
ract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
export pet
_
expr_ex
t
ract_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sve
n
Verd
o
olaege
pet_context: no long
e
r keep track o
f
"unknown" values
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
er
d
oolaege
p
e
t_expr_e
x
t
r
ac
t
_affine: no l
o
n
g
er create new parameters
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::ex
t
ract_scop
:
populat
e
pe
t
_context with parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en
V
erdoolaege
scan
.
cc: move up static get_
a
rray_t
y
pe function in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
PetScan::get_array_size: cache resul
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
PetScan::set_upper_bounds: extr
a
ct out PetSca
n
::get
_
a
r
ray_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdool
a
ege
pet_expr_is_equal: comp
a
re index
e
x
pressions up to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
o
olae
g
e
pet_expr_extrac
t
_affine:
e
xploit dom
a
in
information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Ve
r
doolaege
ad
d
pet_c
o
n
t
ext_get_gist
_
doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaeg
e
tree2scop
.
c: s
c
op
_
from
_
block: collect a
f
fine
c
ontinue
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
p
et
_
scop_fro
m
_
p
e
t
_
t
r
ee: e
x
t
ract pet_sco
p
from the
r
oot
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
en Verdoolaege
add functions for manipulating
t
he domain of a pet
_
context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolaege
pet_scop
_
restrict: a
l
so restrict
v
i
rtual array exte
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
ola
e
ge
pet_context_evaluate
_
expr: f
i
rs
t
i
n
s
e
r
t dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
pet_
c
heck_code
:
remove
t
racking of assignments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdool
a
ege
dro
p
p
e
t
_
scop
_
detect_p
a
rameter_ac
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ve
r
doolaege
pet_cont
e
xt_e
v
a
l
uate_expr:
also plu
g
in affin
e
expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Verdoolae
g
e
sepa
r
at
e
out pet_c
o
ntext_e
v
aluate
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Ver
d
oolaege
drop pe
t
_context_mark
_
a
s
signed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven Ver
d
oolaeg
e
PetS
c
an::extract_s
c
o
p: cle
a
r write
s
at ou
t
e
r
l
evel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
S
v
e
n
Verdoolae
g
e
PetSca
n
:
:ext
r
a
ct_scop: loc
a
lly
c
onstr
u
ct pet_context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sven
V
erd
o
o
laege
PetSc
a
n::extract_scop: also add al
l
pet_arr
a
ys
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-25
Sv
e
n Verdoolaege
pet_exp
r
_filter:
a
vo
i
d introdu
c
tion of
c
on
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next