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_codegen.c: extract out is_better_lower_bound
2014-12-24
Sven Verdoolaege
is
l
_a
s
t_codegen
.
c
:
extract
o
ut
i
s_better_lower
_
bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
is
l
_map_gist:
t
ry and
explo
i
t imp
l
icit co
n
straints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Verd
o
olaege
isl_t
e
st
.
c: t
e
st_gist: consider
test inputs as sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verd
o
olaege
add isl_map_u
n
shifted_s
i
mple_hull_from_map_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n
V
erdoolaege
ad
d
isl_union_set_lis
t
_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verd
o
olae
g
e
a
dd isl_basic_map_l
i
st_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoola
e
g
e
i
sl
_
map
.
c
: f
i
x
whit
e
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdool
a
ege
a
d
d
i
sl_u
n
ion_pw_mu
l
t
i
_af
f
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdool
a
ege
add isl
_
union_m
a
p_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
a
d
d
i
s
l_m
a
p_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_basic_map_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdo
o
laege
add i
s
l_union_set_identi
t
y_un
i
on
_
pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
add isl_union_set_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add
isl_unio
n
_map_f
l
at_domain
_
pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdo
o
laege
a
d
d
i
sl_union_{set,ma
p
}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_ba
s
ic_map_gi
s
t
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_un
i
o
n
_pw_*_subtra
c
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdo
o
l
a
ege
add
i
sl_
p
w_*_subtract_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_union_map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_unio
n
_map_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdo
o
l
a
eg
e
a
dd isl_uni
o
n_
m
ap_ra
n
ge_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ver
d
oolaege
add isl_union_map_domain_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdoolaege
add isl_union_
m
ap_domain_
f
actor
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoolaege
add isl
_
map_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
a
d
d
i
s
l_map
_
fa
c
t
or_r
a
ng
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_space_fact
o
r_d
o
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaeg
e
add isl_sp
a
ce_factor_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Ver
d
o
o
laege
a
d
d
i
sl_map_domain_fa
c
tor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
eg
e
add isl
_
map_domain_fact
o
r_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoo
l
a
ege
add isl_space_d
o
m
a
in_factor_r
a
n
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
d
d isl_union
_
set
_
wr
a
pped_
d
omain_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
ad
d
isl_set_wrapped_do
m
ain_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ve
r
d
o
olaege
add isl_
u
ni
o
n_map_inv
o
lves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_union_pw_*
_
find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
g
e
add
i
sl_pw_*_find_dim
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
ad
d
isl_multi_*_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdo
o
l
a
ege
ad
d
i
s
l_aff
_
find_dim
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ven V
e
rdoolaege
add isl
_
un
i
on_
m
ap_find_dim_by_
n
am
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ver
d
o
ola
e
ge
add isl_basic_map_f
i
nd_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
er
d
ool
a
ege
add isl_lo
c
al_space_
f
ind_dim_by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rdoo
l
aege
add isl_uni
o
n
_
pw
_
*_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolae
g
e
add isl_union_set
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoolaege
add isl
_
un
i
on_pw_mu
l
ti_af
f
_multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
o
laege
add isl_
p
w_mu
l
ti_aff_multi_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_multi_aff_mu
l
ti_
v
al_on
_
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
a
dd isl
_
pw_
a
ff_val_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
e
rdool
a
ege
add isl_u
n
ion_*_scale_d
o
wn_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Verdoola
e
ge
general
i
ze isl_pw_aff_s
c
a
l
e
_
down_val
t
o
isl
_
{multi
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Ve
r
doolaege
a
d
d isl_qpolynomial_fold_scale_down_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verd
o
o
laege
add isl_qpolynomial_scale_
d
o
wn_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
o
o
la
e
ge
add isl_val_
i
nv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
e
rdoolaege
isl_basic_map_
g
ist: a
v
oid modifying input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven Verdoolaege
add isl_loca
l
_space_is_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-19
Sven V
e
r
doolaege
isl_union_pw_mult
i
_aff_add: compute
s
um o
n
sha
r
ed de
f
inition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
dool
a
ege
declare isl_union_pw_qpolynomia
l
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verdoola
e
ge
d
eclare isl_union_pw_
m
ulti_aff_in
t
ersect_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven V
e
rd
o
ol
a
ege
declare isl_union_pw_multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven
V
erdo
o
l
a
ege
declare is
l
_unio
n
_pw_
m
u
lti_aff_coal
e
sce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n
V
erdool
a
ege
declare isl_unio
n
_pw_multi_aff_sc
a
l
e_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoola
e
ge
declare i
s
l
_union_pw_multi_aff_p
l
ain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdo
o
l
aeg
e
d
e
clare
i
sl_union_pw
_
m
u
lti_aff_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
declare isl_union_pw_
m
ulti_aff_extract_pw
_
mult
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sve
n
Verdoolaege
d
ecl
a
re isl_union_pw_multi_aff_from_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
Verd
o
olaege
declare
i
sl_
p
w_mul
t
i
_
aff_reset_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
v
en
V
e
r
doolaege
declare isl_mu
l
ti_
*
_flatten_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sv
e
n Verd
o
o
l
a
e
ge
declare i
s
l
_
multi_aff_mo
v
e_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
erdoolaeg
e
declare is
l
_union_map_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
de
c
lare isl
_
uni
o
n
_
set_to_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven
V
e
rdoolae
g
e
d
e
clare isl_m
u
lti_
a
ff_to_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Verdoolaege
declar
e
isl_
m
ap_to
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
S
ven
Verdoolaege
d
e
cl
a
re isl_space_to_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-18
Sven Ve
r
doolaege
doc: explai
n
use of me
m
ory
ma
n
agemen
t
an
n
o
tation o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven
Verdoolaege
do
c
:
docu
m
ent
*_t
o
_str functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-28
Sven Verdoo
l
aege
d
o
c
:
group
f
un
c
t
i
on types
a
n
d op
e
rations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
doc: group dimension
and tuple ident
i
f
i
er functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Ve
r
doolaege
d
o
c: move isl_spa
c
e operations to
u
nary/bi
n
ary operations
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaeg
e
isl_un
i
on_pw_*_extract: ignor
e
paramet
e
rs in
s
p
a
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Verd
o
olaege
o
n
ly allow a
si
n
gle is
l
_pw_* object
with given doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
isl_union
_
p
w
_*_ext
r
act_*: rename "di
m
"
vari
a
b
le
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdoolaege
i
s
l_union_pw
_
*: rena
m
e "dim" field to
"space"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sve
n
Ver
d
oolaege
i
sl
_
ast
_
expr_from_c
o
nstraint
:
detect stri
d
e c
o
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verd
o
o
l
a
e
ge
a
dd isl_ast_op_zdiv_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Ver
d
oolaege
ad
d
isl_aff_coefficient_sgn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven Verdo
o
laeg
e
add
i
sl_val_abs_eq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sven
Verdoolaege
mar
k
isl_space_t
u
ple_ma
t
c
h
as depre
c
a
t
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-25
S
ven
Verdoolaege
isl 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Verdoolaege
updat
e
A
U
THORS
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-13
Sven Ve
r
doolaeg
e
M
e
rge branch 'maint
'
commit
|
commitdiff
|
tree
2014-10-13
Sven
V
e
rdoola
e
ge
isl
_
map_convex_hul
l
:
detect equalities
be
f
ore check
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoo
l
aege
is
l
_sch
e
du
l
e_c
o
n
s
traints_compute_sch
e
dule: allo
w
parti
a
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sv
e
n V
e
r
doolaege
add isl_map_n
_
basic_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
Sven Verdoolaege
split scheduler cod
e
f
r
o
m schedule object co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-07
S
v
en Verdoolaege
m
ake isl_af
f
_
private
.
h more self-contai
n
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Verdoolaege
doc: fix t
y
p
os
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven Ver
d
ool
a
ege
document isl_set_i
s
_singleton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
doc: upd
a
t
e
i
sl
_
*_list documen
t
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaeg
e
doc: clean up is
l
_va
l
docum
e
n
t
atio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-30
Sven
V
erdoolaege
isl_sch
e
du
l
e
_
co
n
strain
t
s_compute_schedule: c
o
mpre
s
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next