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_space_flatten: rename "dim" argument to "space"
2018-08-22
Sv
e
n Verdoolaeg
e
isl_space_flatten: rename "dim"
a
r
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pace_reset: rename "
d
im
"
ar
g
um
e
nt to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl
_
spa
c
e_
z
i
p: ren
a
me "di
m
" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
is
l
_space_unwrap: rename "dim" ar
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
ege
i
s
l_space_wrap: ren
a
me "d
i
m"
argument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl
_
space_is_wrappin
g
: rename
"dim" argum
e
nt
to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_space_from_
r
ange:
re
n
a
m
e
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_s
p
ace_from_dom
a
i
n:
re
n
ame "d
i
m" argumen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aeg
e
is
l
_space_r
e
v
erse:
r
ename "dim" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space_se
t
_dim
_
name:
rename "d
i
m
" arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
isl_s
p
ace
_
get_tupl
e
_name
:
rename "dim" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
ol
a
ege
i
sl_space_get_dim_name: rename "dim
"
arg
u
ment to
"
sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_
s
pace_set_tupl
e
_
nam
e
:
r
ename "dim" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
l
aege
isl
_
space_get
_
dim
_
id:
rename "dim" argument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
e
ge
isl_space_has_
d
im_id: rena
m
e "dim" argument to
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_space_re
s
et_t
u
ple_id: rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
is
l
_space_se
t
_tuple_id: rename "dim"
a
rgum
e
nt to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_spac
e
_get_tuple
_
id: rename "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_has_tuple_id
:
re
n
am
e
"dim" arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolaege
isl_space
.
c: offset: re
n
am
e
"dim
"
argument
to "
s
p
ace"
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaeg
e
is
l
_s
p
ace_dup
:
ren
a
me "dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
doola
e
g
e
isl_spac
e
_get_ctx: ren
a
me
"
dim"
a
rgument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
ol
a
ege
isl_fold
.
c: q
p
o
l
y
nomia
l
_fold
_
a
l
l
oc: r
e
na
m
e "dim" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
i
s
l
_union_*_alloc: rename
"dim"
a
rgum
e
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
: map_lex
_
gte: r
e
na
m
e "d
i
ms" arg
u
men
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
a
ege
isl_map
.
c
:
map_l
e
x_lte: rename "dims" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
i
s
l_tra
n
sitiv
e
_c
l
osu
r
e
.
c: co
n
str
u
ct_powe
r
_
c
o
m
p
one
n
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_ba
s
ic_s
e
t_nat_univers
e
:
rename "dim" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_ma
p
.
c: m
a
p
_lex_gt
e
_first
:
ren
a
me "dim
s
"
a
rg
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_map
.
c:
map_lex_
l
te_first: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
ola
e
ge
i
s
l_ou
t
put
.
c: p
r
int_set_c: ren
a
me "dim"
a
rg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolae
g
e
is
l
_transitiv
e
_closure
.
c: floyd
_
warshall: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_transitive_closure
.
c:
floyd_warshall_with_gr
o
ups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
e
g
e
i
s
l_transitive_closu
r
e
.
c: comp
u
te_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
bas
i
c_map_alloc_
s
pace:
r
ename "d
i
m" argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_bas
i
c_map_more_or_equal_at:
r
ename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_basic_map_more_at: rename "dim"
a
rgum
e
n
t t
o
"
spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oolaege
i
sl_b
a
si
c
_m
a
p
_
l
e
ss
_
o
r
_equal_at: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
lae
g
e
isl_tab
_
p
i
p
.
c:
s
et_minimum: renam
e
"dim"
a
rgume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolaege
isl_d
i
m_map_dim_range: ren
a
me "
d
im" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
o
olaege
i
s
l_basic_map_ex
t
e
n
d
_space: renam
e
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erd
o
olaege
isl_map_reset_space: renam
e
"dim" a
r
g
umen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
isl_s
p
ace_dump declaration: rename "d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
isl_pr
i
nter_print_space declaration: renam
e
"di
m
" a
r
gum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
eg
e
isl_qpolynomial_*_on_domain
:
r
ename "dim
"
argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_qpo
l
ynomi
a
l_from_af
f
ine:
r
ename "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdo
o
laeg
e
isl_polynomi
a
l
.
c
:
s
et_
d
iv_
s
lice: rename "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_qpolynomial_l
i
ft:
rena
m
e "dim" argum
e
nt t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l
_term_all
o
c: rename
"
d
i
m" argument to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl
_
transitive_closure
.
c: con
s
t
r
uct_projected_component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl_
s
pace_find_dim_by_id: ren
a
m
e
"
dim" ar
g
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c
: n: rename
"
dim" arg
u
m
e
nt to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_spa
c
e
.
c: get_id: rename "dim" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space
.
c: set_id: renam
e
"dim" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl
_
sp
a
ce
.
c: extend_
i
ds: re
n
ame "dim
"
argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laeg
e
isl
_
space
.
c: globa
l
_p
o
s
:
rena
m
e "dim
"
a
r
gume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_qpolynomial_alloc: rename "dim"
argument to "
s
p
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_point_void: r
e
name "dim"
argument t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
s
l_point_zero: r
e
name "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdool
a
ege
i
s
l_point_al
l
oc: rename "di
m
" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
isl_output
.
c: print_base: rename
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
sl_output
.
c: p
r
int_
o
mega_
p
arame
t
ers
:
r
e
na
m
e
"dim"
.
.
.
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
isl_output
.
c
:
print_nested_tupl
e
:
r
ename "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_output
.
c
:
pri
n
t_nested_var_list: ren
a
m
e
"
local_d
i
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
sl_outpu
t
.
c: pos2type: rename "d
i
m" argum
e
nt to "sp
a
ce
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
i
sl_outpu
t
.
c:
c
o
u
nt
_
s
a
m
e
_
n
ame: rename "dim" argum
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
is
l
_basic_map_nat_universe: rename "dim"
a
rg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_bernstein
.
c
:
vertex_co
o
rd
i
nate: rename "dim"
a
rgum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_tra
n
sitive_
c
l
o
sure
.
c: incr
e
mental_closure: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_clos
u
re
.
c:
con
s
truct_extende
d
_p
a
th:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
is
l
_transitive_closure
.
c
: incr
e
mental_on_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolae
g
e
isl_tr
a
nsi
t
iv
e
_
clos
u
re
.
c: increment: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_transitive_closure
.
c: equ
a
te_pa
r
amete
r
_
to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transit
i
v
e_closu
r
e
.
c: path_al
o
ng
_
delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_tr
a
n
siti
v
e_closure
.
c
:
p
a
t
h_a
l
o
ng_
s
teps: r
e
name
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: print_af
f
ine_c: ren
a
me "dim"
a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_map
.
c: neg_halfspace: rena
m
e
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
e
g
e
isl_m
a
p
.
c: nonneg_halfspace: r
e
name "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_ide
n
tity:
r
e
name
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_
m
ap
.
c: basic_m
a
p_identity: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_basi
c
_map
_
from_constraint
_
matrice
s
: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erd
o
olae
g
e
isl_space_drop_dims: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_farkas
.
c
: isl_spa
c
e_solu
t
ion
s
: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolae
g
e
i
s
l_farkas
.
c: isl_
s
pace_unprefix: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
f
arka
s
.
c
: isl
_
s
p
a
c
e
_
c
oef
f
i
cients: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_farka
s
.
c
:
i
s
l_
s
pac
e
_prefi
x
:
rena
m
e "dim"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_di
m
_
map_dim: rename "dim" arg
u
me
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ol
a
ege
isl_space_dim: rename
"
dim" a
r
gument
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
is
l
_
t
r
a
n
s
itive_closure
.
c; incremental_on_
e
nt
i
r
e
_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_constraint_set_c
o
efficien
t
_si: re
m
ove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolae
g
e
isl_co
n
strai
n
t_set_coefficie
n
t
: rem
o
ve d
u
p
licate
isl
_
constra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Ve
r
do
o
laege
isl_
t
ab
.
c; ineq_for_div
:
add memory management
a
n
n
o
tations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ve
n
Verdoolaeg
e
isl_basic_map_al
l
oc_sp
a
ce: a
d
d mem
o
ry ma
n
agement a
n
notat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
isl_map
.
c: compu
t
e_divs: add
memory manageme
n
t
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl
_
basic_map
_
fix_pos_si: ad
d
memor
y
ma
n
agement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdool
a
ege
isl_basic_map_domain: add memory management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
isl_con
s
traint_dim: a
d
d memory manageme
n
t annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_
a
dd_div_constraints:
a
dd me
m
o
ry
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verd
o
olaege
isl_tab_p
i
p
.
c
:
fi
n
d
_
conte
x
t_div:
a
d
d
mem
o
ry management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_map_si
m
plify
.
c
:
div_find_coales
c
e
:
a
dd memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next