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_wrap: rename "dim" argument to "space"
2018-08-22
Sven Verdoola
e
ge
i
s
l
_
space_wrap: rename "dim" arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_is_wrapping
:
rena
m
e "d
i
m
"
arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_s
p
a
c
e_fr
o
m_range
:
rename "dim" ar
g
ument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_space_fro
m
_d
o
main: rename "dim" argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_spac
e
_
re
v
erse: r
e
name
"
d
i
m" argument
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_s
p
ace_set_dim_name:
r
ename
"
dim"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_space_get_tuple_name:
r
ena
m
e "d
i
m" a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
ge
i
s
l_space_
g
et
_
dim
_
name:
r
ename "dim
"
argumen
t
to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verd
o
olaege
isl_space_set_tuple_name
:
ren
a
me
"
dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdo
o
lae
g
e
isl_s
p
ace_get_dim_id: re
n
ame "dim" a
r
gu
m
ent t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_sp
a
ce_has_dim_id: rename "
d
im" argum
e
n
t
t
o
"
s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_reset_
t
uple_id: rename
"dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doo
l
aege
isl_s
p
ace_set_tuple_id: r
e
name "di
m
"
argument
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_
s
pace_g
e
t_tuple_id: ren
a
me "dim" argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_spac
e
_h
a
s
_tuple_id: rename "d
i
m
" argu
m
ent to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
a
c
e
.
c: offset: r
e
name "
d
im" argument
to "space"
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
ool
a
ege
isl
_
space_dup: rename "d
i
m" argument to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_get_c
t
x
:
rename
"
dim" argument to
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_fold
.
c:
q
polynomial_fold_al
l
oc:
r
ename
"
dim"
ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_u
n
ion_*
_
alloc: r
e
na
m
e "
d
im" argum
e
n
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
m
a
p
.
c: map_lex_gte: ren
a
me "
d
i
ms
"
argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
m
ap
.
c: map_le
x
_lte
:
rename "dims" argument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_
c
l
osure
.
c: c
o
nst
r
uct
_
pow
e
r_components
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_set
_
n
at_universe:
r
ename "di
m
" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: map_le
x
_gte_fi
r
st: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_ma
p
.
c
:
m
ap_lex_lte_first: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_output
.
c: print_set_c: rename "dim
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verd
o
olae
g
e
isl_
t
ransitive_closure
.
c: floyd_w
a
r
sha
l
l: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
Verdoolaege
isl_trans
i
tive_closure
.
c: floyd_warshal
l
_
with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
t
r
a
n
sitive_closure
.
c: co
m
p
ute_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_
b
a
s
ic_map_a
l
loc_sp
a
ce:
rename
"
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_more_or_eq
u
al_a
t
: r
e
name "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic_
m
ap_more_at: rename "
d
im"
argument to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
basic_
m
a
p
_les
s
_or_eq
u
al_a
t
:
rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_tab_pip
.
c: set_minimum:
r
ename "dim
"
argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_dim_map_dim_
r
ange: rename "dim"
a
rgument to
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_basic_map_exte
n
d
_
space: renam
e
"
d
im" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_map
_
reset_space: rename
"
dim" argument to
"
spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
is
l
_s
p
ace_dump
d
ecla
r
ati
o
n: rename "dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_printer_print_space declaration: rename "dim
"
argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_qpolynomial
_
*_on_d
o
main: rename "d
i
m" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_qpo
l
y
nomi
a
l
_
fr
o
m
_
affine: re
n
ame "dim" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_po
l
ynomial
.
c: set_d
i
v_slice: ren
a
me "dim" ar
g
ume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpol
y
nomial
_
li
f
t: rename "dim" a
r
gumen
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_term_alloc: rename "dim" argume
n
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
i
sl_transitive_clos
u
re
.
c: co
n
st
r
uct_projected
_
component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_sp
a
ce_
f
ind_
d
im_b
y
_id: rename "dim"
a
rgument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
isl_spa
c
e
.
c: n:
rename "dim" ar
g
ume
n
t to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_space
.
c: ge
t
_
i
d: rename "dim" argumen
t
t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c: set_
i
d: ren
a
me
"dim" argum
e
n
t
to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_
s
pace
.
c
:
ex
t
end_ids: r
e
n
am
e
"dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_sp
a
c
e
.
c: global_p
o
s: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
rd
o
olaege
isl_qpolynomial_alloc: rename
"
dim" a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_point
_
v
o
i
d
: rename "dim" argume
n
t to
"
s
p
ac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_point_
z
ero: rename "di
m
" ar
g
ument
t
o
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_po
i
nt_alloc:
r
e
name "dim" argument
to
"
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
is
l
_out
p
ut
.
c: print_base: rename "dim
"
a
r
gument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_output
.
c: pr
i
n
t
_ome
g
a_p
a
rameters: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaeg
e
isl_output
.
c
:
print
_
nested_tu
p
le: renam
e
"l
o
cal
_
dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_output
.
c:
p
rint_ne
s
ted
_
v
ar_list:
rename "loc
a
l_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
o
olaege
isl_output
.
c: pos2ty
p
e: rename "d
i
m"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_output
.
c
: count_same_name: renam
e
"dim"
a
rgu
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
isl_basi
c
_
map_nat_universe:
r
e
name "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_bernste
i
n
.
c: verte
x
_coordinate: ren
a
me "dim"
a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: incremental_clo
s
ure: r
e
name
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoo
l
aege
is
l
_trans
i
tive_closure
.
c: c
o
ns
t
ruct_extended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
itive_clos
u
r
e
.
c: incre
m
ental_on_entir
e
_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
t
r
ansiti
v
e_
c
lo
s
ure
.
c: inc
r
emen
t
:
r
ename
"dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_tra
n
sitive_closu
r
e
.
c: equate_parameter_
t
o_lengt
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
iv
e
_c
l
osure
.
c: pat
h
_along_del
t
a: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_t
r
ansitive_clos
u
re
.
c
:
path_along_s
t
eps: re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
isl_
o
utput
.
c: print_af
f
ine_
c
: rename "dim"
argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
ool
a
ege
isl_map
.
c:
neg_halfspace: rename
"dim"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
s
l
_map
.
c: nonn
e
g_halfspace: r
e
n
ame "dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_bas
i
c_map_ident
i
ty: rena
m
e "dim
"
a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
i
s
l_map
.
c: basi
c
_map_identi
t
y: rename "di
m
s" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_basic_m
a
p_fro
m
_constraint_m
a
trices: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaeg
e
isl_space_drop_dim
s
:
rename "dim" a
r
gume
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_farkas
.
c: isl_space_solu
t
ions: r
e
n
a
me
"dim
"
argu
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
farkas
.
c: i
s
l_spac
e
_un
p
re
f
i
x
:
rename
"dim" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_farkas
.
c
:
isl_s
p
a
ce
_
coefficien
t
s
: renam
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_farkas
.
c: isl_
s
pa
c
e_pr
e
fix: rename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_di
m
_
m
ap
_
dim
:
re
n
ame "dim" argum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
p
a
c
e_di
m
:
rename
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_tr
a
nsitive_c
l
o
s
ure
.
c
;
incremental_
o
n
_
e
ntire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaeg
e
isl_constraint_se
t
_
co
e
f
fi
c
ient_s
i
: remov
e
duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_constra
i
nt_set_coefficient: remove duplicate
i
sl_constr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoola
e
ge
isl
_
ta
b
.
c; ineq_for_div
:
add
memory ma
n
ag
e
ment
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
rdool
a
eg
e
isl_ba
s
ic_map_
a
lloc_space
:
add memory ma
n
agement anno
t
a
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolaege
isl_m
a
p
.
c: com
p
ute_di
v
s
: a
d
d memory management
an
n
ota
t
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
s
l_bas
i
c_ma
p
_fix_pos_si: ad
d
m
e
mory
m
anagement annotat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
isl_basic_map_
d
om
a
in: add m
e
mor
y
man
a
ge
m
en
t
annotation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_constr
a
int_dim: a
d
d mem
o
ry ma
n
a
ge
m
ent a
n
n
o
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
i
sl_bas
i
c_map_add
_
di
v
_constraints: add mem
o
ry
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_tab_pip
.
c: find_context_d
i
v: add me
m
ory managem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolae
g
e
is
l
_map_simp
l
ify
.
c:
di
v
_find_coa
l
esce: a
d
d memory mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaege
isl_basic_m
a
p_offset: add mem
o
ry management an
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_convex
_
hull
.
c: set_bound
s
:
add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
polytope_sca
n
.
c; isl
_
basic_se
t
_sc
a
n
_
samples:
a
d
d
memo
r
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
pip
.
c
: to_par
a
mete
r
_domain:
a
dd memor
y
management annotation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next