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_aff_set_tuple_id
2013-10-18
Sven Verdoolaeg
e
ad
d
isl_aff_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
S
v
en Verdoolaege
add is
l
_local_s
p
ace_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
S
ven
Verdoo
l
aege
add
i
sl_bas
i
c_set
_
set_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2013-10-18
Sve
n
Verdoolaege
pyth
o
n interfa
c
e: also convert fi
r
st ar
g
um
e
n
t to correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaeg
e
is
l
_
*
_list_add: do not modify lists
i
n-
p
lace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erd
o
ola
e
ge
isl
_
s
c
hedule_constraints:
split pr
o
x
imity constra
i
n
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_schedule_constraints: ad
d
s
u
p
port fo
r
conditi
o
n
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoo
l
aege
isl_s
c
hedule
.
c: extract_ed
g
e:
l
ook fo
r
match
i
ng
e
dg
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaeg
e
i
s
l_schedule
.
c: extr
a
ct out edge
_
multiplicity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoola
e
ge
isl_
s
c
hed
u
le
.
c: extract out merge
_
edge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doo
l
aeg
e
isl_schedule
.
c: ex
t
ract out reset_
b
and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoolaeg
e
isl
_
schedule
.
c
:
e
xtract out extrac
t
_schedule_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
introduce new sch
e
dule
API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
g
e
isl_ast_buil
d
_acces
s
_from_
m
ulti
_
pw_aff: trea
t
nest
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl
_
ast_build_exp
r
.
c:
extract out isl_ast_
b
uild_
w
i
t
h_arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoolae
g
e
add isl_ast_
o
p_member type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
en Verdoolaege
i
s
l_schedule
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
isl_
m
a
t
.
c:
fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
oolaege
i
s
l_ast_bu
i
ld_e
x
pr
.
c
:
extra
c
t_modulo: con
s
ider additional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
isl
_
ast_buil
d
_expr
.
c: extra
c
t_modulo:
e
xtrac
t
c
on
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_ast_buil
d
_expr
.
c: extract_m
o
dulos: postpone
modif
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c: e
x
tract_modulo
s
: store intermediate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
isl_ast_build_expr
.
c: e
x
tract_modulo: assume input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2013-08-26
Sven Verdoolaege
isl_union_set_co
m
p
u
te_schedule: fix
c
h
e
ck for progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaege
export isl_a
s
t_expr_set_op_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
a
d
d i
s
l_multi_
*
_range_factor_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_map_
r
ange_factor
_
{doma
i
n,r
a
nge}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add i
s
l_space_range_fact
o
r_{do
m
ain,range
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add
isl_multi_
*
_
ra
n
ge_is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdoolaege
add isl_map_range_is_wra
p
ping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verd
o
olaege
a
dd isl_space_is_
w
r
appi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: doc
u
ment
isl_space*
p
ro
d
u
ct functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
ve
n
Verdoola
e
g
e
ad
d
isl_multi_*_res
e
t_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdo
o
laege
doc: lis
t
isl
_
multi_*
_
rese
t
_tuple_id
a
s function modifying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdool
a
e
g
e
add isl_
s
et_reset_user and
i
sl_map
_
reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_spac
e
_rese
t
_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdool
a
ege
I
SL_ARG_GROUP: allow spec
i
fic
a
tion of
long name/prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en
V
er
d
oolaege
isl_args_parse: a
l
low
mul
t
iple prefixe
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
i
s
l_arg
.
c: print_arg_help
:
print "n
o
-" on
d
efault-set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
S
ven
V
e
rdo
o
laege
Merge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2013-08-06
Sve
n
Ve
r
d
o
olaege
isl_
a
st_build_ast_from_sc
h
edule:
improve ha
n
dling o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
Sv
e
n Verdoolaege
i
s
l_ctx
.
c: fi
n
d
_nested_options: pr
o
perly handle argument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven
V
e
r
doolae
g
e
isl_union_map_
p
a
r
ams:
plug memory leak
i
n
cas
e
of em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
a
dd is
l
_id_
t
o_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add isl_ast_ex
p
r_substitute
_
ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoo
l
aege
extr
a
c
t
out isl/ast_t
y
pe
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaeg
e
add isl_ast_expr_acces
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verd
o
olaeg
e
a
d
d i
s
l_ast_build_{acces
s
,call}_f
r
om_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
a
d
d isl_as
t
_
buil
d
_ac
c
ess_from_p
w
_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add isl_i
d
_
to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
add isl_ast_expr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolae
g
e
add isl_id_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven
V
erdo
o
lae
g
e
generali
z
e and export isl_map_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
m
ap_to_basic
_
set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoo
l
a
e
ge
isl_map_
t
o_b
a
sic_set: add ref
e
rence
cou
n
ting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoola
e
ge
add isl_map_to_basi
c
_
s
et
_
forea
c
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
exp
o
rt isl_
b
asi
c
_s
e
t_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oola
e
g
e
isl_map_to_basic_set: keep
t
rack
o
f isl
_
ctx
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_free: ret
u
rn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoolaege
rename isl
_
hmap_map_basic_set to isl_map_
t
o_basi
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_multi_pw_aff
_
r
e
ad
_
fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdoolaege
isl_
i
nput
.
c: extract out map_from_tuple f
r
o
m
read_map_
t
uple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
i
sl_p
r
inter_print_
m
ul
t
i_pw_aff: change
o
utp
u
t form
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl
_
stream_read_map: acce
p
t piecewise affine expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
g
e
isl_input
.
c: extract out push_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
r
d
ool
a
e
g
e
i
s
l_input
.
c:
ex
t
r
a
ct out set_
c
urre
n
t_line_c
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
a
d
d isl_set_
f
r
om_multi_pw_
a
ff and isl_m
a
p_f
r
o
m_m
u
lti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_map_preima
g
e_domain_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_set_pre
i
mage_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
erdool
a
ege
add isl_mul
t
i_pw_aff_pullback_
m
ulti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_multi
_
pw_aff
_
pull
b
ack_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
olaege
add
isl_multi_pw_aff_pull
b
ack_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
is
l
_aff_pullback_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
V
erdoolaege
add isl
_
multi_p
w
_aff_from_pw_multi
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_
m
ulti_pw
_
aff_fro
m
_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
er
d
oola
e
g
e
add isl_mu
l
ti_
p
w_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
add isl_multi
_
pw_aff_intersect_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en
V
erdoolaege
add isl_
m
ulti_p
w
_aff_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verd
o
o
l
aege
add isl_mu
l
ti_pw_aff_co
a
lesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdo
o
l
a
ege
add
i
s
l
_m
u
lti
_
p
w_aff_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw
_
aff_is_e
q
ual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
generalize isl_mult
i
_af
f
_plain_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdool
a
ege
gene
r
alize isl_multi_aff_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
ae
g
e
decla
r
e isl_multi_pw_aff_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
dec
l
are isl_multi_pw_
a
ff
_
gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_mult
i
_a
f
f_fix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add isl_pw_multi_aff_
p
roje
c
t_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaeg
e
add is
l
_pw_multi_aff_from_multi
_
pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaege
ad
d
i
s
l_pw
_
multi_aff_f
r
om_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd isl
_
p
w
_m
u
lti_
a
ff_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ver
d
oola
e
ge
add isl_pw_aff_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add is
l
_
p
w_
a
ff_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
ae
g
e
privately expo
r
t i
s
l_p
w
_qp
o
lynom
i
al_re
s
e
t
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declare i
s
l_pw_aff_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ve
r
doolaege
add
isl_multi_a
f
f
_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_multi_aff
_
d
o
ma
i
n
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
doolaege
add isl_space_range
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
extract
o
ut
i
sl_s
p
ace_
d
omain_map from
i
sl_m
a
p_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next