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 isl for support for recent clangs
2012-12-01
S
v
en Verdo
o
la
e
g
e
update isl for support for recent clang
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verd
o
olaege
c
onfigure
.
ac: check if Tar
g
etInf
o
:
:Cr
e
ate
T
arget
I
nfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
update i
s
l for support for
rec
e
nt clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sve
n
Verdoolaege
update isl
f
o
r chan
g
e in AST printing
c
allb
a
ck interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolaege
add tes
t
for
v
erifying the corr
e
ctness
of the isl cod
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
pet_sc
o
p_
a
n
ony
m
ize
:
als
o
remo
v
e user
poin
t
ers
from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
ven Verdoolaege
scop_extract_
f
ro
m
_C_source: anonymi
z
e scop
a
f
te
r
upd
a
ti
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sve
n
Verdoo
l
aege
add support fo
r
(sing
l
e) dec
l
arations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sv
e
n Verdoolaege
pet_scop_
c
ollect_arra
y
s: skip arrays t
h
at alread
y
appear
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
e
xtract out PetScan::assign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verd
o
o
l
aeg
e
PetScan::mark_wri
t
e: handle NULL acc
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
S
v
en Verd
o
olaege
extract out pet_sc
o
p
_ad
d
_array
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven
V
erdoolaege
pet_
a
rray_fre
e
: ret
u
rn NULL p
o
inte
r
of type s
t
ruct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-08
Sven Verdoolaege
fix
use of Dia
g
nosticOptions
f
o
r
o
l
der clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Verdoolaege
update for change in clang's P
r
eprocessor
O
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en V
e
rdoolaege
upd
a
te
for change
in clang
'
s
He
a
derSearchOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Verdoolaege
upd
a
te for change in
clang's Di
a
gno
s
ticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
s
c
op_extract_fro
m
_
C
_
s
o
ur
c
e
:
t
ake TargetOp
t
ions object
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
v
e
n Ver
d
oolaeg
e
P
etScan::extract
:
a
lso clear assignm
e
nts i
n
while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
Sven Verdo
o
laege
clea
r
_as
s
i
g
nments: also consider
d
e
crements and incre
m
ent
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-15
S
v
e
n Verdool
a
eg
e
c
o
nfigure
.
ac: check for
getE
x
pansi
o
nLoc in clang
/
Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
ven Verdoolaege
c
o
nfig
u
re
.
ac: link ag
a
inst
s
ame LLVM components as
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-03
Sven Verdoolaege
PetScan::extra
c
t_array: use d
e
clar
e
d size
o
n VLA parameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-01
Sv
e
n Verdoolaege
PetScan:
:
scan: use
e
xpansi
o
n off
s
e
t
t
o
determine i
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-21
Sven
Verdoolaege
PetScan::extract_for: also c
h
eck
whethe
r
bound is simple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaege
use is
l
_
p
w
_aff_tdiv_q and is
l
_pw_aff_tdi
v
_r instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
u
p
date isl fo
r
isl_pw_
a
f
f
_t
d
iv_q
a
n
d is
l
_pw
_
aff_tdiv_
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdo
o
laege
support
modulo operation in stat
e
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sven Verdo
o
la
e
g
e
include/pet
.
h: fix typo in do
c
umentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-07
Sv
e
n Verdool
a
eg
e
make avoi
d
ing overfl
o
ws on signed
i
ntege
s
optiona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-02
Sven Verdoolaege
update
isl for renam
e
of
!
isl_set_di
m
_has_{
l
ower,upper
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-27
Sven Verdoola
e
ge
s
can
.
cc: add missing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-07-06
Sven Verdoolaege
only requ
i
r
e
liby
a
m
l
for compiling the pet exe
c
utable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sv
e
n
V
e
rdoola
e
g
e
pet 0
.
0
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-04
Sven Verdoolaege
c
onfi
g
ur
e
.
ac: allow spe
c
ification of gmp locati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
lae
g
e
update isl t
o
ve
r
sion
0
.
1
0
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdo
o
la
e
ge
README: men
t
ion support fo
r
non-a
f
fine condit
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
README: upd
a
te to latest release of clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
doolae
g
e
scop_add_break: try and m
e
rg
e
f
i
lters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Ver
d
oolaege
s
upport br
e
ak and contin
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
l
a
ege
a
dd
p
et_expr
_
filter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
rdool
a
e
ge
scop
.
c
:
extract out ins
e
rt_fil
t
er_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
V
e
r
doolaege
scop
.
c
:
extrac
t
out args_insert_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
add pet_sc
o
p_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdool
a
ege
PetS
c
an::extr
a
ct(I
f
Stmt *): ex
t
ra
c
t o
u
t ext
r
act
_
non_aff
i
ne_if
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoo
l
aege
h
a
ndle generic conditions is for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdo
o
laeg
e
p
e
t_scop
_
embed:
take mapping from virt
u
al
to real iterator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Ve
r
d
oo
l
a
e
ge
PetScan
:
:extract
_
for
:
rename
v
ariab
l
e "dim" to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven
Verdoolae
g
e
scop
.
c: extract out in
t
erna
l
ize_iv
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoola
e
g
e
s
can
.
c
c
: move h
a
s
_ne
s
ted up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sve
n
Ve
r
doolaege
scan
.
c
c: move is_
n
ested_parameter u
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
v
en Verdoolaege
h
a
ndle non
-
affine condition
s
i
n
wh
i
le l
o
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sv
e
n
V
e
r
d
oolaege
sca
n
.
cc
:
extract
o
ut PetSc
a
n::e
x
tract_affine_wh
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven V
e
r
d
oolaege
scan
.
cc
:
move sco
p
_add_array up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Verdoolaege
scan
.
cc: move cre
a
t
e_tes
t
_access up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdo
o
l
aege
pet_
s
cop_filter:
allow filte
r
s with non-zero-dimen
s
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verd
o
olaege
sca
n
.
cc: extract out
i
dentity_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
S
ven Ve
r
doo
l
aege
scan
.
c
c:
extract
out infinite_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
add pe
t
_sco
p
_re
s
et_
c
ontext
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-03
Sven Verdoolaege
scop
.
c
:
fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-06-02
Sven Verdoo
l
aege
P
e
tScan::extract_for
:
remove incorrec
t
optimization
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
oolaeg
e
support
decrement a
n
d
increment operatio
n
s
in s
t
atem
e
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verd
o
olaege
scan
.
cc: fix w
h
itespa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
v
en Ver
d
oolaege
scan
.
cc
:
fix typos i
n
c
o
mm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
P
e
tScan::nested_a
c
c
ess: check
t
h
a
t nested access d
o
esn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolae
g
e
Pe
t
Scan::extr
a
c
t_non_affine
_
c
o
ndition: re
s
olve nes
t
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sv
e
n Ver
d
oolaeg
e
P
etScan::extra
c
t_a
c
cess_expr: r
e
m
ov
e
duplication by
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
o
o
l
aege
cache assigned value
s
in then
and else bra
n
ch
o
f if
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Ver
d
o
olaege
pet_scop_collec
t
_arrays: also collect arrays that only
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoola
e
ge
scan
.
cc: add_pa
r
ameter_bounds:
double
check t
h
a
t
there
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
pe
t
_scop_restri
c
t:
project
o
u
t
unnamed parameters from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoo
l
aege
Pe
t
Scan::resolve_nested:
d
etect an
d
remov
e
dup
l
icate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
S
ven V
e
r
d
oola
e
ge
P
e
tScan::extract_nested:
insert outer
f
ilters in earlier
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven Verdoolaege
mar
k
__
p
et_test
_
* variabl
e
s as unique
l
y_defined
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-22
Sven
Verdoolae
g
e
pet_array: add
uniquely_defined
a
tt
r
i
b
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
S
v
en Verdoola
e
ge
suppor
t
any affine conditio
n
in a whil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-14
Sven
V
er
d
oo
l
ae
g
e
add Pe
t
Sca
n
::try_e
x
t
ract_a
f
fine_condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verdool
a
ege
make detecti
o
n
of conditiona
l
assignment
optional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
S
ven
V
erdoolaege
pass pet_
o
ptio
n
s
to PetScan inste
a
d
o
f only the
auto
d
etect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven Verd
o
ol
a
ege
avoid ne
g
ative array in
d
ices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-05-11
Sven
V
erdoolaege
pet
:
allow speci
f
icatio
n
of is
l
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
S
ven Verdool
a
eg
e
s
c
op
.
c: e
x
pr_ext
r
act_con
t
ex
t
: don't assum
e
acc
e
s
s
is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-04-06
Sven Verdoo
l
a
e
ge
add pet_expr_is_aff
i
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven V
e
rdoolae
g
e
adjust to cha
n
g
e
in numbe
r
of
a
r
g
u
m
e
nts of
D
eclRefExpr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoolaege
link
in
new -lclang
E
dit w
h
en ava
i
lable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-27
Sven Verdoo
l
aeg
e
up
d
ate isl
f
o
r s
u
p
p
ort for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
avoid overflow
s
on signed in
t
e
g
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoola
e
g
e
P
e
t
S
can::ex
t
rac
t
_for:
r
elax r
e
qu
i
rement o
n
i
nc
r
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven
Verdoolaege
PetScan::e
x
tract_for: update context with re
s
p
ect to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
r
epresent loop incremen
t
as
isl_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdool
a
e
g
e
allow s
l
ightly more generic compo
u
n
d increment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
S
ven Verdo
o
laege
PetScan:
:
extract(IfStmt
*): update c
o
ntext wi
t
h respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n
Verdo
o
lae
g
e
try and e
x
tra
c
t c
o
n
d
ition
o
f ternar
y
operator as a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdool
a
e
ge
pet_scop_from_pet_stmt: extr
a
ct context co
n
straint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven V
e
rdoolaege
pet_
s
c
o
p_rest
r
i
ct: u
p
date context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Ve
r
doolaege
pe
t
_scop_embed: update co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
pe
t
_scop_
a
dd: combine (int
e
rsect) contex
t
s
o
f original
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sven Verdoolaege
add pe
t
_
s
cop_restrict_contex
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sv
e
n Verdo
o
l
aeg
e
PetScan::extrac
t
_af
f
ine
:
don't bother w
i
th
wrapp
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-03-06
Sve
n
Verdoolaege
PetScan
:
:extract_condition
a
l_assi
g
nment: simplify computation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next