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
interface: make language bindings depend on all relevant headers
2018-08-12
Sven Ve
r
doolaege
inte
r
face: mak
e
language bindings depend
on a
l
l relevant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven V
e
rdoolaeg
e
only
b
uild isl
.
py and when ext
r
act_interfac
e
is av
a
ilable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verd
o
o
l
aeg
e
d
e
te
c
t failur
e
s in
isl
.
py generation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-12
Sven Verdoolaege
Makefile
.
am: use automatic variable for ta
r
get
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdoolaege
pet 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-07-28
Sven Verdoolaege
u
pdate
isl to ve
r
sion 0
.
20
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
S
ven Ve
r
doolaege
summary
.
c
:
d
irectly include
required header
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-04-24
Sv
e
n Verdoo
l
aeg
e
substituter
.
cc: directly include require
d
headers
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Verdoola
e
ge
pet 0
.
1
1
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
S
ven Verdoolaege
update is
l
to version
0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sve
n
V
e
rdoolaege
config
u
re
.
ac: d
r
op -Wl,--no-
k
eep-files-ma
p
ped from
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-10
Sven Verdoo
l
aege
PetS
c
an::
s
et_upper_bounds: avoid
invalid acce
s
s in
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven V
e
rdoolaege
P
etASTCo
n
sumer: propagate errors
d
urin
g
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaeg
e
pet
.
cc:
pet_transfor
m
: handle
N
ULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
aege
pe
t
.
cc:
p
et
_
foreach_sco
p
_in_C_
s
ource: r
e
turn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
pet_expr_access_pr
o
je
c
t
_ou
t
_a
r
g
:
im
p
rove e
r
ror
handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
V
e
rdo
o
laege
pet_expr_insert
_
arg: use pet_exp
r
_acce
s
s_get
_
d
o
m
a
in
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
Verd
o
olaege
scop_p
l
us
.
cc: extract_list: improve error hand
l
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sven Verdoolaege
pet_codegen
.
c: add mis
s
ing
include
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-08-29
Sv
e
n Verdool
a
ege
summary
.
c: add missing in
c
lude
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdoolaege
m4/ax_detec
t
_clang
.
m4: upd
a
te to
refactoring
o
f fronte
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-16
Sven Verdo
o
laege
updat
e
isl for
s
upport for recent c
l
angs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-06-14
Sven
Verdoolae
g
e
pet
.
cc
:
set
_
in
v
ocation: p
l
ug memory l
e
ak
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verd
o
ol
a
ege
interfac
e
/isl
.
py
.
t
op: explic
i
tly cast self
.
ptr of Context
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Ver
d
oolaege
interface/p
e
t
.
py: specify argument t
y
pes of called
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
S
v
e
n
Ve
r
doolaege
update isl
for fixes in pyt
h
on binding
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-05-04
Sven Verdool
a
ege
update isl for change in interface/ex
t
ract_interface
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
