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
pet 0.11
2018-03-03
Sven Ver
d
oolaege
p
et 0
.
11
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdool
a
ege
u
pdate i
s
l to
v
ersion 0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven V
e
rd
o
olaege
co
n
figur
e
.
ac: drop -Wl,--
n
o-keep
-
files
-
mapped
f
r
om
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
S
v
en Verd
o
olaege
PetScan
:
:
set_up
p
e
r
_bo
u
nds: avoid invali
d
access in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdoolaege
P
etASTConsumer:
propa
g
ate errors during const
r
uction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolaeg
e
pe
t
.
cc: pet_
t
ransform
:
handle N
U
LL
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdoolaege
pet
.
c
c
: pet_foreach_sc
o
p_in_C_source
:
return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
doolaege
pet_expr_access
_
pr
o
ject_out_arg: imp
r
ove error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
V
e
rdoo
l
aege
pet_expr_ins
e
rt_arg
:
use
p
et_expr_ac
c
ess_get_domain_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
s
cop_plus
.
cc:
ex
t
ra
c
t_list: imp
r
ove error
h
andling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
S
ven Verdoolaege
pe
t
_
c
odegen
.
c: add missing i
n
c
l
ude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sve
n
Verdoolaege
s
ummary
.
c: ad
d
missing i
n
clude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-17
Sven Verdoolaege
confi
g
ure
.
ac: drop -gsplit-dwarf from l
l
vm-config
.
.
.
commit
|
commitdiff
|
tree
2017-06-16
S
ven
Ver
d
oolaege
m4/ax
_
detect_
c
lang
.
m
4: update
to refact
o
ring o
f
frontend
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Ve
r
d
oolaege
up
d
ate isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
Sven Verdo
o
laege
pet
.
c
c
: set_i
n
vocation:
plug me
m
ory leak
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-06
Sv
e
n Verdool
a
e
ge
add
back supp
o
rt
f
or
o
lder versio
n
s
of
clang
commit
|
commitdiff
|
tree
2017-06-06
S
ven Ver
d
oolaege
scan
.
h: ad
d
missing inclu
d
e
commit
|
commitdiff
|
tree
2017-05-04
Sv
e
n Verdoolaege
in
t
erface
/
is
l
.
py
.
t
op: expl
i
c
itly cast sel
f
.
ptr of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
erdoo
l
aege
inte
r
face/
p
et
.
py: spe
c
ify
argument t
y
pes o
f
ca
l
led
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdoolaege
u
p
date isl f
o
r
f
ixes i
n
p
y
thon bindi
n
gs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven
V
e
rd
o
o
l
aege
up
d
a
t
e isl
f
or cha
n
ge in in
t
erface/ext
r
act_in
t
erface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree