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_get_dim_name: rename "dim" argument to "space"
2018-08-22
Sven Ve
r
doolaeg
e
i
sl_spac
e
_
g
et_dim
_
na
m
e: rename "dim" argume
n
t to "
s
pac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_set_tuple_name: ren
a
me "d
i
m
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
aege
isl_s
p
a
c
e_get_dim_id: ren
a
me "di
m
"
argument to "
s
p
a
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_sp
a
ce_
h
as_dim_id: rename "dim" argume
n
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_space_reset_tuple_id: ren
a
me "dim"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Ve
r
doolaege
isl_spac
e
_set_tuple_i
d
: rename
"dim"
a
r
g
ument
to "
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_s
p
ace_get_tuple_id: r
e
na
m
e "dim" argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolae
g
e
isl_spa
c
e_has_tupl
e
_
i
d: re
n
ame "dim"
a
rgument
t
o "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoola
e
ge
isl_space
.
c: offset:
r
e
name
"dim"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
laege
isl
_
space_dup: rename "dim"
ar
g
ument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
isl_space_get_ctx: rename "dim
"
arg
u
ment to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoola
e
ge
i
s
l
_
fold
.
c: qpol
y
n
omial_f
o
ld_al
l
oc: rename "dim" ar
g
um
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_union_*
_
alloc: r
e
n
a
me "dim" ar
g
ument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_map
.
c:
map_lex_gt
e
: rena
m
e "dims" a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aeg
e
isl_map
.
c: map_lex_lte:
r
ena
m
e "dims" ar
g
u
m
ent t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_transitive_closure
.
c: construct_po
w
er_compo
n
ents
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
sl_bas
i
c_s
e
t_na
t
_universe: rename "dim" argument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oola
e
ge
isl_map
.
c: m
a
p_lex_g
t
e_first:
rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c
:
m
ap_l
e
x_lte_firs
t
: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
ol
a
ege
isl_output
.
c: print_set_
c
: re
n
ame "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
d
o
ola
e
ge
isl_transitive_closure
.
c: floyd_warshall: re
n
ame "d
i
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
d
oolaege
isl_transitiv
e
_closure
.
c: f
l
oyd_
w
arshall_with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdool
a
ege
isl_t
r
ansitive
_
clo
s
u
re
.
c: comp
u
t
e
_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_basic_m
a
p
_
alloc_spac
e
: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_ba
s
ic_map_more_or_equal_at: re
n
a
m
e "dim" a
r
gume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdo
o
laege
i
s
l_basic_map_more_at: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
ool
a
ege
i
s
l_basi
c
_m
a
p_less
_
or_equal_at: rename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolaege
isl_tab_pip
.
c: set_minimum:
rename
"d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oola
e
ge
isl_dim_m
a
p_
d
im_range: renam
e
"dim" a
r
gumen
t
to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_ba
s
ic_map_ext
e
n
d
_
s
pace: ren
a
m
e
"dim" arg
u
ment
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
olaege
is
l
_map_
r
eset_spa
c
e
: rename "dim" argumen
t
to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verd
o
o
l
aege
i
sl_s
p
ac
e
_dump
decl
a
ration: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_prin
t
er_
p
rint_
s
p
a
ce dec
l
a
ration: rename "
d
im" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_
q
polynomial_*_on_doma
i
n: rename
"dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_q
p
olyn
o
mial_from_affine: rename
"
dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_polynomial
.
c: set_div_slice: rename "
d
im"
a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_qpolynomial_lift:
re
n
ame "dim" argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_
t
erm_alloc: rename "dim" argument t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_transit
i
ve_cl
o
su
r
e
.
c
:
c
o
nstruct_projected_component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
s
l
_sp
a
ce
_
find_dim_by_id:
r
ename
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
sl_space
.
c: n: rena
m
e "dim"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
er
d
ool
a
ege
isl_space
.
c: get_id
:
renam
e
"dim"
a
rgument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
isl_space
.
c: set_id: r
e
na
m
e "dim" a
r
gu
m
en
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_
space
.
c: extend_ids: r
e
nam
e
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
isl_space
.
c
: glob
a
l_pos: rename "
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
polynomial_alloc
:
re
n
ame "
d
im" argument
t
o
"
space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_poi
n
t
_void: rename
"dim" a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_poin
t
_z
e
ro: rename "dim" argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rdoolae
g
e
isl_point_alloc: rename "dim" argumen
t
to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdo
o
laege
i
sl_output
.
c: p
r
i
nt_base: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_output
.
c: pr
i
n
t_omega_p
a
rameters: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_output
.
c: print_ne
s
te
d
_tuple: ren
a
me "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
is
l
_o
u
t
p
u
t
.
c:
prin
t
_
n
est
e
d_var_list
:
re
n
ame "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_output
.
c
:
pos2t
y
pe: 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
l
a
ege
isl_outp
u
t
.
c: count_same_name:
r
ena
m
e "dim" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic
_
map_nat_un
i
verse: r
e
n
a
me "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c: ve
r
tex_coordinate: rename
"
dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_tr
a
nsiti
v
e_clo
s
ure
.
c: incremental_closu
r
e: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
transiti
v
e
_c
l
osure
.
c: co
n
struct_extended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive
_
closure
.
c
:
in
c
r
emental_on_entire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
is
l
_transitive
_
c
l
osur
e
.
c: increment: re
n
ame "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_
t
ransitive_clos
u
re
.
c: equat
e
_p
a
r
a
m
e
ter_to_length
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
o
l
a
e
ge
isl_tran
s
itive_closur
e
.
c: path_along_delta
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
isl_transi
t
i
ve_clos
u
re
.
c: pa
t
h_along_steps: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
do
o
l
a
ege
isl_output
.
c
:
print_affine_c
:
rename
"dim" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_map
.
c: neg_
h
alfspace: rename "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_map
.
c: nonneg_halfs
p
ac
e
:
re
n
am
e
"dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_map_identity: rename
"dim
"
a
r
gument to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
i
s
l_map
.
c:
b
asic_map_iden
t
i
t
y
:
rename "dims" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
o
ol
a
e
ge
isl_basic_m
a
p_
f
rom_
c
onstraint_matrices
:
ren
a
me "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_drop
_
dims: rename
"d
i
m" arg
u
m
ent to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_farkas
.
c: isl_spac
e
_solutions
:
rename
"dim" a
r
gu
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
f
ark
a
s
.
c
: i
s
l_spac
e
_unprefix: rename "di
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doo
l
a
ege
i
sl
_
farkas
.
c: is
l
_
space_coef
f
icients: rena
m
e "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_farka
s
.
c:
is
l
_
s
pac
e
_prefix: rename "
d
im"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
i
s
l
_
dim_
m
a
p
_dim
:
renam
e
"dim" argument
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_spa
c
e_dim: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Ver
d
o
olaege
isl_transitive_
c
losure
.
c; incrementa
l
_on_enti
r
e
_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_constrain
t
_set_coefficient_si: remove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
i
s
l_constraint_
s
et_coefficient: remove
d
uplicate is
l
_constra
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
r
doolaege
isl_
t
ab
.
c
; in
e
q_
f
o
r
_
d
iv: a
d
d memory m
a
n
ag
e
me
n
t an
n
otations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
i
s
l_b
a
sic_map_alloc_space: add memory man
a
gement annota
t
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Ve
r
d
oolaege
isl
_
map
.
c: c
o
mpute_divs: ad
d
memory management
a
nnota
t
ions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdo
o
laege
isl_basic_map_fix
_
pos_si:
a
d
d
m
emory manageme
n
t annotation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl
_
basic_map_domain: add me
m
ory
management ann
o
tations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rd
o
olae
g
e
isl_cons
t
r
aint_dim:
a
dd memory management ann
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaege
isl_b
a
sic_map_a
d
d
_d
i
v_c
o
nstraints: add memo
r
y
mana
g
eme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
isl_ta
b
_pip
.
c: find_context_div: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolae
g
e
isl_map
_
simplify
.
c: div_
f
ind_coalesce: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_
b
asic_map_offse
t
: add memory ma
n
ag
e
ment anno
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdool
a
ege
i
sl_co
n
vex_hull
.
c: set_bounds: add memo
r
y
mana
g
e
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
polytope_sca
n
.
c; i
s
l
_
basic_
s
et_scan_
s
amples: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
lae
g
e
pip
.
c: t
o
_pa
r
ameter_do
m
ain
:
ad
d
mem
o
ry management annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
isl_co
n
vex_
h
ull
.
c
: i
s
l_basic_set_add_equality: add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolae
g
e
isl_equali
t
ies
.
c:
c
ompress_v
a
riables: add memo
r
y management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoola
e
ge
isl_
a
ff
i
ne_hul
l
.
c: uset_a
f
fine_hul
l
_bounde
d
: add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoo
l
aege
isl_affine_hu
l
l
.
c: affine_hull: ad
d
memory ma
n
a
g
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolae
g
e
i
sl_a
f
fin
e
_h
u
l
l
.
c: tr
a
n
s
form_column: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en V
e
rdoolaege
is
l
_aff
i
ne
_
h
ull
.
c:
c
onst
r
u
ct_column: add memory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoola
e
ge
i
s
l
_
map
.
c
:
add_divs: a
d
d m
e
mory
managemen
t
annot
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next