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
add isl_map_dim_min
2016-07-01
T
o
bias Grosser
add isl_ma
p
_
d
im_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ve
r
doolaege
export
isl_
p
w
_
qpoly
n
omial_eval a
n
d
i
s
l
_union_
p
w_q
p
olynomia
l
_eval
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sv
e
n Verdoolaege
e
x
p
ort isl_pw
_
qp
o
lynom
i
al_domain and isl
_
u
n
i
o
n_pw
_
qpolynomia
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolae
g
e
expor
t
isl_basic_set_samp
l
e_point and isl
_
se
t
_sample_point
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
obias Grosser
python interface: ex
p
ose cons
t
ru
c
tion of AST
n
ode from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
er
python in
t
e
rface: exp
o
se isl_ast_build and isl_ast_expr
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
To
b
ia
s
Grosser
python inte
r
face: auto
m
a
t
ically de
r
iv
e
method type
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
T
o
bi
a
s
G
rosser
pyth
o
n interface: only
e
x
po
r
t __str__
a
n
d
__repr__
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Ve
r
d
o
olaege
python interface: a
d
d type check
t
o
__
s
tr__ me
t
h
o
ds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
py
t
hon i
n
t
e
rface
:
isl_class:
:
print_met
h
od: extrac
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven Verdoolaege
p
y
t
h
on interface: isl_cl
a
ss
:
:print_metho
d
: update documentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
S
v
en V
e
rdoolaege
de
c
lare more isl_*
_
to_str fu
n
ctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
os
s
er
python interf
a
ce:
s
upport 'char *' and 'const
c
har
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Sven
V
erdoolaege
python interface: isl_clas
s
::print_method: e
x
tract
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias G
r
osser
python interfa
c
e: extract
m
ethod prin
t
_method_typ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias Gros
s
e
r
python interface: add exported_ prefix
to MyAST
C
o
nsumer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobi
a
s Grosser
pyth
o
n inte
r
face: e
x
t
r
act me
t
ho
d
print_
m
ethod_types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-07-01
Tobias
G
r
osser
python interfa
c
e:
extr
a
ct method print_representation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
a
e
g
e
expos
e
isl
_
ast
_
node
_
t
o
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoolaege
dump isl_ast_expr and
isl_ast_node obj
e
cts in bl
o
ck
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
V
erdoo
l
a
eg
e
isl_sche
d
ule
.
c: ext
r
ac
t
out generic *_to_s
t
r and *_d
u
mp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdoola
e
g
e
isl_p
r
inter_p
r
int_as
t
_node: incl
u
de itera
t
or of
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven V
e
rdoolaege
isl_printer_
p
rint_ast
_
n
ode: print isl_ast_node as YAML
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
i
s
l
_print
e
r_prin
t
_a
s
t_expr:
s
u
pport an i
s
l format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Ve
r
doolaege
isl_printe
r
_p
r
int_ast_expr: extr
a
c
t out print_as
t
_expr_c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven
Verdoo
l
aege
isl_ast
.
c: isl_prin
t
er_
p
rint_ast_expr: drop needless
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoolaeg
e
isl_ast
.
c: r
e
m
o
ve more remnants
o
f c
o
d
e
remo
v
ed befo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ve
n
Verdoolaege
interface: upda
t
e to Com
p
ilerInvocatio
n
::setLangDefault
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-28
S
ve
n
Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2016-06-28
Sven Verdoo
l
aege
isl_printer_p
r
int_
a
st_node: fix printing of
mark nodes
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
doolaeg
e
i
sl_map_is_equal: f
i
rst
ch
e
ck if i
n
puts are obviously
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l
_
*_lexopt: u
s
e actual domain o
f
input as in
i
tial
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
eg
e
add isl_basic_set_
l
e
x
min
_
c
ompute_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdool
a
e
g
e
isl_map_lexopt*: c
o
mpute optim
u
m over approxim
a
te domain
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
i
s
l_b
a
sic_map
_
lexo
p
t*: postpone extraction
of domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
i
s
l
_*_lexopt*:
r
eplace "max" argument by
"fl
a
gs"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdoolaege
isl_tab
_
basic_map_partial_lexopt*: cl
e
an up
e
rror handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
e
rdool
a
ege
m
erge
i
s
l
_basic_*
_
partial
_
lex* impleme
n
tations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
Verdoolaege
isl_ba
s
i
c_map_lexopt*
:
preinitialize do
m
ain in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
m
er
g
e isl_tab_
b
asic_map_p
a
r
t
i
al_lexopt* implemen
t
at
i
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven V
e
rdoolaege
rename ba
s
ic_map_partial_l
e
xopt*_pma to basic_map_partial
_
le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdo
o
l
aege
ren
a
m
e
basic_ma
p
_parti
a
l_lexopt*_m
a
p to basic_map_partial_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdo
o
l
a
ege
rena
m
e
b
asic_map_partial_lexopt_base to basic_map_par
t
i
a
l_le
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
Verdoolaege
add interme
d
iate isl
_
tab_basic_map_par
t
ial_lexopt_pw
_
mu
l
t
i_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ver
d
oolaege
isl_basic_map
_
compatible_d
o
mai
n
: retur
n
i
s
l_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Ver
d
oolaege
isl
_
space_match: ret
u
rn isl
_
bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdo
o
laege
isl
_
space_match: re
n
ame
"
d
im
"
arguments to "spac
e
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven Verdool
a
ege
isl_
s
p
a
ce
.
c: match: rename "dim" arguments to "s
p
ace"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Ve
r
doolaege
isl
_
basic_m
a
p_compatible_domain: add memor
y
m
a
nagement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven
V
erdoolaege
isl_b
a
sic_*_partial_lex*: add memo
r
y
ma
n
a
g
eme
n
t an
n
ot
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sven V
e
r
doolaege
isl_
t
a
b
_basi
c
_map_pa
r
tial_lexo
p
t: add m
e
mory managemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n Verdoolaege
is
l
_tab_p
i
p
.
c:
i
s
l_con
t
ext_
g
br_a
l
l
oc:
a
dd memory manag
e
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
en Verdoola
e
ge
isl_tab_pip
.
c:
i
s
l_context_
a
ll
o
c
:
add memory managem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Verdoolaege
is
l
_tab_
p
ip
.
c
:
propa
g
at
e
_equali
t
ies: remove undo
tracking
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdoolaege
a
d
d
i
sl_tab_nee
d
_undo
and isl_tab_clear_undo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
Sv
e
n
V
erdoolaege
i
sl_tab_b
a
s
i
c_map_partia
l
_
l
e
x
opt: limit
s
c
ope of sy
m
metry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
v
e
n Verdoolaege
isl_test
.
c
: gene
r
alize isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ve
n
Verdoolaege
d
o
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-27
S
ven Ve
r
doolaege
doc:
m
a
ke reason
for
i
s
olate opt
i
on resulting in anchored
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven
V
er
d
oola
e
g
e
isl_tab_pip
.
c: parallel_const
r
aints: rem
o
ve stale line
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
Sven Verdoolaege
isl_tab
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-24
S
ve
n
Verdoolaege
isl_*_pa
r
tial_lex{min,max}_pw_mul
t
i_aff: hand
l
e existentiall
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
ven Verdoola
e
g
e
isl_tab_pip
.
c: sol_pma_add
:
extr
a
ct out se
t
_from_affine_m
a
tri
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
add
i
sl_
b
asic_set_div_is_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erdoolaege
add isl_
b
asic_set_swa
p
_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
e
r
doolae
g
e
add
isl_mat_scale
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaeg
e
isl_pip: allo
w
existentially quantifi
e
d
v
ariables in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
S
v
en Verdoolaeg
e
p
i
p
.
c:
set_p
l
ug_
i
n_param
e
ters: add memo
r
y management
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
ool
a
ege
p
ip
.
c; plu
g
_in_parameter
s
:
add memory
m
ana
g
ement ann
o
tati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verdoolaege
p
i
p
.
c: opt
_
a
t: ad
d
memory
m
anagement annotat
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven
V
erd
o
olaege
pip
.
c: opt_at: av
o
id
a
ccessi
n
g ct
x
f
ield directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Verd
o
o
l
aege
add isl_basic
_
map_di
v
_is_ma
r
ked_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Sven Ver
d
o
olaege
isl_
m
ap
.
c: div_is_unknow
n
:
r
eturn isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
Tobias Grosser
Add new isl_ast_node_to_
C
_st
r
functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bia
s
Gros
s
er
Ad
d
n
e
w
isl_ast_expr
_
to_C_s
t
r functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
To
b
ias
G
r
os
s
er
p
ython interface:
rep
l
ace ass
e
rt wi
t
h
e
x
p
l
i
c
i
t abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-22
T
o
bias G
r
osser
python interfa
c
e: replace assert with
expl
i
cit abort
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-21
S
v
en Verdo
o
la
e
ge
isl
_
spa
c
e_find_dim_by_name: c
h
eck t
h
at di
m
ension has
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdoolaege
d
o
c:
c
larify that isl_printer_g
e
t
_
str can only b
e
used
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven Verdool
a
ege
isl_output
.
c: pri
n
t_cons
t
raints: a
v
oid invalid ac
c
e
ss
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Verdoolaege
isl_output
.
c
: prin
t
_dis
j
unct:
a
void invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
Ve
r
doola
e
g
e
isl_output
.
c: isl_map_print_isl_b
o
dy:
hand
l
e NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-17
Sven
V
erd
o
ol
a
e
ge
isl_printer_get_str: rep
o
rt error when c
a
lled on wron
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-14
Sven Verdoolaege
doc: clean up extra files generated by
b
iblatex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
isl_schedul
e
_no
d
e
_
b
and_spl
i
t: preserve isolate
o
p
t
io
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sv
e
n Verdoola
e
g
e
add pri
v
ate isl
_
schedule_band
_
repl
a
ce_
a
st_build_
o
ption
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verdoolaege
use isl_schedu
l
e_n
o
de_band_get_ast_isolate_op
t
ion to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-13
Sven Verd
o
olae
g
e
add isl_sche
d
ule_
b
and_g
e
t
_ast_isolate_opt
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven Verdoolaeg
e
isl_basic_map_rem
o
ve_red
u
ndancies: sort constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
Sven V
e
rdoo
l
aege
isl_coalesce
.
c:
f
use: simplify fused r
e
sult immed
i
ately
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-11
S
ven Verdoolaege
isl
_
coalesce
.
c: fuse:
c
all isl_basic_map_
f
inal
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoo
l
aege
i
s
l_
m
ap_coalesc
e
:
c
he
c
k for
p
rotrusions on adjacent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaege
isl_map_coalesce
:
a
l
lo
w
pr
o
trusi
o
ns
out of equali
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sv
e
n Verdoo
l
aege
is
l
_coal
e
sc
e
.
c: wrap_in_facets: extrac
t
out
t
r
y_wrap_in_facets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaeg
e
isl_coales
c
e
.
c:
can
_
wrap_in_set: extr
a
ct o
u
t
type_of_relaxed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdoolaege
isl_coalesce
.
c: wrap_in
_
fa
c
ets: extrac
t
o
u
t wrap_in_facet
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Ve
r
doo
l
aege
isl_coal
e
sce
.
c: can_wr
a
p_in_set: minor
s
im
p
lificatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven
Verdoolaege
isl_coalesce
.
c
:
wrap_in_facets: do n
o
t pass
i
n
list
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
S
ven Verdoolaeg
e
isl_map_coal
e
sc
e
: tighten
constraints of potential
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-06-10
Sven Verdo
o
laege
isl_map_co
a
lesce:
a
llow gene
r
al coal
e
scing with expan
d
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next