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_set_dim_residue_class: use isl_basic_set_get_ctx
2015-02-02
Sven Ve
r
doolae
g
e
add isl_multi
_
pw_a
f
f_lex_lt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sv
e
n V
e
r
doolaege
a
d
d i
s
l_mul
t
i_p
w
_aff_eq_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
S
v
en Verdoolaege
a
dd isl_pw_aff_gt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdo
o
laeg
e
add
i
sl_pw_
a
f
f
_
lt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
add isl_pw_aff_eq_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
S
ven Verdoolaege
interface/python
.
cc: fix line lengths t
o
80
c
olum
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Andreas Simbuerger
int
e
rf
a
ce/extract_interfa
c
e
.
c
c
: restore c
o
mpatibi
l
i
t
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdo
o
laege
isl_tab
.
c:
drop_co
l
: drop c
o
lumn before
dropping correspondi
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
S
v
en Verdoolaege
isl_t
a
b_is_redundant: check
w
h
e
ther
p
a
sse
d
constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaeg
e
isl_co
a
lesce
.
c: coale
s
c
e
_with_s
u
bs: add div c
o
n
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
is
l
_coale
s
c
e
.
c: add_subs: split
a
dding of
v
a
r
iables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
r
d
o
o
laege
gene
r
al
i
ze i
s
l_multi_aff_
f
loor t
o
isl_multi_union
_
pw_aff_fl
o
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add is
l
_multi_union_pw_af
f
_extra
c
t_mu
l
ti_p
w
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add
isl_
m
ulti_
u
nion_pw_aff_pull
b
ack_u
n
io
n
_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
a
d
d
i
sl_multi_union_
p
w
_
aff_apply_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ver
d
oolaege
add isl_multi_union_pw_aff_a
p
ply_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolaege
ad
d
isl_multi_union_pw
_
a
f
f_
a
pply_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
add isl
_
m
u
lti_unio
n
_pw_aff_appl
y
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
add isl_mult
i
_
union_pw_aff_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoo
l
aege
a
d
d
isl_
m
ult
i
_
union_pw_af
f
_intersect_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
r
d
oolaege
add isl
_
union_p
w
_multi_aff_fro
m
_m
u
lti_union_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
add isl_union_ma
p
_fro
m
_
m
ulti_union_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
add isl_union_map
_
r
es
e
t_range_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_m
u
lti_un
i
on_pw
_
aff_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdo
o
laege
add isl_multi_union_pw_aff_
z
ero_union_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolae
g
e
add isl_multi_
u
ni
o
n_
p
w
_
aff_mu
l
ti
_
aff_on_
d
om
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdoo
l
a
ege
a
d
d isl_multi_union_pw
_
aff_mu
l
ti_val_o
n
_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
add i
s
l
_
m
ulti_union_pw_
a
f
f
_from
_
union_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaeg
e
ad
d
isl_m
u
lt
i
_union_pw_aff_from_union_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
a
d
d isl_multi_union
_
pw_aff_fr
o
m_multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
doolaege
a
d
d isl_m
u
lti
_
union_pw_aff_from_multi_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
add
i
sl_multi_
u
nion_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
gen
e
ralize isl_
m
ulti_*_gist and isl_mult
i
_*_intersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
extract o
u
t
i
sl_mul
t
i_gist
.
c an
d
isl_multi_
i
n
ter
s
ect
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
extrac
t
out isl_
m
ulti_macro
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
streamline isl
_
multi_*_
{
gist*,intersect_*}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoolae
g
e
isl_union_pw_*_alig
n
_
p
aram
s
: extract out isl_union_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdool
a
e
g
e
isl
_
union
_
pw_*_align_params: dro
p
dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
rdoolaeg
e
add is
l
_union_pw_aff_
p
ullback_unio
n
_pw_mul
t
i
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_un
i
on_map_fr
o
m_un
i
o
n_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdoolaege
ad
d
isl_un
i
on_pw_aff
_
ze
r
o_
u
nion_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
do
o
la
e
ge
a
d
d
isl_union_pw_
m
u
l
ti_aff
_
from_union_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
add isl_union_pw_multi_aff_
g
et
_
un
i
on_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoo
l
aege
ad
d
is
l
_unio
n
_
pw_aff_m
o
d_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
doolaege
add isl_union_pw_aff
_
aff_
o
n_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdoolaege
add isl
_
union_pw_aff_v
a
l_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
ol
a
e
g
e
add isl
_
union
_
pw
_
a
ff
_
flo
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
a
d
d isl_uni
o
n_pw_af
f
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
erdoo
l
aege
add isl_u
n
ion_
p
w_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaeg
e
is
l
_outp
u
t
.
c: print_pw_aff_isl: extract out print_pw_aff_body
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
laege
isl
_
un
i
o
n
_
t
em
p
l
.
c: allow multiple inclu
s
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
ad
d
isl
_
union_map
_
domain_map_uni
o
n_pw
_
multi_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
a
dd isl_uni
o
n_pw_mu
l
ti_a
f
f_
p
u
llb
a
ck_uni
o
n_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven V
e
rdoolaege
add isl
_
union_pw_multi_aff_f
r
om_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
ad
d
i
sl_union_pw_
*
_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
add isl_unio
n
_pw_*_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl
_
union_pw_*_n_pw_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n
Verdoolaege
ad
d
is
l
_union_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en V
e
rd
o
olaege
add isl_pw_*_re
s
et_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
V
e
rdool
a
ege
a
d
d
i
sl_pw_multi_aff_
r
a
nge_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
erdoolaege
ad
d
i
s
l_p
w
_af
f
_pos_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
isl_pw_aff
_
n
on
n
eg_set: merge implementation wi
t
h
p
w_aff
_
zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoola
e
ge
generalize isl_union_pw_qpo
l
ynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Tobi
a
s Gross
e
r
Fix some typ
o
s
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaeg
e
add
i
s
l
_multi_*
_
neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaeg
e
add isl_multi_*
_
mod_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdo
o
laege
add is
l
_multi
_
val_read_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
ven V
e
rdoo
l
aege
is
l
_input
.
c
:
read_tuple: sepa
r
ate
tuple
p
arsi
n
g from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
V
e
rdo
o
laege
gen
e
r
alize isl_m
u
l
ti_aff_su
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven van
Haastregt
doc: clar
i
fy list c
a
pa
c
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
ven
V
erdoolaege
isl_map
_
coalesce: harmonize integ
e
r divisions
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en Verdoolaege
add isl_tab_
s
hift_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
v
en V
e
rdoolaege
add is
l
_basi
c
_m
a
p_shift_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_ma
p
_coa
l
esce
:
coalesce
wi
t
h
in affine hull first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
d
o
o
laege
priv
a
tel
y
ex
p
o
rt isl_basic_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
ege
isl
_
map_coalesce:
try
and c
o
alesce
basi
c
maps with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
isl_coa
l
esce
.
c: is_adj_
e
q_extension:
allow
b
asic
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
is
l
_
c
oal
e
sce
.
c:
f
use
:
allow b
a
si
c
maps
t
o have different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolae
g
e
isl_map_
c
oalesce:
remove hidden facto
r
s
f
rom
constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n
Verdo
o
laege
add i
s
l
_basic_map_r
e
d
u
ce_coefficient
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map_coalesce:
h
a
ndle div
s
that have been sim
p
lified
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
privately export
isl_aff_su
b
st
i
tute_equalit
i
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaeg
e
add isl_local_
s
pace_w
r
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdoolaege
add isl_tab_i
n
ser
t
_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n Ver
d
o
o
l
a
e
ge
isl_map_co
a
l
e
s
ce: chec
k
for subs
e
ts with small
e
r
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolaege
add isl_basic_
m
ap_plain_affine
_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verd
o
ol
a
ege
isl_c
o
alesce
.
c
:
c
a
n
_
w
rap_in_fac
e
t: only wrap facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoola
e
ge
isl
_
coales
c
e
.
c: can_wr
a
p_in_facet: ex
t
ract o
u
t
a
dd_w
r
aps_aro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoolaege
isl_coalesce
.
c:
check_a
d
j_eq: allow
c
u
t constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
V
e
r
do
o
l
a
e
g
e
isl_c
o
alesce
.
c: check
_
a
d
j_eq: drop redundant tes
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaeg
e
isl_coalesce
.
c
: wr
a
p
_
in
_
facets: check fo
r
n
u
mbe
r
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl
_
c
oa
l
es
c
e
.
c
:
w
r
ap
_
in_facets: only wrap around
o
ther
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
ve
n
Verdool
a
e
g
e
isl
_
map_coa
l
e
sce: only wr
a
p con
s
tra
i
nts th
a
t are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verdoolaege
isl_coalesce
.
c:
a
dd_wrap
s
:
extract out
c
ommon add_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ve
r
doo
l
aege
isl_coales
c
e
.
c: fuse:
copy vali
d
half of equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verd
o
olaege
isl_coalesce
.
c: fuse: extract ou
t
add_valid_const
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
doolaege
a
d
d ex
t
ra isl_set_co
a
lesce
test case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoo
l
aege
i
s
l_te
s
t
:
gen
e
ralize coalesce t
e
sts with un
b
ounded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n V
e
rdoolaege
is
l
_c
o
alesce
.
c
:
c
o
nt
a
ins:
a
lw
a
ys retu
r
n
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoolaege
isl_coal
e
s
ce_i
n
fo
:
add
e
quality and inequal
i
ty ty
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next