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.c: perform_undo: extract out drop_bmap_div
2016-07-19
Sven Verdoolaege
isl_tab
.
c: perform_und
o
:
e
xtract out drop_bmap_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
e
rdoo
l
aege
privatel
y
export isl
_
basic
_
map
_
drop_di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
is
l
_b
a
sic_map_dr
o
p_
d
iv: add memory management annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
erdoolaege
i
s
l
_tab_
p
ip
.
c: isl
_
context_o
p
.
free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoo
l
aege
isl_tab_pip
.
c:
i
sl_conte
x
t_op
.
add_div: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sve
n
V
erdoolaege
isl_tab_pip
.
c:
c
ontext_tab_add_div: r
e
tu
r
n is
l
_b
o
o
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven
V
e
r
doolaege
i
s
l
_
tab
_
pip
.
c: add_di
v
:
add memo
r
y management annotation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-19
Sven Verdoolaege
isl_tab_pip
.
c: isl_context_op
.
ad
d
_div: add memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
Sven Verdoo
l
aege
isl_ta
b
_pip
.
c
:
context
_
t
a
b_add_
d
iv: ad
d
memory m
a
na
g
eme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-18
S
ven Verdoolaege
i
sl_tab_pip
.
c: set_from_a
f
fine_matrix: impr
o
ve er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoo
l
aege
isl_map_coalesc
e
:
a
dd check that basic map and t
a
b
leau
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
S
ven Verdoolaege
isl_tab_de
t
e
c
t_implicit_equalities: do n
o
t add extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven
Verdoolae
g
e
i
s
l
_tab
.
c: c
u
t_to_hyperplan
e
: imp
r
ove error mes
s
age
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven V
e
rdoolaege
isl_ta
b
.
c: cut_to_hyperplane: retur
n
is
l
_
s
t
at
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sv
e
n Verdoolaege
isl_tab
.
c: close_row: im
p
rove e
r
ro
r
m
e
ssage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sven Verdoolaege
isl_t
a
b
.
c: close_r
o
w
:
impr
o
ve
err
o
r
me
s
sage
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-14
Sve
n
Ve
r
doola
e
ge
isl_tab
.
c
:
close
_
row: return i
s
l
_
stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Verdo
o
l
ae
g
e
export
isl_p
w
_qpo
l
ynomial
_
eval and isl_union_p
w
_
q
polynomial_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
export isl_pw_qpolynomial_
d
omain a
n
d isl_
u
nion_pw_
q
polynomi
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ver
d
oolaege
export isl_basi
c
_set_
s
ample_poin
t
and
isl_set_sample_poi
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
ven Verdoolaeg
e
pyt
h
on inter
f
ace: add type ch
e
c
k
t
o __str__ meth
o
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ve
r
d
o
ola
e
ge
python interfac
e
:
isl_cla
s
s::
p
rin
t
_method:
extr
a
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ve
r
doolaege
pyt
h
on interface: isl
_
c
l
ass::p
r
int_method: update do
c
umentati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaeg
e
decl
a
r
e
more isl_*_to_str
f
u
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Ve
r
doolaege
pyt
h
on interface: isl_class::
p
rint_method: extract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
oolaege
expose isl_ast_no
d
e_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolae
g
e
d
u
mp isl_
a
st_expr
a
nd isl_ast_
n
ode objects
i
n
block
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaege
isl
_
schedule
.
c
: ex
t
ract ou
t
generic *_
t
o_
s
t
r and
*
_
d
ump
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sve
n
Verdoolaege
isl_printer
_
p
r
int_a
s
t_node: in
c
lude
i
te
r
ator of for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ven Verdoolaege
isl
_
p
r
inter_print_ast_node: pr
i
nt isl_a
s
t_node as YAML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoolaege
isl_printer_prin
t
_ast_exp
r
:
s
upport an isl
fo
r
mat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
i
s
l_pr
i
nter_print_ast_expr:
e
x
tract out print_a
s
t_expr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoola
e
ge
is
l
_ast
.
c:
i
s
l_printer_pri
n
t
_
ast_expr
:
drop needles
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
a
ege
isl_a
s
t
.
c:
r
em
o
ve m
o
r
e
remnants of code
r
emoved before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoola
e
ge
interface: update to
Compi
l
er
I
nvoc
a
tion::s
e
tLangDefau
l
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ver
d
o
olaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
isl_
p
rinter_p
r
int_ast_node:
f
i
x
printing of mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoo
l
aeg
e
isl_map_is_eq
u
al: first c
h
e
ck
i
f
i
nputs are obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_
*
_lexopt: u
s
e ac
t
ual domain
o
f
input
as
i
nitial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ve
r
doolaege
a
dd i
s
l_basic_
s
et_l
e
xmin_compute_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
V
e
rdoo
l
aege
isl_map_lexopt*: comp
u
t
e o
p
t
i
m
u
m ove
r
approximate domains
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaege
isl_basic_map_lexo
p
t*: postpone extraction of do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ver
d
oolaege
isl_*_lexopt
*
: re
p
lace "max" argument by "flags"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oo
l
aege
isl_tab_ba
s
ic_map_partial_le
x
opt*
:
c
l
ea
n
up e
r
ror handl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdo
o
laege
merge isl_basic_
*
_partial_lex* implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_basic_map_lexopt*: pre
i
nitialize domain in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Verdoolae
g
e
merge isl_tab_b
a
s
i
c_
m
a
p
_
pa
r
t
i
a
l
_lexopt
*
implementations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoo
l
a
e
ge
rename basic_map_partial_le
x
opt*_pma to b
a
sic_ma
p
_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sve
n
Ver
d
oolaeg
e
re
n
ame
b
asic_map_parti
a
l_lexop
t
*_ma
p
to ba
s
ic_
m
ap_
p
ar
t
ial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
l
aege
r
e
n
ame basic_map_
p
ar
t
ial_lexopt_base to basic
_
map_p
a
rtial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add intermediate isl_tab_basic_ma
p
_p
a
r
tial_lexopt_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_basi
c
_map_compatible_domain:
retur
n
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolae
g
e
is
l
_space_match: retu
r
n isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_spa
c
e_match:
rename "dim" arguments
t
o
"s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoola
e
ge
isl_sp
a
c
e
.
c
:
match: rename
"dim" arg
u
men
t
s
to "sp
a
c
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoola
e
ge
i
s
l_b
a
sic_map_compatible_domain:
a
dd memory m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verd
o
olaeg
e
isl_
b
asic_*_par
t
ial_
l
ex*: ad
d
memory man
a
g
e
ment annotati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaeg
e
isl_
t
a
b_basic_map_partial_le
x
opt: ad
d
memory ma
n
agement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab_pip
.
c: isl_context_gb
r
_alloc: add m
e
mory
m
ana
g
e
me
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
isl_tab_pip
.
c: isl_c
o
ntex
t
_alloc: ad
d
me
m
ory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaeg
e
isl_
t
a
b
_pip
.
c: propagate_
e
qu
a
litie
s
: re
m
ove undo tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
add isl_
t
a
b
_
need_undo and isl_tab_clear_
u
ndo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ver
d
oolae
g
e
isl_tab_ba
s
ic_
m
ap_pa
r
tial_lex
o
pt:
l
imit sco
p
e of symmetry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdo
o
laege
isl_test
.
c: generalize isl_map_lexmin test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaeg
e
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoola
e
ge
doc: make reason
for
i
s
olate o
p
t
i
on res
u
l
ting
i
n ancho
r
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab_pip
.
c: par
a
ll
e
l_
c
onst
r
aints: remove stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Ve
r
doola
e
ge
isl_t
a
b
.
c: fix
t
y
p
o
in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_*
_
partial_lex{min,max}_pw_multi_aff: handle e
x
istentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
o
olae
g
e
isl
_
t
a
b_pip
.
c: s
o
l_pma_add: ex
t
ract o
u
t set_from_affine_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add isl_basic_set_div_is_
k
nown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
add
i
sl_bas
i
c_set_
s
w
ap_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ve
n
Verd
o
ol
a
ege
add
i
sl_mat_scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sve
n
Verdoolaege
isl
_
pip:
a
l
l
ow existentially q
u
a
n
tified variables in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
Verdoolaege
pip
.
c:
s
et_plu
g
_in_
p
arameters: add memory management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
o
l
a
ege
pip
.
c; plug_i
n
_parameters: add memor
y
management annotatio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdool
a
ege
pip
.
c
:
o
p
t_at: add
m
emory m
a
n
agement annotations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sv
e
n Ver
d
o
o
l
aege
pip
.
c: opt_a
t
: av
o
id ac
c
e
s
si
n
g c
t
x field directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n
V
erdoolaege
add
isl_
b
asic_map_div_i
s
_mar
k
ed_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
e
n Verdoolaege
isl_map
.
c: div_is_unknown: r
e
turn
i
sl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
S
v
en Ver
d
o
o
laege
is
l
_spa
c
e
_fin
d
_dim
_
by_n
a
me:
c
hec
k
t
hat dimension has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdo
o
laeg
e
doc
:
clarif
y
th
a
t isl_printer_get_
s
tr can only
be used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
ven Verdool
a
e
g
e
isl_output
.
c: prin
t
_c
o
nstraints:
avoi
d
i
n
valid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
S
v
en
Verdoolaege
isl_output
.
c: print_disjunct: avoid i
n
valid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
isl_ou
t
put
.
c:
i
s
l
_map_prin
t
_isl_
b
ody: handle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoola
e
ge
isl
_
p
rinter_g
e
t_str:
re
p
ort
e
rror when called
o
n wrong
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
S
ven Verdool
a
e
g
e
doc: clean up extra files generated by biblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
S
ven Verdoola
e
ge
isl_sche
d
ule_node_band_
s
plit: preserve isolate
o
pt
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven
Verdoolaege
add
private isl_sc
h
e
dule_band_replace_ast_bui
l
d
_opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
use isl_schedule_node_band
_
get_ast_is
o
late_o
p
ti
o
n to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolae
g
e
add
i
sl_schedu
l
e_band_get_
a
st_is
o
late_
o
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
isl_b
a
s
ic_map_
r
em
o
ve_redundancies: sort constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaege
i
s
l_coale
s
c
e
.
c: fuse: simplify
fused result immedi
a
tely
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven V
e
rdoolaege
isl_coalesce
.
c: fuse: call
isl_
b
asic_map_finaliz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_map_coalesc
e
:
ch
e
c
k f
o
r pr
o
trusio
n
s
on
ad
j
a
c
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolae
g
e
isl_map_coalesc
e
:
a
llow protru
s
i
ons o
u
t of equal
i
ty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
r
doolaege
i
s
l
_coalesce
.
c: wrap_i
n
_f
a
cets: extr
a
ct
out tr
y
_
wrap_
i
n_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven V
e
rd
o
olaege
isl_coalesce
.
c: can_wrap_in_set:
extrac
t
out type
_
of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verd
o
ol
a
ege
isl_coal
e
sce
.
c: wrap_in_facets
:
extract
o
ut wrap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
lae
g
e
isl_coale
s
ce
.
c
: can_wrap
_
in_set: minor simplification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next