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_aff_ceil: compute ceil(e/m) as floor((e + m - 1)/m)
2012-11-13
Sven Verdoolaege
i
s
l_a
f
f_ceil: compute ceil(e/m) a
s
f
l
oor((e + m - 1
)
/
m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl
_
aff_gist: add missing is
l
_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
S
ven Verd
o
olaege
isl_union_se
t
_compute_s
c
hedule: double ch
e
ck t
h
at we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
S
v
en Verdoolaege
isl_union_
s
et_co
m
pute_sche
d
ule: ens
u
re carry_dependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
ven Verdo
o
l
a
e
g
e
update f
o
r ch
a
nge
i
n cla
n
g
's
D
ia
g
nos
t
ic
O
p
t
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
isl_map_plain
_
is_disjoi
n
t: h
a
ndle
i
n
p
u
t
s with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Ver
d
o
olaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Klo
e
ckner
Introdu
c
e isl_int
_
free_str t
o
remove
G
MP de
p
ende
n
c
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven V
e
rdoola
e
ge
isl_union_set_c
o
mpute_schedu
l
e
:
h
a
ndle result with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven V
e
rd
o
olaege
i
s
l_ast_c
o
degen
.
c: gen
e
rate_doma
i
n: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Ver
d
oolaege
isl_ast_bu
i
ld_ast_from_
s
c
hed
u
le: mak
e
c
onstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n Verdoolaeg
e
isl_ast_bu
i
ld_ast_from_
s
che
d
u
le: use "<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Verdoolaege
isl_ast_exp
r
: add isl_ast_op_lt and isl_ast
_
op_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verdoolaege
a
d
d isl_b
a
sic_set_from
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Ver
d
oolaege
isl_a
s
t_exp
r
_
f
r
om_aff:
try
h
a
r
der to use isl_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoolaege
isl_as
t
_bui
l
d
_expr
.
c: separate out extract_modul
o
fun
c
ti
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoo
l
aege
isl_
a
st_bui
l
d_expr
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoo
l
a
e
ge
isl_a
s
t_build_expr
.
c
:
re
m
ove remnants of code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven
V
e
rdoolaege
add
e
xtra A
S
T
g
ene
r
at
i
on test case from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
i
s
l_
p
r
i
nter_p
r
i
nt_str: ha
n
dle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven V
e
rdoolaege
isl
_
as
t
_expr_mod:
perform missing mult
i
plication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tob
i
as Gross
e
r
M
a
ke
sed exp
r
ession
i
n Makefile compati
b
le wit
h
BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_id_set_free_use
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_prin
t
er_print_pw_aff: use
is
l
_ast_e
x
pr when pri
n
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doolaege
add suppor
t
for g
e
ner
a
t
i
n
g ASTs from
s
c
hedule r
e
lations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
o
l
aege
add ISL_CTX_{GET,S
E
T}_S
T
R
_
DEF m
a
cros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
d
oolae
g
e
doc: separate out
polyhedral compilation f
u
n
ctional
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rd
o
o
l
aege
add isl_
s
et_dim_ha
s
_{
l
ower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
d
oolaege
i
s
l_basic_set
_
s
ubstitute: check
t
h
a
t in
p
ut
a
f
f
i
n
e
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_pw_multi_aff_substitute
:
i
m
prove
error
h
a
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
isl_basic_map_align_di
v
s: fix potential inv
a
lid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
is
l
_pw_mu
l
t
i
_aff_from_
m
ap: detect s
t
ri
d
es
i
n output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
isl_pw_m
u
l
ti_aff_fr
o
m
_map:
de
t
ect
easy
f
loors
dir
e
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
p
r
ivately expor
t
i
s
l_
m
a
p_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_*_pullbac
k
_p
w
_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
ol
a
ege
a
d
d isl_pw
_
*
_
pullback_m
u
lti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
a
dd
i
sl_multi_aff
_
pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add
i
sl_aff_pullb
a
c
k
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_local_space_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
a
dd i
s
l_set_p
r
eim
a
ge_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
er
d
oolaege
add isl_set_pr
e
i
m
a
ge_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_basic_set_pre
i
mage_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
laege
i
s
l_st
r
eam
_
new_str
:
fail
on
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
privately ex
p
ort isl_multi_aff_ali
g
n_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl
_
basic_set_
a
dd_div
_
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl
_
map_is_subset: support rational map
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdool
a
ege
isl_stream_read_ma
p
: fix parsing of Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_stream_read_map: ad
d
partial s
u
pport for read
i
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oolaege
isl_pw_aff_nonne
g
_set: re
t
u
r
n
a
r
a
tional set i
f
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
ool
a
ege
isl_pw_aff_zero_
s
et
:
return
a
rati
o
n
al s
e
t if the in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
a
d
d
is
l
_pw_a
f
f_list_s
e
t_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
ad
d
is
l
_pw_aff_set_r
a
ti
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
privately export isl_s
e
t_se
t
_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
ege
add
is
l
_se
t
_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
r
doolaege
reim
p
l
ement
is
l
_
s
t
re
a
m_read_aff i
n
ter
m
s
of isl_s
t
ream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
d
ecl
a
re isl_s
t
r
eam_read_
m
ult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_stream_read_multi_aff: read tuples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
laege
isl_input
.
c
: change tu
p
le pars
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add is
l
_pw_multi_aff_ra
n
ge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolaege
a
d
d
i
sl_mu
l
t
i_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
a
d
d isl_mult
i
_*_range_spl
i
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_multi_*_set_t
u
p
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
add isl_multi_*_range_p
r
od
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
e
g
e
add isl_multi_*_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_mu
l
ti_
*
_inser
t
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add is
l
_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
multi_aff_from_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erd
o
olaege
isl_multi_tem
p
l
.
c:
r
ename align_pa
r
a
ms_
m
ulti_se
t
_an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_mult
i
_templ
.
h: avoid reference to ex
p
lic
i
t
e
lement
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aege
i
s
l_multi_*_reset_space_and_domain: call isl_*_reset
_
domain
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
generalize
i
s
l
_
m
ulti_a
f
f_flat
_
range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
d
o
olaege
general
i
ze
i
sl_mult
i
_aff_drop_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
g
eneralize isl_mul
t
i
_
a
f
f_
s
et_dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_mul
t
i_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oo
l
aege
generalize isl_multi_aff
_
iden
t
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_pw_af
f
_zero_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaeg
e
add isl_p
w
_af
f
_var
_
on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
dd i
s
l_aff
_
var_o
n
_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n
Verd
o
olaege
is
l
_input
.
c: obj_read_body: sim
p
lify
e
rror
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoola
e
g
e
add
i
sl_b
a
s
ic_set
_
drop_constraints_
n
ot_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
eg
e
add
i
s
l_{set,map}_
d
rop_co
n
s
t
raints_
i
n
volving_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
a
d
d isl_s
e
t_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
i
sl_stream_read_un
i
o
n_map
:
for
c
e result to be a
m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
a
d
d
i
sl_
u
nion_m
a
p_subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
s
l_s
e
t_fr
o
m_pw_
m
ulti_aff: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_union_map
.
c: plain_i
n
j
e
ct
i
v
e
_on_ra
n
ge
:
silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdo
o
l
a
e
ge
isl_transitive_closure
.
c: union_components: avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
is
l
_range
.
c
q
polynomi
a
l_bou
n
d_on_domain_ra
n
ge: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Ve
r
doolaege
isl_co
n
vex_hull
.
c
: initi
a
l_fac
e
t_constra
i
nt: a
v
oid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
r
doolaege
isl_map
_
u
n
ion: special case universal inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sve
n
Verdo
o
laege
isl_map_gist: special case
u
niver
s
al and
e
qua
l
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaeg
e
ex
p
ort isl_s
e
t_
p
lain_
c
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Ver
d
oolaege
doc:
clarify
u
se of identifi
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add is
l
_bas
i
c
_
set_remove_unknown_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
e
r
d
o
olaege
a
n
d
i
sl_pw
_
aff_tdiv_q and isl_pw_aff
_
tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
a
d
d isl_pw_aff_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
add
i
s
l_set_is
_
disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoo
l
aege
i
sl_map_p
l
ain_is_disjoint:
sp
e
c
i
al case
obviously emp
t
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_basic_map_is_empt
y
: special
c
ase
u
n
iversal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
isl_map_pl
a
in_is_disjoint: fix e
r
ror h
a
ndlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next