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 for change in isl_set_read_from_str
2011-09-15
S
v
en Verdoolaeg
e
update isl f
o
r chang
e
in
is
l
_s
e
t_read_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
u
p
date isl fo
r
c
h
ange in isl_{in,}
e
quality_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add cop
y
right statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Verdoolaege
pet_scop_extract
_
from_C_source:
use a Compil
e
rInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoo
l
aege
c
l
ear assigned
_
va
l
ue for scalar
s
that a
r
e assigned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoolaege
PetScan::set_upper_bounds: graceful
l
y handle err
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
u
p
d
ate 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
Sve
n
Ve
r
doola
e
ge
upd
a
te i
s
l for expli
c
it paramete
r
spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
use isl_space_p
a
ra
m
s_al
l
oc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
update isl
f
o
r
i
sl_space_params
_
all
o
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
rename
i
sl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
update isl f
o
r rename o
f
isl_
d
i
m
to isl_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
accept infinite wh
i
le loo
p
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add "eq"
o
perati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept compo
u
nd sta
t
ements with
zero sta
t
e
ments
w
hen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ex
p
r_co
l
le
c
t
_accesses: use
i
sl_map_
h
as_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdoolaeg
e
c
h
ec
k
if tup
l
e
has
id before ca
l
ling is
l
_{set,map}_get_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
eg
e
update is
l
for
i
s
l
_
map_has_tup
l
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en
V
erdoolaege
a
l
low decla
r
ation of
i
tera
t
or in for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Ve
r
doola
e
ge
update isl fo
r
renam
e
of is
l
_ma
p
_inse
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Tobias
G
ross
e
r
Hid
e
warnings in system headers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdo
o
lae
g
e
h
andle "live-out" pragmas
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
er
d
oolaege
pet
.
cc: extract
o
u
t u
p
date_arr
a
ys
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven
V
e
r
d
o
o
laege
pet
.
cc: extract out get_v
a
lue_d
e
cl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
avo
i
d wrapping on some sim
p
l
e
c
ases
o
f loops with
u
ns
i
gned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
wrap
r
esults of unsigned
c
omputations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oo
l
aege
t
a
ke into acc
o
u
nt that un
s
igned iterators m
a
y
w
r
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
Ve
r
doolaege
allow loop incremen
t
s of the form i
=
i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow
l
oop increments different from one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allo
w
loop incr
e
ment
s
of the form i
+= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Ve
r
doolaege
fix
c
heck for "s
i
mple"
l
oop te
r
mination conditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
upd
a
te is
l
for isl
_
pw_aff_
m
od
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verd
o
olaege
properly han
d
le gene
r
ic con
d
itions
i
n for loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sv
e
n Ve
r
doolaeg
e
README:
emph
a
si
z
e
that we need clang libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Ver
d
oo
l
aege
u
pdate fo
r
re
n
ame of getInstantiati
o
nLineNum
b
er to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven
V
erdoola
e
ge
s
can
.
cc: fix typo in com
m
en
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sven Ver
d
o
o
laege
updat
e
i
sl fo
r
fi
x
in
is
l
_map
_
int
e
r
sect_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoo
l
aege
accept
af
f
ine
e
xpressions where we expect a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoo
l
a
e
ge
u
p
date isl for isl_pw_aff
_
non_zer
o
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
ven va
n
Haastr
e
gt
con
f
igure:
check if llvm-config
a
ctually exists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdool
a
ege
initi
a
l
version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree