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
isl_basic_map_preimage_multi_aff: check if parameters of inputs match
2014-02-10
Sven Ver
d
oolaege
isl
_
multi_pw_aff_pullback_m
u
lti_pw_aff: use
isl_p
w
_aff_pullb
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
add isl
_
pw_a
f
f_pullback_multi_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven V
e
rdoolaege
i
s
l_map_preimage_multi
_
pw_
a
ff: special case
univers
e
se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sv
e
n
V
erdool
a
ege
ad
d
isl_multi_*_involve
s
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven
V
erdool
a
e
g
e
add isl_multi_
a
ff_fla
t
ten_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Ve
r
doolae
g
e
ad
d
isl_lo
c
al_sp
a
c
e
_flatte
n
_{domai
n
,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
Sven Verdoolaege
do
c
: m
o
ve isl_local_sp
a
ce
o
perations to un
a
r
y/bin
a
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
v
e
n
Verdoolaege
add isl
_
spac
e
_domai
n
_factor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-10
S
ven Verdo
o
la
e
ge
add
i
sl_map_domain_is_wrappin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven V
e
rdoolaege
add isl_space_domain_i
s
_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ver
d
o
o
laege
d
oc: move isl_space w
r
apping
o
perations to
u
nary/binary
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
d
oc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
user
.
pod: fix intern
a
l links
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdo
o
lae
g
e
documen
t
isl_map_from_{domain,
r
ange}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
add isl_map
_
order_le and isl_map_o
r
d
e
r_ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Ve
r
doolaeg
e
a
d
d isl_
*
_to_*_drop
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven
Ver
d
oolaege
add isl_val_negone
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sve
n
Ver
d
oolaege
isl_
m
ulti_te
m
pl
.
c: fix documentation of i
s
l_
m
ulti
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verd
o
olaege
update for rename of getResultType to getReturnType
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
S
v
e
n V
e
r
d
oolaege
up
d
ate
for rename of Funct
i
onProto
T
y
p
e a
c
cessors fro
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-02-07
Sven Verdoolaege
configure
.
ac: add llvm-config --system-libs to CLA
N
G_L
I
BS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-28
Sven Verdoolaeg
e
isl_
a
ff_set_coefficient_
s
i: fix out-of-bounds ch
e
ck
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-12
Sven
V
erdoolaege
i
sl 0
.
12
.
2
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-11
Sven Verdoolae
g
e
do
c
: fix leftover f
r
om is
l
_dim to is
l
_space renam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-01-08
Sven Verdoolaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2013-12-30
S
ven Verdool
a
ege
i
sl_b
a
sic_map_simplify: fix e
l
imination of unit coeff
i
cie
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sve
n
Ver
d
oolaege
i
s
l
_ast_node_print: avoid
d
angling else wa
r
nings on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sven Verdoolaege
.
git
i
g
nore: add test-driver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-23
Sven
V
erdoo
l
aege
AX_DETECT_
G
IT_
H
EAD: detect gi
t
v
e
rsion with newer ver
s
i
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-12-22
Sven
Verdool
a
ege
a
llo
w
the
u
ser to im
p
ose a bound
on t
h
e
n
u
m
ber of low
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-19
Sve
n
Verdoolaeg
e
isl_space
_
drop_dims: ta
k
e
i
nto ac
c
ount ov
e
rflow when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-17
Sven Verd
o
olae
g
e
Makefile
.
am: avoid us
e
of
INC
L
UDES variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
S
ven Verdoolaege
isl_pw_*_pullback_
p
w_m
u
l
ti_aff: properly han
d
le empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven Verdoolaeg
e
i
sl_union_*_
a
lign_p
a
ra
m
s
:
handle inputs that are
not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sve
n
Verdoo
l
aege
i
s
l_ba
s
ic_
s
et_from_point
:
hand
l
e NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven
Verdoo
l
aege
isl_hash_
t
ab
l
e_find: don't us
e
user specified co
m
parison
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-12-04
Sven Verdoolae
g
e
i
s
l_
s
et_min_val: compute mini
m
um of minima
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-20
Sven Ver
d
oo
l
a
ege
i
s
l_ma
p
_is_disjoi
n
t
:
m
aps with non
-
m
atching tu
p
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven
V
erdoolaege
add isl_a
f
f_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
ad
d
isl_local_space_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven
V
er
d
oolaege
add isl
_
basic_se
t
_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
M
er
g
e branc
h
'maint'
commit
|
commitdiff
|
tree
2013-10-18
Sven Verdoolaege
python interface: also convert first arg
u
me
n
t t
o
c
o
rr
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-10-18
Sv
e
n Verdoolaege
isl_
*
_l
i
st_add: d
o
n
o
t m
o
dify
l
ists in-place
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
i
s
l
_sched
u
le
_
constraints: split proximit
y
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven
Verdoo
l
a
e
g
e
isl_schedule_const
r
a
i
nts: add support for conditional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoolaege
i
sl_schedule
.
c: extra
c
t
_edg
e
:
look
f
or ma
t
ching e
d
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolae
g
e
isl_sc
h
e
dule
.
c: extract out edge_multiplicity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven
V
erdoo
l
aege
i
sl_schedule
.
c: extract out
m
erge_e
d
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sve
n
Verd
o
olaege
isl_sched
u
le
.
c: extra
c
t out reset_band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
S
ven Verdoola
e
ge
isl_schedule
.
c:
e
xtra
c
t out extract_schedule_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
o
ol
a
ege
introduce
new schedule AP
I
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
o
l
a
ege
isl_ast_build_a
c
c
e
s
s
_
f
r
o
m
_
multi_pw_aff: t
r
e
a
t n
e
sted
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
i
s
l_ast_bu
i
ld_
e
x
pr
.
c: e
x
t
ract out isl
_
ast_build_with_arg
u
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
add isl_ast_op_member type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verd
o
olaege
isl_sc
h
edule
.
c:
f
ix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
doolaege
isl_mat
.
c
: fix typo in
c
om
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoo
l
aege
is
l
_
ast_bu
i
ld
_
expr
.
c: extract_
m
odulo: conside
r
ad
d
it
i
ona
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Ve
r
d
o
olaege
i
s
l_ast_build_expr
.
c
:
extract_
m
o
d
ulo:
extract
construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
is
l
_ast_build_ex
p
r
.
c: extract_modulos: postpone modif
i
c
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven Verdoolaege
isl_ast_build_expr
.
c: extract_modulos: s
t
ore
i
ntermediate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
r
doolaege
isl_
a
s
t_build_ex
p
r
.
c: ext
r
act_modu
l
o:
a
s
sume inp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-09-18
Sven V
e
rdoola
e
g
e
Me
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2013-08-26
S
v
en Verdoolaege
isl_union_se
t
_com
p
ute_
s
c
h
edule: fix
c
heck f
o
r progress
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-16
Sven Verdoolaeg
e
expor
t
isl_ast_expr_set_op_arg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
add isl_multi_*
_
rang
e
_factor_{domain,ra
n
ge}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdo
o
l
a
e
ge
add isl_map_rang
e
_f
a
cto
r
_{domain,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sve
n
Verdoolaege
add isl_space_
r
a
nge_f
a
ctor_{d
o
mai
n
,range}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
V
e
rdoolaege
a
dd i
s
l_mu
l
ti_*_rang
e
_is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sv
e
n Verdoolaege
add isl_map_
r
ange_is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaeg
e
a
d
d
i
s
l
_space_is_wrapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
e
n Verdoolaege
d
o
c
:
d
o
c
ument isl_spa
c
e*product functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoo
l
aege
add isl_m
u
lti_
*
_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoolaege
doc: list i
s
l_mul
t
i
_
*_reset_tuple_id as function
m
odifying
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven
Verdoolaege
add isl_set_rese
t
_
user and isl_map_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven V
e
r
d
o
olaege
add is
l
_s
p
ace_re
s
et_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
Sven Verdoola
e
ge
ISL_ARG_
G
ROUP: al
l
ow sp
e
cif
i
c
a
t
i
on of long name/prefix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
v
en Verdoolaege
isl_arg
s
_
p
arse:
allo
w
multiple p
r
efi
x
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-15
S
ven
Ver
d
oolaege
isl_arg
.
c: print_arg_
h
elp:
p
r
int "no-"
on default-set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-06
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2013-08-06
S
v
en Verdool
a
ege
isl_ast_build_a
s
t
_fro
m
_schedule:
i
m
prove
handling of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-08-05
S
ven
V
erdoolaege
isl_ctx
.
c
:
find_nes
t
e
d
_
op
t
ion
s
: properly
handl
e
argume
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-30
Sven Verdoolaege
isl_union_map_params: plug memory leak
in
c
ase of em
p
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
l
a
ege
add isl_id_to_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
e
n Verdoolaege
add isl_ast_expr_
s
ubstitute_ids
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
v
en Verdoo
l
aeg
e
extract
out isl/ast_type
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdo
o
laege
add isl_ast_expr_acce
s
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdool
a
e
ge
add i
s
l_ast_buil
d
_{access
,
call}_fr
o
m_multi_pw_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
add isl_ast_
b
uild_acc
e
ss_from_pw_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
e
rdoola
e
g
e
add isl_id_to_ast_expr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
add isl_ast_e
x
pr_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolaege
ad
d
isl_id_g
e
t
_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
S
ven Verdoolaege
generalize and export isl_map_to_bas
i
c_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sve
n
Ve
r
doolae
g
e
add
i
sl_map_to_basic_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sv
e
n
V
erdoolaeg
e
isl_map_to_bas
i
c_set: a
d
d refere
n
c
e co
u
nting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Ver
d
oolaege
add isl_map
_
to_basic_set_f
o
reach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
export
isl_basic_set_pla
i
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoolae
g
e
isl_map_t
o
_basic_set: keep track of i
s
l_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-07-27
Sven Verdoo
l
aege
i
sl_map_to_basic_set_free: r
e
turn
NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next