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_{in,}equality_alloc
2011-09-13
Sven Verdo
o
l
a
ege
u
p
date
i
sl for chan
g
e in
i
sl_{in,}e
q
u
ali
t
y_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoola
e
ge
add co
p
yright s
t
a
t
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven
V
erdoolaege
pet
_
scop_e
x
tract_from_C_source: use a CompilerInstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
c
lea
r
a
s
signed_va
l
ue for sc
a
l
ars
t
hat are assi
g
ned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
PetScan::
s
et_upper_bounds: gr
a
cefully handle errors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
erdoolae
g
e
up
d
ate is
l
fo
r
change in space
o
f isl_pw_
*
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doola
e
ge
up
d
ate i
s
l for exp
l
icit parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laeg
e
use isl_space_par
a
ms_a
l
loc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
upd
a
t
e
isl for isl_space_pa
r
ams_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oolaege
r
e
name
isl_
d
im to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doo
l
aege
update isl f
o
r
r
ename of isl_
d
im to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
ccept
i
nfinite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
ad
d
"eq" operation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
accept compound stateme
n
ts
w
ith zero statemen
t
s when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
e
xpr_col
l
ect_accesses: use
isl
_
map_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
c
heck
i
f tuple
h
a
s id
b
e
fore
c
all
i
ng isl_{set,m
a
p}_ge
t
_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n
V
e
r
doolaege
upd
a
t
e isl for isl_map_has
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaeg
e
allow decla
r
ati
o
n
of it
e
rator in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
u
pd
a
te isl
f
or rena
m
e of
i
sl_map_inser
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n Ve
r
doola
e
ge
h
an
d
le "live-out" prag
m
a
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaeg
e
pet
.
c
c
: e
x
t
ract
out update_arra
y
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoola
e
ge
pet
.
cc: e
x
tract out
get_val
u
e_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verd
o
ol
a
ege
avoid wrappi
n
g
o
n
some simple
c
ases of loops with unsigne
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Verdo
o
laege
wra
p
res
u
lts of
u
nsig
n
ed computati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
take into account that un
s
i
g
n
ed itera
t
ors may
wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sve
n
Verdoolaege
allow lo
o
p
incremen
t
s o
f
the form
i = i +
c
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
a
llow loop i
n
cremen
t
s di
f
ferent
from one
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
e
n Verdoolaege
allow loop incremen
t
s of th
e
for
m
i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doolaeg
e
fix check for
"simple" loop terminati
o
n con
d
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
upda
t
e isl for isl
_
pw
_
aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
Verdoolaeg
e
properly h
a
n
dle gene
r
i
c
c
ondi
t
io
n
s in for loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoola
e
ge
README: emphasize th
a
t we need clang l
i
braries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
update for r
e
na
m
e of
g
etInsta
n
t
i
a
tionLi
n
eNumbe
r
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdo
o
l
aege
sc
a
n
.
cc
:
fix
t
ypo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
olaege
update isl for fi
x
in isl_map_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verd
o
olaege
accept af
f
ine expressio
n
s
w
here w
e
expect
a cond
i
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en V
e
r
d
oolaege
update isl f
o
r isl_pw
_
aff_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sven Verdoo
l
aege
initi
a
l versio
n
o
f
pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree