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 Verdool
a
e
ge
isl_spac
e
_
flatten: rename "dim" a
r
gument
t
o "
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_space_reset: ren
a
me "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_zip
:
r
ename "
d
im" argument t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_
u
nwrap
:
r
e
name "d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_space_
w
r
ap:
r
ename
"
dim"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_space_is_wrap
p
ing: rename "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
s
pa
c
e_from_ra
n
ge: rename "d
i
m"
a
rgume
n
t t
o
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
o
olaege
isl_space_
f
r
o
m_domain:
rename "dim" a
r
gume
n
t
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdool
a
ege
isl_space_r
e
verse: rename "dim" argum
e
nt
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en
V
e
rdoolaege
isl_sp
a
ce
_
set_dim_name: rename "dim
"
argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_space_get
_
tuple_name: rename "d
i
m"
a
r
gu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_
g
et_
d
im_name
:
renam
e
"dim" argument to
"
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_s
e
t_tuple_
n
a
me: rename "dim
"
arg
u
m
e
nt
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rd
o
olaege
isl_spac
e
_get_dim_id: rename "dim" argument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdo
o
laege
isl_
s
pace_has_dim_id: rename "dim"
argume
n
t to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_spac
e
_reset_tuple_id: rena
m
e
"
dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_sp
a
ce_set_tuple_id: rename "dim" argument t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_space_get_tuple_id: rename "di
m
"
a
rgument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l
_space
_
h
as_tuple_
i
d
:
rename
"
dim
"
argument to
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
o
o
l
a
ege
i
s
l
_s
p
ace
.
c: off
s
et: rename "dim"
argument to "space"
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdo
o
l
a
e
ge
isl_space_d
u
p: rename "dim" arg
u
m
e
n
t to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
isl_spa
c
e_get_ctx:
rename "d
i
m" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_fold
.
c: q
p
olynom
i
al_fold_
a
l
loc
:
r
ename
"dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ve
r
doolaege
i
sl_union_*_alloc:
r
e
na
m
e "d
i
m" argume
n
t
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c
:
map_lex_gte: renam
e
"
dims" ar
g
ume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
isl_map
.
c: map_
l
ex_lte
:
r
e
n
ame "
d
ims" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transi
t
ive_clos
u
re
.
c: construct_power
_
components
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolae
g
e
isl_b
a
sic_set_nat
_
u
n
i
v
erse: renam
e
"dim" a
r
gu
m
ent
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
map
.
c: map_lex_gt
e
_f
i
rst: rena
m
e "dim
s
"
a
rgumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_map
.
c: map_lex_lte_fi
r
st: rename
"dims"
argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_output
.
c
:
print_set_c: rename "dim" arg
u
ment
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tra
n
s
i
tive_closure
.
c
: floyd_
w
arshall: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_transit
i
ve_closure
.
c: floyd_warshall_with_groups
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl
_
transitive_closure
.
c: compu
t
e_
i
ncrem
e
ntal:
re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_basic_map_a
l
loc
_
space: rena
m
e "dim
"
ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ba
s
ic_map_
m
ore_or_equal_at: r
e
n
a
me "dim" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
do
o
laege
isl_ba
s
ic_map_more_at: rename "di
m
" argume
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_basic_map_less_or_equal_at: rename "dim"
a
r
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_tab_pip
.
c:
se
t
_minimu
m
:
rename "
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_
d
im_map_dim_range:
rename "dim" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
is
l
_basic_map_extend_space:
r
e
name "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_map_reset_space: rename "di
m
" argument
t
o "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
i
s
l_space_dump declaration
:
r
e
n
ame "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaeg
e
i
s
l_printer_prin
t
_space declaration: rename
"
dim" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_qpo
l
ynomial_*_on
_
domain: rename "dim"
a
rgument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_qpolynomial_f
r
o
m_affine:
ren
a
me
"
dim" a
r
gume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_poly
n
o
m
ial
.
c:
set_
d
i
v_
s
l
i
ce:
r
e
n
ame "dim" ar
g
u
m
en
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
isl_qpolynomial_lift: rename "dim" argum
e
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_term_all
o
c
:
r
e
name "dim
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
transit
i
ve_closu
r
e
.
c
: constr
u
ct_projected
_
co
m
ponent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
s
pac
e
_find_dim_by_id: rename "d
i
m
"
a
rg
u
men
t
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
i
sl_sp
a
ce
.
c: n: rename
"
d
im"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaeg
e
isl_space
.
c: get_id: r
e
na
m
e "
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c: se
t
_id: ren
a
me "dim" a
r
gum
e
nt to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c
:
extend_ids:
r
ename "d
i
m
" argu
m
ent to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
isl_space
.
c: global_po
s
: r
e
name "dim" argu
m
ent
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoola
e
g
e
isl
_
qpolynomial_
a
llo
c
: rename "dim" ar
g
u
m
ent to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olae
g
e
i
s
l_
p
oint_void: rename "dim" argument to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
rdoolae
g
e
isl_point_zero: rename "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_point_a
l
loc: renam
e
"d
i
m" argument
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
e
g
e
isl_
o
u
t
put
.
c: print_base:
rename "d
i
m" argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
s
l_output
.
c:
p
r
int_omega_parameters: renam
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
d
oolae
g
e
isl_output
.
c: print_nested_tup
l
e: rename "loca
l
_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaeg
e
i
s
l_output
.
c: prin
t
_nested_var_list: rename "loc
a
l_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n 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
S
ven Ve
r
doolaege
isl_output
.
c: count_same_name: r
e
name
"
dim"
a
rgume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
is
l
_basic_map_nat_universe:
r
ename
"
dim" argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_bern
s
t
e
i
n
.
c: ver
t
ex_coordinat
e
: rena
m
e "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_transitive_clo
s
u
re
.
c: increme
n
tal_closure: ren
a
me
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closur
e
.
c: construct_exte
n
ded_path
:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
oola
e
ge
isl
_
t
r
ansitive_closure
.
c
: incre
m
ental_o
n
_
e
ntire
_
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_transit
i
v
e
_closu
r
e
.
c: increment: rename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doolae
g
e
i
s
l_transit
i
ve_
c
losure
.
c: equate_parame
t
e
r
_to_lengt
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_t
r
ansitive_closure
.
c:
p
ath_along_delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
i
s
l_transiti
v
e_clo
s
ure
.
c: path_along_ste
p
s: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_outpu
t
.
c: print_affine_c: ren
a
me
"dim"
a
r
g
u
ment
.
.
.
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: neg_
h
alfspac
e
: r
e
name "
d
i
m
"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_map
.
c: nonneg_halfspace: rename
"
dim"
a
rgu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
r
doolaege
isl_bas
i
c_map_i
d
enti
t
y:
rena
m
e
"dim" argume
n
t to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
:
b
asic_map_iden
t
ity: r
e
name "di
m
s" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_map_from_constraint_matrices: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olae
g
e
isl_space_drop_d
i
ms
:
ren
a
me "dim"
a
rgume
n
t to
"
sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_farkas
.
c: isl_space_solut
i
ons: rename "d
i
m" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
oolae
g
e
isl_fark
a
s
.
c: isl_space_unprefix: ren
a
m
e
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
sl_
f
arkas
.
c: isl_space_coe
f
ficients
:
r
e
n
a
me "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
f
arkas
.
c: isl_s
p
ace_prefix:
r
enam
e
"dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdool
a
ege
isl_dim
_
map_
d
im: rename "di
m
" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_space_dim: r
e
nam
e
"dim" argumen
t
to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
is
l
_transitive_
c
losure
.
c
; increm
e
ntal_
o
n_entire_
d
oma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_co
n
straint_set_coeff
i
cient_si:
r
emove duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_constraint_se
t
_coefficie
n
t: remov
e
d
u
plicate
is
l
_
c
onst
r
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolaege
i
s
l_t
a
b
.
c; ineq_
f
or_div: add memory m
a
nagement an
n
o
tation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl
_
basic_map_allo
c
_
s
p
a
ce: add memory manage
m
ent
a
n
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
r
d
oolae
g
e
i
s
l_map
.
c: comp
u
te_di
v
s: ad
d
memo
r
y management a
n
n
otations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
rdo
o
laege
is
l
_basic_m
a
p_fix_pos_s
i
: add memory ma
n
agement annotati
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n V
e
rd
o
olae
g
e
isl_basic
_
map_
d
omain
:
add memory
m
a
na
g
ement an
n
ot
a
tio
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
laege
isl_constra
i
nt_dim: add memory manag
e
ment annota
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoolaege
i
s
l_b
a
sic_map
_
add_div_constraints: add
m
e
mory manage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_tab_
p
ip
.
c
:
find_c
o
ntex
t
_div: add memory
mana
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolae
g
e
isl_map_simplify
.
c
: div_find_coalesce: add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next