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 to version 0.23
2020-11-01
Sven Verdool
a
ege
upda
t
e isl to version 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
S
v
en
V
erdoolaege
im
p
rov
e
d
etection
of clangEdi
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Verdoolaege
link
a
g
ainst singl
e
lib
c
lang-
c
pp library i
f
a
vaila
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Ve
r
doolaege
update
isl for linking against
s
ingle libcla
n
g-cpp
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-22
Sve
n
Ve
r
doolaege
conf
i
gure
.
ac: link in
l
lvm fr
o
ntendopenm
p
co
m
ponent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-17
Sven Verd
o
olaege
r
e
r
un
config
u
re when llvm-confi
g
is updated
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven
V
e
rdoolaege
p
et
.
cc: di
r
ectly include requ
i
red
h
ea
d
e
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven Verdoolae
g
e
up
d
ate isl t
o
ve
r
sion 0
.
22
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
S
ven Verdoolaege
pet
0
.
11
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
S
v
en
V
erdool
a
ege
update isl to versi
o
n
0
.
22
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sven Verdoolae
g
e
READ
M
E:
update latest
release of c
l
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-23
Sven Verdoolaege
interf
a
ce/ex
t
ract_interface
.
cc
:
set language
d
efaults
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
Sven
V
e
r
doolaege
pet
.
cc: handle change in CompilerI
n
v
o
c
ati
o
n::C
r
eate
F
romArgs
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
S
v
en
V
erdo
o
l
a
eg
e
pe
t
.
cc:
u
ndefin
e
PACKAG
E
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
Sven Verdoolaege
upd
a
te isl for supp
o
rt
f
or recent version
s
of
c
lang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sven
Verdo
o
laege
m
4
/
ax_det
e
ct_clang
.
m4
:
h
a
ndle r
e
placement of
I
nputKind
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sven Verdoolaege
p
et
.
cc:
h
andle FileManager:
:
getF
i
l
e
returning ErrorOr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sven Verdoolaege
m4/ax_
d
et
e
c
t
_clang
.
m
4
: check prese
n
ce of
c
lan
g
/Basic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-06
S
ven
V
erdo
o
la
e
ge
u
p
date isl
for support for recen
t
ver
s
ions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-21
S
ven Verdoolaeg
e
us
e
P
ra
g
maI
n
trod
u
cer as HandlePragma argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven Ver
d
oolaege
pet 0
.
1
1
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven Ve
r
doolaege
update is
l
to version 0
.
21
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
S
v
en Verdoolaege
R
EADME: update l
a
tes
t
release of cla
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-03
Sven Verdoolaege
README:
mention that l
l
vm-
c
on
f
ig is also need
e
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sv
e
n Verdoolaege
READ
M
E
: mention dependence o
n
pkg-config
w
hen
compiling
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoolaege
skip functions
w
ith
o
ut val
i
d scops wh
e
n auto
d
e
te
c
ting
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven
Verdoolaege
pet
.
cc:
use
l
l
vm::opt::ArgStringLis
t
w
he
n
avai
l
a
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
ve
n
Verdoolaege
h
andle ren
a
me
of g
e
tLocStart to getBegin
L
oc and getL
o
cEnd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven
V
erdool
a
ege
upda
t
e isl for suppo
r
t
for
r
e
cent versions
o
f clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-21
S
v
en
V
erdoolae
g
e
rest
o
re
ignor
i
ng of implicit f
u
nction decla
r
ation warnings
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven V
e
rdoolaege
update
i
s
l
for move of interf
a
ce/al
l
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verd
o
o
l
aege
interf
a
c
e
: make
la
n
guage binding
s
d
e
p
e
nd on all rel
e
vant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolae
g
e
only build isl
.
py and
when extract_interfa
c
e is available
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven
V
erdoolaege
d
e
t
ect failu
r
es in isl
.
p
y
generati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
S
v
en Verdo
o
laege
Makefile
.
am: use automatic variable for ta
r
get
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
S
ve
n
V
e
r
doolaege
pet 0
.
1
1
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Ver
d
oolaege
update isl
t
o
version 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Verd
o
olaege
summary
.
c:
d
irectly include required
head
e
rs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
V
erdoolaege
sub
s
t
ituter
.
cc: directl
y
include required heade
r
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ve
r
doolaege
pet 0
.
1
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Ver
d
o
olaege
update isl to ver
s
ion 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven Ve
r
doolae
g
e
configure
.
ac
:
drop -Wl,--no-ke
e
p
-
files-mappe
d
from
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
Sven
V
e
rdoolaege
Pet
S
can::
s
et_upper_bounds:
avoid invalid a
c
cess in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en
V
erdoolaege
PetASTConsumer: propag
a
t
e
error
s
during con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
Verdoolaege
pet
.
cc:
p
et_tran
s
form: ha
n
dle
NULL inpu
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet
.
cc:
pet_foreach_sco
p
_in_C_s
o
u
r
ce:
r
eturn isl_sta
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet_expr_access_project_out
_
arg:
i
mprov
e
error handl
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
Verdoolaege
p
e
t
_expr_ins
e
r
t
_
arg:
u
se
p
et_exp
r
_acces
s
_get_domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
ven V
e
rd
o
olaege
scop_plus
.
cc: extract_list: impr
o
ve e
r
r
o
r han
d
ling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdool
a
ege
pet_codegen
.
c
:
add missing include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoola
e
ge
summary
.
c:
a
dd
m
issi
n
g include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-17
Sven Verdoolae
g
e
co
n
figure
.
ac:
d
rop -gspli
t
-dwa
r
f from llvm-config
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
Sven
V
e
rdoolaege
m4/ax_detect_c
l
ang
.
m4: u
p
d
a
te
to refactoring
o
f fr
o
ntend
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoola
e
ge
update is
l
for
suppo
r
t for recent clan
g
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
S
ven Verdoolaege
pet
.
cc:
set_inv
o
cation: plu
g
memory
l
eak
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdoolaeg
e
add back supp
o
rt for old
e
r versions of clan
g
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdoolaege
scan
.
h: add miss
i
ng include
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
oolaege
in
t
erfa
c
e/isl
.
p
y
.
top
:
explicitly ca
s
t s
e
lf
.
ptr of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdo
o
la
e
ge
i
n
te
r
face/pet
.
p
y
:
specify argument
ty
p
es of c
a
l
led
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
o
la
e
ge
update
isl for fixes in python bind
i
ngs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
updat
e
isl for
c
hange
i
n
in
t
erface/extract_i
n
terface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree