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 isl_space_domain_factor_domain
2014-03-21
S
v
e
n Verdoolaege
update isl
for isl_space_domain_
f
actor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Ver
d
o
o
laege
export
p
et_expr_acces
s
_
g
et_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaeg
e
e
x
p
ort p
e
t_ex
p
r
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoola
e
ge
export pet_expr_
i
s_affine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdool
a
ege
exp
o
rt pet_expr_foreach_access_
e
xpr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erd
o
olaege
extract out pet_expr_access_pullback_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
rdoolaege
extract
o
u
t pet_expr_access_move_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
extract out pe
t
_
e
x
pr_
a
ccess_get_parame
t
er_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
ext
r
act
o
u
t
pet_e
x
pr_access_get_data_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verd
o
olaege
extract out
p
et
_
e
x
pr_g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
extra
c
t
ou
t
pet_value_bounds_apply to a separate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaeg
e
m
o
ve pet_expr function
s
to se
p
arate file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Ve
r
d
o
olaege
scop
.
c: expr_writes: use pet_expr
_
foreac
h
_access
_
expr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven
V
erd
o
olaege
scop
.
c
: expr_det
e
ct_parameter_acces
s
e
s
:
u
se pet_expr_map_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoola
e
ge
pet_sco
p
_
d
e
t
ect_
p
arameter_accesses:
r
ename "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolae
g
e
s
cop
.
c: expr_propaga
t
e_params: use pe
t
_
e
xpr
_
ma
p
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
extr
a
ct out pet_
f
i
lter_in
s
ert_pma
t
o se
p
arate
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n
Verdoolaege
a
d
d
m
or
e
test ca
s
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven V
e
r
doolaege
pet_expr: merg
e
un
a
ry, binary and te
r
n
a
ry
t
ypes
int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
ext
r
act
in
t
eger
s
as i
n
te
g
er
expres
s
i
on
s
rather than
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sv
e
n Verdoolaege
u
p
date
t
est case outpu
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolaege
add
s
upport for int ex
p
res
s
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
pet_check_code
.
c: pass
a
l
ong ite
r
ati
o
n space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven
Verdoola
e
ge
extract out shared pet_stmt_get
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
expor
t
pet_expr_from_index
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
e
n
Ver
d
oola
e
ge
p
et_scop
_
embe
d
:
pas
s
i
sl_aff s
c
hedu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
v
en Verdoolae
g
e
extract out pet_s
t
mt_i
s
_ass
i
gn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdoolaege
e
xt
r
act o
u
t common pet_stmt_is_ki
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
Sven Verdo
o
l
aege
PetScan::extrac
t
_
increment: improve er
r
or message
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-21
S
ven Verdoolaege
suppo
r
t logica
l
operators in
e
xpressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
sup
p
o
r
t intMod, intC
e
il and intFloor
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
p
r
ovide
gette
r
and setter
f
o
r
detect-condit
i
onal-
a
ssignment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_check_code: dump itera
t
ion domains if th
e
y a
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdool
a
ege
pet
_
che
c
k_code:
p
arse isl options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scan
.
cc: indicator_function: coal
e
sc
e
d
o
m
a
in
before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
scop
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
erdoolaege
sc
a
n
.
c
c
: fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
pet_scop_restrict_skip: fix t
y
po in error me
s
sage
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdo
o
laege
PetS
c
a
n::is_n
e
sted_allowed:
c
heck for skip conditions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
p
rint
.
c:
print_pe
t
_expr:
f
i
x memory management ann
o
t
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
V
e
rdoolaege
d
r
o
p
dead
m
ethod P
e
tScan::
i
s_aff
i
ne
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verd
o
olae
g
e
scop
.
c: embed_access:
drop
r
edu
n
dant
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doolaege
p
et_scop_filter_sk
i
p: avoi
d
recomputation of test ex
p
ression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdool
a
ege
PetScan::e
x
t
ra
c
t_non_affine_con
d
i
ti
o
n: remov
e
redundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven
v
an Haastregt
AX_D
E
TECT_G
I
T_HEAD: avoid e
m
pty v
e
r
sion string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
separate
o
ut shared PetScan
:
:update_s
c
op
_
start_
e
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaeg
e
pet_expr_
d
ump: only print expr->acc
.
r
e
f
_id if it is s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
scop
.
c:
stmt
_
propagate_params: also update ac
c
esses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoo
l
aege
sc
o
p
.
c: stmt_collect_params: al
s
o collect
parame
t
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sve
n
Verdoolaege
scop
.
c: *_colle
c
t
_
pa
r
a
ms: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en Verdoo
l
aege
pet_scop_a
l
ign_para
m
s
:
improv
e
error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Ve
r
doo
l
aege
p
e
t_s
c
op_
a
lign_p
a
rams:
r
ename "dim" var
i
able t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
Verdool
a
e
ge
PetS
c
a
n
::extrac
t
_n
e
ste
d
: plug memory leak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
e
n
V
erdoolaege
sc
a
n
.
cc:
cle
a
r_a
s
s
i
gnm
e
n
t
: fix log
i
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven Verdoolaege
PetSca
n
::extract(IfStm
t
*): clear
a
ss
i
gn
m
ent
s
in body
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sven V
e
rdoolaege
P
etScan::e
x
tract_inf
i
nite_for: also clear assignments
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
S
v
en
V
er
d
oo
l
aege
PetScan::extract_for: al
w
ays keep virt
u
al iterator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-19
Sv
e
n Verd
o
o
l
ae
g
e
mod
i
fy tests
/
unsigned
3
.
c test c
a
s
e
to use the
iter
a
tor
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven V
e
rd
o
olaege
w
h
e
n autodetecting only
sk
i
p initial declarations in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ve
r
do
o
laeg
e
do
n
o
t extract loop a
r
ound partial body
when autodetec
t
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Verdoolaege
P
e
tScan::extract_non_a
f
fine_c
o
n
dition
:
tak
e
stat
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
S
ven Verdoolaege
P
e
tScan:
:
ext
r
act_for: do
n
ot allow init
i
al val
u
e to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-14
Sven Ver
d
oolaege
Pet
S
c
a
n
::extract_for: clear
a
s
s
ignmen
t
to
iterato
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Verdoo
l
a
ege
PetScan::
u
n
s
upported
:
pass
f
i
x
e
d character string to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoo
l
aege
configure
.
ac:
ad
d
llv
m
-config -
-
system-libs to CLANG_LI
B
S
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolae
g
e
update is
l
f
or support f
o
r
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-29
Sven V
e
rdo
o
l
aege
Ma
k
efile
.
am: avoid use of INCLUDES vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-06
Sven Verdoolaege
AX_DETECT_GIT
_
H
EAD: d
e
t
e
ct git ver
s
ion wi
t
h new
e
r
versi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-06
Sven Verd
o
olaege
R
EADME: add contact inform
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Albert Cohen
Support for ad
d
itional binary/unary operators in C
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sv
e
n Verdoolaege
a
dd affine assump
t
ions to th
e
conte
x
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-11-27
Sven
V
e
rdo
o
la
e
ge
parse __penci
l
_
assume statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-17
S
ven V
e
r
d
oola
e
ge
extract out PetSca
n
:
:
ex
t
ract_argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-16
Sv
e
n Ver
d
oolaege
a
dd su
p
po
r
t for structs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
add pet_scop_c
o
l
l
ect_tagged_
m
ust_ki
l
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
a
d
d pet
_
scop_collec
t
_
must_kills
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
erdoolae
g
e
scop
.
c: extrac
t
out ex
p
r_collec
t
_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
scop
.
c: scop
_
c
ol
l
ect_acce
s
ses: ren
a
me "dim" vari
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
a
d
d pet_expr_a
c
cess_get_tagged_m
a
y
_
ac
c
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
add pet_scop_coll
e
ct_t
a
gged_{may,mus
t
}_{reads,writ
e
s}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
expor
t
pet_e
x
p
r
_
acce
s
s_get_may
_
a
cce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verd
o
olaege
s
cop
.
c
:
expr_co
l
le
c
t_accesses: plug m
e
mory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
extract out
p
et_clang_base_
t
y
p
e into separate
fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
scan
.
cc: extract
out subs
c
ript
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doo
l
aege
s
cop
.
c: extract out *_is_virtual_a
r
ra
y
f
u
nct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
pe
t
_expr_fr
o
m_i
n
dex_and_dep
t
h: extract o
u
t e
x
tend_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
i
n
tr
o
duce
p
e
t_type
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
u
se isl_*_reset_user instead of *_anonymize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
d
oolaege
update isl for support fo
r
me
m
b
e
r
accesses in AST
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
do
o
laege
p
e
t_
e
xpr_free: r
e
turn st
r
uct pet_expr *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolae
g
e
PetSc
a
n::resolve_n
e
sted(struct pet_stm
t
*):
r
e
m
ove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
PetScan::
r
e
s
olve_nes
t
ed
(
struct pet_expr *): remove
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
s
can
.
cc: com
p
ute_w
r
a
ppi
n
g: r
e
move u
n
used va
r
ia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
scan
.
c
c:
e
xtract_skip_seq: r
e
mo
v
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
s
c
a
n
.
cc: universally: remov
e
un
u
sed
v
ariab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
PetScan:
:
e
xt
r
act_affine: remove un
u
sed variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
Makefile
.
a
m
: add du
m
my C++
s
ource file to pet and pet_check_
c
ode
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
stop l
i
n
king in clang librar
i
es
d
i
rectly into pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
la
e
ge
also print clang versi
o
n
wh
e
n
printing pet
v
ersion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
README
:
update
latest relea
s
e of
LLVM/
c
l
a
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next
