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_map.c: nonneg_halfspace: rename "dim" argument to "space"
2018-08-22
Sven Verdoolaege
isl_map
.
c
:
nonneg_halfspace: rename "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_identi
t
y: renam
e
"di
m
" arg
u
ment to
"
space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_m
a
p
.
c: basic_map_identity: rename
"
dims
"
argumen
t
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
er
d
oo
l
aege
isl_basi
c
_
map_from
_
constraint_matrices: rename "dim
.
.
.
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_s
p
ace_d
r
op_dims:
rename "
d
im
"
argumen
t
to
"
s
pace"
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_add_di
v
_
constra
i
nts:
add memory management
.
.
.
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdo
o
lae
g
e
sp
l
it IS
L
_BA
S
I
C_MAP
_
NO
R
MALI
Z
ED into *_NO_REDUNDANT
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sv
e
n Verdo
o
la
e
ge
isl_m
a
p
_
sim
p
lif
y
.
c: isl_basic_map_eli
m
inate_v
a
rs: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
S
ven Verdoolaege
i
s
l_map_si
m
plify
.
c: set_div_from_eq: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sv
e
n
V
erdoolaege
isl_
m
ap_si
m
plify
.
c: elimi
n
ate_var_u
s
ing
_
equ
a
lity: drop
.
.
.
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdoo
l
aege
isl_map
.
c: inse
r
t
_
boun
d
s_on_div_from_ineq: drop redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
Verdoolaege
i
s
l_basic_map_insert
_
d
i
ms: rename "dim"
variabl
e
t
o
.
.
.
commit
|
commitdiff
|
tree
2018-08-05
Sven
Verdoolaege
isl_s
p
ace_
i
nsert_
d
i
ms: use
i
sl_s
p
a
ce_get_ctx
commit
|
commitdiff
|
tree
2018-08-05
Sven Verd
o
ol
a
ege
isl_space_insert
_
dims: rena
m
e
"
dim" argum
e
n
t
t
o
"space"
commit
|
commitdiff
|
tree
2018-07-04
Sven
V
erdoola
e
ge
a
dd
i
sl_*
_
li
s
t_swap
commit
|
commitdiff
|
tree
2018-06-21
Sve
n
Verdo
o
laege
add i
s
l_basic_set
_
from_multi_aff
commit
|
commitdiff
|
tree
2018-05-17
Sven V
e
rdo
o
laege
isl_
*
_
l
ist_get_*: extract out isl_*_l
i
st_peek
commit
|
commitdiff
|
tree
2018-05-02
Sven Verdoo
l
aeg
e
e
x
t
ract out shared isl_reor
d
ering_get_ctx
commit
|
commitdiff
|
tree
2018-05-02
S
v
en Verd
o
ol
a
ege
extract o
u
t shar
e
d isl_local_reorder
commit
|
commitdiff
|
tree
2018-04-30
Sven
V
erdoolaege
isl_space_align_params: rename
"dim" argumen
t
s to
.
.
.
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdo
o
laeg
e
isl_basic_map_reali
g
n: ren
a
me "dim" argument to
"
s
pace"
commit
|
commitdiff
|
tree
2018-04-28
Sven Verdoolaeg
e
i
sl_basic_map_r
e
align: use isl_b
a
sic_map_dim
commit
|
commitdiff
|
tree
2018-04-24
S
ven Verdo
o
l
aege
isl/val
.
h
:
extract
o
ut
is
l
/val
_
typ
e
.
h
commit
|
commitdiff
|
tree
2018-04-18
Sven Verdoolaege
isl_map
.
c: extract out
shared isl_map_check_range
commit
|
commitdiff
|
tree
2018-03-18
Sven Verd
o
olae
g
e
isl
_
pw_*_
e
val: rename "pnt_dim" vari
a
b
l
e
t
o "pnt_sp
a
ce"
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
add isl_aff_eval
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
doola
e
ge
add isl
_
l
ocal_space_lift_
p
oint
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verdoolaege
a
dd isl_local
_
space_
h
as_space
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoo
l
aege
i
s
l_qpolynomial_eval:
e
xtract out isl_l
o
cal_exte
n
d_poin
t
_vec
commit
|
commitdiff
|
tree
2018-03-18
Sven
V
erdool
a
e
ge
isl_polynom
i
al
.
c: isl_upoly_e
v
al: check for NULL argument
commit
|
commitdiff
|
tree
2018-03-18
Sven Ve
r
d
o
olaege
add isl
_
vec_add_els
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoola
e
ge
isl_local_
s
pace_divs_
k
nown: extract out isl_l
o
cal_divs_known
commit
|
commitdiff
|
tree
2018-03-18
Sven Verdoolaege
isl_local
.
c
: extract out shared isl_loc
a
l_dim
commit
|
commitdiff
|
tree
2018-03-18
Sve
n
Verd
o
olae
g
e
is
l
_loca
l
.
c: extract out
shared
i
sl_local_get_c
t
x
commit
|
commitdiff
|
tree
2018-03-04
Sven Verdoolaege
isl_space_is_domain: e
x
tract out
isl_space_has_domain_tuples
commit
|
commitdiff
|
tree
2018-03-04
Sven Verd
o
olaeg
e
privately ex
p
ort isl_map_is_param
s
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoola
e
ge
isl_pw_*_get_space: e
x
tract
out
i
sl_pw_*_pe
e
k_space
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaeg
e
is
l
_a
f
f
.
c: pw_af
f
_aff_on_domain: exp
l
ici
t
ly insert
.
.
.
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
add
isl_aff_fro
m
_
range
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doo
l
a
eg
e
a
dd isl_aff
_
{take,restore}
_
dom
a
in_local_
s
p
ace
commit
|
commitdiff
|
tree
2017-12-26
S
v
en
V
erdoolaege
add isl
_
local
_
space
_
set_fr
o
m_p
a
rams
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
add i
s
l
_
l
o
cal_space_{take,r
e
s
tore
}
_space
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
specializ
e
i
s
l
_
s
pace_replace to
i
s
l_s
p
ac
e
_replace_pa
r
ams
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
isl_reorde
r
ing_ex
t
end_s
p
a
ce: r
e
name "dim" argument
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_space_f
l
atten_
r
ange: rename "dim" arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2017-11-08
S
ven Ver
d
oo
l
aege
isl_
s
p
ace_f
l
atten_domain:
ren
a
m
e
"dim"
arg
u
ment to
.
.
.
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
remove dep
r
ecated
b
a
nd forests
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
add isl_vec_zero
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
V
erdoo
l
a
ege
is
l
_space_fa
c
tor
_
domain: accept set space inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaeg
e
isl_space
.
c: move isl_spa
c
e_factor_
d
omain down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-09-26
Sven Ve
r
doolae
g
e
isl_coalesce
.
c:
e
xtract out s
h
ared find_eq a
n
d
find_ineq
commit
|
commitdiff
|
tree
2017-09-26
Sve
n
Verdoolaege
is
l
_coalesce
.
c: extract out shar
e
d count_eq and count_
i
n
eq
commit
|
commitdiff
|
tree
2017-09-26
Sven Verdool
a
ege
i
sl_coalesc
e
.
c: extr
a
ct out shared an
y
_eq and any_ineq
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n V
e
rdoolaege
bound
.
c: directly
i
nclude required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Ve
r
d
o
olaege
i
s
l_schedule_tree
.
c: direc
t
ly i
n
c
lude requ
i
red hea
d
ers
commit
|
commitdiff
|
tree
2017-09-18
Sv
e
n
V
erd
o
o
laege
isl_schedule_read
.
c: di
r
e
c
tly inc
l
ude required header
commit
|
commitdiff
|
tree
2017-09-18
S
v
e
n Verdoolaege
isl_sc
h
e
dule_ba
n
d
.
c: directly inc
l
ude
r
equired headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
Verdoolaeg
e
isl_schedu
l
e
.
c: direct
l
y
i
n
clude
r
equired
head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven V
e
rdoolaeg
e
isl_range
.
c:
directly include required heade
r
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
do
o
laege
isl_obj
.
c: di
r
ec
t
ly incl
u
d
e
requ
i
red he
a
der
commit
|
commitdiff
|
tree
2017-09-18
S
v
en
V
e
rd
o
olaeg
e
isl_flow
.
c: direct
l
y includ
e
required head
e
rs
commit
|
commitdiff
|
tree
2017-09-18
Sven Verd
o
olaeg
e
isl_
a
st_codegen
.
c: dir
e
ct
l
y include require
d
heade
r
s
commit
|
commitdiff
|
tree
2017-09-18
Sven
Ve
r
doola
e
g
e
i
sl_ast_
b
uild_e
x
pr
.
c: directly
include
r
equired header
s
commit
|
commitdiff
|
tree
2017-09-18
Sve
n
Verdo
o
laege
isl_ast_build
.
c: directly include
r
e
quired
headers
commit
|
commitdiff
|
tree
2017-09-18
S
v
en Verdoola
e
ge
i
s
l_ast
.
c: directly incl
u
de required header
commit
|
commitdiff
|
tree
2017-09-18
Sven Ve
r
d
oolaege
isl_list_templ
.
c: dire
c
tl
y
include required hea
d
er
commit
|
commitdiff
|
tree
2017-08-08
S
v
en V
e
rdoolaege
isl_ma
p
_univ
e
rse: re
n
ame "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
S
ven
V
erdo
o
lae
g
e
isl_ma
p
_
e
mpty
:
rena
m
e "dim" a
r
g
um
e
nt to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoolaeg
e
isl_basic_map_unive
r
se: rena
m
e
"dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
erdool
a
ege
isl_basic_ma
p
_empty: rename "dim"
a
r
g
ument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sve
n
Verdoolaege
isl_set_universe:
r
ena
m
e "dim
"
arg
u
m
e
nt
to "sp
a
c
e"
commit
|
commitdiff
|
tree
2017-08-08
Sven
V
erdoolaege
isl_s
e
t_empty: r
e
name "dim" argument
t
o "sp
a
c
e"
commit
|
commitdiff
|
tree
2017-08-08
S
ven V
e
rd
o
olaege
is
l
_bas
i
c_set_un
i
ve
r
se:
r
ename "dim" argument to "space"
commit
|
commitdiff
|
tree
2017-08-08
Sven Verdoo
l
aege
isl_basic_set_em
p
ty: ren
a
me
"
dim
"
argument to "space"
commit
|
commitdiff
|
tree
2017-06-12
Sven Ve
r
d
o
olaege
isl_access_info_co
m
pute_flow: sup
p
ort
"
kill" a
c
cesses
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
isl_u
n
ion_map
.
c
: subtract_entry: use i
s
l_union_map_
g
e
t_ctx
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
i
s
l_union
_
map
.
c: su
b
t
ract_
e
n
try: use isl_map_get_space
commit
|
commitdiff
|
tree
2017-06-12
Sve
n
Verdoolaege
isl_union_map
.
c: rename has_
d
im to has_space
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoo
l
aege
isl_union_map
.
c
:
has_dim: rename "d
i
m
"
variable to
.
.
.
commit
|
commitdiff
|
tree
2017-06-12
Sven Verdoolaege
add isl_f
l
ow a
p
p
lication
commit
|
commitdiff
|
tree
2017-06-08
Sven Ver
d
oolaege
sch
e
du
l
er: exploit
l
i
n
e
a
l
i
ty spa
c
e in differen
c
e set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven
V
erdoolaege
add isl_union_set_co
m
bi
n
ed_lineality_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaeg
e
privately export isl_
s
et_co
m
b
i
n
ed_li
n
eal
i
ty_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
v
en Ve
r
doolaege
i
sl_basi
c
_set_
l
ineal
i
ty_
s
pace: allow local
va
r
i
ables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
o
laege
a
d
d
i
s
l_ba
s
ic_set_extract_equ
a
liti
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdo
o
laege
add is
l
_
multi_af
f
_
from
_
aff_mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
scheduler: drop constraints that can only be used for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdool
a
e
g
e
i
sl_schedul
e
r
.
c:
c
ol
l
ect_intr
a
_validity: dro
p
paramet
e
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doolaege
i
sl_scheduler
.
c: intra_coefficients: separate cache
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doo
l
aege
isl_scheduler
.
c: coun
t
_
m
ap_constraints: c
o
u
nt p
a
ra
m
etric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoo
l
ae
g
e
isl_scheduler
.
c:
extract out
shared force_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ve
r
doo
l
aege
isl_
s
cheduler
.
c: extract out
s
hared upda
t
e
_count
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
o
o
laege
a
dd isl_union_set_plai
n
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
add isl_map
_
plain
_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
S
ven Ve
r
dool
a
ege
add
i
sl_set_p
l
a
i
n
_gist_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Ver
d
oolaege
add
i
sl_basic_set_{low
e
r,upper}
_
bound_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sv
e
n Ver
d
o
o
laege
doc: isl_*_bound_*: s
p
ecify header to incl
u
d
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-06-07
Sven Verdoolaege
sched
u
ler
:
try c
a
rrying
o
nly self-dependences in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven
Ve
r
doolaege
isl_scheduler
.
c: compute_carrying
_
sol: extract out
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-05-25
Sven Verdoolaege
isl_schedul
e
r
.
c
:
f
in
d
_
n
ode_c
o
alescing: use half of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next