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
m4/ax_detect_clang.m4: handle replacement of InputKind::C by Language::C
2019-08-11
Sven Verdoolaege
m4/ax_detect_clan
g
.
m4: han
d
l
e
replacemen
t
of InputKind
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
S
v
e
n V
e
rdo
o
laege
p
e
t
.
c
c
: handle FileManager::
g
e
tFil
e
returni
n
g ErrorOr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
S
v
e
n
Verdo
o
laege
m
4
/
a
x_d
e
tect_c
l
an
g
.
m4:
c
h
eck presenc
e
of clang/Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-06
Sven Verdoolae
g
e
u
p
d
ate
i
sl for support f
o
r
r
ecent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-21
Sve
n
Verdoolaege
use P
r
agm
a
I
ntroducer as HandlePragma argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
S
v
en Verdoolae
g
e
pet 0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
S
v
en Verdoolaege
up
d
ate isl to version
0
.
21
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven
Verdoolaeg
e
REA
D
ME: u
p
date
latest rel
e
ase
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-03
Sven V
e
rdoolaege
READM
E
: mention t
h
at
llvm-co
n
fi
g
is also needed
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
ven Verdoolaege
R
EADME: me
n
t
i
on depend
e
n
ce on pkg-
c
onfig whe
n
compiling
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sve
n
V
e
rdoola
e
ge
skip
f
u
n
c
t
ions without valid scops when autodetec
t
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
ven Ve
r
doolaege
pet
.
cc: use llvm
:
:opt::ArgStrin
g
L
ist when a
v
ailable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verd
o
ol
a
ege
handle r
e
n
a
me
o
f getLocSta
r
t to getB
e
g
inLoc a
n
d getLocEnd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoo
l
aege
update isl for sup
p
or
t
for recent version
s
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-21
Sven V
e
r
d
oolaege
restore ignori
n
g of impli
c
it
f
unction
dec
l
arat
i
on
w
arnings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven V
e
rdoolaege
updat
e
is
l
fo
r
m
ove of int
e
rface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolaege
i
n
t
erface: make language bindings dep
e
nd on al
l
relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sve
n
Ve
r
doola
e
ge
only build is
l
.
p
y
and when extract
_
interface is available
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven
V
erdool
a
ege
dete
c
t f
a
i
lur
e
s in isl
.
p
y
generat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Ve
r
doolaege
Ma
k
efile
.
a
m
:
u
se automatic variable for target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Ver
d
oo
l
aege
pet 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdool
a
ege
update isl
to version
0
.
2
0
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
Verdo
o
laege
summary
.
c
:
directly include required
h
eader
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sve
n
Verdoo
l
ae
g
e
s
u
b
s
tituter
.
cc: directly include requir
e
d
he
a
der
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven V
e
rd
o
olaege
p
et
0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
oolaege
update isl
to
v
er
s
ion 0
.
1
9
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven Verdoolae
g
e
configure
.
a
c
: drop -Wl,--no-keep-files-mapped fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
Sv
e
n Verdoolae
g
e
Pet
S
c
an
:
:set
_
upper_bounds
:
avoid i
n
va
l
id access in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
aege
PetASTConsum
e
r: propa
g
a
te
e
rrors during constr
u
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
aege
pe
t
.
cc:
p
et_transfo
r
m:
handle NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
Verdoola
e
g
e
pet
.
cc:
p
e
t
_fore
a
ch_
s
c
o
p
_in_C_so
u
r
c
e: return
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Ve
r
doola
e
g
e
pet_ex
p
r
_
access_
p
roject_out_arg: im
p
ro
v
e error hand
l
ing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdool
a
ege
pe
t
_expr_insert_
a
rg: use pet_
e
xpr_access_
g
et_domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
ven Verdoolaege
sc
o
p_plus
.
cc: ext
r
act_list: improve error han
d
ling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven
Verdoolaege
pet_code
g
en
.
c:
add missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolae
g
e
summary
.
c: ad
d
missing in
c
lud
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-17
Sven Verdoolaege
c
onfig
u
re
.
ac: drop -gsplit-
d
warf from llvm-con
f
i
g
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
Sven Ve
r
doolaege
m4
/
ax_detect_c
l
ang
.
m4:
u
pd
a
t
e to refactori
n
g of frontend
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdool
a
ege
updat
e
i
s
l for su
p
p
ort fo
r
rec
e
nt c
l
angs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
S
v
e
n Verdoolaege
pet
.
cc: s
e
t_i
n
v
o
ca
t
i
on
:
plug memo
r
y
le
a
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdoolaege
add
b
ack
s
upport for older versions of clang
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdoolaege
sc
a
n
.
h: add missing inclu
d
e
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Verdoolaege
i
n
terface/is
l
.
p
y
.
t
o
p
:
explicitly
c
a
st sel
f
.
pt
r
of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdo
o
laege
inter
f
ace/pet
.
py:
s
pecify
a
rgum
e
nt
t
ypes of called
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
o
o
laege
u
p
date is
l
f
or
fixes in python bindings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Ve
r
doolaege
update isl
f
or change in
i
nterfac
e
/e
x
tract_inte
r
face
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree