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
clear assigned_value for scalars that are assigned an unknown value
2011-09-04
S
ven Ver
d
o
o
laeg
e
clear
a
ssi
g
n
e
d_v
a
lu
e
for s
c
alars that are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoola
e
g
e
PetScan::set
_
u
p
per_
b
ounds: g
r
acefully
handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
aege
u
p
d
ate isl
for
change i
n
space of isl_pw_* o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
u
p
date isl
f
or explicit paramete
r
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
u
se isl
_
space_
p
a
rams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
updat
e
i
sl f
o
r
isl_space_
p
ar
a
ms_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
rename i
s
l_dim to
i
sl
_
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
update isl for r
e
name of isl_dim to
i
s
l_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept infinite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add "eq"
o
peration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
a
c
cept
c
ompound statements
w
ith zero st
a
tements when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
expr_coll
e
ct_accesses: use
isl_map_has_
t
upl
e
_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
V
e
r
doolaege
check if tuple
has id before
calling i
s
l
_
{s
e
t,map}_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
e
n
V
erdoo
l
ae
g
e
u
pdate is
l
for is
l
_map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
allow decl
a
r
a
tion of iterator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaeg
e
update i
s
l for
rename of i
s
l_m
a
p_ins
e
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sve
n
V
e
r
d
ool
a
ege
handle
"
li
v
e-out" pragmas
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
e
n Ver
d
oolaege
pet
.
cc: extract out upd
a
t
e
_
ar
r
ays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
v
en Verdoola
e
ge
p
e
t
.
cc: extract o
u
t get_valu
e
_dec
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdo
o
laege
avoid
wrapping
o
n
some s
i
m
ple cases of loop
s
with unsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
wra
p
results
of unsi
g
ne
d
comp
u
ta
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
take into a
c
cou
n
t
t
h
a
t unsigned iterato
r
s
may wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
allow
loop increments of
t
h
e form i
=
i
+ cst
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
allow loop in
c
rements different
f
r
o
m
one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
all
o
w loop increments of the
form i +=
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
fix check for
"
simpl
e
" loop termi
n
at
i
o
n
condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaeg
e
update i
s
l for
i
sl_p
w
_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven V
e
rdoolaege
p
r
operly handle generic conditions in
for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven
V
erdoo
l
aege
READM
E
: emphasize that we
need cla
n
g
l
i
braries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
ven Verdoola
e
g
e
update for rename of get
I
nstant
i
ationLineNumb
e
r to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
scan
.
cc:
f
ix
typ
o
in
c
ommen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
Ver
d
o
o
laege
update
i
sl for fix in isl_map_int
e
rse
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
olaege
ac
c
ept affine expr
e
s
s
ions
wher
e
w
e ex
p
ect a co
n
dition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en Verdoo
l
aege
upd
a
te isl for isl_p
w
_a
f
f_n
o
n_z
e
ro_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verd
o
ola
e
ge
initial version of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree