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
Sve
n
Ve
r
doolae
g
e
updat
e
i
s
l
f
or change in isl_set
_
read
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
V
erdoo
l
a
e
ge
u
p
d
a
te is
l
for cha
n
ge in
is
l
_{in,}
e
qualit
y
_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-12
Sven
Verdoolaege
add copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
v
e
n
V
e
rd
o
olaege
p
et
_
scop_e
x
tract_from_C_s
o
ur
c
e: u
s
e a CompilerInstance
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear assigned_value fo
r
sca
l
ars that
a
re
a
s
s
i
gned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
PetScan::set_upper_bounds: gracef
u
l
ly han
d
le errors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
update isl
fo
r
change
i
n space of isl_pw_
*
o
b
j
ects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for
e
xpli
c
it
par
a
mete
r
spac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
use isl_
s
pace_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdo
o
laeg
e
updat
e
isl for isl_space_para
m
s
_
allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rena
m
e
isl_di
m
to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
u
pdate isl for rename of is
l
_dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept infinite
w
h
ile loops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add "eq" oper
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolaege
accept compound
s
ta
t
em
e
nts with z
e
ro stat
e
ments when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Ve
r
doolaege
expr_col
l
ect_access
e
s: use isl_map_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sv
e
n Verdoolaege
check if tuple has id before ca
l
ling isl
_
{
set
,
ma
p
}_get_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
update isl
f
or
isl_map_
h
as_tu
p
l
e
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en Verdoolaege
al
l
ow declaration o
f
iterator
i
n for
l
oops
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
oo
l
aege
u
p
da
t
e is
l
for rename of isl
_
map_insert
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdoolaege
handle
"
live-out
"
pr
a
gma
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdo
o
l
a
ege
pet
.
cc: extr
a
ct o
u
t upd
a
te_arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sven Ver
d
o
o
laege
p
e
t
.
cc: extract out
get_val
u
e_decl
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven Ve
r
d
oo
l
aege
avoid
wr
a
pping on some s
i
mpl
e
cases of loops with unsi
g
ned
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en
V
erdoolaege
wrap
results o
f
unsign
e
d compu
t
ati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sv
e
n Verdo
o
laege
take
i
n
t
o account that unsi
g
ned iterators may wra
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oolaege
a
llow loop inc
r
em
e
n
t
s of th
e
f
o
rm i =
i + cst
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
ven
Verdo
o
laege
allow loop increments different from
one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdool
a
ege
allow
loop
incremen
t
s of
t
he form i
+= 1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verdoolaege
fix c
h
eck for "s
i
mple" loop ter
m
inati
o
n c
o
nditi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
upd
a
te isl f
o
r i
s
l
_
pw_aff_mod
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
o
o
laege
properly han
d
le ge
n
eric
c
onditi
o
ns in for
lo
o
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoo
l
aeg
e
README:
emph
a
size that we n
e
e
d
clang
libraries
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sven Verdoolaege
up
d
ate for
re
n
am
e
of getInstantiationL
i
neNumber
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-28
Sve
n
Verdoolaege
s
c
a
n
.
c
c: fix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
S
v
en V
e
rd
o
o
l
aege
u
pdate i
s
l
f
o
r
fix in isl
_
ma
p
_
i
ntersec
t
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sv
e
n Verdoolaege
accept affine express
i
ons
wher
e
we expect a condition
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-25
Sve
n
Verdoolaege
update is
l
for isl_pw_aff_
n
on_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-22
Sven Ve
r
doo
l
aege
init
i
al version of pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree