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
extract out pet_value_bounds_apply to a separate file
2014-03-21
S
ven V
e
rdoola
e
g
e
extract out pe
t
_value
_
bounds_apply to a
separ
a
te file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
move pet_expr
functions
to separat
e
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
scop
.
c: expr_writes: use pet_expr_
f
oreach_access_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
s
c
op
.
c: expr_
d
etect_par
a
meter_accesse
s
: use pet_
e
xpr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
p
e
t_scop_detect_parameter_accesses: rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
scop
.
c: expr_propaga
t
e_pa
r
ams: u
s
e pet_expr_map_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven
Verdoolaege
e
xtract ou
t
pet_filter_inse
r
t
_pma to sep
a
rate
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
add mo
r
e test
cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
pe
t
_expr: merg
e
unary, binary an
d
t
e
r
n
ary
ty
p
es i
n
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sve
n
Verdoolaege
e
xtract intege
r
s as
i
nteger
e
xpressions rather than
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
up
d
ate test
case output
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ver
d
oolaege
add support
f
or int ex
p
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en V
e
rdoolae
g
e
pet_c
h
eck_code
.
c
:
pass
al
o
ng i
t
er
a
t
i
on space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out
sh
a
re
d
pe
t
_s
t
m
t
_get_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
ex
p
o
rt pet_expr_from_index
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
pet_s
c
op_
e
m
b
ed: pass i
s
l_aff schedul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en V
e
rdo
o
l
a
ege
extr
a
ct out p
e
t_stmt_
i
s_assign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
ext
r
act
out common pet_stmt_is_kill
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
Pet
S
ca
n
::extract_in
c
rement: im
p
rove er
r
or message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
laege
s
u
pport logical op
e
rators in exp
r
essions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
support in
t
Mod, in
t
C
eil and
i
ntFloo
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verd
o
olaege
pro
v
ide getter and set
t
er for detect-conditiona
l
-assi
g
nm
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_ch
e
ck_code: dump iteratio
n
dom
a
ins i
f
they are
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolae
g
e
p
e
t_ch
e
ck_c
o
d
e:
parse isl
o
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n
V
erdoolaege
scan
.
cc:
i
ndicato
r
_fu
n
ction: coales
c
e domain befor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
s
c
op
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
scan
.
cc: fix t
y
po
s
in
c
omment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolae
g
e
pe
t
_sc
o
p_rest
r
ic
t
_skip: fix typo in error me
s
sage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n V
e
rdoola
e
ge
PetScan::is_nes
t
ed_
a
llowed:
c
heck for s
k
i
p condition
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoolaege
print
.
c: pr
i
nt_pet_
e
xpr: fix memory
m
anagem
e
nt annotat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
ven
Ve
r
d
o
olaege
drop dead method PetSca
n
::
i
s_affine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
la
e
ge
scop
.
c: em
b
ed_access: dro
p
redu
n
d
ant va
r
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
pet_scop_f
i
lter_skip: av
o
id
r
e
computati
o
n
of test expr
e
ss
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ver
d
oolaege
P
etScan
:
:extract_no
n
_
a
ffine
_
condition:
r
e
mov
e
redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven van Haastregt
AX_DETEC
T
_GIT_H
E
A
D
:
avoid empt
y
ve
r
sion
string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdool
a
ege
separate out share
d
PetScan:
:
u
pd
a
t
e_scop_sta
r
t
_
end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
pe
t
_
expr_
d
ump: only print e
x
pr->acc
.
ref_id if it
is
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
Verdoolaege
scop
.
c: stmt_p
r
opagate_
p
ar
a
ms
:
a
lso update ac
c
es
s
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
scop
.
c: stmt_c
o
llec
t
_params
:
a
lso collec
t
p
a
r
ameters
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
r
d
oolaege
sco
p
.
c:
*
_
coll
e
c
t
_params: fix err
o
r
ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_sc
o
p_align
_
params: i
m
p
r
ov
e
error
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doo
l
aege
pet
_
scop_al
i
gn
_
par
a
ms: ren
a
me "dim" variabl
e
t
o "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
P
etScan::extract_nes
t
ed: plug me
m
or
y
lea
k
on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
d
oola
e
ge
scan
.
cc: cle
a
r_assign
m
ent: fi
x
logic
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verdoolaege
PetScan::extract(IfS
t
m
t *)
:
clear as
s
ignments in body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
erdoolaege
PetScan::extract_in
f
i
n
ite
_
for
:
al
s
o clear as
s
i
gnmen
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven
Ve
r
d
o
o
l
aege
Pe
t
S
ca
n
::extract_for: always keep vir
t
ual iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
m
o
dify tests/unsi
g
ned3
.
c test cas
e
to use the iterator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven
Verdoolaege
when aut
o
detec
t
i
ng on
l
y skip i
n
itial declarations
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
do
n
ot extract loo
p
around part
i
al body when autodetecting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdool
a
eg
e
PetScan::
e
xtract_non_af
f
ine_condi
t
ion:
ta
k
e
stat
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoola
e
ge
PetScan::
e
xtract_for: do not
a
l
low
i
n
i
tial valu
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-03-14
S
ve
n
Ver
d
oolaege
PetScan::extract_for: c
l
ear assign
m
e
n
t
t
o
i
te
r
ator
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaeg
e
PetScan::u
n
suppor
t
ed: pass fixed c
h
aracter string to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
configure
.
ac: add llvm-c
o
n
f
i
g --system-l
i
bs
t
o
C
L
A
NG_L
I
B
S
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoo
l
aege
update isl for supp
o
rt for recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-29
S
ven
V
e
r
d
ool
a
ege
Makefile
.
am: avoid use of
INCLUDES variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_
D
ETE
C
T_GIT_HEAD:
d
et
e
ct git ve
r
sion with newer
versions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-06
Sve
n
V
e
rdoolaege
READ
M
E: add cont
a
c
t information
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Albert Co
h
e
n
Suppo
r
t for additional binary/
u
n
ary
o
per
a
t
o
rs in
C
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
S
v
en Verdoolaeg
e
add
a
f
fine assumptions to t
h
e
context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-11-27
Sven Verdoolaege
pa
r
se __penc
i
l_assume statements
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-17
Sven Verdoolaege
e
x
t
ract out
Pe
t
Sc
a
n::extract_argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-16
Sven Verdoolaege
add support
for structs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
a
d
d pet_scop_co
l
lect_tagged_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
add pet_scop_collect_must_kills
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
scop
.
c: ex
t
ract out expr_collect_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
scop
.
c: scop
_
collec
t
_
a
cce
s
s
e
s
:
rename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doo
l
a
e
ge
add pet_expr_a
c
c
e
s
s_
g
et_tagged_may_acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
add
p
e
t
_scop_co
l
lect_
t
agged_{may,must}
_
{re
a
ds,writes}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
e
x
por
t
p
et_expr_
a
cces
s
_
g
et_ma
y
_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Ve
r
doolaege
s
c
op
.
c:
e
xp
r
_collec
t
_accesses: plug memory leak
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoo
l
aege
extract out
pet_c
l
ang_b
a
se
_
type into separate f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oo
l
aege
scan
.
cc: extract
ou
t
sub
s
c
r
ipt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoola
e
g
e
scop
.
c: extract out
*
_i
s
_virt
u
al_array functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
pet_expr_from_i
n
dex_and_d
e
pth:
extract out extend_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
introduce p
e
t_type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
u
se isl_*_reset_us
e
r inste
a
d
of *_anonymiz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
u
p
d
ate isl for
sup
p
ort for member a
c
cesses in AST
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
r
doolaege
pet_ex
p
r_free:
r
e
turn
s
t
ruc
t
pet_
e
x
p
r *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
Pe
t
Scan::
r
e
s
olve_nes
t
ed(s
t
ruct pet_stmt *
)
:
remove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::resolve
_
nested(struct p
e
t_expr *): remo
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oo
l
aege
scan
.
cc:
c
ompute_wrapping
:
re
m
ove
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
scan
.
cc: extract_skip_seq: remove unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
scan
.
cc: un
i
ver
s
ally: r
e
mov
e
u
n
us
e
d va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
PetS
c
an::extrac
t
_affine: remove unus
e
d va
r
iabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
M
akefile
.
am: a
d
d dummy C++ source f
i
le t
o
pet and pet_check_code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
V
e
rdoolaege
s
t
op lin
k
ing in
c
l
ang libraries direc
t
ly into pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
al
s
o pri
n
t clang
v
ersion when printing pet
version
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
REA
D
ME: upd
a
te
latest rel
e
ase of LLVM
/
clang
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
ven
V
erdoolaege
parse
.
c: remove
s
purious duplicate
declarat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
S
v
e
n
V
erdoolaege
pe
t
_
scop_free: return stru
c
t pet_scop *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-17
Sv
e
n Verdoolae
g
e
P
etScan::extra
c
t(Stm
t
Range,
bo
o
l, bool):
b
reak out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven
V
erdool
a
ege
p
e
t
_s
c
op_coll
e
ct_{reads,w
r
i
t
e
s
}: take
argume
n
t
s into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
S
v
e
n Verd
o
olaege
p
et_scop_
c
ol
l
ect_{reads,wr
i
tes}: inter
s
ect range
s
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sv
e
n Verdoolaege
scan
.
cc:
e
xtract_depth:
u
s
e
c
o
rrec
t
dimension typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-11
Sven V
e
r
doolaege
pet_ex
p
r_from_ac
c
ess
_
and
_
index: plug
memory l
e
ak o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-08
Sven
Verdoolaege
c
o
nf
i
gure
.
ac
:
r
e
mo
v
e explicit depen
d
e
nce on gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
S
ven Verdoolaege
d
i
scard inco
m
pletely extracted compound
s
ta
t
ements
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
fi
x
handling of
c
ompound statements with i
n
itial partial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
