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
Sve
n
V
e
rd
o
o
laege
add isl_local_space_set_tuple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven V
e
rdoolaege
add isl_bas
i
c_set_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sve
n
Ver
d
oolaege
Me
r
ge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaeg
e
p
y
t
h
o
n
interface
:
also conv
e
rt firs
t
argument to correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
S
ven
V
erdoolaege
isl_*_list_a
d
d
:
do
not modify
l
ists in-plac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
isl_schedule_con
s
train
t
s: split proximity constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
isl_schedule_constra
i
nts: add su
p
po
r
t for conditional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
e
rdoolaege
isl_schedule
.
c: ext
r
act_ed
g
e: look
for matching e
d
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_sch
e
dule
.
c:
extract
o
u
t ed
g
e_multiplici
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
rdoolae
g
e
isl_schedule
.
c
: extract
o
u
t
mer
g
e_ed
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdool
a
ege
isl_schedule
.
c: ext
r
a
c
t out rese
t
_
b
and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
isl
_
s
chedule
.
c: ext
r
act out extract
_
schedule_ro
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Ve
r
doola
e
ge
i
n
troduce n
e
w
s
chedule A
P
I
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verdo
o
laege
is
l
_
a
st_build_access_from_
m
ulti_pw_aff: tr
e
at nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_a
s
t_build_expr
.
c: ext
r
act out
i
sl_
a
st_build_
w
i
t
h_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolae
g
e
a
d
d
isl_ast_op_m
e
mber typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
o
olaege
isl
_
s
c
he
d
ule
.
c: f
i
x
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en
V
erdoolaege
isl_mat
.
c:
f
ix ty
p
o in
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix t
y
po
i
n
header guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolaege
isl_ast_build_expr
.
c: extr
a
ct_mod
u
lo: consid
e
r add
i
t
i
onal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoo
l
aege
isl_as
t
_bui
l
d_expr
.
c: extract_modulo: extract co
n
s
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoo
l
ae
g
e
isl_ast_bui
l
d_expr
.
c: ex
t
ract_modulos: pos
t
p
on
e
m
odificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_bui
l
d_expr
.
c
:
extrac
t
_mod
u
lo
s
: s
t
o
r
e intermediate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_b
u
ild_expr
.
c: ex
t
rac
t
_
m
odu
l
o
: assume input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
M
erge bran
c
h 'main
t
'
commit
|
commitdiff
|
tree
2013-08-26
Sve
n
Verdoolaege
isl
_
union
_
set
_
compute_sc
h
edule:
fix ch
e
ck for
p
rog
r
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
Sve
n
V
e
rd
o
olaege
export isl_a
s
t_expr
_
set_o
p
_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
add is
l
_multi_*_
r
ange_factor_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_map_range_f
a
c
tor_{dom
a
in,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_s
p
a
c
e_range_facto
r
_{
d
omain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
a
dd isl_m
u
lti
_
*_ran
g
e
_
is_wra
p
ping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
ad
d
i
s
l_map_range_is_wra
p
ping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
ad
d
i
s
l_space_is_wrappi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: docu
m
ent
is
l
_
space*product f
u
nctio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
V
erdoolaege
add isl_multi_
*
_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
doc: list
isl_
m
ulti_*_reset
_
tuple_id as
f
unction modifying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verd
o
olaege
add isl_set_reset_user and i
s
l_map_
r
eset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_sp
a
ce_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolae
g
e
ISL_
A
RG_GROUP: all
o
w specification of long name/pre
f
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
V
e
rdoolaege
isl_args
_
parse: a
l
l
ow multiple prefixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
i
sl_
a
rg
.
c: print
_
a
r
g_help: print "no-
"
on default-set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
Sv
e
n Verd
o
olaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
Ra
y
D
o
nnelly
MinGW-w64 buil
d
fix (lac
k
s
f
fs d
e
clarat
i
on)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
S
v
en Verdoolaege
i
s
l_as
t
_bui
l
d_ast_from_sc
h
edu
l
e: improve handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sven
V
e
r
doolaeg
e
isl_ct
x
.
c
:
f
i
nd_ne
s
ted_option
s
: prop
e
rly handl
e
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven V
e
rdoola
e
ge
isl_u
n
i
on
_
ma
p
_
params: plug memor
y
leak
in case
o
f
em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add i
s
l_id_to
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add isl_ast_ex
p
r_su
b
stitute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
extract
out
isl/ast_t
y
pe
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
isl
_
ast_expr
_
acc
e
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Ve
r
doolaege
add is
l
_ast_build_{access,call}_fr
o
m
_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
Verdoola
e
ge
a
d
d isl_a
s
t_build_access_
f
rom_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
d
d isl
_
id_to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoola
e
ge
add
i
sl_a
s
t_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
a
d
d
is
l
_id_get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
olae
g
e
general
i
ze a
n
d exp
o
r
t isl_map_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
ad
d
is
l
_map_to_basic_se
t
_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
ool
a
eg
e
isl_map
_
t
o
_basic_set:
add reference co
u
nting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
s
l
_ma
p
_to_basic_set_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
e
xp
o
rt
i
sl
_
ba
s
ic_
s
et_plai
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
isl_map_
t
o_basic_set: keep
t
ra
c
k
of isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Ver
d
oolaege
isl_m
a
p
_
t
o_basic_set_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdo
o
laege
rename is
l
_hmap_map_basic_set to isl_map_
t
o_basic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_m
u
lti_pw_aff_read_fr
o
m_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
isl_input
.
c:
e
x
tra
c
t out map_
f
rom_
t
u
ple from re
a
d_m
a
p_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
isl_printer_prin
t
_mu
l
ti
_
p
w
_aff:
c
hange output for
m
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
is
l
_stream
_
read_map
:
accept piecewise affine expr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoo
l
aege
isl_
i
n
p
ut
.
c: extract ou
t
push_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdo
o
l
a
eg
e
isl_input
.
c: extract out set_current
_
l
ine_col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
add
i
sl_se
t
_from_multi_
p
w_aff and isl_
m
ap_from_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdool
a
ege
a
dd isl_map_preimag
e
_doma
i
n_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_
s
e
t
_pr
e
image_m
u
lti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en V
e
rdo
o
laege
add isl_multi_pw_aff_
p
u
llba
c
k_
m
u
l
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
a
d
d isl_multi_pw_aff_pullback_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laeg
e
add
isl_multi_pw_
a
ff_pull
b
ack_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d i
s
l_af
f
_pullback_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaeg
e
add isl_multi_pw_
a
ff_from_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_m
u
lti_pw_aff_from_mu
l
ti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
olaege
a
d
d i
s
l_multi_pw_aff_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaeg
e
a
dd isl_multi_pw_aff_intersect_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add i
s
l_multi_pw_aff
_
i
n
t
er
s
ect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
l
ae
g
e
a
d
d i
s
l_multi_pw_aff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
lae
g
e
add isl_multi_pw_af
f
_is_e
q
u
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_aff_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
oolaege
general
i
ze
i
sl_multi
_
a
f
f
_p
l
ain_
i
s_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
general
i
z
e isl_m
u
lti_
a
f
f_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
dool
a
e
ge
declare
isl_multi_pw_aff_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
dec
l
are isl_multi_pw_aff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
Verdoolaege
add
i
sl_p
w
_multi_aff_fix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
add is
l
_
pw_multi_aff_project_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdo
o
laege
add is
l
_pw_multi_aff_from_mul
t
i_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add isl_pw_mul
t
i
_
a
f
f
_f
r
om_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_pw_
m
ulti_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
ad
d
isl_pw_aff_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_pw_aff_from
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
d
oolaege
privately
e
xpor
t
i
s
l_pw
_
qpolynomia
l
_reset
_
s
p
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
declare isl_pw_aff_h
a
s_
t
uple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
add isl_multi
_
aff
_
range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
d
oolaege
add isl_mu
l
ti_aff_doma
i
n_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
erdo
o
laege
add
isl_space_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next