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
Makefile.am: avoid use of INCLUDES variable
2013-12-17
Sven Verdoolaege
Makefile
.
am:
avoid use of
I
N
C
LUDES
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
S
v
e
n Ve
r
doolaege
add
i
s
l
_aff_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
add isl_local
_
space_set_t
u
ple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
add isl_basic_s
e
t_se
t
_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
S
v
e
n
Verdool
a
e
g
e
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-10-18
Sven
V
erdoolaege
python interface
:
also c
o
nve
r
t
f
irst argum
e
nt to correct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sv
e
n Verdool
a
ege
isl_*_list_add: do n
o
t modif
y
lists
in-place
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaege
isl_schedule_constraints:
split pro
x
imity
c
onstr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdo
o
l
a
ege
i
s
l_schedule_co
n
s
t
raints
:
a
d
d
supp
o
rt for co
n
ditional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_schedule
.
c: extrac
t
_
e
dge: look
fo
r
matching edg
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_schedule
.
c: extract out edge_mu
l
tiplicity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
is
l
_
s
chedule
.
c: extract out me
r
ge_edg
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
isl_schedule
.
c: extrac
t
ou
t
reset_band
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolae
g
e
isl_schedu
l
e
.
c: extract out
e
xt
r
a
c
t_schedule_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
la
e
ge
introduce new sche
d
ule API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoola
e
ge
isl_a
s
t_build_access_from_mu
l
ti_pw_aff:
t
reat nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_ast_build_expr
.
c: extract o
u
t
isl
_
as
t
_build_wit
h
_argument
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
a
d
d isl_ast_o
p
_member ty
p
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_schedule
.
c: fix
typo
in
c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_mat
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
i
s
l_ast_build_
e
xp
r
.
c:
e
xtrac
t
_modu
l
o
:
con
s
ider addit
i
on
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl
_
a
s
t
_
build_expr
.
c: extract_modulo:
e
xt
r
ac
t
construc
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdo
o
laege
is
l
_ast_b
u
i
l
d_expr
.
c:
e
xtract_modulos: postpone m
o
d
i
fication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolae
g
e
isl_ast_
b
uil
d
_
e
xpr
.
c: extract_modulos:
s
tor
e
intermediat
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c: ext
r
act_mod
u
l
o: assume input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdo
o
laeg
e
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-08-26
Sven Verdoolaege
isl_union_set_compute_sch
e
dul
e
: fix
c
h
e
ck
for progress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sv
e
n Verdoolaege
ex
p
ort isl_ast_expr_set_op_arg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Ver
d
o
o
laege
add
isl_m
u
l
ti_*
_
range_factor_{domain,ra
n
g
e}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ver
d
o
o
l
aege
add
i
sl_map_range_fac
t
or_{domain,ra
n
g
e}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl
_
sp
a
ce_range_fac
t
or_{do
m
ain,rang
e
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n Verdoolaege
ad
d
isl_multi_*_
r
an
g
e_is
_
wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdo
o
laege
a
d
d isl_map_range_i
s
_
w
r
ap
p
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aege
add isl_space_is_wra
p
ping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdo
o
laege
do
c
: document
isl
_
space*product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdoolaege
add isl_multi_*_reset
_
u
ser
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: list isl
_
multi
_
*_
r
es
e
t_tuple_id as fu
n
ction mo
d
ifying
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoola
e
g
e
add isl_set_
r
eset_user an
d
isl_map_rese
t
_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
laege
add isl
_
space_
r
eset_use
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
ISL_ARG_GR
O
UP: al
l
o
w
specification of
l
ong name/pre
f
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven V
e
r
doolaege
isl_a
r
gs_parse: allow multiple prefixe
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verd
o
olaege
i
sl_
a
rg
.
c: pr
i
nt_arg_help: print "no-"
o
n
default-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Ve
r
do
o
lae
g
e
Me
r
ge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdo
o
l
a
ege
isl_ast_build_ast_f
r
om_schedule
:
i
mpro
v
e
han
d
li
n
g
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdoolaege
isl_ctx
.
c: f
i
n
d
_nested_option
s
: p
r
operly handle arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven
Verdoo
l
aege
isl_
u
n
ion_map_param
s
:
plug me
m
o
r
y leak in cas
e
of em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_id_to_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Ve
r
d
o
olaege
add i
s
l_
a
st_expr_substit
u
te_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
do
o
laege
extract out isl/a
s
t
_t
y
pe
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
add isl_ast
_
expr_acces
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
lae
g
e
add i
s
l_a
s
t_build_
{
access,call
}
_from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoo
l
aeg
e
a
d
d
is
l
_ast_build_access_from_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_id_to_ast_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add isl_ast_expr_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
ad
d
i
sl_id
_
g
et_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
generalize and export is
l
_map_to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
add
i
sl_map
_
to_basic
_
set_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
isl
_
map_to_
b
as
i
c
_
set: add refer
e
nce counti
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add isl_map_to
_
ba
s
ic_set_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
export isl_ba
s
ic_set_
p
lain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_to_b
a
s
i
c_set: keep tra
c
k o
f
isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaeg
e
isl_map
_
to_basic_s
e
t_free: return N
U
LL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
doolaege
rename isl_hmap_m
a
p_basic_
s
et
t
o isl_map_to
_
basic_
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add
is
l
_multi_
p
w
_
aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdo
o
laege
isl_inp
u
t
.
c: extract out map_from_tuple from
read_map_
t
up
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
sl
_
printer_print
_
multi
_
pw_aff: change out
p
ut fo
r
ma
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
laege
isl_stream_read_ma
p
: accept pi
e
cewise a
f
f
i
ne expr
e
ssions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
isl_input
.
c:
e
xtract out push_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_
i
nput
.
c
:
extract out
s
et_current
_
line_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
add isl_set_f
r
om_multi_p
w
_aff and
is
l
_ma
p
_f
r
om_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erd
o
olaege
add i
s
l_
m
a
p_prei
m
a
g
e_domain_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
add isl
_
set_pr
e
image_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
o
olaeg
e
ad
d
i
s
l
_
mu
l
ti_pw_aff_
p
ullba
c
k_mult
i
_p
w
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add
is
l
_mu
l
ti_pw_aff_pul
l
b
a
ck
_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
a
d
d
isl_multi_pw_aff_p
u
l
l
ba
c
k_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add
i
sl_aff_pullback_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
doolaege
a
dd isl_multi_pw_a
f
f_
f
rom_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
g
e
add isl_multi_
p
w_aff_f
r
om_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
ad
d
is
l
_multi_pw_aff_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
ge
ad
d
isl_multi_pw
_
aff_
i
nters
e
ct_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aeg
e
add
i
s
l_multi_pw_aff_
i
n
te
r
sect_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add i
s
l_mult
i
_pw_aff_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add
is
l
_multi_pw_aff_
i
s_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_pw_aff_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n V
e
rdoolaege
generalize i
s
l_mul
t
i_aff_plain
_
is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
g
eneraliz
e
isl_multi_aff_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
Verdoolaeg
e
declare isl_
m
ulti_
p
w_aff_gi
s
t_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare
isl_mult
i
_pw_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
a
dd isl_p
w
_multi_aff_fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdo
o
laege
add i
s
l_pw
_
multi_aff_project_out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
ae
g
e
add i
s
l_pw_mult
i
_af
f
_from_
m
ulti_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoola
e
g
e
add isl_pw_mu
l
t
i
_aff_from_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
a
d
d
i
sl_pw
_
m
u
l
ti_aff_zer
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
e
g
e
add isl_pw_aff_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
isl_pw_aff_
f
rom_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
priva
t
ely export is
l
_pw_q
p
olynomial_
r
eset
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
d
e
c
lare
i
s
l_pw_a
f
f_has_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verd
o
olaege
add isl_
m
u
l
t
i
_aff
_
r
a
nge_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
add is
l
_mult
i
_a
f
f_domain_
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdool
a
e
ge
a
dd
isl_space_range_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next