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_qpolynomial_gist: use isl_local_space_lift_set
2018-08-25
S
ven Verd
o
olaege
isl_qpolynomial_gist: use isl_loca
l
_spac
e
_
l
i
f
t_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Ver
d
oolaege
ad
d
is
l
_loca
l
_space_lift
_
basic_
s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ve
n
V
erdoolaege
isl_
a
f
f
_gist: e
x
tra
c
t
out isl_local_spa
c
e_lif
t
_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
add
i
s
l_set_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doolaege
isl_printer_
p
rint_schedule_tree_ma
r
k:
u
se isl_schedule_tr
e
e_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_s
c
h
e
dule
_
tree
.
c
: i
n
it
i
al_domain_from_children
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
Verdoolaege
isl_s
c
hed
u
le
_
t
r
e
e
.
c:
.
.
.
_extend_fro
m
_children: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdool
a
ege
isl_schedule_tree_drop_child: u
s
e i
s
l_schedule
_
tree_n_ch
i
ldren
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
rdoolaege
i
s
l_schedu
l
e_tre
e
_update_anchored: use isl_schedule_t
r
e
e
_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoo
l
aege
isl_s
c
hedule_n
o
de_has_next_sibling: use isl_schedule_tree_n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
V
e
rdo
o
lae
g
e
isl_sche
d
ule_tree_n_children:
e
xp
l
icitly handle missing
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_set_is_equal: use
i
sl_bool for local variab
l
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobia
s
Gro
s
ser
sh
a
red_outer: use i
s
l_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
domain_foll
o
ws_at_
d
epth: use isl_bo
o
l_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
basic_m
a
p_is_empty_add: use enum varia
b
le instea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
To
b
i
a
s
Grosser
is_subset
_
ent
r
y: use isl_bo
o
l_false i
n
s
tead o
f
inte
g
er
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
isl_arg: use named cons
t
ant
t
o
identify argum
e
nts without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolaege
isl_val_
c
h
eck_match_d
o
main_space: update
d
ocumentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doolaege
d
r
op unused isl_basic_set_swap_
d
iv
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
oolaege
isl
_
affin
e
_
h
ull
.
c: isl_basic_map_
m
ake_st
r
ides_explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_
s
chedule_node
.
c: collect_filter_prefix_update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoola
e
ge
isl_sc
h
edule_
t
ree
.
c
: print_tree_band: u
s
e isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
e
r
doolaege
isl_schedule_nod
e
_band_sink: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_test
.
c: before_for: use isl_bool
for local
vari
a
ble
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolae
g
e
isl_ba
s
ic_m
a
p_align_divs: use isl_bool fo
r
local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_transitive_closure
.
c: check_
e
xa
c
tness
_
om
e
ga: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl_transitive_cl
o
sure
.
c: is_acycl
i
c:
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_as
t
_
b
u
i
l
d
_expr
.
c: isl_ast_build_from_m
u
lti
_
pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
sl_sc
h
e
dule_t
r
e
e
.
c: subtree_sc
h
edule_
e
xten
d
_fro
m
_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaege
isl_convex_hul
l
.
c: conv
e
x
_
h
u
ll
_
pair: use isl_
b
ool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_
a
st_codegen
.
c: compute_domains: use isl_bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_test
.
c: test_affi
n
e_hull: use isl
_
bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_
pw_qpolynomial_fold_covers: use i
s
l_
b
ool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
chedule_node
.
c
:
exten
s
ion_from
_
domain: use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_schedule_node
.
c: isl_schedu
l
e_n
o
d
e_group: use isl
_
b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
r
doolaege
is
l
_schedul
e
_nod
e
.
c: locally_covere
d
_by_domain:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
eg
e
isl
_
schedule_node
.
c: group_band: u
s
e isl_bool
f
or loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node_has_parent: us
e
isl_bool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_schedule_n
o
de
.
c:
e
xte
n
d_extension: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_a
s
t_codegen
.
c: after
_
in_tree: use isl_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_ast_codegen
.
c: afte
r
_in_sequence: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
i
s
l_ast_codegen
.
c
: after_in_band:
u
se i
s
l_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_schedule_n
o
de
.
c:
group_domain: use isl_b
o
ol for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
s
chedule_node
.
c: group_context: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
d
o
olaege
i
s
l_
q
polynom
i
al_project_domai
n
_
on_params: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_
t
es
t
.
c:
test_gist: use is
l
_
b
ool
f
or
l
ocal v
a
riables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_s
c
he
d
ule_
n
ode_order_
b
efor
e
_or_
a
f
t
er: use isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
o
l
a
e
ge
i
s
l_coalesce
.
c: check_coalesce
_
into
_
eq: us
e
i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sc
h
edule_node
.
c: gis
t
_lea
v
e: use
i
sl_bool for
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_schedule_
n
o
d
e
.
c: gist_ent
e
r: use isl_bool f
o
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_a
s
t_codegen
.
c: compute_unro
l
l_domains: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_
b
asic_m
a
p
_
g
e
t_constraint_list
:
use isl_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
ol
a
ege
isl_ast_
b
uild
.
c: update
_
values: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoola
e
g
e
isl_
m
ulti_union_pw_aff_ap
p
ly_m
u
lti
_
aff:
use isl
_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_multi_union_pw_
a
ff_app
l
y
_aff: use isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ver
d
oolaege
isl_mul
t
i
_
union_pw_af
f
_a
p
ply_pw_multi_aff: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
isl_multi_union_pw
_
a
f
f_apply_pw_a
f
f: use
isl_boo
l
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_ast_build_expr
.
c: try_extract
_
mod: use isl_st
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ast_graft
.
c:
equal_independent_guards:
ret
u
rn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_val
_
get_abs_n
u
m
_
chunks
:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l
_
basic_map_identity: inline
bas
i
c
_
m
a
p
_identity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
isl_bas
i
c_
m
ap_identity
:
use isl_sp
a
c
e
_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
i
s
l_m
a
p
.
c
:
bas
i
c_map_identity: re
u
se isl_basic_m
a
p
_
equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
i
s
l_qpolynomial_var_on_domain:
impose
s
tricter ch
e
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_cons
t
raint_get_b
o
und: imp
o
se s
t
r
icter ch
e
ck for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verd
o
o
l
aege
isl_bas
i
c_
s
et_from
_
c
o
nstr
a
i
n
t
: imp
o
se
s
trict
e
r check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ver
d
oolae
g
e
isl_set_alloc
_
space
:
im
p
ose stricte
r
ch
e
ck for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl_s
p
ace_und
e
rly
i
ng: return set space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolae
g
e
isl
_
basic_set_preimage: us
e
isl_
b
a
s
i
c
_set_add_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
r
doolaege
i
s
l_un
i
on_*_
s
et_has_dim: rename to isl_un
i
on_*_se
t
_has_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_
u
nio
n
_
*
_set_has_dim
:
r
e
n
ame "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
l
aege
isl_aff
.
c: pw_aff_gte_
s
et: rename "di
m
" variable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_set_flatten_map: rena
m
e
"
dim"
variables
t
o "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aeg
e
isl_trans
i
tiv
e
_closure
.
c: union_f
l
oyd_war
s
hall_on
_
list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_spac
e
_lift: rename "dim" variable
to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erd
o
olaege
isl_space
_
join: rename "di
m
" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
i
s
l_space
_
allo
c
: rena
m
e
"
dim" variable
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_local
_
sp
a
ce
_
o
ffse
t
: rename "dim" variable
to
"space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
itive_c
l
o
s
ure
.
c: con
s
truct
_
power: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_d
i
m
_
opt: r
e
nam
e
"dim
"
va
r
ia
b
le
to
"
spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
s
et_solutions:
ren
a
me "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basi
c
_
s
e
t
_coefficients: rename "dim" variab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_se
t
_
lift
:
r
en
a
m
e
"dim" var
i
a
ble to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_
map
.
c: map_apply_range: ren
a
me "d
i
m" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
is
l
_basic_
s
et_sample_po
i
nt
:
r
e
name "dim" va
r
iable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
ool
a
ege
isl_facto
r
izer_g
r
oups: rename "dim" variable
t
o
"
sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_b
a
s
ic_set_lift:
r
enam
e
"dim" variable
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic
_
map_add_
c
o
n
s
traint: r
e
name "dim
"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_b
e
rnstein
.
c: bernstein_c
o
e
fficients_cell: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_m
a
p_reaching_path_lengths: renam
e
"
d
i
m" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl_map_
p
ower: rename
"
dim
"
variables
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolynomial_as_polynomial_on_d
o
main: renam
e
"dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
isl_un
i
o
n
_pw_*_f
r
om_pw_*: r
e
name "dim" variable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
ou
n
d
.
c: guard
e
d_
p
oly_boun
d
: rename "dim" va
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_r
a
nge
.
c
: pr
o
pagate_on_bound_pair: re
n
ame
"dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
la
e
ge
isl_ran
g
e
.
c
: monotonic
i
ty: r
e
n
a
me
"
dim" v
a
riabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ran
g
e
.
c: has_sign: rename "
d
im" variable to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_bernste
i
n
.
c: be
r
n
stein_coefficients_base: renam
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_tab_
p
ip
.
c: split_domain: r
e
name "di
m
" vari
a
ble
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
a
e
ge
isl_map_apply_pw_qpolynomial_
f
old: rena
m
e "dim
"
variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next