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_set_is_equal: use isl_bool for local variable
2018-08-24
Tobias Gro
s
ser
isl_set_i
s
_
e
qu
a
l
:
use isl_bool
for local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
obi
a
s Grosser
s
hared_oute
r
: use isl_b
o
o
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
domain_follows_a
t
_
d
epth: use is
l
_boo
l
_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gr
o
sser
b
asic_
m
ap_is_emp
t
y_ad
d
: use enum v
a
r
i
ab
l
e inst
e
ad
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Gross
e
r
is_subset_entry: u
s
e is
l
_bool_f
a
l
se instead of integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
T
o
bias Grosser
isl
_
arg
:
use named
c
onstant to
i
dentify arg
u
ments without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
is
l
_val_check_match_domain_spac
e
: update
documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ver
d
o
o
laege
dro
p
un
u
sed isl_b
a
s
i
c_se
t
_swap_div
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Ve
r
doola
e
ge
isl_affine_hull
.
c:
i
s
l_basic_m
a
p_
m
a
k
e_strides_expli
c
it
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoolaege
isl_sched
u
l
e
_node
.
c:
collec
t
_filter_pref
i
x_update:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sven Verdoola
e
ge
isl_s
c
h
edule
_
tree
.
c: prin
t
_tree_band: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_sc
h
edule_nod
e
_ba
n
d_sink: use isl_bool fo
r
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_te
s
t
.
c
: before_for: use isl_bool for local varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolae
g
e
isl
_
basic_map_a
l
ign_di
v
s:
use isl_bool for local variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ansitive_c
l
o
s
ure
.
c:
chec
k
_exactness_omega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e
_
closure
.
c:
is_ac
y
c
lic
:
u
se isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l
_ast_build_exp
r
.
c: isl
_
ast_b
u
ild_from_multi_pw_a
f
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
la
e
g
e
isl_sche
d
ule_tr
e
e
.
c: subtree_sc
h
edule_extend_from
_
c
hildren
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_c
o
n
vex_hull
.
c: convex_hull_pair: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_ast_
c
odegen
.
c
:
c
o
m
pute
_
domain
s
: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_test
.
c: te
s
t_affine_hull: use i
s
l_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
isl_pw_qpo
l
yn
o
mial_fold
_
covers: us
e
isl_bool
f
o
r local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
i
sl_sche
d
ule_node
.
c
:
extensio
n
_
from_d
o
main: use i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_schedule_
n
ode
.
c: isl_s
c
hedule_node_grou
p
:
use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
is
l
_schedule_n
o
de
.
c: locally_
c
o
vered_
b
y
_dom
a
in
:
use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
s
l_schedule_
n
ode
.
c: group_band: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_schedule_node_h
a
s_parent: use isl_bo
o
l for
loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
l
a
e
g
e
isl_schedule_node
.
c:
e
xtend_extension: us
e
isl
_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_a
s
t_cod
e
gen
.
c
:
a
fter_in_tree: use i
s
l_bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
r
d
o
o
laege
i
s
l_ast_codegen
.
c: after_
i
n_sequen
c
e: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
s
l_
a
s
t
_
code
g
en
.
c:
after_in_ba
n
d: us
e
isl_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
schedule_nod
e
.
c
: group_domain: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_schedule_no
d
e
.
c
:
group_context: use isl
_
bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oolaege
isl_qpolyno
m
ial_
p
roject
_
d
omain_on
_
params: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
dool
a
eg
e
isl_test
.
c: te
s
t
_
g
ist: use i
s
l
_bool f
o
r
lo
c
al
v
aria
b
les
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_sched
u
le_n
o
de_order_before_or_after: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
dool
a
ege
i
sl_coalesce
.
c
:
check_coal
e
sc
e
_in
t
o
_e
q
:
use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdool
a
ege
isl_schedule_node
.
c:
gist_leave: use is
l
_bool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
c
h
edule_node
.
c: gis
t
_enter:
u
se isl_bool for
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_
a
st_co
d
egen
.
c: co
m
p
ute_unroll
_
dom
a
ins:
u
s
e isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basi
c
_map_ge
t
_constraint_l
i
st: use isl
_
bo
o
l
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
o
laege
isl
_
a
st_b
u
ild
.
c: update_v
a
lues:
use isl_bo
o
l
f
or l
o
ca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_mult
i
_u
n
i
on_pw_aff_appl
y
_m
u
lti
_
aff: u
s
e
i
s
l
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdool
a
ege
i
sl_m
u
l
t
i_unio
n
_pw
_
aff
_
appl
y
_aff:
us
e
isl_bo
o
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
ulti_union_pw_a
f
f_apply_pw_multi_af
f
: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_multi
_
union_pw_aff_a
p
p
l
y_pw_aff: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
ast
_
build_expr
.
c:
try_extract_mod: use isl_s
t
at
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_a
s
t_graft
.
c
:
equal_in
d
ependent_guards: return isl
_
bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_va
l
_get_ab
s
_num_
c
hun
k
s:
retur
n
isl_st
a
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl
_
b
asic_map
_
identity: inline basic_map_
i
den
t
ity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_map_identity: use
isl_spa
c
e_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_map
.
c: basic_map_identity: reuse
isl_basi
c
_map_
e
q
ual
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolae
g
e
i
sl_qpolynomia
l
_var_on_domain: impose str
i
cter che
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_cons
t
r
a
int_get
_
bound: impo
s
e
stricter chec
k
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_basic_set_f
r
om_constraint: impos
e
strict
e
r check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_set_a
l
lo
c
_space: impose stricter
c
heck f
o
r set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_spac
e
_underlying:
r
eturn s
e
t space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_basic_s
e
t_preimag
e
: use isl
_
ba
s
i
c
_set_
a
dd_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
rdoolaege
i
s
l
_union_*_set_has_dim:
r
enam
e
to isl_union_*_set_has_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_union_*_set_has_dim: renam
e
"dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_aff
.
c: pw_aff_gt
e
_set:
rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
isl_set_flatten_map: rename
"
d
im" var
i
ables to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl
_
transitive_closure
.
c: un
i
o
n_floyd_warshall_o
n
_list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space
_
li
f
t: rename "dim" variable to "s
p
a
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
s
pace_join: r
e
name
"
dim"
v
a
r
iabl
e
to
"spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_
s
pace_
a
l
l
oc: rename "dim" var
i
able to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_local_spac
e
_offset:
rename "dim" v
a
riable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
i
s
l_transitive_c
l
osure
.
c
: c
o
n
s
truct
_
pow
e
r
:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoo
l
ae
g
e
isl_map
.
c
:
map_
d
im_
o
pt: rename "dim" variable to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_set_solutions
:
rename "dim" variable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
is
l
_basic_se
t
_coefficients:
r
e
name
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
ege
isl_
s
e
t_lift: rename
"dim" variable to
"
s
pa
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c
:
map_apply_r
a
nge: r
e
name "dim" variable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_set
_
sample_point: rename "dim" variable
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_fa
c
torizer_g
r
oups
:
rename "d
i
m" variable
to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
ae
g
e
is
l
_basic_set_lift: re
n
a
m
e "d
i
m"
variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_b
a
sic_map_ad
d
_co
n
s
traint: rename "
d
im"
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c: bernstein_coefficien
t
s_cell
:
rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl_
m
ap_reaching_path_lengths: rename "dim" varia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map_power: rename
"
dim" variables to "
s
p
a
ce
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_q
p
olynomia
l
_a
s
_pol
y
nomial_on_d
o
main: rename "
d
im
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
erdoo
l
aege
i
s
l_u
n
ion_pw_*_from_pw_*
:
ren
a
me "dim" variab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bound
.
c: guarded_poly_bound: rename
"
dim" varia
b
le
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ra
n
g
e
.
c: propagate_on_bound_pair: ren
a
me "di
m
"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_range
.
c
: monotonici
t
y: rename "dim" var
i
abl
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 "dim" variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_ber
n
ste
i
n
.
c: bernstein_co
e
ffici
e
nts_b
a
se: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ab_pip
.
c: split_doma
i
n: rena
m
e "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_map_apply_pw_qpol
y
nom
i
al_
f
o
l
d: rename
"
dim" variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
i
s
l
_
m
ap_
d
eltas_map: rename "domain_dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
t
ransitive_cl
o
s
u
re
.
c
: add_len
g
th: rename "d
i
m
"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_trans
i
tive_closur
e
.
c: set_path_length: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_tra
n
sitive_closur
e
.
c
:
path_along_del
t
a:: re
n
ame
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erd
o
olaege
isl_basic_map_
r
ange_product:
r
ename "dim" variable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaege
isl_basic_ma
p
_product: rename "di
m
" v
a
riable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
laege
isl_b
a
sic_map_
d
eltas
_
map: rename "d
i
m"
v
ar
i
abl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
i
s
l_map
.
c: comp
u
te_di
v
s: renam
e
"dim" var
i
able
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
i
s
l_basic_map_range
_
map: rename "
d
im" variable
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_
b
a
sic_m
a
p_domain_m
a
p: rename "dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
isl_basic_map_
a
pply_range: ren
a
me "dim" va
r
i
a
bl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next