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
Verdoolaege
updat
e
i
s
l
to version 0
.
23
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-09
Sve
n
Verdoolaege
improve dete
c
tio
n
of clangEdit
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Verdoolaege
link against singl
e
libclang-c
p
p libr
a
ry
i
f
availa
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-07-03
Sven Verdo
o
l
a
ege
update i
s
l for li
n
king aga
i
nst si
n
gle libc
l
ang-cpp
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-03-22
Sven Verdool
a
ege
configu
r
e
.
ac:
l
ink i
n
llvm frontendope
n
mp component
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-17
Sven
V
erdoola
e
ge
rerun c
o
nfigur
e
when
ll
v
m-config is u
p
dated
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven Verdool
a
ege
pet
.
cc: directly
include
required header
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-01-15
Sven Verdoo
l
aege
update isl to version 0
.
2
2
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sven V
e
rdoola
e
ge
pet 0
.
1
1
.
3
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
S
v
en Verdool
a
eg
e
update
i
s
l
t
o ver
s
ion 0
.
22
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-11-09
Sven
V
erdo
o
laege
R
E
A
DME: u
p
d
ate latest release o
f
clan
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-23
S
v
en Ver
d
oolae
g
e
i
nterf
a
ce/extract
_
inte
r
face
.
c
c
: set language defa
u
lts
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
Sven Verdoolaege
p
e
t
.
cc: handl
e
c
h
ange in Compile
r
Invocatio
n
::Creat
e
FromArgs
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
S
ven V
e
r
d
o
o
l
aege
pet
.
cc: unde
f
ine PAC
K
AGE
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-10-19
Sven Ve
r
doolaeg
e
u
p
dat
e
is
l
fo
r
support for
r
ec
e
nt
versions of c
l
an
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
S
ven Verdoola
e
ge
m4/ax_detect_cl
a
ng
.
m4: handle
r
e
placem
e
nt of Input
K
ind
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sve
n
Ve
r
doolaeg
e
pe
t
.
cc: handle F
i
leManager::getF
i
le r
e
tu
r
ning ErrorOr
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-11
Sven Verd
o
olaege
m4/
a
x_dete
c
t_clang
.
m4: check presence of cl
a
n
g/
B
asic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-08-06
Sven Ver
d
oolaege
update isl for
suppor
t
f
o
r recent version
s
of c
l
ang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-07-21
S
ven Ver
d
oolaege
us
e
Pra
g
maInt
r
oducer a
s
Han
d
lePragm
a
argume
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven
V
e
r
doo
l
aege
pet
0
.
11
.
2
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
S
ven
V
erdoolaege
update
i
sl to version 0
.
21
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-26
Sven Verdoola
e
ge
README: u
p
d
ate lates
t
release of
cl
a
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-03-03
Sven Verdoolaege
README: mention tha
t
llvm-config is also
n
eeded
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
ven Verd
o
olaege
R
EADME: mention
d
epend
e
nce on pkg-config
w
hen compil
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoolae
g
e
ski
p
functions
w
ithout valid scop
s
when au
t
odetec
t
ing
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven
Ver
d
oolae
g
e
pet
.
cc: use l
l
vm:
:
opt::
A
rgSt
r
ingList when av
a
i
l
a
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
S
v
en Verdoolaeg
e
handle
rename of getLocStar
t
t
o
g
etBeginLoc and getLocEnd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2019-01-15
Sven Verdoolaege
update
isl for support for recent versions of clang
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-09-21
Sven
V
erdoolae
g
e
re
s
tore
ignorin
g
of implicit
function declaration warn
i
n
gs
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Ver
d
oolaege
upda
t
e isl
f
or move o
f
i
nterface/all
.
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdo
o
laege
interface: make language bi
n
dings depend
on all
r
elevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolaege
only
b
uild isl
.
py and when extra
c
t_interface is av
a
ilable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolaege
detect failures
in
isl
.
p
y
genera
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolaege
Makefil
e
.
am: use automatic
vari
a
b
le for target
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Ve
r
doola
e
g
e
p
et 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdoolaeg
e
upd
a
te isl
t
o ve
r
s
ion 0
.
2
0
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven Verdool
a
ege
summary
.
c:
dire
c
tly inclu
d
e re
q
uire
d
headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sven
Verdoo
l
aege
substituter
.
cc: directly include required
h
eaders
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven
Verdoolaege
pet 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoolae
g
e
u
pdate isl to
v
e
rs
i
on
0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven Ver
d
oolaege
con
f
igu
r
e
.
ac: drop -Wl,--no
-
keep-files-mapp
e
d from
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
Sven Ve
r
d
o
ol
a
ege
PetScan::se
t
_
u
pper_bounds: avoid
invalid
a
cce
s
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven V
e
rdoolae
g
e
Pet
A
STC
o
nsum
e
r: pr
o
pagate errors during const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
ven V
e
rdoolaeg
e
pet
.
cc: pet_transfor
m
: handle NU
L
L input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet
.
cc: pet
_
foreach_
s
cop_in_
C
_
s
ource: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolaege
pet_expr_access_project_out_arg: improve er
r
or ha
n
dling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
ven
V
erdoolaege
p
et_expr_inse
r
t_a
r
g: use
p
et_expr_access_
g
et_domain_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdo
o
laeg
e
scop_plus
.
cc: extract_list: imp
r
o
v
e error
handlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolaege
pet
_
codegen
.
c: add missing
incl
u
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolaege
summary
.
c: add
miss
i
ng include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-17
Sven Verdool
a
ege
configure
.
ac: drop -gspli
t
-d
w
arf from llvm-config
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
Sven
V
er
d
oo
l
a
e
ge
m4/ax_de
t
e
c
t_
c
l
ang
.
m4: update to ref
a
c
toring of frontend
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
up
d
ate
i
sl for
s
upport f
o
r recent cl
a
ngs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
Sven Verd
o
olaeg
e
p
et
.
cc
:
set
_
invocation: plug memory le
a
k
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-06
Sv
e
n
V
erdool
a
ege
add bac
k
s
u
pp
o
rt
f
or older versi
o
n
s
o
f
clang
commit
|
commitdiff
|
tree
2017-06-06
Sven Verdoolaege
scan
.
h:
add
m
issing include
commit
|
commitdiff
|
tree
2017-05-04
S
ven V
e
rdoolaege
interface/isl
.
p
y
.
top:
e
xp
l
icit
l
y cast self
.
ptr of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sve
n
Verdoolaege
interface/p
e
t
.
py
:
specify argument types of
called
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdoola
e
ge
up
d
ate isl f
o
r fixes in python bi
n
dings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
en Verdo
o
lae
g
e
up
d
ate isl for change i
n
interface/extract_interf
a
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree