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
scan.h: declare operator() of std::set compare function const
2023-02-12
Sven Verdo
o
laege
scan
.
h:
de
c
l
a
re
oper
a
tor() of std:
:
set compare fun
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
Sven Verdo
o
laege
p
e
t
_clang_
b
ase
_
or_typedef_
t
ype: desugar a
n
y
Elab
o
rat
e
dType
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-12
S
ven Verdoolaege
a
d
d
configure~ to
.
gitignore
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-02-03
Sven Verdo
o
laege
pet_loopback
.
c:
a
dd mis
s
ing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2023-01-02
Sven
Ve
r
doolae
g
e
add example application
t
hat prints
out
p
a
r
sed code
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-09-18
Sven Ve
r
doola
e
g
e
pet_scop_
g
et_{tagged_
,
}may_writes:
i
nclude reads in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-09-18
Sven Verdoolaege
sc
o
p
.
c:
f
ix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n
Verdoolaege
pet 0
.
11
.
6
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
README: update lates
t
release of
clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven
Verdoolaege
upda
t
e
i
sl
t
o
versi
o
n 0
.
25
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
v
e
n Verd
o
ol
a
ege
include header mapped
to memory buffer to inject declarat
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sv
e
n
Ve
r
d
oolae
g
e
pet
.
cc: add_predef
i
nes: extract out pencil_pred
e
fin
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Ve
r
doola
e
ge
pet
.
cc: mark add_predefin
e
s static
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
v
e
n Verdoo
l
aege
update to rename o
f
diag::ext_imp
l
icit_
f
unctio
n
_
decl
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
r
d
oolaege
explic
i
tly turn of
f
treat
i
ng impli
c
it f
u
nction dec
l
aration
.
.
.
commit
|
commitdiff
|
tree
2022-07-02
Sven
Ve
r
doola
e
ge
u
pdate t
o
m
o
ve of set
L
angDe
f
aul
t
s
met
h
od
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven
Verdoolaeg
e
up
d
at
e
isl for suppo
r
t for rece
n
t v
e
rsions of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven Verdoolaege
rep
l
ac
e
ob
s
olete
AC_PROG_
L
IBTOOL by LT_INI
T
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
Sven V
e
rdoolaege
replace obsolete AC_TRY_
C
O
MPILE
by AC_COMPILE_IFE
L
SE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-07-02
S
ven
V
e
r
d
oo
l
a
ege
repl
a
ce
obsolete
A
C
_ERROR calls by AC_MSG_ER
R
OR
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2022-06-26
S
ven Verdoolaege
preserve ar
r
ay
e
xtents
i
n case
o
f em
p
t
y
conte
x
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-08-21
Sven Ve
r
doolae
g
e
i
n
ter
f
ace/pet
.
py: co
n
v
e
rt st
r
ings for
Python 3
compati
b
ility
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-26
Sv
e
n Verdoolaege
p
et_e
x
p
r_is_equal: compare i
n
dex expressio
n
s using
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven
V
erdoolaege
pet 0
.
1
1
.
5
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
S
v
en Verdoolaege
R
E
A
DME: update latest releas
e
of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sve
n
Verdoolaege
updat
e
isl to
v
ersion
0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven
Ve
r
doolaege
pet
.
cc:
pass correct 4th argument to CompilerInvocat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sve
n
Verdoolaege
update isl for supp
o
r
t
f
or recent ver
s
ions of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-18
Sven Ver
d
oolaege
REA
D
M
E: update URLs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-11
Sven Verdoolaege
pe
t
0
.
1
1
.
4
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-11
Sven
V
er
d
oolae
g
e
README: update l
a
test
r
e
l
ease of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-11-01
Sven
Verdoolae
g
e
u
p
d
a
te isl
to ver
s
ion 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sven Ve
r
doola
e
ge
improve dete
c
tion of
c
l
a
ng
E
dit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Verdoolaege
link against single li
b
clang-cpp lib
r
ary
if available
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Verdo
o
laege
update i
s
l
for li
n
king again
s
t
s
i
n
gle
l
ibclang-cpp
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-22
Sven V
e
rd
o
o
laege
configure
.
ac: link in llvm
front
e
ndopenmp component
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-17
Sven Verdoolaege
rerun configu
r
e when ll
v
m-config is update
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven Verdool
a
ege
pet
.
cc:
d
irectl
y
i
n
c
l
ude req
u
ired
header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven Verdoolaege
up
d
ate isl to vers
i
o
n
0
.
22
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sve
n
Verd
o
olaege
pet 0
.
11
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sv
e
n Verdoolaege
updat
e
isl to
v
e
rsion 0
.
22
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sven Ve
r
d
o
olaege
README: update l
a
t
e
s
t release of
c
la
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-23
S
v
e
n Verdoolaege
int
e
rface/extract_interface
.
cc: set
l
a
n
guage def
a
u
l
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
S
ven Ve
r
d
o
olaege
pet
.
cc: ha
n
dle cha
n
ge
in CompilerInvo
c
ation::CreateFromA
r
gs
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
Sven
Verdoola
e
ge
pet
.
cc: undef
i
ne
P
A
CKAGE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
S
v
en Verdoo
l
aege
update
i
sl fo
r
support
f
or
r
ecent
ver
s
ions
of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sven
V
erdoolaege
m4/ax_d
e
tect
_
c
l
a
ng
.
m
4
: handle
replacement o
f
InputKind
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
S
ven Verdoolaege
pet
.
cc: handle File
M
anager::getF
i
le
r
eturning ErrorO
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sv
e
n Ver
d
o
olaege
m4/ax_d
e
tec
t
_cla
n
g
.
m
4: check pr
e
sence of cl
a
ng/
B
asic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-06
Sven
Verdool
a
ege
u
p
d
a
te isl for
s
upp
o
rt
f
or r
e
cen
t
v
ersi
o
ns of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-21
Sve
n
Verdoolaege
use PragmaIntrodu
c
e
r
a
s H
a
n
d
lePragma argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
S
v
e
n Verdoolaege
pet 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven Verdoo
l
aege
update isl to version 0
.
21
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven
V
e
rdoolaege
RE
A
DME: u
p
date
l
a
test
relea
s
e
of clan
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-03
Sven Verd
o
olaege
README: mention th
a
t
llvm
-
config is
a
l
s
o
needed
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoolaege
README: mention
d
ep
e
ndence on pkg-con
f
ig
w
h
e
n compiling
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
ve
n
Verdoolaege
skip
f
uncti
o
ns
w
ithout valid scops wh
e
n autode
t
ecting
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven
V
erdoolaege
p
e
t
.
cc: use
l
lvm::opt::ArgStringList when ava
i
lable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven
V
e
rdool
a
ege
h
a
n
dle rename of getLocStart
t
o
getB
e
ginLoc an
d
getLocEnd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoolaege
update i
s
l
for s
u
pport fo
r
recent
versio
n
s of
c
lang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-21
Sv
e
n Verdoolaege
re
s
t
ore ignoring of i
m
plicit fu
n
ctio
n
de
c
laration w
a
rnings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sve
n
Verd
o
olaege
u
p
date isl for move of
i
nterf
a
ce/a
l
l
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven
V
erdoolaege
in
t
erface: m
a
ke language bindings depend on all relevan
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven
Verdoolaeg
e
only
buil
d
i
s
l
.
p
y
and when extr
a
ct_interfa
c
e is available
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
S
v
en Verdoolaeg
e
dete
c
t
f
a
ilu
r
es in isl
.
py ge
n
er
a
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
S
v
e
n Verdool
a
ege
Make
f
i
l
e
.
am: us
e
automatic variable for
targ
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdoola
e
ge
pet 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdoolaege
update isl to version
0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdoolaege
summary
.
c: d
i
rectly
i
nclude re
q
uired heade
r
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Ve
r
d
ool
a
ege
substituter
.
cc
:
directly includ
e
re
q
uir
e
d hea
d
ers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verd
o
ola
e
g
e
pet 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoolae
g
e
update isl to v
e
rsion 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven Ver
d
oo
l
ae
g
e
configure
.
ac: dr
o
p -Wl,--no-keep-files-mapp
e
d from
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
S
ve
n
V
e
rd
o
ola
e
g
e
P
etScan::
s
e
t
_upper_boun
d
s: avoid i
n
valid acces
s
in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
erdool
a
ege
Pet
A
STConsumer:
p
r
o
p
a
g
at
e
errors dur
i
ng
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolaege
pet
.
cc
:
pet_transform: h
a
ndl
e
NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
doolaege
pe
t
.
cc: pet_fo
r
each_scop_
i
n_C_source: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
ven
Verdoolaege
pet_expr_
a
c
cess_project_out
_
arg: improve error ha
n
dl
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
la
e
g
e
p
e
t_expr_insert_arg: use pet_expr_access_get
_
domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolae
g
e
sco
p
_plus
.
c
c
: extract_list: improve error handl
i
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
S
v
en Verdoolaege
pet_codege
n
.
c:
add m
i
ssing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdo
o
laege
summ
a
ry
.
c: add miss
i
ng include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
v
e
n
V
e
rdoolaege
m4/ax_de
t
ec
t
_clang
.
m4:
u
pd
a
te
to refactoring
o
f fro
n
t
e
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
S
ven Verdoolaeg
e
update i
s
l f
o
r s
u
pport for r
e
cent cla
n
gs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
Sven Verdoolaege
pet
.
c
c
: set_
i
nv
o
cation: plug memory leak
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdoolaege
interface/
i
sl
.
py
.
top: explici
t
ly cast sel
f
.
p
t
r of Conte
x
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdoolae
g
e
interface/pet
.
p
y
: spe
c
if
y
argument types of c
a
lled
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
oolaege
update isl f
o
r fix
e
s in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
olaege
update is
l
f
o
r change in interface/extract_
i
nterface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree