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
add isl_set_upper_bound_si
2011-11-02
Sven V
e
rdoolaege
add isl_set_upper_bound_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
document *lower_bound
_
s
i
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdool
a
ege
i
sl_union_pw_*_gist: special case g
i
st with re
s
pe
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verd
o
olaege
add
isl_union_pw_
*
_
g
ist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verd
o
olae
g
e
ad
d
i
s
l_pw
_
*_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sve
n
Verdoolaege
export isl_pw_multi_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verd
o
olaege
add
is
l
_multi_aff_gist_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoolaege
add isl_qp
o
lynomial_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
erdoolaege
a
d
d i
s
l
_
q
polynomial_fold
_
g
ist_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ver
d
oolaege
export isl_qpolynomial_fold_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
dd
i
sl_aff
_
g
ist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaeg
e
add is
l
_set_gist_params_basic
_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_basi
c
_
set
_
i
n
ters
e
ct_pa
r
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Ve
r
d
o
olaege
isl_union_pw_*
_
i
nte
r
sect
_
dom
a
in: spec
i
al case p
a
rame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add un
i
on_pw_*_intersect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdool
a
ege
add isl_pw_*_in
t
er
s
e
ct_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Verdoolaege
add
i
sl_union_map_p
a
r
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
V
e
rdoolaege
doc: ex
p
lain
directio
n
o
f
de
p
en
d
ence relations from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Verdoola
e
ge
is
l
_map_is_subset: align parame
t
ers if neede
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sv
e
n Ve
r
doolae
g
e
isl_pw_*_opt: use correct spa
c
e in case
o
f empty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-01
Sven V
e
r
doola
e
ge
isl_
t
a
b
_pip
.
c
:
sol_p
m
a_add
:
a
dd missi
n
g finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
S
v
e
n Verdoolaege
isl_id_alloc
:
a
l
low isl_ids with the s
a
me
n
ame but
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
S
ven Verdoolaege
isl_union_s
e
t_gist:
specia
l
case gis
t
wit
h
respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdool
a
ege
isl
_
m
a
p_all
o
c
_
space: fix memory le
a
k on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sv
e
n Verdoola
e
ge
isl 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven
Verdoolaege
inte
r
face/Makefile
.
am: append extra copy of C
L
A
N
G_LDFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolaege
isl_tab_pip
.
c
:
set_row_cst_to_div: d
o
n't assume c
o
efficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
S
v
en Verd
o
o
l
aeg
e
isl
_
tab_pip
.
c:
fix ty
p
o i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
Ve
r
doolaege
remove
u
ndoc
u
mented isl_basic_{set,m
a
p
}
_foreach_lex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sve
n
Ver
d
o
o
laege
isl
_
test:
t
e
st
isl_basic_map_
l
exmin_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
erdoolaege
add i
s
l_
u
nion_map_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n Verdo
o
l
a
ege
add
isl_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaeg
e
ad
d
isl_un
i
o
n
_
m
ap_
g
ist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
isl_union_map_intersect_do
m
a
in: special ca
s
e in
t
ersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
ool
a
ege
is
l
_u
n
ion_set_intersect: sp
e
cial ca
s
e inter
s
ection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaege
add isl_union_m
a
p_inter
s
ect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaege
add isl_uni
o
n_set_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven
V
erdoolaege
i
s
l_point_ge
t
_coor
d
i
n
a
te:
c
he
c
k
v
alidity of "pos" ar
g
ument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
ol
a
ege
i
n
terface/e
x
tract_interface
.
c
c
: adjust to rename of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ver
d
oolaege
rename isl_
p
w_aff_add to
i
s
l_pw_aff_u
n
ion_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
ol
a
ege
r
e
i
m
p
l
ement pw_a
f
f_mul on top of a
gen
e
ric isl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sve
n
Verdoo
l
a
e
ge
isl_
m
ap_intersect: re
q
uire arguments to
li
v
e
in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
ven Verdo
o
laege
isl_input
.
c: read_tuple: use i
s
l_map_intersect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-10-08
S
v
en
V
erdool
a
ege
isl_stre
a
m
_rea
d
_map
:
handle nes
t
ed pare
n
thesized expressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
i
s
l
_basic_{set,map}_partia
l
_
l
ex{min,ma
x
}_
p
w_m
u
lti_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add isl_af
f
_normaliz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add ex
t
ract_interfac
e
for constructing inter
f
aces to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
mark some data structures a
n
d f
u
nctions for expo
r
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolae
g
e
a
dd isl_*_
t
o
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
add i
s
l_union_pw_qpolynom
i
al_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add isl_multi_af
f
_
l
i
f
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
ge
add isl_
l
ocal_space_liftin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
oolaeg
e
add
i
s
l_local
_
space
_
lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdo
o
laege
a
d
d isl_local_space_int
e
rsect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdo
o
l
a
e
ge
add isl_multi_aff_read_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Ve
r
doolaege
add
isl_pw_af
f
_re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_
a
ff_read_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl
_
pw_mult
i
_
aff
_
read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
a
dd isl_pw_
m
ulti_aff_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl
_
basic_map_lexmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoo
l
a
ege
pip: optionall
y
use isl_b
a
sic
_
set_partial
_
l
e
xmin_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_ba
s
ic
_
{
set,
m
ap}
_
p
a
rtial_lex{min,max}_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
a
d
d isl_pw_mult
i
_aff_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoo
l
aege
add isl
_
set_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdo
o
laege
add i
s
l
_
local_space_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
isl_printer_print_pw_mu
l
t
i_aff: p
a
rtial support for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoola
e
g
e
add
i
s
l_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
a
d
d
is
l
_pw_*_ge
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaeg
e
add isl_pw_*_get_dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add isl_pw_*_has_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_p
w
_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add
i
sl_pw_*_get_tuple_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
pw_*_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoolaege
add isl_basic_map
_
from_
m
ulti
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdo
o
laege
i
s
l_pw_temp
l
.
c: rena
m
e
alig
n
_params_pw_pw_and to include P
W
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d
isl_map_
d
im_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
priv
a
tely exp
o
rt isl_basic_
m
ap_
f
oreach_l
e
xop
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl
_
basic_map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
laeg
e
add isl_basic_map_ha
s
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven
Verdool
a
ege
isl_basic_m
a
p
_
e
l
imi
n
ate_vars: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoo
l
aege
add isl_aff_set_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdoolaege
add isl_
l
ocal_space_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_map_fi
n
d_dim_by_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdoolaege
add isl
_
spa
c
e_find_
d
im_b
y
_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Ve
r
doola
e
ge
export isl_pw_a
f
f
_
i
ntersect
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en
V
erdoolaege
ex
p
ort isl_p
w
_af
f
_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doo
l
a
e
ge
ad
d
generic
isl_pw_*_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_intersect:
p
ro
p
e
r
ly
h
andle intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven V
e
rdoolaege
is
l
_access
_
info_compute_flow
:
align parameter
s
of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoola
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaeg
e
f
ix isl_set_involve
s
_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
Verdo
o
l
aege
ad
d
isl_s
e
t_p
l
ain_is
_
fi
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoo
l
aege
add is
l
_
s
et_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_
s
pace
_
set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en V
e
rdoolaege
M
e
rge
branc
h
'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
i
s
l_qpolynomial_morph: properly handle denominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoolaege
add isl_mat_
d
iag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next