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_sort_constraints: take into account all coefficients
2012-11-12
Sven Verd
o
olaege
i
s
l
_aff_gi
s
t
:
add mi
s
sing isl_vec
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Ve
r
doolaege
isl_union_set_compute_schedule: double ch
e
ck that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
isl
_
uni
o
n_se
t
_compute_schedule: ens
u
re carry_
d
epe
n
dences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdool
a
ege
up
d
a
te fo
r
chan
g
e in clang'
s
DiagnosticOption
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdool
a
ege
isl_map_pla
i
n_is_di
s
joint: hand
l
e
inputs with different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
S
v
en Ve
r
doolaege
ad
d
README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
An
d
rea
s
K
loeckner
I
ntroduc
e
isl_int_fr
e
e_st
r
to remove GMP dependen
c
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
S
v
en Verdool
a
eg
e
i
sl_union_set_
c
ompute_
s
chedule: handle result wi
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
S
ve
n
Verdo
o
laeg
e
isl_a
s
t_codeg
e
n
.
c:
generate_domain: postpone
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
i
s
l_ast_build_ast_from_sch
e
dule
:
make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_b
u
ild_ast_from_schedule: use "<"
i
f upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
ven
V
e
r
d
o
o
laege
isl_ast_expr: add i
s
l_as
t
_op_lt
a
nd i
s
l_ast_op_gt op
e
ration
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
Verdoolaege
add isl_ba
s
i
c_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_expr_from_aff:
try harder to use is
l
_ast_op_pd
i
v_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_bui
l
d_expr
.
c:
separate out ext
r
a
c
t_modulo function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdool
a
ege
isl_ast_build_expr
.
c:
f
i
x typo
i
n
c
omm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoolae
g
e
isl_as
t
_b
u
il
d
_expr
.
c: remove r
e
mnants of code re
m
oved
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoolaege
add extra AST
g
eneration
test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
isl_printer_print_str: handle N
U
LL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolae
g
e
isl_a
s
t
_
ex
p
r_m
o
d: perform missing mu
l
t
i
plicatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Gross
e
r
Mak
e
sed expre
s
sion
i
n Makefile comp
a
tible with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolae
g
e
a
d
d
isl_id_
s
et_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdo
o
l
aege
is
l
_print
e
r_print_pw_aff: use
isl_as
t
_expr when printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
a
d
d support for generating A
S
Ts from s
c
hedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
ege
add
ISL_CTX
_
{GET,SET}_ST
R
_DEF macro
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
doc: separate out polyhedral compilation funct
i
onality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_set_dim
_
has_{lower,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoola
e
ge
i
s
l_basic_set_substitute: check that
i
nput aff
i
ne exp
r
essio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
i
s
l_pw_multi_aff_
s
ubstitute: improve error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
is
l
_bas
i
c
_ma
p
_ali
g
n_div
s
: fi
x
po
t
ential invalid
ac
c
ess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw
_
multi_a
f
f
_from_map: detect strid
e
s in
output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
is
l
_pw
_
multi_aff_
f
r
om_m
a
p
:
detect
e
asy
floors dire
c
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
privat
e
ly export isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
isl_pw_*_pul
l
back_pw_
m
ult
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdo
o
la
e
ge
a
dd
i
sl_pw_
*
_pul
l
back_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_multi_aff_p
u
l
lback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
ad
d
i
s
l_
a
ff_pullb
a
ck_mu
l
t
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add i
s
l_local_spac
e
_p
r
e
i
mage_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
d
oola
e
ge
add isl_
s
et_preimage_pw_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add
isl
_
set
_
preima
g
e_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_basic_set_p
r
eimage_m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolaege
isl_strea
m
_new_str: fa
i
l o
n
NULL i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
p
r
iv
a
t
e
ly export
i
sl_multi_aff_ali
g
n_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add
i
sl_bas
i
c
_set_
a
dd_d
i
v
_
c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_
m
ap_is_subse
t
:
suppor
t
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
i
sl
_
stream_read_
m
a
p
:
fix parsing of Omega
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_strea
m
_
r
ead_map:
a
dd parti
a
l support for read
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
is
l
_pw_aff_nonn
e
g
_
set: return a rational set if
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_p
w
_
a
ff_
z
ero_
s
e
t
: r
e
turn
a ration
a
l
set if the input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add is
l
_
p
w
_aff_lis
t
_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
d
ool
a
ege
add
i
s
l_p
w
_
a
ff
_
s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doo
l
aege
pr
i
va
t
e
ly
e
xport isl_set_s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoola
e
ge
add isl
_
set_has_rati
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
r
ei
m
plement isl_stream_read_af
f
in terms of isl_stream_
r
e
ad_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
d
o
olaege
dec
l
ar
e
isl_stream_r
e
a
d_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
laege
i
sl_stream_re
a
d
_mult
i
_aff
:
r
ead
tuples dire
c
t
ly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_inp
u
t
.
c: change tu
p
le parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdo
o
laege
add isl_pw_multi_aff
_
range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl
_
mult
i
_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolaege
add isl_
m
u
l
ti_*_range_spli
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add isl_multi_
*
_set_
t
u
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
add
i
sl_mu
l
ti_*_ran
g
e
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_add_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
oola
e
ge
add isl
_
multi_*
_
insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add i
s
l_m
u
lti_pw_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
is
l
_multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
isl
_
multi_templ
.
c: ren
a
me align_params_multi_s
e
t_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
i
s
l_mult
i
_templ
.
h: avoi
d
r
eference
t
o ex
p
l
i
cit element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
isl
_
mul
t
i_*_reset_space_and
_
d
oma
i
n
: call isl_*_
r
es
e
t_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
genera
l
ize isl_multi_aff_flat_range_
p
r
oduc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
l
aege
generalize
i
sl_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdool
a
ege
general
i
ze isl_multi
_
a
f
f_set_d
i
m_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
g
e
neraliz
e
i
sl_multi_af
f
_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolae
g
e
generalize isl_multi_a
f
f_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
add isl_p
w
_aff
_
z
e
ro_
o
n_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolaege
add
isl_
p
w_
a
ff
_
v
a
r_o
n
_
do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
a
d
d
isl_aff_var
_
on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
isl_input
.
c
:
obj_rea
d
_body:
s
implify
error
h
andl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verd
o
o
l
aege
a
d
d
i
sl_b
a
s
i
c_set_d
r
op_constr
a
int
s
_n
o
t_inv
o
lving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven
V
e
rd
o
olaege
add isl
_
{set,m
a
p}_drop_constraints_in
v
olvi
n
g
_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoo
l
a
e
g
e
a
d
d is
l
_
s
et_unsh
i
fte
d
_sim
p
le_h
u
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdo
o
laege
isl_stream_read_
u
n
ion
_
map: f
o
rce resu
l
t to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_union_map
_
subtract_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
isl_s
e
t_from_pw_
m
ulti_aff:
handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
isl_u
n
ion
_
map
.
c: pla
i
n_injective_on_
r
ange: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
r
doola
e
ge
is
l
_t
r
ansiti
v
e_clos
u
re
.
c: union_component
s
:
a
void inv
a
lid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaeg
e
i
s
l_range
.
c
qp
o
lynomial_bound_on_domain_range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdo
o
l
a
ege
isl_conv
e
x_hull
.
c: initial_face
t
_co
n
str
a
int: av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl_m
a
p_union: speci
a
l case univ
e
rsal in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl
_
m
ap_gist:
s
pecial case u
n
iv
e
rsal and equal
i
nputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erdoolaege
export isl_set_plain
_
cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
e
n Verdoolaege
doc: clar
i
f
y
u
s
e of
i
dentifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verd
o
olaege
add isl_b
a
sic_
s
et_remove_unknow
n
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n Verdoolaege
and
isl
_
pw_aff_tdiv_q
and
isl_pw_aff_tdi
v
_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
add
isl_
p
w_aff_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
e
n
V
e
rdoolaege
add isl_set_is_di
s
joint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdo
o
l
a
ege
isl
_
map_plain_is
_
dis
j
o
i
nt: spec
i
al
c
ase ob
v
iously empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
V
erd
o
olaeg
e
i
sl_basic_map_i
s
_empty: special case unive
r
sal inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
V
e
rdoolaege
i
sl_map_plai
n
_is_disjo
i
nt: f
i
x
e
rr
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
e
rdoolaege
isl_a
f
f
.
c:
fix
ty
p
o i
n
comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next