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_transitive_closure.c: add_length: return isl_stat
2018-08-28
S
v
en Ve
r
doolaeg
e
isl_qpolynomial_
v
a
l
_on_domain:
reu
s
e is
l
_qpolynomial_zero_on
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n V
e
r
d
oolaege
isl_qpolynomial_rat
_
cst
_
o
n
_
domain
:
reus
e
isl_qpolynomial_zer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
e
rdool
a
eg
e
isl_p
o
lynomial
.
c: e
x
t
r
a
ct out shared domain_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven V
e
rdoola
e
ge
isl_
t
est
.
c: remove some code duplication
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sve
n
Verdoolaege
isl_basic_set_opt: reu
s
e i
s
l_basic_set_get_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Ver
d
oolaege
isl_tab_pip
.
c: implement split
in terms of split_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Ver
d
oolaege
isl_b
a
sic_set_tota
l
_dim: imp
l
e
m
ent in
ter
m
s of
isl_basic
_
map
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven
Verdoola
e
ge
is
l
_con
s
train
t
.
c:
use
i
sl_basi
c
_set_o
f
f
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n Verdoolaege
isl_cons
t
rai
n
t
.
c:
u
se isl_
b
asic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sv
e
n
V
erdoola
e
g
e
Mer
g
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
drop is
l
_
basic_set_ex
t
end
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
d
rop isl_basic_set_add_equal
i
t
y
duplicate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
isl_basic_m
a
p
_add_eq: special case empty
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolae
g
e
isl_basic_ma
p
_
a
d
d
_{eq,
i
neq}: only modif
y
single co
p
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoo
l
aege
isl_qpoly
n
omia
l
_as_polynomial_on_
d
omain: use isl_local_space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl_qpolynomial_gi
s
t: use
isl_
l
o
c
a
l_
s
pace_lift_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
r
doolae
g
e
add isl_local_
s
pace_lift_basic_
s
et
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoo
l
aege
i
s
l_
a
ff_
g
ist
:
extract out
isl_local_space_lift_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdo
o
laege
add
is
l
_set_pe
e
k_
s
pac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Ve
r
dool
a
ege
i
s
l_printer_pri
n
t_sc
h
edule_tree_mark: us
e
i
s
l_schedule_t
r
e
e
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
i
sl
_
schedule_
t
re
e
.
c: i
n
itial_domai
n
_fro
m
_children:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolae
g
e
i
sl_sched
u
le_tree
.
c:
.
.
.
_ext
e
nd_fr
o
m_c
h
ildren: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ver
d
oolae
g
e
isl_s
c
hedule
_
tre
e
_
drop
_
ch
i
ld: use isl_
s
c
hedu
l
e_tree_n
_
child
r
en
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdoolae
g
e
isl_schedule_tree_update_anchored: us
e
is
l
_schedule_tre
e
_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl
_
sch
e
d
ul
e
_no
d
e_has_next_si
b
l
in
g
: use isl_schedule_
t
r
ee_
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
is
l
_
s
chedule_tree
_
n_
c
hildren: explicitly handle m
i
ssing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
a
s
Grosser
isl_set_is_equal: use isl
_
bool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
obias
G
ro
s
ser
s
hared
_
ou
t
e
r
: use isl_
b
ool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
domain_
f
ollows_at_depth: use isl_bool_n
o
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Gros
s
er
basic_map_is
_
empty
_
add: use
enum variab
l
e instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
i
s_s
u
b
s
e
t
_entry: use isl_bool_false instead of integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
G
r
osser
i
s
l_arg: use named
constant to identify
a
rguments
without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven
V
erdool
a
ege
i
s
l
_
val_ch
e
c
k
_m
a
tch_domai
n
_space: up
d
ate
d
ocument
a
tion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
drop unused is
l
_
b
a
s
ic_set_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
e
n
Verdoolaege
isl_affine_
h
ull
.
c:
isl_basic_map_
m
ake_strid
e
s_e
x
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaeg
e
is
l
_schedule
_
n
o
de
.
c: collect_filter_pre
f
ix_
u
pdate:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
i
sl_schedule_tree
.
c: pr
i
nt_tree_band: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
T
o
bias Grosser
set -std=gnu99 for i
m
ath-32
in CFLAGS not CPPFLAGS
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_sche
d
ule_node_
b
and_sink:
u
se is
l
_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
i
s
l_test
.
c: be
f
ore_for: use i
s
l_bool
fo
r
local
v
ariab
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_basic
_
map_align_
d
ivs: use
isl_bo
o
l
for loca
l
var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_transitive_c
l
o
s
ure
.
c: check_exac
t
ness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
o
laege
isl_transi
t
ive_cl
o
sure
.
c: is_ac
y
cl
i
c: use i
s
l_b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_ast_build_ex
p
r
.
c: isl_a
s
t
_
build_from_multi_
p
w_
a
ff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
c
h
ed
u
le_tree
.
c: su
b
tre
e
_
s
c
h
edule_extend_from_
c
h
i
l
dren
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
laeg
e
isl_
c
onve
x
_hull
.
c: convex_
h
u
l
l_
p
air: use isl_bool
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
ast_
c
odege
n
.
c: comp
u
te_
d
o
mains: use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
do
o
laege
isl
_
test
.
c: test_affine_hull
:
use isl_
b
ool
f
or local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
pw_
q
po
l
yn
o
mial_fold_cove
r
s: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_sc
h
edule_nod
e
.
c: extension_fro
m
_domain: use i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
s
chedule
_
node
.
c: isl_s
c
h
e
d
ule_node_gro
u
p: use
isl_
b
o
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_sc
h
edul
e
_node
.
c:
locall
y
_covere
d
_by_domain: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedul
e
_node
.
c
:
group_band: use isl_bool for
l
o
c
al
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
isl_sched
u
le_node_has
_
pare
n
t
:
use is
l
_
b
ool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_sc
h
edu
l
e_
n
ode
.
c: extend_ex
t
ens
i
o
n
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
a
ege
isl_ast_cod
e
gen
.
c: af
t
e
r_in_tree: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_as
t
_codegen
.
c: aft
e
r_i
n
_sequence:
u
s
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_ast_codegen
.
c: a
f
ter
_
in_band: use
i
sl_bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_schedule_n
o
de
.
c: grou
p
_
domain: u
s
e isl
_
b
o
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
isl_s
c
hed
u
le_node
.
c: gr
o
up_context:
u
s
e
i
sl_bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_qpolynomial_
p
roject
_
d
o
m
ain_on
_
params:
u
se isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_test
.
c: test
_
gist: u
s
e
i
s
l_bool for local variables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_schedule_node_
o
rder
_
bef
o
re_or_aft
e
r: u
s
e is
l
_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
i
s
l_coalesce
.
c: check_coale
s
ce_into_e
q
: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_sch
e
d
ule_
n
ode
.
c: gi
s
t_leav
e
: us
e
isl_bool
f
or
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ver
d
ool
a
ege
is
l
_schedule
_
n
ode
.
c
:
gist_enter: use is
l
_bool for
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_ast_codegen
.
c:
c
om
p
ute_unr
o
ll_do
m
ains:
use i
s
l
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_map_get_constraint_list: us
e
isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_ast_bu
i
ld
.
c
: upda
t
e_
v
a
lues:
u
s
e
i
sl_boo
l
for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l
_multi_union_pw_aff_apply
_
multi_aff: use isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_multi_union_pw
_
aff_app
l
y_
a
f
f
: u
s
e
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_multi_union_pw_aff_apply
_
p
w_multi_a
f
f:
use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl_mu
l
ti_union_
p
w
_
aff_app
l
y
_
pw_aff: use
i
sl_bo
o
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
aege
isl_ast_b
u
ild_
e
xp
r
.
c: try_extract_mod: use isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
i
s
l
_ast_graft
.
c: e
q
ual
_
independe
n
t_guards:
ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
val
_
ge
t
_abs
_
num_chu
n
ks: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_basic_map_i
d
entit
y
:
inline basic
_
ma
p
_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_
i
dentity: us
e
isl_space_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
ool
a
ege
i
sl_map
.
c
:
b
asic
_
map_identity: reuse
isl_ba
s
i
c_map_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_qpoly
n
omial_var_on_domain: impo
s
e
s
t
r
i
c
t
er c
h
eck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
c
onstr
a
int_get_boun
d
:
impose stri
c
t
e
r check fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
s
l
_
basic_set_from_
c
onst
r
aint: impose stric
t
er
c
heck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_set_alloc_space: impose stricter
check for s
e
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_s
p
ace_underlying
:
ret
u
rn set sp
a
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
er
d
oolaege
i
s
l
_
ba
s
ic
_
s
et_pr
e
image: use isl
_
basic_set_add
_
dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
is
l
_union_*_set
_
h
as_dim:
r
e
n
ame to isl_union
_
*_set_has_s
p
ace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdool
a
eg
e
i
s
l_union_
*
_
set_ha
s
_dim: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olae
g
e
isl_aff
.
c: pw_aff_gte_set:
r
en
a
m
e
"
d
i
m
"
varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoola
e
ge
isl_set_
f
l
a
t
ten_map
:
rename "dim" var
i
ables to "s
p
ac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_transitive_clos
u
re
.
c: u
n
i
on_floyd
_
warshall_on_li
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
ae
g
e
isl_space_lift: rena
m
e "dim" variable to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_space_join: r
e
name "dim" variable
t
o
"
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_s
p
ace
_
alloc: r
e
name "dim" va
r
iabl
e
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaeg
e
isl_local_space
_
o
ffs
e
t: r
e
na
m
e "d
i
m" variable to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
t
ransitive_closure
.
c:
construct_
p
ower: renam
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_map
.
c: ma
p
_dim_opt: rena
m
e "dim" v
a
riable
t
o "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaeg
e
i
s
l_basic_set_solutions: rename "dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
isl
_
basic_set_coefficie
n
ts: ren
a
m
e
"di
m
" variab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_
s
e
t_l
i
f
t: rename
"
dim" varia
b
le to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
r
d
oo
l
aege
i
sl_map
.
c
:
map_apply_range: rena
m
e
"
dim" variabl
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next
