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_ast_build_expr.c: isl_ast_expr_add_term: store local information in struct
2014-12-25
Sve
n
Verdoolaege
isl_
a
st_buil
d
_expr
.
c: isl_ast_e
x
pr_ad
d
_term: s
t
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_ast_bui
l
d_ex
p
r
.
c: tr
y
_
extract_mod: d
e
c
lar
e
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verd
o
ola
e
ge
AS
T
generator: sele
c
t unroll
l
owe
r
b
ound intr
o
d
ucing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
V
erdoolae
g
e
i
s
l_ast_codegen
.
c
:
m
o
v
e
up at_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Ver
d
oolaege
isl_ast_c
o
de
g
e
n
.
c: extrac
t
out is_be
t
ter_lowe
r
_
bo
u
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
doolaege
is
l
_map_g
i
st: try
and e
x
ploit implicit cons
t
r
a
in
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Verdoolaeg
e
isl_test
.
c:
test_gist:
cons
i
der test inpu
t
s as set
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
isl_map
_
unshifted_simpl
e
_hul
l
_f
r
om_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
a
d
d isl_
u
nion_set
_
list_uni
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
i
s
l_b
a
sic
_
m
ap_list_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rd
o
o
l
a
e
g
e
isl_m
a
p
.
c: fix whitespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
add
i
s
l
_union_pw_multi_af
f
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
l
aege
add isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
add isl_union_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Verd
o
o
l
aege
add isl_map
_
list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
ve
n
Verdoolaeg
e
add
isl_basic_ma
p
_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoo
l
a
e
ge
add isl_
u
nio
n
_set_i
d
e
ntity_union_pw_
m
ulti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
a
e
ge
a
d
d isl_union_
s
et_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
dool
a
ege
add isl_un
i
on_map_
f
lat_domain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
i
sl_union_{set,map}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
ad
d
isl_ba
s
ic
_
map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
e
r
d
ool
a
e
g
e
add isl_
u
nion_pw_*_subt
r
a
ct_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add isl_pw_*_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
ad
d
isl_
u
nion_map_f
a
ctor_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_union_map_f
a
ctor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add i
s
l
_
union_map_ran
g
e_fa
c
to
r
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
dool
a
ege
a
d
d isl_un
i
on_map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
add isl_union_ma
p
_domain_fact
o
r_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add is
l
_map_
f
a
c
tor_d
o
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_f
a
ctor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolae
g
e
ad
d
i
s
l_space_factor_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_
s
pace_facto
r
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en V
e
rdoolaege
add isl_map_d
o
ma
i
n_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl_spa
c
e_domain_fa
c
tor_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Verdoolaege
add isl_union_set_wra
p
ped_domai
n
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_set_wrapped_domain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_u
n
i
o
n_
m
a
p_involves_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_union_p
w
_
*_fin
d
_
di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verd
o
olaege
add isl_p
w
_*_fin
d
_dim_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_multi_*
_
find
_
dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
doolae
g
e
add is
l
_aff_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
sl_unio
n
_
m
a
p_
f
in
d
_dim_
b
y_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdo
o
laege
add isl_basic
_
map
_
find
_
dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add
isl_loc
a
l_space_find_dim_by_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
g
e
add isl_un
i
on_pw_*_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
i
s
l
_
uni
o
n_set_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl
_
union_pw_multi_aff_mult
i
_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
e
rdoolaege
add
i
sl_pw_multi_aff_multi_val_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_multi_aff_multi_val_on
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ve
r
do
o
laege
add
i
s
l
_pw
_
aff_val_on_do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olae
g
e
a
d
d
isl_unio
n
_*_sc
a
le_down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoolaege
generalize isl_pw_aff
_
scale_down_val to isl_
{
multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add isl_q
p
o
lynomial_fold_scale
_
down_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add is
l
_qpo
l
y
n
om
i
al_scale_down_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdo
o
laege
add
i
s
l
_v
a
l_inv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
i
sl_basic_
m
a
p_gis
t
: av
o
id
modifyin
g
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sve
n
V
e
r
d
o
olaege
a
d
d
isl_
l
ocal_space_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
S
ven Verdo
o
laege
isl_union_pw_
m
u
lt
i
_aff_add:
co
m
pute
s
um
on shared d
e
fin
i
t
io
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
erdool
a
e
g
e
d
eclare
i
s
l_union_pw_qpolynomial_ne
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolae
g
e
dec
l
are isl_union
_
pw_mul
t
i_aff_inte
r
sect_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
eclare isl_un
i
on_pw_mul
t
i
_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
d
ecla
r
e
isl_union_pw_multi_aff_c
o
a
l
esce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare isl_union_pw_multi_a
f
f_sc
a
le_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
laege
declare isl
_
union_
p
w_multi_aff
_
plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
dec
l
are
isl_unio
n
_pw_multi_aff_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdo
o
l
aege
declare is
l
_u
n
ion_pw_mu
l
ti_a
f
f_
e
x
t
ract_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_union_pw_multi_af
f
_
from_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declare
isl_pw_multi_aff_re
s
et_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n V
e
rdo
o
laege
de
c
lare isl_mu
l
t
i
_*_f
l
atten_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoo
l
aege
declar
e
isl_multi_aff_move_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
r
d
oolaege
declar
e
isl_un
i
on_map
_
to_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_u
n
ion_set
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Ve
r
d
ool
a
ege
declare isl_multi_a
f
f
_
to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven Verdo
o
laege
decla
r
e
i
sl_map
_
to_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verd
o
olaege
declare isl_space_t
o
_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
V
erdoola
e
ge
doc
:
ex
p
l
ain use of memor
y
managemen
t
annotation on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven
V
e
r
doolaege
doc: document *_to_s
t
r
functi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven
Verdoola
e
ge
doc: group
f
unction typ
e
s and op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc:
g
r
oup
dimension a
n
d tuple identi
f
ier functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: move isl_spac
e
oper
a
tions to unary/binary
o
per
a
tions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n
Verdoolaege
isl_union_p
w
_
*
_extract:
i
g
n
ore paramet
e
r
s in space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
only
a
llow a single isl
_
pw_* object wit
h
given d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoo
l
a
e
g
e
isl_union
_
pw_*_extract_*: rename "di
m
" variabl
e
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verd
o
o
laege
isl_un
i
on_
p
w_*: r
e
name "dim" field t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verd
o
ol
a
e
ge
i
s
l_a
s
t_expr_fr
o
m
_co
n
stra
i
n
t
: detect str
i
de constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
V
e
rdoolaeg
e
add isl_a
s
t_op_
z
di
v
_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
o
l
aege
add isl
_
af
f
_
c
oef
f
icient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
a
d
d
isl_
v
al_abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven V
e
r
d
ool
a
ege
mark i
s
l
_
s
p
ace
_
tuple_match as d
e
preca
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
S
ve
n
Verdool
a
ege
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven
Ver
d
oolaege
upda
t
e
AUTHORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven va
n
Haastregt
doc:
fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sve
n
Verdoolaege
Merge bra
n
c
h
'maint'
commit
|
commitdiff
|
tree
2014-10-13
S
v
en V
e
rdoo
l
aege
i
s
l_map_
c
onve
x
_hu
l
l: det
e
ct equa
l
i
t
ies before checking
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verd
o
olaeg
e
isl
_
s
c
he
d
ule_constraints_
c
ompute_sch
e
dul
e
: allow parti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
oolaege
add isl_map_n_bas
i
c
_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
split
s
che
d
uler code from schedule
o
bject code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Ver
d
oolae
g
e
make
isl_aff_private
.
h more
self
-
contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next