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_basic_set_set_tuple_id
2013-10-18
Sven Verdoolaege
add
i
sl_ba
s
ic_set_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
Merg
e
branch 'mai
n
t'
commit
|
commitdiff
|
tree
2013-10-18
Sven Ve
r
do
o
laeg
e
python
i
nterface:
also convert
first argument to corr
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
isl_*_list_add:
do
not modif
y
lists
i
n-place
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verdo
o
laege
isl_sched
u
l
e
_
c
o
n
s
t
r
aints: split
proximity constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_s
c
h
ed
u
le
_
constraints: add support for
c
ond
i
t
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
isl_schedu
l
e
.
c: ex
t
ract_edge: look
for matching edge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verd
o
olaege
isl_schedule
.
c: extract out edge_multip
l
i
city
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n Verdoola
e
ge
isl
_
s
c
hedule
.
c: extract
out me
r
ge_edge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
isl_schedu
l
e
.
c
: ext
r
a
c
t o
u
t rese
t
_ban
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_sc
h
edule
.
c: extr
a
c
t
out e
x
tract_schedule_row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
intr
o
duc
e
new s
c
hedul
e
API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_ast_b
u
ild_access_from_multi_pw_aff: treat nested
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
S
ven V
e
rdool
a
eg
e
isl_
a
st_build
_
ex
p
r
.
c
: extract ou
t
isl_ast_build_wit
h
_argu
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
V
erdoolaege
add isl_ast_op_member typ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
isl_schedule
.
c:
f
ix typo
i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaeg
e
is
l
_m
a
t
.
c
:
fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix typo in
h
ead
e
r gu
a
rd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
o
olaege
isl_as
t
_build
_
e
x
pr
.
c:
e
xtract_modulo: consid
e
r additional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoo
l
aege
isl
_
ast_bu
i
l
d
_
e
x
pr
.
c
: extract_modu
l
o: extract construc
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaeg
e
isl_ast_build_expr
.
c: extract_mo
d
ulos: po
s
t
p
one modificat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
laege
is
l
_as
t
_build_expr
.
c: extract_modulos: store intermediate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_build_
e
x
p
r
.
c: ex
t
ract_modulo: assume input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolae
g
e
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2013-08-26
Sven Verdoolaege
isl_u
n
ion_set_compute_s
c
hedule: f
i
x check for
p
r
ogress
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdo
o
la
e
ge
expor
t
isl_ast_expr_s
e
t_o
p
_ar
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdoolaege
add isl_mu
l
ti_*_r
a
nge_factor_{domain
,
r
a
ng
e
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ver
d
oolaege
ad
d
i
s
l_map_range_factor
_
{d
o
main,range}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdool
a
ege
add isl_space_range_factor_
{
domain,rang
e
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolae
g
e
add
i
sl_multi_*_range_is_wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_map_ra
n
g
e
_is_wrap
p
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdo
o
l
aege
add is
l
_s
p
ac
e
_is
_
wrapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
doc: docu
m
ent
isl_space*product functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoola
e
ge
add is
l
_mul
t
i_*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verd
o
olaege
do
c
: li
s
t isl_multi_*_r
e
se
t
_t
u
p
le_id as function modifyin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Ver
d
oolaege
a
d
d
i
sl
_
set_r
e
set_u
s
er
and isl_map_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n
Verdoolaege
add
i
sl
_
space_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdool
a
eg
e
ISL_ARG_GROUP:
a
l
low specification o
f
lo
n
g name
/
prefix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en
V
erdool
a
ege
isl_args_parse: allow multiple prefixes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdoolaege
isl_arg
.
c: pri
n
t_arg_help: print "no-" on defa
u
lt-set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoolaege
Mer
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2013-08-06
R
ay
D
onnelly
MinGW-w
6
4 bui
l
d fix (la
c
k
s ffs declaration)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-06
Sven Ver
d
oolaege
i
s
l_a
s
t
_
build
_
a
s
t_from_
s
chedule: improve ha
n
dling
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-05
Sven Verdo
o
laeg
e
isl_c
t
x
.
c: find_nested_options: pro
p
erly handle argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoo
l
aege
isl_un
i
on_map_params: pl
u
g m
e
mory leak in
c
ase of empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verd
o
o
l
aege
add
i
sl_id
_
to_
p
w_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aege
add isl_ast
_
e
x
p
r
_
substitute_ids
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoo
l
a
e
ge
extract out isl
/
a
st_type
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_
a
st_exp
r
_acce
s
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add
i
sl_ast_build_{acc
e
ss,call}_from_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add isl_ast_build_access_fr
o
m_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add
isl_id_to_ast_e
x
pr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
dd isl_as
t
_ex
p
r_i
s
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
dool
a
e
ge
add
i
sl_id_get_ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doo
l
ae
g
e
generalize and ex
p
ort
isl_
m
a
p_to_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
add i
s
l_map_to_b
a
sic_
s
e
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_map_to_basic_set: a
d
d ref
e
rence cou
n
ting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
ad
d
isl
_
map_to_basic_s
e
t_f
o
reach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoola
e
ge
export isl_basic_set_
p
l
ain_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdool
a
ege
isl_map_to_basic_s
e
t
: keep track of i
s
l_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_
m
ap_to_b
a
sic_set_f
r
ee: re
t
urn NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolaege
rename isl_h
m
ap_map_basic
_
set to
i
sl_m
a
p_to_ba
s
ic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n
Verdoo
l
aege
a
dd is
l
_
m
ulti_pw_aff_read_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c: extract out map_from_tup
l
e fro
m
read_map_tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
i
s
l
_printer_print_multi_p
w
_aff: change
o
utpu
t
f
ormat
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
isl_stream_
r
ead
_
m
a
p: a
c
cept piecewise a
f
fine express
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
isl_input
.
c
: ext
r
ac
t
ou
t
push_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdo
o
laege
isl_input
.
c: extra
c
t out set_
c
urrent_line_col
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Verdool
a
e
g
e
add isl_set_
f
r
o
m
_multi
_
pw_aff and isl_
m
ap_fr
o
m_m
u
lti
_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
er
d
ool
a
ege
a
d
d isl_map
_
pre
i
ma
g
e
_
domain_p
w
_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_set
_
p
r
eimage_m
u
lti_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add isl_multi_pw_aff_pullback_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
doolaege
add isl_multi_pw_aff_pullback_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoo
l
aege
add isl_multi_pw_a
f
f_pul
l
b
a
ck
_
multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
dd isl_aff_pullback
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
lae
g
e
add isl_
m
ul
t
i
_
pw_aff_from_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoo
l
aege
add isl_
m
ulti_pw_a
f
f_
f
rom_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add is
l
_multi
_
pw_aff_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
add isl_multi_pw_aff_
i
n
t
ers
e
ct_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Ve
r
doolaege
add isl_
m
ulti_pw_aff_in
t
ersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaeg
e
add isl_m
u
lti_pw_af
f
_coalesce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Ver
d
oolaege
add isl_multi_pw
_
aff_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
ola
e
g
e
add isl_pw_aff_i
s
_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oo
l
aege
generali
z
e isl_mult
i
_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoola
e
ge
g
e
n
eralize is
l
_multi_aff
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdo
o
laeg
e
declare i
s
l_multi_pw_aff_g
i
s
t
_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
r
doolaege
declare i
s
l
_
multi_pw
_
aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rd
o
olaege
a
d
d isl_pw_multi_aff_fix_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
V
e
rdoolaege
add i
s
l
_p
w
_multi_aff_p
r
oject_out_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Ve
r
d
oolaege
a
d
d i
s
l
_pw_multi_
a
ff
_
from_mul
t
i_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add
i
sl_pw_mult
i
_
a
ff_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
a
d
d isl_pw_
m
ulti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_a
f
f
_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoo
l
aege
add isl_pw_aff_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdoola
e
ge
privately export isl_pw_qpolynomial_reset_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
decla
r
e isl_pw_a
f
f_h
a
s_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Ver
d
oolaege
add isl_multi_aff_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n
Verdoola
e
ge
add isl
_
m
u
lti
_
aff_domain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdool
a
ege
ad
d
isl_
s
p
a
ce_range_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolae
g
e
extract out isl_sp
a
ce_domain_map
f
rom isl_map_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next