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
V
e
rd
o
o
laege
isl_space_wrap: rena
m
e "dim" argume
n
t to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_spac
e
_is_wrapping: rename "dim"
a
rgument
to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_spa
c
e_from_range
:
rename "
d
im"
a
rgum
e
nt to "
s
pa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_from_dom
a
i
n: r
e
n
a
m
e
"dim" argument to
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
isl_space_reverse
:
r
ename "dim" argum
e
nt to "spa
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space
_
set
_
dim_name: rename "dim" argu
m
e
nt 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_get_tuple_name: r
e
n
ame "d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
s
l_space_get_dim_name: renam
e
"
d
im
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_space_se
t
_tuple_name:
rename "dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_space_get_di
m
_id: rena
m
e "dim" argument
t
o "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
isl_
s
pace_
h
as_d
i
m_id: rena
m
e "dim" ar
g
umen
t
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_reset_
t
uple_id: rename
"
d
im" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
isl_space_set_tuple_i
d
: rename "
d
im"
a
r
gument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdoolaege
isl_space_
g
et_tuple_id: rename "dim" a
r
gument to "sp
a
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_s
p
ace_has_tuple_id
:
renam
e
"
dim" a
r
gum
e
nt to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_
space
.
c
: off
s
e
t
:
re
n
ame "dim" argument t
o
"sp
a
ce"
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
aege
isl_space_dup: rename "dim"
argu
m
e
nt
t
o "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space_get_ctx: rename "d
i
m" argument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_fold
.
c: qpolynomial_f
o
l
d
_
allo
c
:
re
n
ame "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ver
d
oolaege
isl_union_*_alloc:
r
ename "
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_map
.
c: map_
l
e
x
_
g
t
e
:
rename "d
i
ms" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
do
o
l
aege
isl_map
.
c: map
_
lex_lte
:
ren
a
m
e "dims" argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_t
r
ansitive_closure
.
c: constr
u
c
t
_power_compon
e
nts
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaeg
e
isl_
b
asic_set_n
a
t_un
i
verse: rename "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
is
l
_map
.
c: map_lex_g
t
e
_
fi
r
st
:
rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
m
a
p
.
c: map_lex_l
t
e
_first:
ren
a
me "dims"
a
r
g
u
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
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
Sven Ve
r
doo
l
aege
i
sl_transitive_closure
.
c: floyd_warshall: rename
"dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ve
r
doolaege
i
s
l_transitive_closure
.
c: flo
y
d_wa
r
shal
l
_with_
g
rou
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
isl_transitive_closure
.
c
: compute
_
incremental
:
re
n
a
m
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
o
o
laege
i
sl
_
basic_map_alloc_space: rena
m
e "
d
im" argument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Ver
d
oo
l
a
e
ge
isl_basic_map_more_or_
e
q
u
al_at: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdool
a
e
ge
isl_basic_map_m
o
re
_
at
:
rename "dim" argume
n
t
to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
isl_bas
i
c_map_le
s
s
_
or_e
q
ual
_
at:
ren
a
me "dim"
a
rgu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oola
e
g
e
isl_t
a
b_pip
.
c: set_min
i
mum: rena
m
e "dim"
a
rgume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_dim_map_dim_rang
e
: r
e
name "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
a
e
g
e
is
l
_ba
s
ic_map_extend_space: re
n
am
e
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_map_re
s
e
t
_space
:
r
e
name "dim" a
r
gum
e
n
t
to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_dump declaration: rename "dim" argume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_printer_print
_
space declarati
o
n: rename
"
d
im" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_qpolynomial_*_on_d
o
m
ain: rename "dim" a
r
gument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_qp
o
lynom
i
al
_
from_affine
:
rename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
i
s
l_polyn
o
mial
.
c
: set_div_
s
lice
:
rena
m
e "dim
"
argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_qpo
l
y
n
om
i
al_lift: rename "dim" argument t
o
"space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_term_al
l
o
c: rename "
d
im
"
argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aeg
e
i
s
l
_transit
i
ve_closure
.
c: construct_pr
o
ject
e
d_component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_spa
c
e_find_dim_by_id: rename
"
dim" argument
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaeg
e
isl_space
.
c: n: renam
e
"dim" argumen
t
to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
i
sl_
s
pace
.
c
: g
e
t_id: 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
.
c: set_id: rename "
d
im" argument 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
e
rdoolaege
isl_spa
c
e
.
c: extend_ids: rename "dim" argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_
space
.
c
:
global_pos: rename "d
i
m
"
a
r
gument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
isl_qpo
l
ynomia
l
_alloc: renam
e
"d
i
m" argument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
Verdoolaege
isl_poin
t
_
v
oid: rename "dim"
a
rgument t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaege
isl_point_zero: rename "dim"
a
rgument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_poin
t
_
alloc: r
e
name "dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_output
.
c: print_ba
s
e:
r
e
n
am
e
"dim" a
r
gumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaeg
e
isl_output
.
c
:
print_omega_p
a
ra
m
ete
r
s: rename "di
m
"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ver
d
oolaege
i
sl_ou
t
put
.
c: print_nested_tuple:
rename
"loca
l
_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl
_
output
.
c: print_ne
s
t
e
d_var_
l
ist
:
rename "l
o
c
al_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_output
.
c: pos2type: rena
m
e "di
m
" ar
g
ument
t
o
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
is
l
_output
.
c:
co
u
nt_same_name: rename
"d
i
m"
arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_basic_map_
n
at_universe: rename
"
dim"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_bernstein
.
c: ver
t
ex_coor
d
ina
t
e: rename "dim"
a
rgume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Verdo
o
laege
isl_tran
s
itive
_
closu
r
e
.
c: incrementa
l
_
closure
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_transitiv
e
_c
l
osure
.
c
:
con
s
truct_extend
e
d
_p
a
th:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_tra
n
sitive_closure
.
c:
in
c
remen
t
al_on_en
t
ire_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_transiti
v
e_
c
losure
.
c: incr
e
ment: rename "di
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_tra
n
siti
v
e_cl
o
sure
.
c:
e
quate_parameter
_
t
o
_
leng
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_cl
o
sure
.
c: pa
t
h
_alon
g
_delta: renam
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_transitiv
e
_closure
.
c: path_along
_
steps: re
n
ame
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_output
.
c: p
r
int_af
f
ine_c: ren
a
me "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c: neg_ha
l
f
s
pa
c
e: r
e
name "di
m
" ar
g
ume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_map
.
c: nonneg_halfspace: r
e
name "di
m
" ar
g
ume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoo
l
aege
isl_basic_map
_
identity: renam
e
"
d
i
m
" ar
g
ument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
: basic_map_identity: rename "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_basic_map
_
from_constraint_matrice
s
:
r
ename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_space_dr
o
p_dims:
r
ename "dim"
argument to "sp
a
c
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
i
sl_farkas
.
c:
i
sl_s
p
ace_
s
olu
t
io
n
s:
r
ename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_fark
a
s
.
c
: isl_space_unp
r
ef
i
x: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
i
s
l_
f
arkas
.
c
: is
l
_space_coefficients: rename "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_farkas
.
c: isl_spac
e
_
p
refix: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
lae
g
e
isl_dim_m
a
p_
d
im:
r
ename "
d
i
m"
a
rgument to "
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
erdoolaege
i
sl_space_dim: rename "
d
i
m
"
a
r
g
ument t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl
_
transi
t
ive_closu
r
e
.
c; incrementa
l
_on_ent
i
r
e_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n V
e
rdoolaege
isl_
c
onst
r
aint_
s
et
_
c
o
efficient
_
si: remov
e
duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
doola
e
ge
isl
_
constraint_set_coef
f
icient: remov
e
duplicate isl_constr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoo
l
aege
isl_tab
.
c;
i
neq_f
o
r_d
i
v: a
d
d
m
emory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
l
aege
i
sl_basic_map_a
l
l
oc_space: add memor
y
m
a
na
g
e
m
ent
a
nnotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
laege
i
sl_map
.
c: compute_divs: add
m
emory man
a
gement annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
r
doola
e
ge
i
sl_basi
c
_
map_fi
x
_pos_si: add mem
o
ry m
a
n
agement
a
nnotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_map_
d
omain:
a
d
d
memory ma
n
ag
e
m
ent a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
ven Verdoolaege
i
sl_co
n
st
r
aint_d
i
m: a
d
d
mem
o
ry manag
e
m
e
nt annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n V
e
rdoolaege
isl_bas
i
c_map_a
d
d_div_cons
t
raints:
a
dd memory
m
anagement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Ver
d
oola
e
ge
isl_tab_pip
.
c: fin
d
_context_d
i
v: add memo
r
y m
a
n
agem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolaege
isl_ma
p
_s
i
m
p
li
f
y
.
c: div_f
i
n
d
_coalesce: add memory manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoo
l
ae
g
e
isl_basic
_
m
ap
_
offset:
a
dd m
e
mory management
a
nno
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
V
e
rdoolae
g
e
isl_convex_hull
.
c:
s
et_bounds: a
d
d memory man
a
geme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
er
d
oolaege
p
olytope_
s
can
.
c; isl_basi
c
_set_scan_sampl
e
s
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaeg
e
pip
.
c:
to_paramete
r
_doma
i
n: a
d
d memory
management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next