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_tab_pip.c: isl_context_op.free: return NULL
2016-07-19
Sven
Verdoolaege
isl_tab_pip
.
c: i
s
l_context_
o
p
.
free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Ver
d
oolaege
isl_
t
ab_pip
.
c
: isl_c
o
ntext_op
.
ad
d
_div: return
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
ven Ver
d
oolaeg
e
isl_tab_pip
.
c:
contex
t
_
t
ab
_
add
_
di
v
:
r
eturn
i
sl_b
o
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
S
v
en Verdoolae
g
e
isl_tab_pip
.
c: a
d
d_div: a
d
d memor
y
management
a
nno
t
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven V
e
rdoolaege
i
sl_
t
a
b_pip
.
c: isl_con
t
e
x
t_op
.
a
dd_div:
add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sven Ve
r
d
oola
e
ge
isl_t
a
b_pip
.
c: con
t
ext_tab_a
d
d
_
d
i
v: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sv
e
n Verdoolaege
isl
_
ta
b
_pip
.
c
:
set_f
r
om_aff
i
ne_matrix: i
m
pro
v
e error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n
Verdool
a
ege
isl_map_coa
l
esce: add
ch
e
ck that
basic map and tableau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
is
l
_tab_det
e
c
t
_
i
mplic
i
t_eq
u
alities
:
do
not add extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
is
l
_tab
.
c: c
u
t_to_hyperplane: improve error message
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoo
l
a
e
ge
isl_
t
ab
.
c: cut_to_hyper
p
lane:
r
eturn isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
Verdoolaege
is
l
_
t
a
b
.
c: clo
s
e_row
:
impr
o
v
e error me
s
sa
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_
t
ab
.
c: c
l
ose_row: impr
o
ve error m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
Verdoolaege
isl
_
t
ab
.
c: close
_
row: return
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ve
n
Verdoolaege
ex
p
ort isl
_
pw_qpolynomial_eval
a
n
d isl_
u
nion
_
pw_qpolynomia
l
_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
er
d
oolaege
export
isl_pw_qpolyn
o
mial
_
domain an
d
i
s
l_union_pw_
q
polyn
o
mia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Verdoolaege
export isl_b
a
s
ic_s
e
t_sample
_
point and i
s
l_set_sample_point
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en Ver
d
oolaege
p
yt
h
on
i
nte
r
face: add typ
e
ch
e
c
k
t
o __str__
m
ethods
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en V
e
rdoolaege
pytho
n
interface: is
l
_class::print_method: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sve
n
Verdool
a
e
ge
pytho
n
in
t
erface:
isl_class::prin
t
_method:
update documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verd
o
ola
e
g
e
declare more isl_*_to_str
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
python interface: isl_
c
lass
:
:
print_method: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
e
n Verdo
o
laege
exp
o
s
e i
s
l_ast_n
o
d
e_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en V
e
rdoolaege
du
m
p
isl_ast_e
x
p
r
a
nd is
l
_ast_n
o
de objects
in block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
s
l_schedule
.
c:
extract out gen
e
ric *_to
_
str and *_
d
ump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
isl_printer_p
r
i
n
t_ast_node: include iterat
o
r of for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
is
l
_print
e
r_print_
a
s
t
_
nod
e
: pr
i
nt
isl_ast_node as YA
M
L
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoo
l
aege
isl_print
e
r_print_ast_expr: support a
n
isl format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sv
e
n Ve
r
doolaege
isl_prin
t
er
_
print_
a
st
_
expr:
extract out
p
rint_ast
_
ex
p
r_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl_as
t
.
c:
isl_printer_pri
n
t_ast
_
exp
r
: dro
p
needless
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolae
g
e
isl_ast
.
c: r
e
move mo
r
e remnants of code re
m
oved before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
v
en
Verdoo
l
ae
g
e
interface: u
p
d
a
te to Compile
r
I
n
v
ocation::s
e
tLangDefa
u
lts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
M
e
rge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
i
sl_printer_print_ast_nod
e
: fix pri
n
ting of mark
n
o
d
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
m
ap_is_
e
qua
l
: first
c
hec
k
if
inputs are o
b
viousl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
is
l
_*_lexopt: use act
u
al domain o
f
input as initial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laeg
e
add
i
s
l
_
b
a
sic_set_lexmin_compute_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl
_
map_lexopt*: comput
e
optimum over
approximate
d
omains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_basic_map
_
lex
o
pt*: post
p
on
e
ex
t
r
a
c
t
ion o
f
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
is
l
_*_lexopt
*
: repl
a
c
e "max"
argument by
"fla
g
s"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_tab_basic_map_partial_lexopt*: clean up err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
merge isl_bas
i
c
_
*_
p
artial_
l
ex
*
imp
l
ementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
er
d
o
o
l
a
e
ge
i
s
l_b
a
s
i
c_map_lexopt*: preinit
i
ali
z
e domain in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
merg
e
is
l
_tab_bas
i
c
_
map_pa
r
tial_lex
o
p
t
* implementat
i
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
rena
m
e bas
i
c
_
map_partial_lexopt
*
_pma to basic_m
a
p_part
i
a
l
_
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolaege
rename basic_m
a
p_pa
r
tial_lexopt*
_
map to bas
i
c_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
rena
m
e basi
c
_
map_partial_lexopt_bas
e
t
o
basic
_
map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdo
o
l
a
ege
a
d
d intermed
i
ate isl_tab_basic
_
map_par
t
ial_lexopt_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verd
o
olaege
isl_basic_map_compatible_domain
:
r
eturn isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
rdo
o
laeg
e
isl_space_match: r
e
turn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
d
ool
a
ege
isl_space_match: rena
m
e
"
dim" argument
s
to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aege
isl_space
.
c:
m
atch:
r
e
name "di
m
" arguments to "space"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
isl_basic_map_c
o
mpatible_dom
a
in: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_
b
asic_*_partial_lex*: add me
m
o
ry
m
anage
m
ent annotation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_tab_basic_m
a
p_partial_lex
o
pt: add
m
emory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
sl_tab_pip
.
c
:
is
l
_context_gbr_allo
c
: add memory mana
g
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab
_
pip
.
c:
i
sl_context_alloc: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
is
l
_
t
a
b_pip
.
c:
p
r
op
a
g
ate
_
equ
a
lities: remove undo tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoolae
g
e
add isl_tab_need_u
n
do and isl_tab_clear_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoola
e
ge
is
l
_tab_basic_map_partial_lexopt: limit scope of symmetry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rdool
a
ege
isl_t
e
st
.
c: generalize isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaeg
e
d
oc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
do
c
:
m
a
ke rea
s
on for isolate o
p
t
ion re
s
ulting in a
n
chored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
ven Verdoola
e
ge
is
l
_t
a
b_
p
ip
.
c
:
p
ara
l
lel_con
s
tr
a
ints:
remove stal
e
l
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c: fix
typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
ven Verd
o
olaege
i
sl
_
*
_partial_lex{m
i
n,max}_pw_multi_aff: handl
e
existentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaege
isl_tab_pip
.
c: sol_pma_add: extract ou
t
s
e
t_from_a
f
fi
n
e_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
Verdoolaege
add isl_basic_set_div_i
s
_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoolaege
add isl_basic_set_swap_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdo
o
laege
add isl_mat_scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
isl_pip: a
l
low existen
t
ially qua
n
ti
f
ie
d
v
ariables in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
p
i
p
.
c
: set_plug_in_parameters: add
memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n
V
erd
o
o
l
aege
pip
.
c; p
l
ug_in_parameters
:
add memory
m
anagement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Verdoola
e
ge
pip
.
c: o
p
t_at: add memory manage
m
ent ann
o
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven V
e
r
do
o
la
e
ge
pip
.
c: opt
_
at: avoid
a
ccess
i
ng
ctx field direc
t
ly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
o
olaege
ad
d
i
sl_basic
_
map_div_is_m
a
rk
e
d_unknow
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdool
a
ege
isl
_
map
.
c:
div_is_
u
n
known:
r
etu
r
n
i
sl_boo
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
Sven Verd
o
o
l
aege
i
s
l
_
s
pace_fi
n
d_dim
_
b
y_
n
a
m
e: chec
k
t
hat dimension has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdo
o
laege
do
c
: c
l
ar
i
fy th
a
t isl_printer_
g
et_s
t
r c
a
n
o
n
l
y be
used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sv
e
n Verdo
o
laege
isl_o
u
tput
.
c
:
p
ri
n
t_constraints: avo
i
d
invalid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erd
o
olaege
isl_output
.
c
:
print_dis
j
unc
t
:
a
void
i
nvalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erdoolaege
isl_
o
utput
.
c:
i
sl_map_print_isl
_
body: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Ve
r
doolaege
is
l
_printe
r
_get_
s
tr: report
e
rr
o
r
w
h
en called on wrong
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sve
n
Verdoolaege
doc: clean up e
x
tra file
s
generated by biblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Ver
d
oolaege
isl_schedu
l
e_node_ban
d
_split: pr
e
serv
e
i
s
olate
o
pti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
a
dd pr
i
vate is
l
_sch
e
dule_band_replace_ast_build_o
p
tio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
oolaege
u
se isl_schedule_node_band_g
e
t_ast_i
s
olate_option to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Ver
d
oo
l
a
ege
add isl_sche
d
ule_band_get
_
ast_isol
a
te_option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdool
a
eg
e
i
sl_basic
_
ma
p
_remov
e
_redun
d
anc
i
es: sort constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolae
g
e
i
sl_coalesce
.
c:
fuse: simplif
y
fused r
e
sult imme
d
ia
t
ely
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_co
a
lesc
e
.
c: fus
e
: call isl_b
a
sic_map_finalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sve
n
Verdoolaege
i
sl_map
_
c
oalesce
:
c
h
eck
for p
r
o
t
r
u
sions on a
d
j
a
cent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n V
e
rdoolaeg
e
is
l
_
m
ap_coalesce: allow pr
o
trusions ou
t
o
f
equality
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoo
l
ae
g
e
isl_coalesce
.
c: wrap_in_face
t
s
:
e
x
t
ract out try_w
r
ap_in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdo
o
laege
i
s
l
_coalesce
.
c:
c
an_
w
rap_in_s
e
t: e
x
tra
c
t o
u
t type_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
olaege
i
s
l_co
a
lesce
.
c: wrap_in_facets: extrac
t
out w
r
a
p
_in_
f
ac
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_c
o
alesce
.
c
:
can_
w
rap_in_set: minor simplification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoola
e
ge
i
sl_coa
l
esce
.
c
:
w
rap
_
in_fac
e
ts: do not pass in
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_ma
p
_c
o
alesce:
tigh
t
en constraints of poten
t
ial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Ver
d
o
o
laeg
e
i
sl
_
m
a
p_coales
c
e: allow gener
a
l coalescing w
i
th expanded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next