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 isl_set_upper_bound_si
2011-11-02
Sven Verdoolaege
update isl for is
l
_set_upper_bo
u
n
d_s
i
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-23
Sven Ve
r
dool
a
ege
explicitly
l
ink in gmp when
using li
b
isl
.
la
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
Makefile
.
am
:
a
ppend e
x
t
r
a copy of C
L
ANG_L
D
FLAGS
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
v
en Verdoo
l
aege
update isl to version 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdool
a
ege
upd
a
te isl for support for recent clangs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdoolaege
acc
e
p
t n
o
n-a
f
fine conditions
i
n if stateme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
dool
a
ege
pet_sco
p
_add
:
also collect th
e
ar
r
ays in the pet_sc
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
pet_
s
tmt: add arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
pet
_
stmt_f
r
om_pet_expr
:
clear all fields
o
f new
l
y creat
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
update isl
f
or
c
hange in isl_pw_
a
f
f_set_tuple_id prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven V
e
rdoolaege
only di
s
tribute bundl
e
d submodules
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aeg
e
keep tra
c
k of assignments to parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
e
xport Pe
t
Sc
a
n:
:
extract_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
be
more careful abou
t
using parame
t
er s
p
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
u
pdate
isl f
o
r i
s
l_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-21
Sven Verdoolaege
handle extraction of scops i
n
s
i
de
a loop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
pet_stmt_em
b
ed: handle NU
L
L stmt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
V
erdoolaege
pe
t
_expr_is_equal: not equa
l
if ac
c
ess relation is
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ve
r
do
o
laege
parse
.
c: ext
r
act_arguments: plug m
e
mor
y
leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdool
a
ege
up
d
ate isl fo
r
change in is
l
_
s
e
t_read
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
Verdoolaege
update is
l
for c
h
ange in isl_{in,}e
q
uality_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-12
Sven Verdoolaege
add copyright sta
t
e
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven V
e
r
doolaege
pet_sc
o
p_extract_from_C_source: us
e
a Compi
l
e
r
I
nstance
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
clear ass
i
gned_va
l
ue for scalars
t
hat are assigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
PetS
c
an::set_upp
e
r_bounds: gra
c
efully handle er
r
ors
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
en
Verdoolaege
update isl f
o
r change in space of isl_pw_*
o
bje
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
update isl for explic
i
t parameter spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oolaege
use isl
_
s
p
ace_p
a
r
ams_a
l
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
update isl for isl_spac
e
_param
s
_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename is
l
_
d
i
m
to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
up
d
at
e
isl for rename o
f
isl
_
dim to i
s
l_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
accept infinite while loops
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olae
g
e
a
d
d "eq" operat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
accept com
p
ound sta
t
e
m
en
t
s with zero statements
w
he
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
o
olaege
expr_col
l
ec
t
_
a
cces
s
es: use isl_map_has_tu
p
le_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdoolaege
check if
tuple has id before calling isl_{set,map
}
_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
update isl for isl_ma
p
_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdo
o
laege
allow declarat
i
on of iterator
i
n for lo
o
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoola
e
ge
update is
l
fo
r
r
ena
m
e of isl_map
_
in
s
ert
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven
Verdoo
l
aege
hand
l
e "li
v
e-
o
ut" pragma
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
pet
.
cc: extract
o
u
t
update_arrays
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoo
l
aege
pet
.
c
c
: extrac
t
out get
_
value_decl
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoolaege
avoid wrappi
n
g on s
o
me simple cases
o
f loops with
u
nsigned
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
ven V
e
rdoolaege
w
rap
r
esults of uns
i
gn
e
d computations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven
Verdoolaege
take
i
nt
o
account that unsi
g
ned ite
r
ato
r
s
m
a
y
wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
allow loop in
c
rements of the fo
r
m
i = i +
c
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdo
o
l
aege
allow
l
oop
increments diff
e
r
ent
fr
o
m o
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
doola
e
ge
a
llow loop i
n
c
r
e
ments of the f
o
rm i += 1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoola
e
ge
fix check for
"simple"
l
o
op
t
ermi
n
ation condition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
S
v
en Verd
o
ol
a
ege
update isl for isl_pw_aff_mo
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
Sven Ver
d
oolaeg
e
pro
p
erly handle generic conditions in for loop
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
e
n
Verdoola
e
g
e
README: emphasize th
a
t we need
c
lang libraries
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en
Verdo
o
l
aege
u
p
date for re
n
a
me
o
f
getInstanti
a
tio
n
LineNumber to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-28
S
v
en Verdoolaege
s
c
an
.
cc: fi
x
typo
i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verd
o
ola
e
ge
update
i
sl
for fix in isl_map_interse
c
t_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven Verdoolaege
acc
e
p
t affine expressions
where
w
e
expect a con
d
ition
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-25
Sven
V
erd
o
ola
e
ge
upd
a
te isl f
o
r isl_p
w
_aff_non_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-22
Sve
n
Verd
o
olae
g
e
initia
l
version
of pet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree