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_local_space_set_tuple_id
2013-10-18
Sven Verdoolaege
add is
l
_loc
a
l_space_set
_
tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sve
n
Verdool
a
ege
add isl_bas
i
c_set_set_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
M
erge
b
ranch 'm
a
i
n
t'
commit
|
commitdiff
|
tree
2013-10-18
Sven
V
erdoolaege
pyth
o
n i
n
terface: also con
v
ert first argument
t
o c
o
rrec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
isl_*_list_add: do not modify lis
t
s
i
n-p
l
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_sch
e
dule_
c
onstraints: split proximity constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
isl
_
sch
e
d
ule_con
s
traints:
a
dd suppor
t
for
conditi
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_
s
c
h
edule
.
c:
e
xt
r
act_edge: look for matchi
n
g edge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoo
l
aege
isl_s
c
h
e
dule
.
c: ext
r
act out edge_multi
p
l
icity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_sche
d
ule
.
c: extract out
m
erge
_
edge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaege
isl_schedule
.
c: extract
o
ut
r
eset_
b
and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
o
ol
a
e
g
e
isl_sc
h
e
dule
.
c: extract
out
e
xt
r
a
ct_sch
e
du
l
e_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
e
ge
intr
o
duce new schedule API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdo
o
laege
isl_ast_build_
a
ccess_fr
o
m_multi_pw_aff: t
r
eat ne
s
ted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_ast_build
_
e
x
pr
.
c: ex
t
rac
t
out isl_as
t
_bui
l
d_w
i
th_argum
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
add isl_ast_op_member type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n Verd
o
olaege
isl_schedule
.
c:
f
i
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
isl_mat
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdool
a
ege
is
l
_ast
_
build_expr
.
c: extract_modul
o
: co
n
sider additional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Ve
r
doolaege
is
l
_ast_b
u
ild_expr
.
c: extra
c
t
_
modulo
:
extr
a
ct construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
V
e
rdoolaege
i
sl
_
ast_build_expr
.
c: e
x
tract_modulos: pos
t
pon
e
modification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verd
o
olaege
i
sl_ast_build_expr
.
c: extract_modulos: s
t
ore int
e
rmediate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
i
s
l_as
t
_build_ex
p
r
.
c: extract_modulo: assume
i
nput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaeg
e
Mer
g
e
branch
'mai
n
t'
commit
|
commitdiff
|
tree
2013-08-26
Sven
Verdoola
e
ge
isl_unio
n
_
s
et_
c
ompute_schedule: fix check for
progr
e
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
S
ven Verdoolaeg
e
export isl_ast
_
expr
_
set_op_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdoolaege
a
d
d i
s
l_m
u
lti_*_
r
ang
e
_factor_{do
m
ain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_
m
ap_range_factor_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n
Ver
d
oolaeg
e
a
d
d isl_space_range_fa
c
tor_{
d
omain,r
a
nge}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_multi_*
_
range
_
is_wr
a
ppi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaeg
e
add i
s
l_map_range_is_wrapp
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
add i
s
l_spa
c
e_is_w
r
apping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
laege
d
o
c
:
document isl_space*product functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
a
dd
i
s
l
_mult
i
_*_reset_
u
ser
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doo
l
aege
doc: list is
l
_multi_*_r
e
set_tuple_id as fu
n
ction modi
f
ying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
o
l
aege
add
isl_set_reset
_
user and i
s
l
_
m
ap_reset_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_space_r
e
set
_
user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdool
a
ege
ISL_ARG_GROUP: allow
specif
i
cation of
l
ong name/
p
refix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdoolaege
isl_args_parse: allow multip
l
e
p
refix
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdoolaege
isl
_
arg
.
c: p
r
int_a
r
g_help: p
r
i
n
t "no-" on de
f
ault-se
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
S
ven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoolaege
isl_ast_build_ast_from
_
s
chedule: impr
o
ve handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verd
o
olaege
isl_c
t
x
.
c: find_
n
e
sted_option
s
: properly handle ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
isl_u
n
ion_
m
ap_params: plug me
m
ory le
a
k in cas
e
of e
m
pty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl
_
id_to
_
pw_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolae
g
e
add i
s
l_ast_expr_subs
t
i
t
u
te_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
e
x
tract out is
l
/
ast_
t
ype
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
dd isl_ast_expr_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
rdoolaege
add i
s
l
_ast_buil
d
_{access,call
}
_from_
m
ul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl
_
ast_build_acces
s
_from_pw_mul
t
i
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add
i
s
l_id
_
to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
add isl_ast_ex
p
r_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add isl_i
d
_
g
e
t_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaege
gener
a
lize and
e
xp
o
rt isl_map_to_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
add isl
_
map_to_basic_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_map
_
to_basic_set
:
add referen
c
e counting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdo
o
laeg
e
add isl_map_to_basic_set_
f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
export
i
sl_basic_set_pla
i
n_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
d
ool
a
e
ge
i
s
l_map_to
_
basic_s
e
t: kee
p
t
r
ack of isl_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolae
g
e
i
s
l_map_to_basic_s
e
t
_
free
:
retur
n
N
ULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ren
a
me isl_hmap_map_basic_set
t
o
isl
_
map_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
m
ul
t
i_pw_aff_read_fro
m
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_in
p
ut
.
c: e
x
tract out map_
f
rom_tuple from read_map_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_pr
i
nter_print_multi
_
pw_aff:
c
hange output
f
o
rmat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_stream_read_
m
a
p
:
accep
t
p
i
ecewise affine e
x
pressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olae
g
e
i
s
l
_
input
.
c: extrac
t
out p
u
s
h_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
isl_i
n
put
.
c
: extract out set_current
_
l
i
ne_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
add isl_se
t
_from_multi_pw_aff
a
nd isl_
m
ap_from_multi_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
a
dd
i
sl_
m
ap_preimag
e
_do
m
ain_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
e
rdoolaeg
e
add isl_set_preimage_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdool
a
ege
add isl_multi_pw
_
a
f
f
_
pu
l
l
b
ack_m
u
lti_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add isl_mult
i
_pw
_
aff_pul
l
b
ack_pw_m
u
lti
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
add isl_
m
ult
i
_pw_aff_pull
b
ack_m
u
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_aff_pullback
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oola
e
ge
add isl_
m
ulti_pw_aff_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
m
u
l
ti_p
w
_aff_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw
_
a
ff
_
doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolae
g
e
add
i
s
l_multi_pw_aff_interse
c
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
Verdoola
e
ge
add isl_multi_
p
w
_
af
f
_inte
r
s
e
ct_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi_pw
_
aff_coalesc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
ad
d
isl_multi_pw_aff_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoo
l
aege
a
dd isl_pw_
a
f
f_is_eq
u
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
doolaege
g
en
e
raliz
e
isl_mul
t
i_aff
_
pl
a
in_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
generalize
isl_
m
ulti_aff_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
decla
r
e
i
s
l_multi_pw_aff_gist_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
d
eclare
i
sl_multi
_
pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
oolaege
ad
d
isl_pw_m
u
lti_aff_f
i
x_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
a
d
d i
s
l_pw_multi_aff
_
project_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw
_
multi_
a
ff_from
_
multi
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
ad
d
is
l
_pw_mul
t
i_aff_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n V
e
rdo
o
laeg
e
add
isl_pw_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add isl_pw_a
f
f_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
l
aege
add isl_pw_aff
_
from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
private
l
y export isl_pw_qpolyno
m
ial_reset_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolaeg
e
declare isl_pw_aff_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
do
o
laege
ad
d
isl_multi_aff
_
ra
n
g
e
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolae
g
e
add isl_multi_
a
ff
_
domai
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_
s
pace_ra
n
ge_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoo
l
aege
extract out isl_space_d
o
main_map from isl_map_domain
_
m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_multi
_
*_s
c
al
e
_down_mul
t
i_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next