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_basic_set_opt: reuse isl_basic_set_get_divs
2018-08-28
Sven Ver
d
o
o
laege
isl_ba
s
ic_set_
o
p
t: reuse i
s
l_basic_set_get_divs
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
isl_tab_pip
.
c
:
imple
m
ent
spli
t
in terms
of spli
t
_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
S
ven Verdoola
e
ge
isl_basic_s
e
t
_total_dim: implement
i
n terms
o
f
isl
_
ba
s
ic_m
a
p
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_co
n
straint
.
c: use
i
sl
_
b
asic_
s
et_
o
f
fset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
i
sl_constraint
.
c: use isl_
b
asic_map_offset
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-28
Sven Verdoolaege
Merge
b
r
anc
h
'main
t
'
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Ver
d
oolaege
d
rop isl_basic_set_extend
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdool
a
eg
e
d
rop i
s
l_basi
c
_
set_add_e
q
uality duplicate
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
v
en Verdoolaege
isl_basic_
m
ap_add_eq:
spe
c
ial case
empty input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
is
l
_basic_m
a
p
_
a
d
d
_{eq,
i
neq}:
o
nly
m
odify single copy
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
isl
_
qp
o
lynomial_as_polynomia
l
_on_doma
i
n
:
use i
s
l_local_
s
pace
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sve
n
V
e
r
doolae
g
e
isl_qp
o
ly
n
omia
l
_g
i
st: us
e
i
s
l_
l
o
c
a
l
_space_lif
t
_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaeg
e
ad
d
i
s
l_local_space_lift_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sv
e
n Verdoolaege
isl_a
f
f
_
gis
t
:
e
xtract
out isl_local
_
spa
c
e_lift_set
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Ve
r
d
o
o
l
ae
g
e
add isl_set_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verd
o
olaege
isl
_
printer_prin
t
_schedule_tree_mark:
u
se isl_sched
u
le_tre
e
_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven
Verdool
a
ege
i
s
l_schedule_tree
.
c: initi
a
l_domain_from_childre
n
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ve
n
Verdoolaege
isl_sche
d
u
l
e
_
t
r
ee
.
c:
.
.
.
_exte
n
d_from_chil
d
ren: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_s
c
hedule_tree_dr
o
p
_
child:
u
se isl_schedul
e
_tree_n_children
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
S
ven Verdo
o
laege
isl_sched
u
le_
t
ree
_
u
p
date_anchore
d
: use isl_s
c
hedu
l
e_tree_n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven V
e
r
doola
e
ge
isl_sc
h
e
dule_node_has_next
_
s
i
bling
:
use isl_schedule_tree
_
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-25
Sven Verdoolaege
isl_schedule_tree_
n
_chi
l
d
r
en: expli
c
itl
y
han
d
le miss
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias Grosser
is
l
_set_is
_
equal: u
s
e i
s
l_b
o
ol for local
variable
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tob
i
as Gros
s
er
sh
a
red_outer: use isl_bool_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias G
r
osser
doma
i
n
_follows
_
at_depth
:
use isl_
b
o
ol_not
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobias
Gross
e
r
b
as
i
c_map_is_empty_add:
use en
u
m var
i
able instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Gros
s
er
is_subset_entry: use
i
s
l_
b
ool
_
f
a
ls
e
instead
of integer
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Tobi
a
s Grosser
i
s
l_a
r
g: use named constant to
i
denti
f
y arguments without
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
ven Verdoolaege
isl_val_c
h
eck_
m
a
tch_
d
omain_space: update
d
ocumentati
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en
V
erd
o
olaege
drop unused i
s
l_
b
asic_set_swap_
d
i
v
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
Sve
n
Verd
o
olaege
is
l
_affine_
h
ull
.
c: isl_ba
s
i
c
_
map_make_s
t
ri
d
e
s
_expli
c
it
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
e
n
Verdoolaege
isl_schedul
e
_
n
ode
.
c: collect_filter_p
r
e
fix_up
d
at
e
:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-24
S
v
en Verdoolaege
isl_schedule_tree
.
c: p
r
int_tree_band: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-23
Tobias
Gro
s
ser
set -std=g
n
u9
9
for imath-32 in CFLA
G
S no
t
CPPF
L
AG
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_sch
e
dule
_
node_band_si
n
k: use
isl_bo
o
l for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_tes
t
.
c
:
before
_
for: u
s
e isl_bool for l
o
cal varia
b
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_basic_map_align_divs: use isl_
b
ool
f
or local var
i
able
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transitive_clo
s
ure
.
c: check_
e
xactness
_
o
mega: use
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
i
s
l_transitive_clos
u
re
.
c: i
s
_acyclic: use
i
sl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_as
t
_build_expr
.
c
:
i
sl
_
ast_bui
l
d_from_multi_pw_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
erdoolaeg
e
isl_sched
u
le_tree
.
c: subt
r
ee_schedule_ex
t
e
n
d_from_children
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_
c
onvex_hull
.
c: convex_hull_p
a
ir:
us
e
isl
_
bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_
ast_codegen
.
c: compute_domai
n
s: use i
s
l_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoo
l
aege
isl_te
s
t
.
c: te
s
t_affine_hull: u
s
e isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
e
g
e
isl_pw_qp
o
lynomial_fold
_
cov
e
rs: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_sc
h
edule_node
.
c: extension_from
_
domain: use isl
_
bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_sc
h
edule_node
.
c: isl_schedule_nod
e
_group: u
s
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl
_
sched
u
le_nod
e
.
c:
l
o
cally_covered_by_
d
omain: u
s
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
d
o
olaege
isl_schedule_node
.
c: group_band: use isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_schedu
l
e_node_has_parent: use isl_bool fo
r
l
ocal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_schedule_no
d
e
.
c: e
x
tend_ext
e
nsion: use isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_ast_codegen
.
c
:
a
f
ter_in_tree: use is
l
_bool
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolae
g
e
isl_ast_co
d
egen
.
c:
af
t
er_in_sequenc
e
:
u
se isl_bo
o
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl
_
a
st_codeg
e
n
.
c: after_
i
n
_
band: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl
_
sch
e
d
ule_
n
ode
.
c: grou
p
_doma
i
n:
u
se isl_bo
o
l
f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_sche
d
ule_
n
od
e
.
c: group_co
n
t
e
x
t
: use i
s
l_boo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_qpolyno
m
ial_pro
j
ect_d
o
main_on_params:
u
se i
s
l_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
s
l_test
.
c
: test_gist
:
use isl_
b
o
ol for l
o
cal variables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
lae
g
e
i
sl_schedule_node_order_
b
e
f
ore
_
o
r_af
t
er: use isl_
b
oo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
isl_
c
oalesce
.
c: check
_
coalesce_
i
nto_eq: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
sl_schedu
l
e_node
.
c: gist
_
leave: use isl_
b
ool for loc
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_schedule_node
.
c: gist_enter: use
i
s
l
_
bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_ast_
c
odegen
.
c
: compute_
u
n
r
oll_
d
o
m
ains: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_b
a
sic_map_get_constraint_lis
t
: u
s
e isl_bo
o
l for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_as
t
_bui
l
d
.
c: update_values: use isl_
b
ool for l
o
cal
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaeg
e
is
l
_
multi_union
_
pw_
a
ff_apply_multi
_
aff: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Ver
d
o
o
lae
g
e
isl_multi_
u
nion_pw_aff_apply_aff
:
us
e
i
sl_b
o
ol f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdool
a
ege
isl_m
u
l
t
i_union_pw_aff_app
l
y_pw_mul
t
i
_
aff: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaege
isl_mul
t
i_union_pw_
a
f
f
_apply_pw
_
a
ff: use is
l
_bool fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
a
s
t_build_expr
.
c: try_extract_
m
od: use i
s
l_sta
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
i
sl_ast_graft
.
c: equal_ind
e
pendent_g
u
ards: retu
r
n i
s
l
_
b
o
ol
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_val_
g
et_abs_num_chunks: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolae
g
e
isl_b
a
sic_map_identity: inli
n
e basic_map
_
ident
i
ty
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_
b
asic_map_identity:
use isl_
s
pace_dim
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_map
.
c
: basic_map_iden
t
ity: reuse i
s
l_bas
i
c_
m
ap_equal
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoola
e
ge
isl_qpolynomial_var_o
n
_domain: impos
e
s
t
r
i
cter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoo
l
a
e
ge
isl
_
co
n
s
t
raint_get_bound
:
imp
o
s
e
s
t
ricter check for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verd
o
olaege
isl_basic_set_from_constraint: impose st
r
icter check
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oola
e
g
e
isl_set_a
l
l
oc_space:
i
m
p
ose stricter check for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
lae
g
e
is
l
_space_underlying: return s
e
t space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
b
asic_set_pr
e
image: use isl
_
basic_set_add_dims
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
ool
a
ege
isl_un
i
o
n_*_set
_
has_dim
:
rename to isl_uni
o
n_*_set_h
a
s_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_union_*_s
e
t_has_
d
im
:
rena
m
e "di
m
" variabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_aff
.
c: pw_aff_gte
_
set: renam
e
"
dim" variab
l
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_set_flatten
_
m
ap:
rename "dim"
vari
a
bles to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
ege
isl_transitive_
c
losu
r
e
.
c: union_floyd_warshall_on_list
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_space_
l
ift:
r
e
name "
d
im
"
variable to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_s
p
ace_join: rename "dim" vari
a
ble to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl
_
spa
c
e_alloc:
r
ena
m
e
"
dim" va
r
iable
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rd
o
olaege
isl_local_
s
p
ace_of
f
s
e
t: renam
e
"dim" variable to
"
sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
is
l
_tran
s
itiv
e
_closure
.
c
: construct_
p
ow
e
r
:
rena
m
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdo
o
laeg
e
isl_m
a
p
.
c:
m
ap_dim_opt: rename "
d
im" variable to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
dool
a
e
ge
isl_basic_s
e
t_solut
i
on
s
: rename "di
m
" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set_coe
f
ficien
t
s:
rename "dim" variabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_set_lift:
r
en
a
me "
d
im" variable to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_
m
ap
.
c
:
map_apply_range: re
n
ame
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_b
a
sic_set_sa
m
ple_point: renam
e
"di
m
"
variab
l
e to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fact
o
rizer_groups:
r
enam
e
"d
i
m" var
i
able t
o
"sp
a
c
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erd
o
olaege
isl_bas
i
c_set_lift
:
re
n
ame "dim"
variab
l
e to "spac
e
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
a
eg
e
isl_basic_map_add_c
o
n
strai
n
t: re
n
ame "dim" v
a
riable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next