repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl 0.08
2011-10-21
Sven Verdoolaeg
e
isl 0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Verdoolaege
in
t
erface/Make
f
ile
.
a
m
:
append extr
a
copy of CLANG
_
LDFLAGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
S
ven Verdoo
l
aeg
e
isl_ta
b
_pip
.
c: set_row_cst_to
_
d
iv: don't ass
u
me coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven
Ve
r
doola
e
g
e
is
l
_tab_pip
.
c: fix
t
yp
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Ve
r
d
oolaege
remove undocument
e
d isl_basic_{se
t
,ma
p
}_foreach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoo
l
aeg
e
isl_test: test isl
_
b
a
sic_map_lex
m
in_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaeg
e
ad
d
isl_union_m
a
p_g
i
st_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdo
o
l
aege
a
d
d isl_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
ad
d
isl_u
n
ion_map_gist_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdo
o
l
aege
isl_union_map_inter
s
ect_d
o
mai
n
: specia
l
c
ase intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdool
a
ege
isl
_
union_set_in
t
ersect: spec
i
al case intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rd
o
olaege
ad
d
isl_un
i
on_map_inte
r
s
e
ct_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_se
t
_is
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
S
v
en Verd
o
olae
g
e
isl_point
_
get_coordinate: check
v
alidity of "pos" arg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
Ver
d
oolaeg
e
int
e
rface/
e
xtract_
i
n
t
e
r
face
.
cc: a
d
j
u
st to re
n
ame o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdoolaege
r
ename isl_
p
w_aff_add to isl
_
p
w_aff_uni
o
n_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
v
e
n
Verdool
a
ege
reimpl
e
ment
p
w_a
f
f_mul
o
n
top of a generic
isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
isl_map_intersect: requ
i
r
e
a
r
g
umen
t
s to live
i
n
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n
V
e
rdoolaege
isl_i
n
put
.
c:
r
ead_
t
uple
:
use i
s
l_map_intersect_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
S
v
en Verdool
a
ege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas
K
l
o
eckner
Insert missing e
r
ror check
i
n
to isl_pw
_
*_inter
s
ect_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
And
r
eas
K
l
o
eckn
e
r
Run isl
_
basic_m
a
p_fi
n
alize aft
e
r isl_{basic_
,
}map
_
eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sven Verd
o
o
laege
isl
_
st
r
eam_read_map: h
a
n
d
l
e nested
p
arenthesized expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
e
rdoolaeg
e
isl_basic_{set,ma
p
}_p
a
rtial_lex{
m
i
n,max}_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n V
e
rdoo
l
aeg
e
add
i
sl_aff_normal
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
add e
x
tra
c
t
_interf
a
ce for constructing interfaces
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
ma
r
k
some
data structures and functio
n
s
for export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdool
a
ege
add i
s
l_*_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoo
l
aege
a
d
d
i
sl
_
union_pw_q
p
olynomial
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
laege
add
i
sl_m
u
lti_aff_lif
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaeg
e
add
i
sl_loca
l
_s
p
a
ce_li
f
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_local_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
Ver
d
o
o
l
aeg
e
add isl_loca
l
_s
p
ace_intersec
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_mult
i
_aff_r
e
ad_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
ad
d
isl_pw_aff_
r
e
ad_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rd
o
olae
g
e
add isl_aff_re
a
d
_
fr
o
m
_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ver
d
oo
l
aege
add isl_pw_m
u
l
ti_aff_read_from_st
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
l
aege
add isl
_
p
w_m
u
lti_af
f
_
f
rom_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
r
d
oolae
g
e
a
dd isl_basic_map_lexmin_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
pip: optionally u
s
e isl_basic_set_pa
r
tial_le
x
min_pw_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaeg
e
add isl_basic_{set,map}_partial_lex
{
min,max}_pw
_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
olaege
add
i
sl
_
pw
_
multi_aff_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add
isl_s
e
t_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laeg
e
a
d
d
isl_local_s
p
ace_subs
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaege
i
s
l_printe
r
_print_
p
w_mul
t
i_aff: partial sup
p
o
r
t for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verd
o
olaege
add isl_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d
isl_pw_*_g
e
t_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolae
g
e
add isl_pw_*_get_
d
im_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaeg
e
add isl_pw_*_
h
as
_
tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaeg
e
add isl_p
w
_*_set_dim
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
Verdoolaege
add
i
sl_pw_*_get_tu
p
le
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaege
ad
d
isl_pw_*_get_tuple_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add isl_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_pw_te
m
pl
.
c: rename
a
lign_params_pw_
p
w_and to include PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoolae
g
e
a
d
d isl_map_di
m
_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
privatel
y
export isl_basic_map_foreach_
l
exop
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaege
add
isl_
b
asic_m
a
p_el
i
minate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
er
d
o
olaege
a
d
d
isl_basic_m
a
p_ha
s
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven
V
erdoolae
g
e
i
s
l_ba
s
ic_map_elimi
n
a
te_vars: gauss re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdool
a
ege
add isl_aff
_
s
e
t_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoolaege
add isl_l
o
cal
_
space_set_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add isl_map_f
i
nd_dim
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rd
o
o
lae
g
e
add is
l
_sp
a
ce_find
_
dim_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
export isl_pw_aff
_
inte
r
sect
_
doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdoolaege
export is
l
_pw_aff_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoola
e
g
e
add generic isl_pw_*_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n Verdoolaege
isl_set_interse
c
t: pr
o
p
e
rl
y
h
andle intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
ven Verdoolaege
isl
_
access_info
_
c
o
mp
u
te_flow:
a
l
i
gn parameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
S
v
e
n
Verdoolaege
Merge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-09-23
Sven
Ve
r
doolaege
fix isl_set
_
involv
e
s_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdool
a
ege
add isl_set_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
add isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_s
p
ace
_
s
et_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
M
e
rg
e
b
ranch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolae
g
e
isl_
q
po
l
ynomial
_
morph:
properly handle deno
m
inators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add
i
s
l
_mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
isl_ta
b
_pip
.
c: sol_for_add: cor
r
e
c
tly set denominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
isl_tab_
p
ip
.
c: sol_map_add: fix
d
ouble free on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
i
sl
_
str
e
am: accept "=="
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
r
doo
l
aege
add isl_
u
nion_p
w
_*_plain_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven
V
erdoolaege
add isl_pw_*_plain_is_
e
qu
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add
isl
_
set_pla
i
n_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoolaege
add is
l
_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
isl_
s
tream_next
_
token: treat "-
0
"
as two
t
o
ke
n
s '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oo
l
a
e
ge
d
r
op "nparam" argument from isl_{set,map}_read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoola
e
ge
doc: document
*
_mo
v
e_dims functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
aege
drop
i
sl_div
abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rdoo
l
a
ege
is
l
_{
i
n,}
e
quality_alloc:
t
a
ke isl_local_spa
c
e intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
doc: update example c
o
de
to ch
a
nge in
return type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolaege
provide
fu
l
l prototype
s
f
or
s
ome functions with
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en
Ver
d
oola
e
ge
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl
_
set_gist_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n
V
erdoolaege
make isl_pw_*
o
bject live in a
m
ap
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ad
d
isl_space_exten
d
_doma
i
n_with_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
ae
g
e
add isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add
i
sl_local_
s
pace_
i
s_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_local_s
p
ace_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next