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_schedule_node.c: extension_from_domain: use isl_bool for local variable
2018-08-22
Sven V
e
rdoolae
g
e
isl_s
c
h
edule_node
.
c: ext
e
nsion_fr
o
m_d
o
main: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoola
e
ge
isl
_
sc
h
e
d
u
le_node
.
c:
i
s
l
_schedule_node_
g
roup: use
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
i
s
l
_sched
u
le_node
.
c: locally
_
covered
_
by_domain:
u
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl
_
sch
e
dule_
n
o
d
e
.
c: group_ban
d
: use
i
sl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_schedule_node
_
has_par
e
n
t: use isl_bo
o
l for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
olaege
isl_
s
chedule_n
o
de
.
c: ex
t
end_exten
s
ion: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaeg
e
is
l
_ast_codegen
.
c: after_in_
t
ree: us
e
isl_bool
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
o
l
a
ege
is
l
_ast_code
g
en
.
c:
af
t
er_i
n
_sequen
c
e: us
e
isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
isl_ast_codegen
.
c:
a
fter_
i
n_band: use isl_boo
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ver
d
oolaege
isl_schedule_node
.
c
: group_d
o
main:
u
se
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaeg
e
is
l
_
s
chedule_node
.
c: group_context: use
isl_bo
o
l
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolae
g
e
isl_qpo
l
y
n
o
mi
a
l_proj
e
ct_do
m
ai
n
_on_params: use isl_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_test
.
c: test_gi
s
t: use isl_b
o
ol for
local
v
ar
i
ables
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verd
o
ol
a
ege
isl_schedule_node
_
or
d
e
r
_
before_or_aft
e
r: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_c
o
a
le
s
c
e
.
c
: check_coalesce
_
into_eq: use isl
_
b
o
ol
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_
s
chedule_node
.
c:
g
i
s
t_leave: use isl_bo
o
l for loca
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_schedule_no
d
e
.
c: gist_en
t
e
r: use isl_
b
ool for
local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
o
o
laege
is
l
_ast_
c
odegen
.
c: c
o
mpute_unroll_domains: use isl_bool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
isl_basic_map
_
get_constraint_list: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
is
l
_ast_build
.
c: upda
t
e_values: use
isl_bool for local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_mul
t
i_union_pw_aff_apply_mul
t
i_aff: us
e
isl_
b
ool
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolaege
isl_multi_union_pw_aff
_
apply_aff: use isl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
olaege
isl
_
multi_unio
n
_pw_
a
ff_apply_pw_multi_aff: use isl_boo
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoola
e
ge
isl_mul
t
i
_
union_
p
w_aff_a
p
ply_pw
_
aff: u
s
e
i
sl_bool for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verd
o
olaege
isl
_
ast
_
build_expr
.
c: tr
y
_ex
t
ract_mod:
u
se
isl_stat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
i
sl
_
ast_graft
.
c: equal_i
n
dep
e
ndent_guards: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ve
n
Ve
r
doolaege
isl_val_get_abs_num
_
chunks: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
oolaege
isl
_
ba
s
ic_map_ide
n
tity: inlin
e
basic_map_ide
n
t
ity
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolae
g
e
is
l
_qpolynomial_v
a
r
_o
n
_
domain:
i
mpose stricter ch
e
c
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
er
d
ool
a
ege
is
l
_co
n
straint_get_bound: im
p
o
s
e
stricter chec
k
for
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Ver
d
oolaege
isl_
b
asic_set_from_constra
i
nt: impose stricter
c
heck
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_set_alloc_space: i
m
pose stri
c
ter c
h
e
c
k for set
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
a
ff
.
c:
p
w_aff_gt
e
_set: rename "dim" variabl
e
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdoolaeg
e
isl_map_reaching_path_lengths
:
r
en
a
m
e
"
dim" variab
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_m
a
p_power: rename
"
dim" var
i
ables to "space
"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoola
e
ge
isl_q
p
olynomial_as_polyno
m
ial_on_domain: rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
i
s
l
_bound
.
c
: guard
e
d_poly_bound:
r
ename "dim"
variabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
i
sl_range
.
c:
pro
p
agate_on_
b
ound_pai
r
: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Ve
r
doola
e
ge
isl_range
.
c:
m
o
notonicity: renam
e
"dim" variable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl
_
range
.
c: has_sign: rename
"dim" var
i
a
b
le to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_b
e
rnstein
.
c:
bernst
e
in
_
coefficients_base: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl
_
map_apply_pw_q
p
ol
y
n
omi
a
l_
f
o
l
d: rename "dim
"
v
a
riables
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
isl_map
.
c: compute_d
i
v
s
: re
n
ame "dim" va
r
iable to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doo
l
aege
isl_basic_map_range_
m
a
p: rename "dim" varia
b
le to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erd
o
olaege
isl_fl
o
w
.
c sch
e
d_info_alloc
:
rename
"dim" va
r
iable
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
r
doolae
g
e
isl_farkas
.
c: isl_space_co
e
f
f
i
cients: re
n
ame
"
dim_
p
a
r
am
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_space
_
underlying: rename "dim" argum
e
nt t
o
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoo
l
aege
is
l
_space_dump
declarati
o
n: rename "dim"
a
rgument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdo
o
laege
isl_p
r
inter_pri
n
t_space declaration: ren
a
m
e "dim
"
argu
m
en
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_polynomial
.
c
: set_di
v
_
sli
c
e: ren
a
me "dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
i
s
l_qpolynomial_lif
t
: r
e
na
m
e "dim
"
a
r
gume
n
t to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_te
r
m
_alloc
:
r
ename "dim" argument to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
tran
s
itive_c
l
osure
.
c: c
o
nstruc
t
_projec
t
ed_comp
o
nent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
i
sl_space
.
c: get_id: rename
"
dim" argument
t
o
"spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
isl_space
.
c: set_id: rename "dim"
a
rgument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolae
g
e
i
s
l_space
.
c: exten
d
_ids:
r
ename "dim" argum
e
nt
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaege
i
s
l_sp
a
c
e
.
c: glo
b
al_
p
os: rename "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
Verdoolaege
isl_qpolynomi
a
l_allo
c
: renam
e
"
dim" arg
u
m
ent to
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
output
.
c
:
print_o
m
e
g
a_p
a
r
a
m
ete
r
s: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Ve
r
d
o
olaege
isl_
o
utput
.
c: pos2ty
p
e: rename "d
i
m" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
ege
i
sl_output
.
c: count_same_name: rename "dim" argum
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_bernstein
.
c:
v
ertex_
c
o
o
r
dina
t
e: rename "d
i
m" argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
o
u
tput
.
c: print_affine_c: rename
"dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
o
l
aege
isl_f
a
rkas
.
c: isl_space
_
s
o
lutions: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
is
l
_farkas
.
c:
isl_space_
u
n
prefi
x
: re
n
ame "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_farkas
.
c: isl_spa
c
e
_
coef
f
icien
t
s: r
e
n
ame "dim
"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_far
k
a
s
.
c: isl_space_prefix: rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_dim_map_
d
im: rename "dim"
a
rgume
n
t
t
o "s
p
ace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space_dim: renam
e
"dim"
a
rgumen
t
t
o
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Ve
r
doolaege
i
s
l
_
transitive_closure
.
c; incremental_on_en
t
ire_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
V
e
rdoolaege
i
s
l
_con
s
traint_se
t
_coe
f
fi
c
ient_si: remove dup
l
icate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_cons
t
ra
i
n
t
_s
e
t_coeff
i
ci
e
nt: rem
o
ve
duplic
a
t
e is
l
_con
s
t
r
a
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
e
rdoolaege
isl_tab
.
c
; ineq_for_
d
iv: add memory
mana
g
ement
annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic
_
map_alloc_spa
c
e: add memo
r
y
ma
n
agement ann
o
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Ve
r
doolaege
isl_m
a
p
.
c: compu
t
e_divs: add memory man
a
gemen
t
annota
t
ions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
V
e
r
d
o
o
l
aege
is
l
_
b
asic_ma
p
_fix_pos_si:
add memory management annotat
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
sl_
b
asic_map_d
o
m
a
in: add memory management anno
t
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
l
a
eg
e
isl_constrai
n
t_dim: add memory
management an
n
otation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
ege
isl_t
a
b_pip
.
c: find_conte
x
t_div: add
m
e
mory m
a
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoola
e
ge
isl_map_
s
implify
.
c: di
v
_fin
d
_
coalesce:
add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verd
o
olaege
isl_basic_map_offset: add mem
o
ry
m
a
nagement a
n
notation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
s
l_c
o
n
vex_hu
l
l
.
c: set_bounds: add me
m
ory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sv
e
n Verdoolaege
polytope_
s
c
a
n
.
c; isl_b
a
sic_set_scan_sam
p
les: add
memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Ver
d
o
ola
e
ge
pip
.
c: to_parameter
_
domain: add memory management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl
_
convex_hul
l
.
c
:
isl_
b
asic_set_add_equality: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_equal
i
ties
.
c: co
m
p
r
ess_va
r
iables: add
m
e
mor
y
m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verd
o
olaege
isl_affine_hull
.
c: u
s
et_affine_hull_bo
u
nded: ad
d
memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolae
g
e
isl_
a
ffine_hull
.
c:
a
ffine_hu
l
l: a
d
d mem
o
ry
m
anagem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Ve
r
do
o
laege
isl_af
f
ine
_
hull
.
c: transform_
c
olu
m
n: a
d
d memor
y
man
a
gement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaege
isl_
a
ff
i
ne_hull
.
c: con
s
truct_column
:
add me
m
ory manage
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_map
.
c
:
a
dd_
d
ivs: add memory management annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
e
n Verdoolaege
i
sl_map
.
c: basic_ma
p
_init: a
d
d m
e
mory manag
e
ment annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaege
i
s
l_b
a
s
i
c_se
t
_compare_at
:
add memory man
a
gement ann
o
tations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
sl
_
ast_build_nee
d
_s
c
hedule_map:
d
rop
s
purious memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven V
e
r
d
oolaege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdo
o
laege
isl_bern
s
tein
.
c:
extract_c
o
e
ffic
i
ents: imp
r
ove e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
S
v
en Verdoolaege
isl_tab_pip
.
c: ne
e
d
_substitution: imp
r
ove error handli
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven
Verdoolaeg
e
is
l
_schedule_
t
ree
.
c: any_c
o
inc
i
dent: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolaege
isl_ba
s
ic_map
_
dup
:
improve
e
r
r
or handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
S
ve
n
Verdoolae
g
e
isl_cell_free: return NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next