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_union_set_intersect: special case intersection with parameter domain
2011-10-16
Sven
V
e
rdool
a
e
ge
isl_union_se
t
_in
t
ersect: spe
c
ial
c
ase intersect
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
e
n Verdoolaeg
e
add is
l
_union_map_inter
s
e
c
t_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
ven
V
erdoolaege
a
dd isl_union_se
t
_is
_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sve
n
Verd
o
ola
e
ge
isl_point_get_coordinate: chec
k
validity
o
f "pos
"
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
i
nterf
a
c
e/extr
a
ct_inte
r
face
.
cc: adjust to rename of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
rename isl_pw_a
f
f_a
d
d to isl_pw_aff
_
union
_
a
d
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
o
l
aege
reimplement
p
w_aff_mul on top of a generic is
l
_
p
w_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
isl_m
a
p
_intersect: require arguments to
live in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaege
isl_inpu
t
.
c:
r
ead_tup
l
e: use isl
_
map_intersect_par
a
ms
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoo
l
aege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-10-10
A
n
dreas Kloeckn
e
r
Insert missin
g
error che
c
k into
isl_p
w
_*_in
t
e
rsect_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Andreas K
l
oe
c
kner
Run i
s
l_basi
c
_map_finalize after isl_{basic_
,
}map_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolaege
i
sl_stream_read_
m
ap:
handle nested parenth
e
sized e
x
pressi
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
Verdool
a
e
g
e
isl_basic_{set
,
map}_pa
r
tia
l
_
lex{min,max
}
_pw
_
multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add is
l
_af
f
_nor
m
a
l
ize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
add
ext
r
ac
t
_int
e
rface
for con
s
tructing int
e
rfac
e
s
to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
mark som
e
data structures and fu
n
ction
s
for export
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdo
o
l
a
ege
a
d
d isl_*_to_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Ve
r
doolaege
add isl_union_pw_qpoly
n
om
i
a
l_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
ad
d
is
l
_multi_aff_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaeg
e
add isl_local_space_
l
ifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
Ver
d
oolaege
add isl_
l
ocal_spa
c
e
_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
is
l
_lo
c
a
l
_space_
i
ntersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add is
l
_multi_aff_r
e
ad_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_aff
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add isl_
a
ff_re
a
d_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdoo
l
aege
a
d
d isl_pw_multi_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoola
e
ge
add isl
_
pw_
m
ulti
_
a
f
f_from_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
l
aege
add i
s
l_basic_map_lexmin_pw_mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
pip: optional
l
y
use isl_basic
_
set_parti
a
l_lex
m
in_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
ad
d
isl_basic_{s
e
t
,
m
a
p}_pa
r
t
i
al_le
x
{
min,max}_pw_mul
t
i_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_pw_mul
t
i_aff_subst
i
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add isl_se
t
_
substitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_l
o
cal_space_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolaege
isl_printer_pri
n
t
_
pw_mu
l
ti
_
aff: partial support
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
a
d
d isl_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add isl_pw_*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
a
d
d isl_pw
_
*
_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add
i
s
l
_pw_*_has_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add isl_pw_*_se
t
_dim_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
s
l_pw_*_get_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add is
l
_p
w
_*_get_tup
l
e_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdo
o
laege
add is
l
_ba
s
ic_map_from_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
dool
a
ege
isl_pw_templ
.
c: rename ali
g
n_pa
r
am
s
_pw_pw_and to i
n
clude PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolae
g
e
add
i
s
l
_m
a
p_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
privately ex
p
o
rt isl
_
b
a
s
i
c
_
m
ap_f
o
reac
h
_lexop
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolae
g
e
ad
d
isl_basi
c
_map_e
l
iminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_basic_map_ha
s
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
r
doolae
g
e
M
erge
branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-10-01
Sven V
e
rdo
o
l
aege
i
sl_basic_map_eliminate_vars: gauss r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoo
l
aege
add
i
s
l
_aff_
s
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add
i
sl_local_space_set_dim_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rd
o
o
l
a
ege
a
d
d
i
s
l_map_fi
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add i
s
l_space_f
i
n
d
_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoo
l
a
ege
export isl
_
pw_a
f
f_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolae
g
e
expo
r
t i
s
l_
p
w_aff_plain_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
add
g
eneric
isl_pw_*_
s
e
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
d
o
o
laege
isl
_
se
t
_
i
nter
s
ect:
properly handle in
t
ersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en
V
erdool
a
eg
e
isl_access_info_compute_flow: align parameter
s
o
f
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
oola
e
ge
Mer
g
e br
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Verdoo
l
aege
fix isl_set_i
n
volves_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verd
o
olaege
a
dd isl
_
set_pl
a
i
n
_is_fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add
isl_set
_
from_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ve
r
doola
e
ge
a
d
d
isl_space_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
Me
r
g
e b
r
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
isl_qpolyno
m
i
a
l_
m
orph: properl
y
h
a
n
dle d
e
nominator
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdo
o
l
aege
add
i
sl_m
a
t_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_tab_pip
.
c: sol_for_a
d
d: cor
r
ectly set deno
m
inator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoo
l
aege
i
s
l
_tab_pi
p
.
c: sol
_
map_add:
fix
d
ouble free on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verd
o
olae
g
e
isl_strea
m
: accept "
=
=" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en
V
er
d
oolaege
a
d
d isl
_
union_pw_*_pl
a
i
n_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verd
o
ol
a
ege
add
isl_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdo
o
la
e
ge
add i
s
l_set
_
p
l
ain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoo
l
aege
a
d
d i
s
l_map_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
V
erdoolaege
i
sl_st
r
ea
m
_ne
x
t_token: tr
e
at "-0"
a
s two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
d
rop "np
a
ram" arg
u
ment f
r
o
m isl_
{
s
et,
m
ap}_read_from
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
S
ven Verdoolaege
doc
:
document *_m
o
ve
_
dims funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop isl_div abstrac
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl
_
{in,}equa
l
ity_alloc:
t
ake
is
l
_local_spac
e
intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdo
o
l
aege
doc: upd
a
te exa
m
pl
e
code t
o
change
i
n r
e
turn type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaege
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
d
o
olae
g
e
provid
e
full pro
t
otypes fo
r
s
o
me fun
c
tions with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoolaege
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoo
l
a
e
g
e
a
dd isl_set_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
make isl_pw_* objec
t
live in
a
map
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
add is
l
_space_extend_domain_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
doolaege
add
isl_
s
pace_is_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
ad
d
is
l
_l
o
cal
_
space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add is
l
_local_space_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
impleme
n
t isl_constraint on top o
f
i
s
l_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
add isl_ve
c
_
neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
isl_aff
.
c
:
e
x
t
r
a
ct i
s
l_local_spac
e
_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
isl_
o
utput
.
c: d
r
o
p
re
d
u
n
dant "
s
et" argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_*_al
l
oc: project
space onto pa
r
ameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
e
x
pli
c
itly differenti
a
te betw
e
e
n spaces of maps, se
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
l
low i
s
l_ids
with
n
e
g
ative
r
eference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
p
r
oper i
m
plementation of isl_
u
nion_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
i
sl_map_from_domain_and_range: dr
o
p explici
t
con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdoolaeg
e
isl_set_a
p
ply_pw_q
p
o
l
ynom
i
al_fo
l
d: drop explicit con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next