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_convex_hull.c: uset_is_bound: return isl_bool
2018-08-28
Sven Verdool
a
ege
is
l
_test
.
c: re
m
o
v
e some cod
e
du
p
lication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
v
en Verdoolaege
i
s
l
_basic_
s
et_opt: re
u
se isl_basic_set_get_
d
ivs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoolaege
isl_tab_pip
.
c: imple
m
ent
spli
t
i
n
t
e
rms
o
f split_dom
a
in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
o
o
laege
isl_basic_s
e
t_total_dim: implement in terms of isl_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
V
er
d
oolae
g
e
i
s
l_constraint
.
c: us
e
isl_basic_se
t
_
o
ff
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_constraint
.
c: use isl_
b
asic_map_o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ve
r
doolaege
M
e
rge b
r
an
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
drop isl_bas
i
c
_
set_extend
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
drop
i
sl_basi
c
_set_add_
e
qua
l
ity
d
uplicate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
is
l
_
basic_ma
p
_add
_
eq: sp
e
c
ial case emp
t
y input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoola
e
ge
isl_basic_map_add_{eq,
i
neq}: on
l
y modify
s
i
ngle
c
opy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
o
olaege
i
s
l_qpolynomia
l
_as_polynomial_
o
n_domain: use isl_lo
c
al_space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
Verdo
o
laege
isl_qpo
l
yno
m
i
al_gist:
u
s
e
isl_lo
c
al_
s
p
a
ce_
l
i
f
t_se
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ver
d
o
ol
a
ege
ad
d
is
l
_
l
ocal_space_lift_bas
i
c_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
V
e
r
doolae
g
e
isl_aff
_
g
i
st: extract out
isl_local_space_lift_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolae
g
e
add i
s
l_set_pe
e
k_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdo
o
laege
is
l
_pr
i
n
ter_print_s
c
h
edule_tree_mark: use is
l
_s
c
h
edule_tr
e
e_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en
V
erdoolaege
isl_sch
e
dule
_
tree
.
c:
initi
a
l
_
domain_f
r
om_child
r
en
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
i
s
l_sche
d
ule_
t
ree
.
c:
.
.
.
_extend_from_children: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedule_tree_drop_child: use i
s
l_sched
u
le_tree_n_child
r
en
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_sche
d
ule_
t
r
ee_update_anchored: use isl_schedu
l
e_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
isl_schedule
_
node_
h
as_next_sibl
i
ng: use isl_
s
chedule_tre
e
_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven
Verdoolaege
isl_sc
h
edule_tree
_
n_children: explicitly handle missi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_set
_
is_equal: use i
s
l_boo
l
for loc
a
l variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s
G
r
o
s
s
e
r
shared_outer: use isl
_
bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
G
rosser
d
o
main
_
follows_at_depth: use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
basic_map_is_em
p
ty_add: u
s
e enum variable instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosse
r
is_sub
s
et_entry: u
s
e isl_bool_false instead of in
t
eger
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
To
b
ias Grosser
i
sl
_
a
rg: use named consta
n
t to iden
t
ify argument
s
without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdo
o
laeg
e
is
l
_val_check_match_domain_space: update documentatio
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
dr
o
p un
u
sed isl_basic_
s
et_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Verdoolae
g
e
isl_
a
ffine_hull
.
c: is
l
_bas
i
c_map_
m
ake_strides_
e
xplicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sv
e
n Verdool
a
ege
isl_
s
chedule_node
.
c: col
l
ect_filter_prefix_update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_schedule_tree
.
c: prin
t
_t
r
ee_band:
use
i
sl_b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
Tobias
G
r
osser
set -std=gnu
9
9 for ima
t
h-32
i
n CFLAGS
n
o
t
CPP
F
LAGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
r
d
oolaege
isl_
s
chedule_node_band_sin
k
: use isl_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaeg
e
isl_test
.
c: before
_
for: use isl_b
o
ol for local varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_b
a
sic_m
a
p
_align_divs:
use isl_b
o
ol for local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl
_
tran
s
i
tiv
e
_closure
.
c: check_
e
xactness_o
m
ega:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
ool
a
ege
isl_transitive_closure
.
c: is_acycl
i
c:
use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_ast_
b
uild_exp
r
.
c: isl_ast
_
bu
i
ld_from_multi_pw_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_tree
.
c: subtre
e
_
s
chedule_ex
t
end_
f
rom_c
h
ildre
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
isl_conv
e
x_hull
.
c: convex_hull_pair: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
isl_ast
_
codeg
e
n
.
c: compute_domains: use isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_test
.
c: test_
a
ffin
e
_hu
l
l: use i
s
l
_
boo
l
f
or
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
pw_qpolynomia
l
_fold_covers: u
s
e isl_bool f
o
r local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_schedule_no
d
e
.
c: extension_from_domain: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoola
e
ge
isl_sche
d
u
le_node
.
c: isl_sched
u
le_
n
ode_group: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node
.
c: locally_covered_by_dom
a
in: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_schedul
e
_
node
.
c:
group_b
a
nd: use isl_bool
for l
o
ca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
sched
u
le_no
d
e_has_parent: use i
s
l_
b
ool
f
or local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
i
s
l_schedule_node
.
c:
e
xte
n
d_extens
i
on: use isl_
b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aeg
e
isl_
a
st_codegen
.
c
:
after_in_tree:
use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_ast_
c
odege
n
.
c: after_in_sequence
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
ast_
c
o
degen
.
c:
after_in
_
band: us
e
isl_bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_schedu
l
e_node
.
c: gro
u
p_domain
:
use
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
g
e
isl_schedule_nod
e
.
c:
group_cont
e
xt: use isl
_
bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_qpolynom
i
a
l_project_domain_on_params: use i
s
l_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
sl_test
.
c: test_gist: use isl_bool for local vari
a
bles
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl
_
sch
e
d
u
le_nod
e
_order_before_or_after: use i
s
l_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_c
o
ale
s
ce
.
c: check_coalesce_into_
e
q: u
s
e i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_nod
e
.
c: gist_le
a
ve: use isl_bool
for loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_s
c
hedule_nod
e
.
c:
g
ist_ent
e
r: use isl_b
o
ol f
o
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_codeg
e
n
.
c: compute_unroll_domains:
u
se
i
sl_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ve
r
d
o
o
laege
isl_basic_map
_
get_constraint_list:
us
e
is
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_ast_build
.
c: upd
a
te_values: use i
s
l_
b
ool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_mul
t
i_union_
p
w
_af
f
_apply_multi_a
f
f: use
i
sl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_m
u
lti_unio
n
_pw_a
f
f_apply_aff:
u
se
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdo
o
laege
isl_mult
i
_
union_pw_
a
ff
_
a
pp
l
y_pw_multi_aff:
us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_multi_uni
o
n_pw_aff_apply_pw_aff: use is
l
_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_ast_build_expr
.
c: try_extract_
m
o
d
:
u
s
e
is
l
_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_ast_graft
.
c: equal_in
d
ep
e
ndent_guards
:
return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_val_get
_
abs_n
u
m_chunks: return
isl_s
t
at
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
b
asi
c
_
m
ap_ident
i
ty:
i
nline b
a
sic
_
map_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_ma
p
_identi
t
y: use isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_ma
p
.
c:
basic_map_identi
t
y:
r
eu
s
e
i
s
l_basic_map_eq
u
al
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_qpol
y
n
o
mial_var_on_
d
omain: impose
stri
c
ter ch
e
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_
c
o
n
strai
n
t_get_bou
n
d:
i
mpos
e
stricter check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_basic_set_fro
m
_constr
a
int
:
impose s
t
r
i
c
t
e
r chec
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
o
o
laege
isl_set_alloc_space: impose stricter check f
o
r set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
is
l
_space_underlying
:
re
t
urn set spac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_basic_set_preimage: use i
s
l_
b
asic_
s
et_add_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_union_*_set_has_dim: rename to isl_unio
n
_*_
s
e
t
_has_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_union_*_set_has_dim: rename "di
m
" v
a
riab
l
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_aff
.
c: pw_aff
_
gte_set
:
re
n
ame "dim"
va
r
iabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_set_fl
a
tten_map:
rename
"dim
"
variables to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c
: union_floyd_war
s
h
a
ll_on_list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdo
o
laege
i
sl_space_
l
ift: rename "dim" var
i
able to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
spac
e
_
join:
r
ename "d
i
m" variable
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl
_
space_
a
lloc: rename "dim" va
r
iable
t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_local_space_offset:
r
en
a
me "dim" variable to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_tr
a
nsitive_c
l
osure
.
c: construct
_
p
o
wer: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_map
.
c
:
map_dim_o
p
t
:
re
n
am
e
"di
m
" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
er
d
oola
e
ge
i
s
l_
b
asic
_
set_solutions: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oo
l
a
e
ge
i
sl
_
bas
i
c
_
set_
c
oefficie
n
ts: ren
a
me "dim"
v
ariable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_set_lift: rename "di
m
"
variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
m
ap
.
c: map_
a
pply_ran
g
e: rename "d
i
m" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_basi
c
_s
e
t
_sam
p
le_point: re
n
a
me "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_f
a
ctori
z
e
r_groups: rename "dim"
variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
i
s
l_basic_set_lift: re
n
ame "dim
"
variable to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next