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 isl_basic_set
_
set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoola
e
ge
Merge branch
'
mai
n
t'
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
python
i
nterfa
c
e: also
c
onvert firs
t
arg
u
ment to correct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Ver
d
oolaege
isl_*
_
l
is
t
_add: do
n
o
t
m
odify li
s
ts in-p
l
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
isl
_
s
c
h
edule_c
o
nstraints: split proximity
c
onst
r
aints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
Verdoolaege
isl_schedule_constraints:
add
s
upp
o
rt
for conditional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ver
d
oolaege
isl_schedule
.
c:
e
x
tract_edge: look for matc
h
i
n
g
edge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolae
g
e
i
s
l_schedule
.
c: extrac
t
o
ut
edge_
m
ul
t
i
plicity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sv
e
n
Verdoolaeg
e
isl_
s
chedule
.
c
:
extract
o
ut m
e
rg
e
_edge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoola
e
ge
isl_schedule
.
c: extr
a
ct out reset_band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoolaeg
e
isl_schedule
.
c: e
x
tra
c
t
o
ut extract_
s
ch
e
dule_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdoo
l
aege
introduce new sched
u
le API
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
isl_ast_build_access_fro
m
_
multi_pw_aff:
tre
a
t
nested
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
do
o
laege
i
s
l_ast_buil
d
_expr
.
c
:
extract out i
s
l_ast_build_wi
t
h_arg
u
m
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
a
dd i
s
l
_
ast_op_member type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
do
o
laege
isl_schedule
.
c
: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaeg
e
isl_ma
t
.
c
: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Tobias Grosser
Fix typ
o
in
h
e
a
der guard
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
v
e
n
Verdoola
e
g
e
isl_ast_build_expr
.
c: extract_
m
odulo: consider
a
dditional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verdo
o
l
a
e
ge
i
sl
_
as
t
_
b
u
ild_expr
.
c:
e
xtract
_
modulo: extr
a
ct construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoolaege
isl_a
s
t_
b
uild_expr
.
c: extract_modulos: postpone modifi
c
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdool
a
ege
isl_ast
_
build_expr
.
c: extract_modulos: s
t
ore interm
e
diate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
ol
a
ege
i
s
l_
a
st_bu
i
ld_ex
p
r
.
c: extract_modulo: a
s
sume inp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
dool
a
e
g
e
M
erge branch '
m
aint'
commit
|
commitdiff
|
tree
2013-08-26
Sv
e
n
V
erdo
o
laege
isl_union_set
_
comp
u
t
e
_schedule: fix check
for progres
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
Sven
V
erdoolaege
expor
t
isl_ast_expr_set_op_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n
Ver
d
oo
l
aege
add isl_mu
l
t
i_*_range_factor_{do
m
ain
,
ra
n
g
e}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ver
d
oolaege
add isl_
m
ap_range_f
a
ctor_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doolae
g
e
add is
l
_space_range
_
factor_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
lae
g
e
a
d
d isl_mu
l
ti_*_range
_
is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
ad
d
i
s
l_map_range_is_wr
a
ppin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdoolaege
add isl_space_is_wrappi
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Ve
r
doolaege
do
c
: documen
t
isl_space*product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erd
o
ol
a
eg
e
add
isl_multi_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdoolaege
doc:
l
ist isl_mult
i
_*_reset_tuple_id as function modi
f
ying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
ven Verdoolaege
add
isl_set_reset_user and isl
_
map_res
e
t_
u
s
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
rdoolaege
add isl_space_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdool
a
e
g
e
ISL_ARG_
G
R
O
UP: allow specification of
long nam
e
/prefi
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
isl_args_parse:
allow multiple
p
r
efixes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
erdoolaege
is
l
_ar
g
.
c: print_arg_help: p
r
int "no-" on default-s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
S
ven
Verd
o
olaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
Ray
Donn
e
lly
MinG
W
-w6
4
build fix
(
l
acks
ffs declaration)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoola
e
ge
isl_ast_buil
d
_ast_
f
r
om_sc
h
edule: improve
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
S
v
en Verdoolaege
is
l
_ctx
.
c:
find_nested_options:
p
roperly h
a
nd
l
e a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdool
a
ege
isl_union_map
_
params: plug memory leak in
c
ase o
f
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
add isl_id_to_
p
w
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
V
erdoolaege
add
i
s
l
_a
s
t_expr_su
b
st
i
tute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdoolaege
e
xtract
out is
l
/ast_t
y
pe
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven V
e
rdoolaege
add isl
_
ast_expr_access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
e
rdoolaege
add i
s
l_ast_build_{access,call}_from_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
isl_ast_b
u
ild_acc
e
ss_from_pw
_
mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
a
d
d isl_id_to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
add
i
sl_ast_expr_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
add isl
_
id_get_
h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
gene
r
alize
a
nd export is
l
_ma
p
_to_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoolaege
a
d
d i
s
l
_
map_to_basic_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
V
erdoolaege
isl_map_to_b
a
sic_
s
et: ad
d
r
e
ference counting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Ver
d
oolaege
ad
d
isl_map_
t
o_
b
asic_set_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Ve
r
do
o
laege
e
x
port isl_basic_s
e
t
_plai
n
_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaeg
e
isl_
m
ap_to_basic
_
se
t
: keep t
r
ack o
f
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven
Verdoola
e
ge
i
s
l_map_t
o
_bas
i
c_set_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Verdoo
l
aege
r
ename isl_h
m
ap_map_b
a
sic_set t
o
isl_map_to_bas
i
c
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolae
g
e
add
i
sl_multi_pw_aff_
r
ead_
f
rom
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
ege
isl_i
n
put
.
c: e
x
tract ou
t
map_from_tuple f
r
om read_map_tuple
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
rdo
o
laeg
e
is
l
_p
r
inter_print_multi_pw_aff:
change outpu
t
fo
r
m
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven V
e
r
d
oolaege
i
s
l_stre
a
m_rea
d
_map: accept
piecewise affine
e
xpr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoolae
g
e
isl_inp
u
t
.
c:
e
x
t
r
a
ct out push_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n Ve
r
dool
a
ege
isl_input
.
c: ex
t
ract
ou
t
set_current_li
n
e
_
col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ve
r
doolaege
add isl_set_from_multi_p
w
_
aff and isl_m
a
p
_from_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
a
dd isl_map_preimage_d
o
main_pw_mu
l
ti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl
_
set_preimage_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ve
r
doolaege
add isl_multi_pw
_
af
f
_pullback_mul
t
i_pw_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Ver
d
oolaege
a
dd
i
sl_multi_pw_aff_pullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
ad
d
isl
_
multi_
p
w
_
a
ff_pullba
c
k_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n Verdo
o
laege
add
i
sl_af
f
_
p
u
l
l
back_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_mult
i
_p
w
_a
f
f_
f
ro
m
_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven V
e
rdoolaege
a
dd isl_
m
u
lti_pw_
a
f
f_from_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
en Verdoolaege
add isl_multi_pw_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
o
olaege
add isl_mul
t
i_
p
w_aff_
i
ntersect_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaeg
e
add
isl_
m
ul
t
i_pw_aff_in
t
e
rsect
_
domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
v
e
n
V
e
r
doolae
g
e
add isl_multi_pw
_
a
ff_coalesce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdo
o
laege
a
d
d isl_multi_pw_aff
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Ver
d
oolaege
ad
d
isl_pw_aff_is_
e
qua
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
V
erdoolaege
general
i
z
e
i
s
l_m
u
l
ti_aff_plain
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoola
e
ge
ge
n
eralize i
s
l_multi_
a
ff_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
declar
e
isl_mul
t
i_pw
_
aff_
g
ist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
declare
i
sl_multi_pw_
a
ff_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdo
o
laege
add isl_p
w
_mult
i
_
a
ff_fix_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_pw_mul
t
i_
a
ff
_
project_out_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verd
o
o
laege
add isl_pw
_
m
ult
i
_aff_fro
m
_multi_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven
V
erdoolaege
a
d
d isl_pw_multi
_
aff_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sve
n
Verdoolaege
add i
s
l_pw_
m
ul
t
i_
a
ff_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
S
ven Verdoolaeg
e
add i
s
l_pw_aff_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
add isl_pw_aff_from_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaeg
e
privately export isl_pw_qpoly
n
o
m
ial_reset_
s
pa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sv
e
n Verdoolaege
decla
r
e isl
_
pw_a
f
f_has_tuple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_mul
t
i_aff_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
add is
l
_
multi_aff_domain_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven Verdoolaege
add isl_space_
r
a
n
ge_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-24
Sven
Verdoolaege
extract out isl_space_domain
_
m
ap from isl_
m
ap
_
domain_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next