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
rename isl_morph_dump to isl_morph_print_internal
2011-12-17
S
v
en V
e
rdoolae
g
e
rename isl_morph_d
u
m
p
to
i
sl_mor
p
h
_
p
r
int_in
t
er
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-16
Sven
V
erdoolaege
isl_ba
s
ic_set_compute_ver
t
ices: fix
h
a
ndling
o
f lower
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-14
Sv
e
n
Verdool
a
e
ge
doc: improve
c
onsistency i
n
list o
f
sche
d
ule options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-11
Sven
Verdoolaege
add isl_pw_multi
_
aff_get_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
S
v
en
V
e
r
d
oolaege
Me
r
ge branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-12-10
Sven Ve
r
d
oolaege
isl_map_fro
m
_pw_aff: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-10
Sven Verdool
a
ege
a
d
d
i
s
l
_space
_
m
ap_fr
o
m_domain
_
a
n
d_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-03
Sven
Verdoola
e
ge
expor
t
isl
_
map_el
i
minate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-12-02
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-12-01
Sve
n
Verdoolaege
isl_pw_aff_scale:
don't special cas
e
m
u
l
t
i
pl
i
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven Verdoolaege
add isl_set
_
fi
n
d
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-30
Sven Ve
r
do
o
lae
g
e
isl_ba
s
ic_map_invo
l
ves_dims: d
o
ub
l
e-check divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-26
Sven Verdoo
l
aeg
e
isl_schedu
l
e
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-25
Sven V
e
r
doola
e
g
e
configure
.
a
c
:
only c
r
e
a
t
e inter
f
ace/Makefile if user
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven Verdoolaege
add isl_pw_aff_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sv
e
n
Verdool
a
ege
ad
d
m
i
s
sing
name
s
pace qualificati
o
n
o
n ll
v
m::
A
rrayRef
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-23
Sven V
e
rd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-11-23
Sven Verd
o
ol
a
ege
isl_u
n
ion_pw_*_{intersect_dom
a
in,gist}: update to change
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Ve
r
d
o
olaege
i
s
l
_
map_inse
r
t_dims: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-21
Sven Verdoolaeg
e
isl_set_from_pw_aff: handle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-17
Sven V
e
rdoo
l
aege
document
isl_bas
i
c_map
_
set_tup
l
e_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-16
Sven V
e
rdoo
l
a
e
g
e
.
gi
t
ignore: add isl
_
c
onfig
.
h
.
in~
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
olaege
isl_a
r
g_pars
e
: support string list
a
rgu
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ve
r
doolaege
hide
i
sl_o
p
tions
s
tructur
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
V
erdoolaeg
e
introduce isl
_
args structure that cons
t
ains isl_arg
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Verd
o
o
l
a
e
g
e
add isl_ctx_
p
arse_o
p
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven
Ve
r
dool
a
e
g
e
isl_
a
r
g
_parse: p
r
int c
u
r
r
en
t
option
va
l
ues
a
s defaults
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven Ver
d
oolaege
u
se
the clang drive
r
to obtain command line
a
rguments
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
S
ve
n
Ver
d
o
olaege
support mo
r
e rec
e
nt LLVMs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-13
Sven V
e
rdool
a
ege
add i
s
l
_
map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-06
Sven Verdool
a
e
ge
i
s
l_map_gist
:
return
empty set if co
n
text is obviou
s
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
Sv
e
n
Verdoolaege
a
dd is
l
_map
_
gist_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-04
S
ven Verd
o
o
l
ae
g
e
add
i
sl_map_sub
t
ract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Ve
r
doolaeg
e
add is
l
_
set_u
p
per_bound_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
d
ocume
n
t *lower_bou
n
d_si functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_un
i
on_pw_*_gist: spe
c
ial case
g
ist
w
ith respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl
_
union_p
w
_*
_
g
ist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdoolae
g
e
a
dd isl_pw
_
*_gist
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
export isl_pw
_
multi_aff_
g
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
ven
Verdoolaege
add isl_mu
l
ti_aff_
g
i
s
t_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl
_
qpolynomial_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
a
d
d isl_qpolynomial_fold_gist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdool
a
ege
export isl
_
qpo
l
y
nomial_fold_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Ver
d
oolaege
a
dd
i
sl_
a
ff_
g
ist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
lae
g
e
add isl_
s
et_gist_par
a
ms_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
doolaeg
e
add is
l
_basic_set_in
t
ersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
is
l
_union_pw
_
*_in
t
ersect
_
dom
a
in: special
c
ase p
a
ramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven V
e
r
d
ool
a
ege
add union_pw_*_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add i
s
l_pw_
*
_
i
nte
r
sect_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoola
e
ge
add
i
sl_u
n
ion_map
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
doc: expla
i
n direction of dependence r
e
l
a
t
i
ons from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n V
e
rd
o
o
laege
is
l
_
m
a
p_is_subset: align param
e
ters if need
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoo
l
aege
isl_
p
w_*_opt: use cor
r
ect space in case of
em
p
ty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-11-01
Sven Ver
d
o
o
l
ae
g
e
isl_ta
b
_
pip
.
c: sol_pma_add: add missing final
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Verd
o
o
laege
isl_id_a
l
lo
c
:
allow isl_ids with t
h
e
same n
a
me but
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-31
Sven Ve
r
d
oolaege
isl_union_set
_
g
i
st: special
case gist with
r
e
s
pect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Verdoola
e
ge
isl_map_
a
l
l
oc_space: fix memory leak on er
r
or path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Ver
d
oolaege
i
s
l
0
.
08
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoola
e
ge
interface/Makef
i
le
.
am: app
e
nd
ex
t
ra cop
y
of
C
LANG_LDF
L
AGS
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolae
g
e
isl_
t
a
b
_
pip
.
c: set_r
o
w_cs
t
_to_div: don't
a
s
sume coeffi
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolaege
isl_tab_pip
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoolaege
remove undocum
e
nted isl_basic_{set,map}_
f
oreach_lex
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-19
S
ve
n
Verdoolaege
i
sl_test: te
s
t isl_basic_map_lexmin_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_map_gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
a
d
d is
l
_map_gist_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
add isl_union_map_
g
ist_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
isl_union_map_i
n
ter
s
ect_domai
n
: s
p
ec
i
al ca
s
e inte
r
sec
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Ve
r
doo
l
aege
isl_union_set_intersect: special
case intersect
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
a
d
d isl_union_map_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
add
i
sl_
u
nion_set_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdo
o
l
aege
isl_point_get_coordinate: check validity of "pos" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
interfa
c
e
/
extrac
t
_interface
.
cc:
adjust to rename of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
e
rdoolaege
re
n
a
me is
l
_pw_af
f
_
add to isl_pw_
a
ff
_
u
n
ion_ad
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n
Verdoolaege
reimplement pw_aff_m
u
l
o
n top of a
g
eneric i
s
l_pw
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolaege
is
l
_
map
_
inte
r
sect: re
q
uir
e
argu
m
ents
to live in
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
er
d
ool
a
ege
isl_input
.
c: read
_
tuple: use i
s
l_
m
ap_interse
c
t_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdool
a
ege
isl_stream_read
_
m
a
p: handle nested pa
r
enthesized
express
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
a
e
ge
isl_basic_{set,
m
ap}_par
t
i
a
l_lex{
m
in
,
ma
x
}_pw_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
a
d
d isl_aff_
n
ormaliz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add extract_inter
f
ace for co
n
struct
i
ng inte
r
fac
e
s to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
m
a
r
k some
dat
a
structure
s
and functio
n
s
f
o
r e
x
port
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add
i
sl_*_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_
u
nion_p
w
_
q
polyn
o
mial_read_
f
rom_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolae
g
e
add i
s
l_m
u
lti_aff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoola
e
ge
add isl_local
_
space_lif
t
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
a
d
d isl_local_spac
e
_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolae
g
e
add isl
_
lo
c
al_spa
c
e_inte
r
sec
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_multi
_
aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdool
a
ege
a
d
d isl_pw_af
f
_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oolaeg
e
add i
s
l
_
a
f
f_
r
ead_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
a
dd isl_pw
_
multi_aff_read_from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
doolaege
add
i
sl_pw_mu
l
ti_aff_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_lex
m
in_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
laege
pip: optio
n
al
l
y
use isl_basic_set_partial_l
e
xmin_
p
w_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_{
s
et,map}_partial_
l
ex{mi
n
,max}_pw_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add is
l
_pw_mult
i
_a
f
f_subs
t
itute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolae
g
e
add isl_
s
et_substit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
Ver
d
oolaege
ad
d
isl_
l
oca
l
_space_subst
i
t
ut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
isl_pr
i
nter_pri
n
t_pw_multi_aff: p
a
rtial support for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next