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_dup: rename "dim" argument to "space"
2018-08-22
Sven Verdo
o
laege
isl_sp
a
ce
_
d
u
p: re
n
ame
"dim
"
arg
u
ment
t
o
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ver
d
o
olaege
isl_s
p
ace_
g
e
t
_ctx
:
rena
m
e "
d
im
"
argument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_f
o
ld
.
c: qpolynomial_fold_alloc: ren
a
me "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
e
ge
isl_union_*_alloc: rename "dim" argument to
"
s
pac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_map
.
c
: map_lex_g
t
e: rename "dim
s
" a
r
gument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_map
.
c: m
a
p_l
e
x
_
lte:
ren
a
me
"
d
i
ms"
argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tr
a
nsi
t
ive_closure
.
c
: co
n
s
t
ruct_powe
r
_
components
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
isl_basi
c
_s
e
t_n
a
t_u
n
i
verse: rename "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdool
a
ege
i
s
l
_
ma
p
.
c
: map_l
e
x_gte_first: ren
a
me "
d
i
ms" a
r
gume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en V
e
rdoo
l
aege
isl_map
.
c:
m
ap_
l
ex_lte_first: renam
e
"d
i
ms
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_output
.
c: pri
n
t_set
_
c: renam
e
"dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_tra
n
sitive_c
l
osure
.
c
:
flo
y
d_wa
r
shall:
r
ename "
d
im
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transiti
v
e
_
clo
s
ure
.
c
: flo
y
d_warsh
a
ll_w
i
th_group
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
i
s
l_transit
i
ve_closu
r
e
.
c: c
o
mp
u
te_incremental: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_ba
s
i
c
_map_
a
ll
o
c_space: renam
e
"dim"
a
rgumen
t
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_basi
c
_
ma
p
_m
o
re_or_equal_at: ren
a
m
e
"dim" ar
g
um
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
isl_basic_m
a
p_mor
e
_
a
t
: r
e
name
"
d
i
m" arg
u
me
n
t to "s
p
ace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_ba
s
ic_map_less
_
or_equ
a
l_at: rename "dim"
argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_tab
_
pip
.
c: se
t
_
minimu
m
:
r
e
n
ame "dim" argu
m
e
nt
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
is
l
_dim_ma
p
_
d
im_rang
e
: rename "dim" argu
m
e
nt t
o
"
s
pace
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
ool
a
ege
i
s
l_basic_map_
e
x
t
end_space: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_map_reset_spa
c
e: re
n
a
m
e "dim" a
r
g
ument
to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
r
d
ool
a
ege
isl_space
_
dump declaration: rena
m
e "d
i
m" argum
e
nt to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
sl_printer_prin
t
_spa
c
e declaration: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_qpoly
n
omial_
*
_on_domain:
rena
m
e "di
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_qpolyno
m
i
al_from_a
f
fine: rename
"
d
im" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_polynom
i
a
l
.
c: set_d
i
v_s
l
ice: renam
e
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
erdoolaege
isl_qpol
y
nomial_lift:
rename
"
dim" argum
e
nt to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_term_alloc: rena
m
e
"dim" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_c
l
osure
.
c: construct_pr
o
jec
t
ed
_
component
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_space_find_dim_by_id:
rename "d
i
m" argument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space
.
c:
n
: rename "
d
im"
argume
n
t
t
o "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_space
.
c: get_id: rename "dim" argumen
t
t
o "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_spa
c
e
.
c: set_id: rename "di
m
" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_spa
c
e
.
c: extend_ids
:
rename "
d
im" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_
s
pac
e
.
c
:
global_pos:
r
ename "dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
i
s
l_qpolynomia
l
_
alloc: rename "dim" 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
is
l
_poi
n
t_
v
o
i
d: rename "dim" arg
u
ment to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
aege
isl_point_zero: rename "dim"
argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
V
e
r
d
o
o
laege
isl
_
point_alloc: re
n
ame
"dim" a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
ol
a
ege
isl_outp
u
t
.
c:
print_b
a
se: rena
m
e "dim"
arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
is
l
_output
.
c: print_
o
mega_param
e
ters: r
e
name "dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_
o
utput
.
c: prin
t
_nested
_
tuple: rename "loca
l
_d
i
m
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_o
u
tpu
t
.
c: print_
n
ested_var_
l
ist: rename "local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_output
.
c
: pos2type: re
n
ame "
d
im" argument to "s
p
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_output
.
c: count_same_nam
e
: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doolaege
is
l
_
basic_map_na
t
_u
n
iverse: rename "dim" argume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
i
s
l_bern
s
t
ein
.
c: vertex_c
o
ordinate: rename "dim" argu
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_transitive
_
closure
.
c: incremental_closure
:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transitive
_
c
losure
.
c: construct_extended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolae
g
e
isl_tran
s
it
i
v
e
_cl
o
s
u
r
e
.
c:
incremental_o
n
_e
n
t
i
r
e_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
a
ege
isl
_
t
r
ansitive_closure
.
c: increment: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
i
sl_tran
s
itive_closure
.
c
:
equate_par
a
meter_to_l
e
n
gth
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_transitive
_
closure
.
c:
path_along_delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ansitive_closure
.
c
: pat
h
_along_s
t
eps:
rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oo
l
aege
isl_o
u
tput
.
c: print
_
affi
n
e_c: rename
"
d
i
m"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
dool
a
ege
isl_map
.
c: neg_halfspa
c
e: rena
m
e "dim" ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoola
e
ge
isl_map
.
c: nonneg_halfspac
e
:
r
ename "dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
b
asic_map
_
identit
y
: rename "dim" argum
e
nt to "s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_m
a
p
.
c: basic_map_identity: re
n
a
m
e "dims" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_basic
_
m
a
p
_
from_constraint_matri
c
es: rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l_spac
e
_drop_dims: rename "dim" arg
u
ment to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
olaeg
e
isl_farka
s
.
c: isl_space_soluti
o
ns: rename
"
dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_farkas
.
c: isl_spa
c
e_unprefix
:
rename "d
i
m" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
g
e
isl_farkas
.
c: isl_space_c
o
effic
i
ent
s
: renam
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_farkas
.
c: isl_spac
e
_
pref
i
x
: r
e
name "dim" a
r
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_
d
im_m
a
p_dim: rename "
d
im
"
a
r
gument t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoo
l
aege
isl_sp
a
ce_dim: rename "dim"
a
r
g
u
me
n
t to
"
space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_
t
ransitive_closure
.
c;
i
ncreme
n
tal_on_entire_domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
isl_constrain
t
_
set_coeffici
e
nt_si
:
remov
e
duplicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
o
la
e
ge
isl_c
o
n
s
traint_set_c
o
e
fficient: rem
o
ve du
p
l
i
cate isl_constr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erd
o
ol
a
ege
isl_tab
.
c; ineq_for_div: add m
e
m
o
ry mana
g
ement annot
a
t
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_basic_
m
a
p
_all
o
c_space: ad
d
memory management annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
is
l
_ma
p
.
c
:
compute_d
i
vs:
add me
m
o
r
y manag
e
ment a
n
notations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoo
l
aege
isl_b
a
sic_ma
p
_fix_p
o
s_si:
a
dd me
m
ory manag
e
ment
an
n
o
tation
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_b
a
sic_m
a
p_domain: add
memory managemen
t
annot
a
tions
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
i
sl_cons
t
rai
n
t_dim
:
add memory managemen
t
annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en
Verdoolaege
isl
_
basic_map_add_div_c
o
n
s
t
r
a
i
nts:
ad
d
memo
r
y ma
n
ag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
e
g
e
isl_tab
_
pi
p
.
c: find_context_div
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n
Verdoolae
g
e
is
l
_map
_
simplify
.
c: div_find_coale
s
c
e:
a
d
d me
m
ory m
a
na
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoola
e
g
e
isl_basic_ma
p
_o
f
fse
t
:
add memory
mana
g
e
ment annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Ver
d
ool
a
ege
i
s
l
_
c
o
n
vex_
h
ull
.
c: set_b
o
unds: add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoo
l
aege
p
olytope_
s
can
.
c;
isl_bas
i
c_set_scan
_
samples: a
d
d memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
pip
.
c
:
t
o_pa
r
ameter_domain:
add memory management a
n
no
t
ations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaege
isl_co
n
vex
_
h
u
ll
.
c
: is
l
_basic_set_
a
dd_equalit
y
: ad
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
ool
a
e
ge
isl_equalit
i
es
.
c: compress_variab
l
e
s
: add me
m
ory managemen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
r
d
oolaege
isl_
a
f
f
ine_hull
.
c:
u
s
et_
a
ffi
n
e_hull
_
b
o
un
d
ed
:
add memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_affine_hull
.
c:
affine_hull: add memory m
a
n
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl
_
a
ffine
_
hull
.
c: t
r
ansfor
m
_column: add me
m
ory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
ola
e
g
e
is
l
_affine_hull
.
c: construct_col
u
mn: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_m
a
p
.
c:
add_divs: add me
m
or
y
mana
g
ement
annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolae
g
e
is
l
_
map
.
c
: basic_ma
p
_init:
a
dd
memory management annot
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
d
oolaege
isl_basic
_
s
et_compar
e
_at: add memory manag
e
ment
a
nnotat
i
ons
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_ast_build_nee
d
_schedule_map: drop spurious
m
emory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolaege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdo
o
laege
isl_bernstein
.
c:
extract_coeffici
e
nts: impro
v
e e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolae
g
e
isl_tab
_
pip
.
c
:
ne
e
d_substitution:
i
mprove error h
a
ndling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven
V
erdoolaege
isl_schedule_tree
.
c: any_coincident: improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sv
e
n
Verdoolae
g
e
isl_bas
i
c_map_dup:
improv
e
error
han
d
l
i
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
Sven Verdoolaege
i
sl_cell_free: retur
n
NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next