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
ven
V
e
r
doolaege
i
s
l_basi
c
_map_more_at: rename "dim"
a
r
g
ument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
i
sl
_
b
as
i
c_map_
l
e
s
s_or_equal_at: rename
"di
m
"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaege
is
l
_tab_p
i
p
.
c: set
_
m
inimum:
r
en
a
me "dim" a
r
g
ument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_dim_ma
p
_
dim_range: rename
"dim" argument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verd
o
ola
e
ge
is
l
_basic_map
_
extend_space: re
n
ame "d
i
m
"
argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoo
l
aege
i
s
l_map_re
s
et_s
p
ace: rename
"dim" ar
g
u
ment to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_space_dump declarati
o
n: rename "d
i
m" argume
n
t
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdool
a
e
g
e
isl_print
e
r_print_space
declaration:
rename "dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_
q
polyn
o
mial_*_on_domain: rename "d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
o
l
aege
isl_qpolynomial_from_
a
ffine
:
rename "dim"
argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven Ve
r
doolaege
is
l
_polynomi
a
l
.
c
: set_div_
s
l
i
ce: rena
m
e
"
dim"
a
rgument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoolaege
isl_qpolyno
m
ial_lift: rena
m
e
"
d
im" argum
e
n
t to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolae
g
e
i
s
l
_te
r
m_allo
c
: ren
a
me
"dim" argument to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l
_transiti
v
e_c
l
os
u
re
.
c: construct_projec
t
ed_component
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_s
p
ace_find_di
m
_b
y
_id: rename "dim" argument
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
s
pa
c
e
.
c: n: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl
_
space
.
c: get
_
id: rename "dim
"
argume
n
t to "sp
a
ce"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoolae
g
e
is
l
_space
.
c: set_
i
d
:
rename
"
d
i
m" ar
g
ument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
d
o
ol
a
ege
isl_space
.
c: extend
_
ids: rename "dim" a
r
gument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verdoolaege
i
s
l_spac
e
.
c: global_pos:
r
e
name "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laege
isl_qpolynomial_alloc: rename "d
i
m"
a
rgument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_point_v
o
i
d: r
e
name
"dim" argument to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
s
l_poi
n
t_zero: rename "dim" argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
is
l
_po
i
nt_alloc: re
n
ame "dim" argument
t
o "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n Verdoo
l
ae
g
e
is
l
_outp
u
t
.
c: pri
n
t_base: rena
m
e "dim"
a
rgument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdoo
l
aege
isl_
o
utput
.
c: print_o
m
ega_p
a
rame
t
ers: renam
e
"di
m
"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoo
l
ae
g
e
isl_output
.
c: prin
t
_neste
d
_tupl
e
: rename "local_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rd
o
olaege
isl_outpu
t
.
c:
pri
n
t_nested_v
a
r_
l
ist: rename "lo
c
al_dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
a
ege
isl_output
.
c: pos2type:
r
ename
"
dim" argume
n
t to "spa
c
e"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoo
l
a
ege
isl_output
.
c: c
o
u
n
t_sam
e
_name:
r
ename "dim" ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sv
e
n
Verdoolaege
is
l
_
basic_map
_
n
at_universe: rena
m
e "dim"
a
rgument t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
is
l
_bernstein
.
c: ver
t
e
x_coord
i
nate: rename "dim
"
ar
g
ument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n
V
e
r
d
o
o
laege
isl_t
r
ansitive_closu
r
e
.
c: incre
m
ental_closur
e
: renam
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verdool
a
ege
isl_
t
ransitive_closure
.
c: construc
t
_
e
xtended_path:
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdool
a
ege
i
s
l
_transiti
v
e
_
cl
o
sure
.
c:
i
ncremental
_
on_
e
ntire_d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
Verd
o
olaege
isl_tra
n
sitive_c
l
o
su
r
e
.
c:
i
n
cr
e
m
en
t
: renam
e
"dim" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
l
aege
isl_transit
i
ve_clo
s
ure
.
c: equa
t
e_paramete
r
_to_leng
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_transitive_closure
.
c:
p
a
t
h_alon
g
_
delta: ren
a
me
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaeg
e
isl_transitiv
e
_closure
.
c: path_al
o
ng_s
t
ep
s
: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ver
d
oolaeg
e
isl_output
.
c
:
print_affine_c: r
e
name "dim" a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven V
e
rdo
o
laege
isl_ma
p
.
c:
neg_halfspace: renam
e
"
d
i
m" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sve
n
Verd
o
ol
a
ege
is
l
_map
.
c: nonneg_halfspace: renam
e
"d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_basic_
m
ap_identity: rename "dim" ar
g
ume
n
t
to "
s
pace"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_ma
p
.
c:
b
asic_map_
i
dentity: rename "dims"
a
rgu
m
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdo
o
l
aege
isl_basic_map_from_cons
t
ra
i
nt_matr
i
ces: re
n
ame "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
ven V
e
rdool
a
ege
isl_space_drop
_
dims: renam
e
"di
m
" a
r
gument t
o
"space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
en Verdoolaeg
e
is
l
_
farkas
.
c: isl_space_solutio
n
s: rename "d
i
m" argument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoola
e
ge
i
sl_farkas
.
c:
isl
_
space_u
n
p
ref
i
x: ren
a
me "dim" argumen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdo
o
laeg
e
i
s
l_farka
s
.
c: is
l
_space_coeff
i
cients: rename "dim"
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Ve
r
doolaege
isl_fa
r
ka
s
.
c: isl_space_prefix: rename "dim" a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven
V
erdoo
l
aege
isl_
d
im_map
_
d
im: rename "di
m
" argument
to
"
space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
S
v
e
n Verdoolae
g
e
is
l
_s
p
ace_dim: ren
a
me "dim
"
argum
e
nt to "space"
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
isl_trans
i
tiv
e
_closure
.
c
;
incremental_on_entire_
d
o
m
ai
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolaege
i
sl_co
n
straint_set_
c
oeff
i
cient_si: remove
duplicate
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-22
Sven Verdoolae
g
e
isl_const
r
aint
_
set_coeffi
c
i
ent: r
e
move duplicat
e
isl_constra
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
ege
isl_tab
.
c; i
n
eq_
f
or_div: add
m
em
o
ry
m
anagement
a
nnotation
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolaeg
e
isl_basi
c
_ma
p
_allo
c
_space: ad
d
mem
o
ry management annot
a
t
i
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoola
e
ge
isl_map
.
c:
c
ompute_divs: add memory
management anno
t
ati
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
o
ol
a
ege
is
l
_
basic_map_fi
x
_pos_si: add memory manage
m
ent annota
t
i
o
ns
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
e
n
Verdo
o
la
e
g
e
isl_
b
asic_map_dom
a
in: add m
e
mory management annotations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oola
e
ge
i
s
l_constraint_dim:
add me
m
ory 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
_
add_div
_
c
onst
r
a
i
nts: add
memory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
en Verdoo
l
aege
is
l
_tab_pip
.
c:
find_context_d
i
v
:
add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoolae
g
e
isl_map_simplif
y
.
c:
div_find_coalesce:
a
dd memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdo
o
laeg
e
isl_basic
_
ma
p
_offset:
add
m
emory management
annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
rdoolaege
i
s
l_convex_hull
.
c: set_
b
oun
d
s:
a
dd
mem
o
ry management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
ven Ve
r
doolaege
polytope_scan
.
c; isl_basic_set_scan_samples: add memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Ver
d
oolaege
p
ip
.
c: to_par
a
meter_
d
o
m
ain: add m
e
mor
y
manag
e
ment anno
t
at
i
ons
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolaege
isl_
c
onvex_hull
.
c:
i
sl_basic_set_
a
dd_equa
l
ity: add
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olaege
isl
_
equalit
i
es
.
c: compress_variables: add memo
r
y ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verd
o
olae
g
e
i
sl_affi
n
e_hull
.
c: uset_affi
n
e_hull_boun
d
ed:
ad
d
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolaege
isl_a
f
fine_hull
.
c: affine_hull
:
a
dd memory
management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven V
e
r
do
o
l
a
ege
isl_affine_hull
.
c: tran
s
f
orm_column: a
d
d
m
emory
m
anagement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
S
v
e
n
Verdoo
l
aege
isl_affine_hull
.
c: construct
_
column: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
V
erdoolaege
isl_map
.
c
:
add_divs: add
m
emory manage
m
ent
a
n
notations
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven
Verdoolaege
isl_map
.
c: b
a
sic_map_in
i
t: add memory managemen
t
annotatio
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdool
a
ege
isl
_
b
a
sic_
s
et_compare_at: add memory management annot
a
t
i
o
n
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-21
Sven Verdoo
l
aeg
e
isl
_
ast_build_need_schedule_map: drop spurious
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
S
ven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2018-08-20
Sven V
e
rdoolaege
isl_bernste
i
n
.
c: extract_coe
f
fi
c
ients: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven Verdoolaege
isl_tab_pip
.
c:
n
eed_substitut
i
on: improve erro
r
handli
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven
Verdo
o
laege
is
l
_sche
d
ul
e
_tree
.
c: any_coinci
d
ent:
im
p
rove error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-20
Sven
Verdoolaege
i
sl_
b
asic_map_d
u
p
: imp
r
ove erro
r
han
d
ling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
Sve
n
Verdo
o
l
a
e
ge
isl_
c
ell_free: return NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
Sven V
e
r
doolaege
isl_vertex_free: return NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
Sven V
e
rdoolaege
isl
_
qp
o
l
yno
m
ial_fold_fre
e
:
re
t
u
rn NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
Sven Ve
r
doo
l
aege
isl_term_free: return NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-17
S
v
en Verdoolaege
isl_flow
_
free:
r
etur
n
NULL
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdoola
e
g
e
i
sl_r
a
nge
.
c:
bound
_
is_int
e
ger
:
fix m
e
mor
y
m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
S
v
e
n
Verdoolaege
isl_basic_map_a
l
ign_divs:
i
mprove er
r
or handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
Sven
Verdo
o
laege
isl
_
sched
u
ler
.
c
:
add
_
node: p
l
ug memory l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verd
o
o
laege
i
sl_basic
_
map_fr
o
m_constr
a
i
n
t_m
a
tr
i
c
e
s:
p
lug
memory
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
Sven Verdool
a
ege
isl_sc
h
ed
u
l
e
_tr
e
e
.
c:
subtree_schedule_exten
d
_fr
o
m
_chil
d
r
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
S
v
en
V
erdoolaege
isl
_
transi
t
ive_closure
.
c: increment: clea
r
enti
r
e constr
a
int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-16
Sven Ver
d
oolaege
split ISL_BASIC_MAP_NORMALIZED into *_
N
O
_R
E
D
U
NDA
N
T
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-15
S
v
en Verd
o
olaege
isl
_
map_
s
imp
l
ify
.
c: isl_b
a
sic_m
a
p_eliminate_vars: drop
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-15
S
v
en Verdoolaeg
e
isl_m
a
p
_
simplify
.
c: set
_
div_from_eq: d
r
op redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-15
Sven Verdo
o
l
a
e
ge
isl_m
a
p_s
i
m
p
lif
y
.
c: eliminate_var_
u
sing_equ
a
lity:
d
r
op
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-15
S
ven Verdoolaege
isl_map
.
c: ins
e
rt_b
o
unds_on_div_from
_
i
n
e
q
: drop redu
n
dant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-08-14
Sven Verdo
o
laege
no lon
g
er use
whole-component sched
u
le
r
by
d
e
f
ault
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next