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_point_get_coordinate: check validity of "pos" argument
2011-10-14
Sven
V
e
rdoola
e
ge
isl_point
_
get_coordinate: c
h
ec
k
v
al
i
dity
o
f "pos" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
interface/extract
_
inte
r
face
.
cc: adju
s
t t
o
rename
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolaege
ren
a
me isl_pw_aff_add to isl_pw_aff_uni
o
n_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sv
e
n
V
e
rdoola
e
ge
rei
m
p
l
ement pw_aff_mul on
t
op of a gene
r
i
c
i
s
l_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven V
e
rdoolae
g
e
isl_ma
p
_int
e
rsect: requi
r
e ar
g
uments to
l
ive in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
isl_input
.
c: read_tuple: use isl_map_int
e
rsect_pa
r
ams
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Ver
d
ool
a
ege
Merge bra
n
ch
'm
a
int'
commit
|
commitdiff
|
tree
2011-10-08
S
v
en
Ver
d
oolaege
isl_stream_read_map: handl
e
nested parenth
e
s
ized expressio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n Verdoolaege
isl_basic_{s
e
t,map}_partial_lex{min,max}_pw_m
u
lti_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoolaege
add i
s
l_a
f
f_n
o
rmal
i
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaeg
e
add extract_interf
a
ce for constructing i
n
terf
a
ces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
mar
k
some data struc
t
ures and function
s
for exp
o
rt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_*_t
o
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
add isl_
u
nion_pw
_
qpolynomia
l
_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ve
r
doolaege
add isl_m
u
lt
i
_aff_li
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ve
r
doolaeg
e
add isl_loc
a
l
_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
o
laege
add isl_local_spac
e
_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdool
a
eg
e
a
dd isl_local_spa
c
e_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n V
e
rdo
o
laeg
e
add isl_multi
_
aff_read
_
from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add
isl_pw_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add isl_aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add
i
sl_
p
w_
m
ulti_a
f
f_read_fro
m
_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_pw_multi_a
f
f_from_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ve
r
do
o
laege
add isl_basic_map_lexmin
_
pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
p
i
p: optionally use
i
sl_basic
_
set_partial_lexmin_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add
isl_ba
s
i
c
_{
s
et,map}_partial_lex{min
,
m
a
x
}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add
i
sl_pw_
m
ult
i
_aff_sub
s
titute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
a
dd isl_set
_
substitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
add
i
sl_loc
a
l_space
_
s
u
bstitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoolaege
i
s
l_printer_print_pw_
m
ulti
_
aff
:
p
a
rt
i
al
s
upport for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add
isl_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add
isl
_
pw_*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdool
a
e
ge
a
d
d is
l
_pw_*_get_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
isl_pw_
*
_h
a
s_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdool
a
ege
add isl_pw_
*
_s
e
t_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
r
d
o
o
laege
a
d
d is
l
_pw_*_get
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoola
e
ge
add i
s
l_pw_*_get_t
u
ple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_bas
i
c_m
a
p_
f
rom_m
u
l
t
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
ola
e
ge
isl_pw_temp
l
.
c: rena
m
e align_params_pw_pw_and to i
n
clu
d
e PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoola
e
ge
add isl
_
ma
p
_di
m
_
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
privately
e
x
p
ort isl_basic_map_for
e
ach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
a
dd isl_
b
asic_map
_
e
l
i
minate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoo
l
ae
g
e
add isl_basic
_
m
ap_has_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
Merge br
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoolaeg
e
isl
_
basi
c
_map_elimin
a
t
e
_vars: ga
u
s
s
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verdo
o
la
e
ge
a
d
d isl_aff_se
t
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdoolae
g
e
add isl_l
o
cal_space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
ven
Verdo
o
l
a
eg
e
add isl_map_
f
ind
_
dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaeg
e
a
dd isl_space_find_di
m
_by_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
export isl_pw_aff
_
intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
e
x
port isl_pw_aff_
p
l
a
in_is_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verd
o
olae
g
e
add generic isl_pw_*_s
e
t_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
is
l
_set_intersect: p
r
operly ha
n
dle
intersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolaege
isl_access_inf
o
_compute_flow: align parameters
of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
o
olaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n
Verdool
a
e
ge
f
ix isl_set_involves_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
ad
d
i
sl_
s
et_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Ve
r
d
o
ola
e
ge
add
i
sl_set_fro
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
d
d isl_s
p
ace_s
e
t_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
o
o
l
aege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
i
sl_qpolynomi
a
l_morph: p
r
operly
handle denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
add i
s
l_ma
t
_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
i
sl_tab_pip
.
c: sol_fo
r
_add: c
o
rrect
l
y
s
e
t
denom
i
n
ator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
isl_tab_p
i
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 Verdoolaege
isl_stream
:
a
cc
e
p
t "==" to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
add isl_u
n
ion_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
add isl_pw_*_plai
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
o
o
laege
a
dd isl_set_p
l
ain_cm
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
o
olaege
a
d
d
isl_map_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
doolaege
isl_stream_
n
ext_token: treat "-0" as two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verd
o
ol
a
ege
d
rop
"nparam" argume
n
t f
r
om
isl_{se
t
,map}_read_from
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven V
e
rdoolaege
do
c
: document *_m
o
ve
_
d
ims f
u
n
c
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
drop i
s
l
_
div abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
i
sl_{in,
}
e
quality
_
al
l
o
c: take isl_local
_
space inte
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Ve
r
doo
l
a
ege
doc: update example code to ch
a
ng
e
in return type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdool
a
e
ge
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
provide full pr
o
to
t
y
pe
s
for so
m
e
f
unctions with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
doc:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
a
d
d
i
sl_set
_
gis
t
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sv
e
n Verdoolaege
make isl_pw_*
o
bject l
i
ve in a map space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoo
l
a
e
ge
a
dd isl_s
p
ace_extend_dom
a
in
_
wit
h
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolaege
add
i
s
l_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdool
a
ege
add isl_loc
a
l_s
p
a
c
e_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
add is
l
_local
_
space_do
m
ai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
impleme
n
t
i
s
l_con
s
traint on top of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
ad
d
isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdool
a
ege
isl_aff
.
c: extract i
s
l_local_spa
c
e_get_acti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verd
o
olaege
is
l
_output
.
c: drop re
d
undant
"
s
e
t" argumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_unio
n
_*_alloc: project spa
c
e ont
o
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explicitly
d
iff
e
rentiate betwee
n
spaces o
f
maps, se
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
olaege
allow isl_ids with
n
e
gative reference c
o
unts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
proper im
p
l
e
m
entation of
i
sl_union_map_f
r
o
m_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_m
a
p_fr
o
m_domai
n
_and
_
r
a
nge
:
drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
laege
isl_
s
et_ap
p
ly
_
pw_qp
o
lyn
o
mial_fold: drop ex
p
lici
t
con
v
e
r
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_t
a
b
_
basi
c
_set_non
_
trivial_lexmin:
d
r
o
p explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
isl_ta
b
_p
i
p
.
c: fix whitespace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_set_read_from_*: coerce set-like ma
p
s into
s
e
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_input
.
c:
m
ap_re
a
d_po
l
ylib: co
n
vert
set-like maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_input
.
c: obj_read: star
t
off fr
o
m parameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next