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
keep track of size of array elements
2012-02-06
Sven V
e
rdoolaege
ke
e
p track of siz
e
of array elements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Ver
d
o
olaege
adjust to change
in
number of argumen
t
s of De
c
lRefExpr
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-05
Sven Ve
r
do
o
laege
configure
.
ac: remove spu
r
ious ","
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-03
Sven van Haastregt
pe
t
_scop_e
x
tract
_
from_C_source: ret
u
rn N
U
LL in case
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-02
Sven Verdoolaege
pe
t
_scop_e
x
tract_f
r
om_C_sourc
e
: r
e
set user pointers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-02-01
Sven Verdoolaege
u
p
date isl for fix in
i
sl_space
_
set_
d
i
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-30
Sve
n
Verdoolae
g
e
README: a
d
d mor
e
require
m
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sv
e
n Verdo
o
lae
g
e
upda
t
e for cha
n
ge in clang's Ha
n
dleTopLeve
l
Decl return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
S
ven
V
erdoolaege
c
onfigure
.
ac: only lin
k
a
g
a
i
nst libraries
f
rom LLVM
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-18
Sven Ver
d
ool
a
ege
up
d
ate isl for sup
p
ort for rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-08
Sven Verdo
o
l
aege
scan
.
cc: f
i
x t
y
pos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Ve
r
dool
a
ege
sc
o
p
.
c:
f
ix typo in c
o
mme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-01-04
S
v
en Verdoolaege
add --versio
n
op
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Ve
r
doolaege
pet 0
.
0
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-18
Sven Verdoolaege
upd
a
te i
s
l t
o
version
0
.
09
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdool
a
ege
co
n
figur
e
.
ac:
s
pecify add
r
ess for bug
reports
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdoolaege
c
h
ec
k
fo
r
pr
e
se
n
ce o
f
pr
o
tot
y
pe before ac
c
essing parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-12-17
Sven Verdo
o
laege
PetScan::unsupporte
d
:
optionally print
c
u
stom m
e
ss
a
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
Sven Verdoolaeg
e
README: ad
d
a
small
n
ote on
h
o
w to use pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-28
S
v
en Verdoolaege
keep
t
r
ack of "address of" o
p
erators on ac
c
esses
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
scop_
e
xtract_from_C_source
:
properly clean
u
p if input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
const
r
uc
t
_invocat
i
on
:
add missing c
h
e
c
k f
o
r
jobs siz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Ver
d
oo
l
aege
c
a
che values in ass
i
gned_
v
alue instead of e
x
p
r
essions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoola
e
ge
allow
b
o
o
l
ean expr
e
ssion
s
where an af
f
i
n
e expr
e
ssion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven
Verdoolaege
allow parens aroun
d
integer liter
a
l in second
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n Verd
o
olaege
add extra min test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
S
v
en Verdo
o
la
e
g
e
u
pdate
i
sl
f
or isl
_
pw_aff_has_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-23
Sven Ver
d
o
o
laege
add
m
iss
i
ng nam
e
spa
c
e q
u
a
l
i
fication on
ll
v
m::ArrayRef
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven
V
erdoola
e
ge
pet_s
t
mt
_
from_pet_exp
r
: f
i
x
memory l
e
ak on error
pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaege
scan
.
cc: update commen
t
o
f valid
_
for_each_iteration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
Sv
e
n
V
erdoola
e
ge
allow nested accesses
i
n
loo
p
upper bounds
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-17
S
v
en Verdoola
e
g
e
all
o
w nested
a
ccesses in if
condit
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sve
n
Verdoolae
g
e
extract n_ne
s
ted_paramet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Ve
r
d
o
olaege
ext
r
a
ct is_nest
e
d_
p
ara
m
e
ter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven
Verdo
o
la
e
ge
extr
a
ct extract
_
ne
s
ted
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolaege
rename no
n
_affine to
nested_a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven Verdoolae
g
e
add pet_scop_
w
rite
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoolaege
priva
t
ely export p
e
t_
e
xpr_foreach_access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-14
Sven Ver
d
oo
l
aege
a
d
d
-
D
option
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
S
v
en Verdoolae
g
e
add -I opt
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaeg
e
pe
t
:
u
se is
l
for
a
rgumen
t
parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oola
e
ge
sto
r
e auto
d
etect option in
a
se
p
arate pet_
o
p
tions structure
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Verdoolaege
update i
s
l for s
u
pport for
s
tring list arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
up
d
ate isl for int
r
oducti
o
n of
i
sl_args
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verdool
a
eg
e
u
se the
clang driver to
o
btain comm
a
n
d
line argumen
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Ver
d
ool
a
ege
destroy MyDi
a
gnostic
P
rinter on newer clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sve
n
Verd
o
olaege
s
u
p
p
o
rt more r
e
c
e
n
t LL
V
Ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolae
g
e
upd
a
te isl for
s
up
p
ort for
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
S
ven Verdoolaeg
e
extract_affine: a variab
l
e that has
b
een assig
n
ed an
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sv
e
n Verdoolaeg
e
i
n
duction variable of for
l
oo
p
should
be co
n
sidered
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdoolaege
an
a
ddr
e
ss
p
assed to a const point
e
r
a
rgument shoul
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-03
S
v
en Verdo
o
laege
.
gitigno
r
e: add confi
g
.
h
.
in
~
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
rdoolaege
turn v
i
rtual scalars into virtu
a
l
arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
mark __
p
et_
t
est_*
scalars as only
attaining values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
rdoolaege
allow labels on expres
s
i
on
s
tatemen
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaege
all
o
w specifi
c
a
t
ion of only lower bound on p
a
r
ameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoo
l
aege
use isl
_
set_{lowe
r
,
u
pper}_bound_si in
s
tead of our own
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
up
d
ate
i
sl for isl_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-23
Sv
e
n
V
erdoolaeg
e
expl
i
citly
l
ink i
n
gmp when us
i
ng libisl
.
la
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaeg
e
Makefile
.
a
m
: app
e
nd extra copy of CLANG_LDFLAGS
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verd
o
olaege
update
i
sl t
o
vers
i
on 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Tobias Grosser
a
dapt to
t
he
r
e
cent change
s
in clan
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
Verdoolaege
u
p
da
t
e
isl fo
r
support for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
a
cc
e
pt n
o
n-aff
i
n
e
c
onditions in if statements
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoo
l
ae
g
e
pet_scop_add: also
c
ol
l
ect the arr
a
ys i
n
th
e
pet_scops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
pet_stmt
:
add argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n
Verdool
a
ege
pet_
s
t
m
t_fr
o
m
_pet_expr
:
cle
a
r all
f
ields of newly cre
a
te
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
V
erdo
o
laege
updat
e
is
l
fo
r
cha
n
g
e
in isl_pw
_
aff_set_tup
l
e_id prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
only distr
i
bute bun
d
led submodules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
e
rdo
o
laege
kee
p
track of assignme
n
ts to parame
t
ers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
e
g
e
e
xport Pe
t
Sca
n
:
:
extrac
t
_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
be
m
ore care
f
u
l abo
u
t
u
sing
p
arameter spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
updat
e
is
l
for isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-21
Sve
n
Verd
o
olaege
h
a
n
dle
extrac
t
ion of scops inside
a loo
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n
V
erdoolaege
pet_stmt_embed: handle NULL stmt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
pet_expr_is_equal: not
e
qual
i
f
access relation i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ve
r
doolaege
pa
r
se
.
c:
extract_ar
g
uments:
p
lug memory leak on er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
olaege
update isl
for change in is
l
_set_read_fro
m
_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
upda
t
e
i
sl fo
r
change
i
n
isl_{in
,
}equali
t
y_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven V
e
rdo
o
l
a
ege
add c
o
pyrig
h
t
s
ta
t
ement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoola
e
ge
pet_sc
o
p_ext
r
act_from_C_source: use
a
C
om
p
ilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ve
n
Verd
o
olaege
clear assigned_value
for scalars that
a
r
e as
s
igned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan::set_upper_bounds: grac
e
fully handle errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
V
er
d
oola
e
g
e
update isl for chan
g
e
in space of isl_pw_* objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
update is
l
for explicit param
e
ter
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use
i
s
l
_space_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
update isl for i
s
l_space_para
m
s_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
renam
e
isl_dim to isl_s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for
rename of is
l
_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
accept infini
t
e wh
i
le loop
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add "
e
q" operati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
accept compo
u
nd stat
e
ments with
z
ero statements w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
expr_collect_
a
c
c
esses:
u
se isl
_
map_ha
s
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaege
chec
k
if tuple has id before calling is
l
_{
s
et,map}_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
Ve
r
doo
l
ae
g
e
update isl
fo
r
isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
r
d
oolaege
allow d
e
claration
of iterator
in for l
o
ops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n Verdoo
l
aege
updat
e
isl for re
n
ame of isl_map_
i
ns
e
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobia
s
Grosser
Hide war
n
ings in system headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
e
rdoolaege
handle "
l
ive-out" pra
g
mas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
pet
.
c
c
: extr
a
ct out u
p
date_a
r
rays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next