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 Ver
d
o
o
laege
i
s
l_aff_ceil: compute cei
l
(e/m) as floor(
(
e + m - 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl_aff_gist: ad
d
missing isl_
v
ec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
isl_union_
s
et_comput
e
_schedule: doub
l
e
check t
h
at we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sv
e
n
Ver
d
o
olaege
isl_union_set_compute_schedule: ensure ca
r
ry_dependenc
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Ver
d
o
o
l
aege
update
f
or
chan
g
e in clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoola
e
ge
isl_map_plain_is_
d
isjoint: handl
e
inputs with
d
ifferent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
An
d
r
e
a
s
Kl
o
eckner
Intr
o
d
u
ce isl_in
t
_free_str to
r
emove GMP depe
n
d
e
ncy
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_union_
s
e
t
_compute_schedule: handle re
s
u
l
t with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven
V
erdoola
e
ge
isl
_
ast_c
o
degen
.
c: g
e
nerate_
d
om
a
i
n
: pos
t
pone
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Ve
r
doolaege
isl_a
s
t_build_ast_from_s
c
hedule: make
c
ons
t
ruct
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
doolaege
isl_as
t
_b
u
ild_ast_from_schedule: us
e
"<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verd
o
olaege
isl_
a
st_expr:
add isl_
a
st_op_lt and isl_ast_o
p
_gt opera
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n Ver
d
oo
l
aege
add isl_basic_set_fro
m
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
e
n Verdoolaege
i
sl_ast_expr_from_aff:
t
ry harder to use isl_ast_op_pd
i
v_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_b
u
i
l
d_expr
.
c: se
p
ara
t
e out extract_mod
u
l
o
function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven V
e
rdool
a
ege
isl_ast
_
build_expr
.
c: f
i
x typo in
c
omm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Ve
r
doolaege
isl_a
s
t_build_expr
.
c: remove r
e
mna
n
ts of co
d
e remov
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
S
ven Verdo
o
laege
add ex
t
ra AST gene
r
ati
o
n test case fr
o
m
CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n
Verdoolaege
i
s
l
_printer_print_str: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
r
d
oolaege
i
sl_
a
st_ex
p
r
_
mod: perform miss
i
ng multiplicat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
T
o
bia
s
Grosse
r
Make
s
ed expressio
n
in Makefile
compatible
with BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
add isl_i
d
_set_free_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
i
sl_printer_pri
n
t_pw_aff: use isl_ast_expr when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
do
o
l
a
e
ge
add s
u
pport for genera
t
ing ASTs from sc
h
edule relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oolaeg
e
add ISL_CTX_{GET,SET}_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc
:
se
p
arate out polyhedral c
o
m
p
ilation function
a
lity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verd
o
olaege
add isl_set_di
m
_has_{lower,upper}_
b
ound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_b
a
s
ic_s
e
t_substitute: check that input
affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw_multi_aff
_
s
ubstitute: im
p
rove error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
er
d
oolae
g
e
isl_basic_map
_
align_di
v
s: fix potential invalid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
i
s
l_pw_
m
ulti_aff_from_m
a
p: detect stride
s
in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_aff_from_ma
p
:
d
e
t
e
ct easy floor
s
direc
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
privately expo
r
t isl_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
o
l
aeg
e
add isl_pw_*_
p
ullback_pw_m
u
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add is
l
_pw_
*
_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
a
dd isl_multi_
a
ff_pullback_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
e
g
e
add isl_aff
_
p
u
llb
a
ck_m
u
l
ti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_
l
ocal_space_prei
m
age_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olae
g
e
a
dd isl
_
set
_
pr
e
image_p
w
_
multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
a
d
d
isl_set_preim
a
ge_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
e
ge
add isl_basic_set_preimage_
m
ulti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
is
l
_stream_new_str: fa
i
l
on NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verd
o
olaege
privately e
x
po
r
t isl_multi_aff_
a
lign
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoola
e
g
e
add
i
s
l_basic_set_add_div_constraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
sl_ma
p
_
is_
s
u
b
set:
s
upp
o
rt rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
isl_s
t
ream_read_map: f
i
x parsing
o
f
O
mega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_stream_read_ma
p
: add pa
r
ti
a
l supp
o
rt for reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoola
e
ge
isl_pw_af
f
_
non
n
eg_set:
return a ra
t
ional set
if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_zero_set
:
return a r
a
tional set
if the
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl_pw_aff_l
i
st_set_ratio
n
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdo
o
laege
a
d
d is
l
_
p
w_af
f
_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
pr
i
vately export
i
sl_set
_
set_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
reimplement isl
_
stream_r
e
ad_
a
ff
i
n te
r
m
s of isl_stre
a
m_rea
d
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
declare i
s
l_stream_rea
d
_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
i
s
l_st
r
e
am_re
a
d_multi_a
f
f: read tup
l
e
s directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
do
o
laege
isl_inpu
t
.
c: chang
e
tuple parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
add isl_pw_mu
l
ti_aff_
r
ange_pro
d
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_multi_*_spli
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
olaege
add isl_mu
l
ti_*
_
r
a
nge_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_mul
t
i_*_
s
e
t_tupl
e
_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aeg
e
add
isl_
m
ulti_*_range_
p
roduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_multi_*_
a
dd
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl
_
mu
l
ti_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
e
rdoolae
g
e
a
dd isl_mul
t
i_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
ad
d
isl_
m
ul
t
i_aff
_
from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
o
laege
isl_
m
ulti_templ
.
c:
rename al
i
gn
_
param
s
_multi
_
set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_multi_templ
.
h:
a
v
oid
reference
t
o
e
xplic
i
t elem
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
isl_multi_*_
r
eset_space_and_domain: c
a
ll isl_*_reset_do
m
ain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
g
e
generalize isl_
m
ulti_aff_flat_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
g
e
neralize i
s
l_multi_aff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verd
o
olaeg
e
generalize isl_multi_af
f
_set
_
dim_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
generali
z
e isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
er
d
oolaege
gene
r
alize isl_multi_
a
ff
_
identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
add isl_
p
w_aff
_
zero_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_pw_aff_
v
a
r
_on
_
domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
V
e
rdoolaege
ad
d
is
l
_af
f
_var_on_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolae
g
e
isl_in
p
ut
.
c
:
o
b
j_re
a
d_
b
ody:
s
imp
l
ify error hand
l
in
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
a
dd isl_basic
_
set_drop_co
n
straints_n
o
t_in
v
olving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Verdoolaege
a
dd isl_{set,map}_drop_constrai
n
t
s_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n
V
erdoolaege
add isl_se
t
_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl
_
st
r
ea
m
_read_
u
ni
o
n
_map: f
o
rce
result to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_
u
nion_map_subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
isl_set_from_
p
w_multi_aff
:
handle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
olaege
isl_union_map
.
c: plain_injective_on_range: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n Verdoolaege
isl_tr
a
nsi
t
ive_closu
r
e
.
c
: union_comp
o
n
e
nts: avoi
d
invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Ve
r
doolaege
isl_range
.
c qpoly
n
omi
a
l_bound_on_do
m
ain_rang
e
: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdo
o
laege
isl
_
convex_hull
.
c: in
i
tial_facet_c
o
nstraint: avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Ve
r
doolaeg
e
isl_map_union: s
p
e
cial
case un
i
v
ersal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
erdoolae
g
e
isl_map_g
i
st:
special case universal
a
nd equa
l
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
e
r
doolaege
e
x
port isl_set_plain_
c
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
do
c
: clarify
u
se of identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
add isl_basic_set_remove_unk
n
own_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Ve
r
doolaege
and isl_pw_aff_tdiv_q and i
s
l
_
pw_af
f
_
t
div
_
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_pw_aff
_
d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdo
o
laege
add i
s
l
_set_is_d
i
s
joint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdool
a
ege
is
l
_map_plain_is_disjoint: special
case ob
v
iousl
y
em
p
ty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
isl_ba
s
ic_map
_
is_empty:
sp
e
cial case univers
a
l
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoo
l
a
e
g
e
isl_map_plain_is_disjo
i
nt
:
fi
x
error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next