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_basic_map_more_at: rename "dim" argument to "space"
2018-08-22
S
v
en Verdoolaege
isl_basi
c
_map_more_at: rename "dim" ar
g
ument
t
o "s
p
a
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ver
d
o
o
laege
isl_bas
i
c
_
ma
p
_
l
ess_or
_
equal_at:
re
n
ame "dim"
arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
tab_p
i
p
.
c: s
e
t_minimum: rename "di
m
" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
oolaege
isl_dim
_
m
a
p_d
i
m
_range: rename "dim
"
argument to "space
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_b
a
sic_ma
p
_exten
d
_space: rename
"
dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
i
sl_map
_
reset_space: renam
e
"
d
im" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoola
e
ge
isl_space_dump decla
r
ation: rena
m
e
"dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
laege
i
sl
_
printer_pr
i
nt_space decla
r
ation: rename "dim" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
q
polynomial_*_
o
n_domain: rename "dim" ar
g
u
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
e
rdoolaeg
e
isl_qpolynomial
_
from_a
f
f
i
n
e
: renam
e
"dim" arg
u
men
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
olaege
isl_p
o
lynomial
.
c: set_d
i
v_slice
:
r
e
n
a
me "dim" a
r
gum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_qpolynomial_lift:
r
e
n
ame "
d
im" argument to
"space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_term_a
l
loc: rename "
d
im" argument to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_tr
a
nsitive_closu
r
e
.
c: const
r
uc
t
_
p
rojected_com
p
onent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
a
e
ge
isl_sp
a
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
Sven Ver
d
oolaege
i
s
l
_space
.
c: n:
rename "dim
"
argumen
t
to "sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_space
.
c: get_id: rename "di
m
" a
r
gument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
is
l
_spa
c
e
.
c: s
e
t_
i
d: rename "dim"
a
rgument to
"s
p
ace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
l
a
e
ge
isl
_
s
pace
.
c
:
extend_ids: r
e
n
ame "d
i
m" ar
g
umen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_space
.
c: global_p
o
s: rename "di
m
"
argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
aege
isl_q
p
ol
y
nomial_alloc: rename "dim" a
r
gument t
o
"
s
pace"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
erdoolaege
isl_point_void: 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 Ver
d
oolaege
isl_poin
t
_ze
r
o: re
n
ame "dim" ar
g
ument t
o
"sp
a
ce"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point
_
alloc: renam
e
"dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoolaege
isl_output
.
c
: print_base: re
n
ame "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_
o
utp
u
t
.
c:
print_om
e
g
a_par
a
me
t
ers: renam
e
"
di
m
"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
isl_output
.
c: pr
i
nt
_
n
ested_tuple: re
n
a
m
e
"local_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_ou
t
put
.
c: print_nested_var_li
s
t: r
e
name "loc
a
l_dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
o
utput
.
c: pos2ty
p
e:
r
e
name "
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
S
ven
V
erdoolaege
i
sl_outpu
t
.
c: count_
s
ame_name: rename "d
i
m" argumen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
i
sl_basic_map
_
nat_un
i
v
ers
e
: renam
e
"
dim" ar
g
ume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_berns
t
ein
.
c: verte
x
_coordin
a
t
e: rename "dim" ar
g
u
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_
t
ransitive_closure
.
c: incremental_closure: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_t
r
ans
i
tive_
c
los
u
re
.
c: c
o
n
struct_
e
xtended_path:
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl_transit
i
ve_closur
e
.
c:
i
ncr
e
mental_on
_
enti
r
e_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_tran
s
itive_
c
l
o
su
r
e
.
c: increment: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdoo
l
aege
i
s
l
_transi
t
ive_
c
losu
r
e
.
c: equate_parameter_to_len
g
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verdoolaege
isl_transiti
v
e_closure
.
c: p
a
th_
a
l
on
g
_delta: rename
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl
_
transitive_closu
r
e
.
c: path
_
along
_
steps:
r
e
name
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
o
o
l
a
e
g
e
isl_output
.
c: p
r
in
t
_af
f
i
n
e_
c
:
r
e
nam
e
"dim" arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaeg
e
isl_map
.
c
:
neg_hal
f
spac
e
: rena
m
e "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
isl_
m
ap
.
c
:
nonn
e
g
_
halfspace: rename "dim
"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdo
o
l
a
e
ge
isl_basic_
m
ap_identi
t
y
:
rename "dim" argu
m
ent to "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Verd
o
o
l
ae
g
e
i
s
l
_map
.
c: ba
s
ic_map
_
i
d
entity: rename "dim
s
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
isl_ba
s
ic
_
map_from_constra
i
nt_mat
r
ices:
rename "dim
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
V
e
rd
o
o
l
a
ege
isl_
s
pace_drop_dims: rename
"
di
m
" ar
g
umen
t
t
o "spa
c
e"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
g
e
isl_
f
arkas
.
c:
i
sl
_
space_solutions: rename "dim
"
arg
u
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_farkas
.
c:
isl_
s
pace_unp
r
efix: ren
a
me "dim"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
isl_fa
r
k
a
s
.
c: isl_s
p
ace_coeffi
c
i
ents: renam
e
"dim"
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doola
e
ge
isl_far
k
a
s
.
c: isl_space_
p
r
e
f
ix: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoolaege
isl
_
d
im
_
map_d
i
m
:
rename "di
m
" argument
to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_s
p
ace_
d
im: rename
"
dim" argument to "space"
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
S
ven
V
erdoolaege
i
s
l
_transitive_
c
losure
.
c; i
n
crem
e
ntal
_
o
n_
e
ntir
e
_
d
o
main
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doo
l
aege
isl_constraint_set_coefficient
_
si: rem
o
ve d
u
p
l
ica
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolaege
isl_constraint_se
t
_coefficien
t
: remove duplica
t
e isl_constr
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
doolaege
isl_tab
.
c; ineq_for_div: add m
e
m
o
ry management annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erd
o
ol
a
e
g
e
isl_b
a
sic_map
_
allo
c
_s
p
ace: add memory m
a
nagement annota
t
ion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
r
doolaege
i
sl_map
.
c
:
compute_divs: add
m
e
mory ma
n
agem
e
nt
a
nnotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaeg
e
isl_b
a
sic
_
map_fi
x
_pos_si: add memory manage
m
ent annotatio
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
l
aege
isl_ba
s
ic_m
a
p
_
domain
:
add memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
isl_constr
a
int_dim: a
d
d
m
em
o
ry management
annotati
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoolaege
isl_basic_map_
a
dd_div
_
c
o
nstraints: add mem
o
ry manage
m
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_tab_pip
.
c
: find_con
t
e
xt_di
v
: add
memory man
a
gement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en
Verdoo
l
ae
g
e
is
l
_
map_simplify
.
c: div_find_coal
e
sce
:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ve
r
d
o
olaege
isl_basi
c
_
m
ap_o
f
fset: add memory
management annotat
i
on
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
o
l
aeg
e
isl_convex_hull
.
c: set_bounds:
a
dd
memo
r
y manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en
V
erdoolaege
polyt
o
pe_scan
.
c; is
l
_ba
s
i
c
_set_scan_samp
l
es: add m
e
mory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sve
n
Verdoolaege
p
ip
.
c: to_parameter_d
o
mai
n
:
add memory management
a
n
n
otations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoo
l
aege
is
l
_
c
onvex_
h
ul
l
.
c: i
s
l_basic_se
t
_add_equality:
add
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
i
sl_equali
t
ies
.
c: compress_vari
a
bles:
add
memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl
_
affi
n
e_hull
.
c
: uset_aff
i
ne_hu
l
l_bounded: add
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoolaeg
e
i
s
l
_
a
f
fine_hull
.
c
: a
f
fine_
h
u
ll:
add memory
management
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_aff
i
n
e
_hull
.
c:
t
ransform_co
l
umn: add memory mana
g
em
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en
V
erd
o
o
l
aege
isl_
a
f
fine_hull
.
c: construct_column:
a
dd memory
manag
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
isl_map
.
c: add_divs: add
m
emory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
isl
_
map
.
c
:
bas
i
c_m
a
p_
i
ni
t
: add
m
e
m
ory ma
n
a
g
ement annotations
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
isl_basic_set_compare_at: add memory manag
e
ment ann
o
t
at
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaege
i
s
l_
a
st_build_
n
ee
d
_schedule
_
map: drop spurious
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdo
o
laege
Mer
g
e branch 'm
a
int'
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolaege
isl_berns
t
e
i
n
.
c
: extract_c
o
efficient
s
: improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sv
e
n Verdoolaege
i
s
l_ta
b
_pip
.
c: need_su
b
stit
u
tion: improve error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoo
l
a
e
ge
isl_schedul
e
_tr
e
e
.
c: any_co
i
ncide
n
t
: impr
o
ve e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolaege
isl_bas
i
c_map_dup: imp
r
o
v
e error
handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
Sven V
e
rd
o
olaeg
e
isl_cell_fre
e
: return NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
Sven Verdoola
e
ge
is
l
_vertex_free: r
e
turn NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
Sven
V
erdoolaege
isl_q
p
olynom
i
al_fold_free
:
return NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
S
ven Verdool
a
ege
isl_term_f
r
ee: r
e
tu
r
n NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-17
S
v
en Verdoolaege
i
s
l_flow_free: return NULL
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaege
isl
_
ran
g
e
.
c: b
o
und_is_in
t
eger: fi
x
m
e
mory ma
n
a
g
ement
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
S
ven Verdoolaeg
e
is
l
_basic_map_align_di
v
s:
improve error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaege
isl_
s
cheduler
.
c
:
add_node: plu
g
memor
y
l
e
ak on
er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaeg
e
i
s
l
_b
a
sic_ma
p
_from_constraint_mat
r
ice
s
: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdool
a
ege
isl
_
schedule_tree
.
c
:
subtr
e
e_schedule
_
extend_from_chil
d
re
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoolaege
isl_transitiv
e
_
c
losure
.
c: i
n
c
remen
t
: clear entir
e
constraint
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-16
Sve
n
Verdoolaege
s
p
lit ISL_
B
ASIC_MAP_NORMALIZED into *_NO_RE
D
UNDANT
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-15
Sven
Verdoo
l
aege
i
s
l_map_si
m
pl
i
fy
.
c:
isl_
b
asic_map
_
elim
i
n
ate_vars: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-15
Sve
n
Verdoo
l
aege
i
s
l_map_si
m
plify
.
c: set_div_
f
r
o
m_eq: dr
o
p redunda
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdool
a
ege
i
sl_map_simplify
.
c: eliminate_var_using_equality: drop
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-15
Sven Ver
d
oolaege
is
l
_map
.
c
:
insert_bound
s
_on_div_from_ineq
:
drop r
e
dundant
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-08-14
Sven Verdoolaege
no longer use whole-componen
t
scheduler by default
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next