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_normalize: plug in divs with unit coefficient in other divs
2012-11-13
Sven Ver
d
oo
l
aege
isl_a
f
f_normalize: plug in divs with unit coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n
Verdoolaege
isl_loc
a
l_space_sub
s
t
itute_seq: take arg
u
m
ent
f
or th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdool
a
ege
isl
_
aff_floor: norma
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
isl_aff_ceil: compute ce
i
l(e/m) as floor((e +
m
-
1
)/
m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven
V
e
rdoolaege
i
s
l_aff_gist: add m
i
ssing isl_vec
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Ver
d
o
olaeg
e
isl_union_set_comput
e
_schedu
l
e: doubl
e
chec
k
t
h
at we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
is
l
_union
_
s
e
t
_compu
t
e_sch
e
dule:
e
nsure carry_depende
n
ces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdo
o
lae
g
e
update for
chang
e
i
n
clang's DiagnosticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sve
n
Verd
o
olaege
isl_map_pl
a
in_i
s
_disjoint: handle inputs
wit
h
diffe
r
e
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
S
v
en Verdoola
e
ge
add RE
A
DME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
S
ven Verdoolaege
i
sl_union
_
set_c
o
mpute_schedule:
h
and
l
e result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
S
ven Verdool
a
ege
i
sl_a
s
t
_
cod
e
gen
.
c:
generate
_
do
m
ain
:
postpo
n
e single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sve
n
Ve
r
doolaege
isl_
a
st_build_ast_fr
o
m
_
schedule: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_bui
l
d
_
a
st_from_schedu
l
e: use "<" if up
p
er b
o
und
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
e
n Verdoolaege
i
sl_
a
st_expr:
a
d
d
i
sl_ast_op_lt and isl_ast_op_gt operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoo
l
aege
add isl_b
a
sic_set_f
r
om_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en V
e
r
d
oolaeg
e
isl_
a
st_expr_from
_
aff
:
try harder to use isl_as
t
_o
p
_p
d
iv
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
V
e
r
doolae
g
e
isl_ast_build_expr
.
c: separ
a
te out
ex
t
ra
c
t_m
o
dulo funct
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
doolaege
isl
_
ast_build_exp
r
.
c:
fix typo in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
is
l
_ast_bui
l
d_expr
.
c: remove
remnants of code removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sv
e
n Verdoolaege
add e
x
tr
a
A
S
T
g
e
n
eration test
c
ase
f
r
om CLo
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verd
o
olaege
isl_p
r
i
n
ter_print_str: handle NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdo
o
laege
isl_ast_expr_m
o
d: perform
missing multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_id_set_
f
ree_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_prin
t
er_prin
t
_pw_aff: use isl
_
as
t
_expr when print
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add su
p
port for gene
r
a
t
ing ASTs from
s
chedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
ad
d
ISL_CTX_{GET,
S
ET}
_
S
TR_DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
laege
doc: separate
out po
l
y
h
edral comp
i
latio
n
fu
n
cti
o
n
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdo
o
laege
a
dd isl_set_dim_ha
s
_{lower,u
p
per}_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_substitut
e
: check
t
hat i
n
put affine
e
xpression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaeg
e
isl
_
pw_multi_aff_sub
s
t
it
u
te
:
improve
error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoo
l
aege
i
sl_bas
i
c_map_align_divs: fix p
o
tent
i
al invalid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_a
f
f_from_map: de
t
ect
s
trid
e
s in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_pw_mu
l
t
i
_
aff_fr
o
m_map: dete
c
t
easy f
l
oors direct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
p
rivat
e
ly export isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
ool
a
ege
add isl_pw_*_pullbac
k
_
p
w_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdo
o
laege
add
i
sl_pw_*_pullback_mu
l
t
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
a
d
d
isl_mult
i
_a
f
f_pull
b
ac
k
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
ege
add isl_aff_pul
l
back_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add is
l
_l
o
cal
_
sp
a
ce_preimage_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add
i
sl_s
e
t
_preimage_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
a
d
d isl_set_
p
reimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
ad
d
isl_basic_set_prei
m
age_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
isl_stream_new_str:
f
ail on NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl
_
multi_
a
ff
_
al
i
gn_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_bas
i
c_
s
et
_
add
_
div_cons
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_m
a
p_is_
s
ubs
e
t:
support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl
_
s
t
ream_rea
d
_map: f
i
x
parsing
o
f
Om
e
ga input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verd
o
olaege
isl_str
e
am_read_map: add partial support for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl
_
pw_
a
ff_nonneg_se
t
: re
t
urn a rational set i
f
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
l
aeg
e
i
s
l_pw
_
a
f
f_zero
_
set: re
t
urn
a rati
o
nal set if the input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
a
d
d is
l
_
p
w_aff_li
s
t_set_ration
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olaege
add isl_pw_aff_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
privately export isl_set_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
ad
d
i
s
l_set
_
ha
s
_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolae
g
e
reimp
l
e
men
t
isl_stream_read_aff in terms of isl_stream_r
e
ad
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
de
c
lare isl_stream_read_mult
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
isl_strea
m
_read_multi_aff: r
e
a
d
tuples dire
c
tl
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
i
sl
_
input
.
c: chan
g
e tu
p
le parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_multi
_
af
f
_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
a
d
d
isl_multi_*_splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolae
g
e
add
i
s
l_
m
u
l
ti_*_ran
g
e_splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_multi_*
_
set_tuple_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_m
u
l
t
i_*_rang
e
_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
ad
d
isl_multi_*_
a
dd_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
d
oolaege
add
i
sl_m
u
lti_*_in
s
ert_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaeg
e
add
i
sl_multi_p
w
_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doola
e
ge
add isl_multi_aff_from
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_multi_te
m
pl
.
c:
r
ename
a
l
ign_pa
r
ams_mul
t
i
_
s
e
t_a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdo
o
lae
g
e
isl_multi
_
templ
.
h: avoid refe
r
ence to ex
p
licit eleme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
isl_multi_*_reset
_
spa
c
e_a
n
d
_
dom
a
in: call is
l
_*
_
reset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
generalize
isl_multi_
a
ff_flat_range_pro
d
u
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
g
ene
r
al
i
z
e
isl_multi_
a
ff_dro
p
_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
gene
r
alize isl_mult
i
_a
f
f_se
t
_di
m
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
gene
r
a
li
z
e isl_m
u
lt
i
_aff_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
genera
l
iz
e
isl_mul
t
i
_
aff
_
iden
t
ity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
ad
d
isl_p
w
_aff_
z
ero
_
on
_
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
olaege
add isl_pw_aff
_
v
a
r_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
a
dd isl_aff_var_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
sl_input
.
c: obj_r
e
ad
_
body: simplify error
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erd
o
olaege
add isl_basic_set_d
r
op
_
cons
t
rai
n
t
s_not_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolae
g
e
a
dd isl_{set,ma
p
}_drop_constraints_inv
o
lvi
n
g_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n V
e
rd
o
ola
e
g
e
add isl_s
e
t_unshif
t
ed_s
i
mple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
isl_stream_read_union_map: force
r
es
u
lt
t
o be
a
ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
add isl_u
n
ion_
m
ap_subtract
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdo
o
laege
i
sl_set_from_p
w
_multi_aff: handl
e
N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_uni
o
n_map
.
c
: pl
a
in_injective_on_rang
e
:
s
ilence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
V
e
rd
o
olaege
isl_transitiv
e
_closu
r
e
.
c: uni
o
n_components: avoid inva
l
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_
r
ange
.
c qpolynomial_bound_on_domain_range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoo
l
aege
isl_c
o
nvex_h
u
ll
.
c
: initial_facet_
c
on
s
trai
n
t: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verd
o
olae
g
e
isl_map_unio
n
: special case univ
e
r
s
al input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl_map_gist
:
special case
unive
r
sal and equa
l
input
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ver
d
oo
l
aege
expor
t
is
l
_set_pl
a
in_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaege
doc: clar
i
fy use o
f
identifiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Ve
r
d
o
ol
a
ege
add isl_basic_se
t
_
r
emove_
u
nknown_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven V
e
rdoolaeg
e
and isl_pw_aff_tdiv_q and
isl
_
pw_aff_td
i
v_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
e
r
doola
e
ge
a
d
d isl_pw
_
a
f
f_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdoolaege
add isl_set_is_disjoin
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven
V
erdoolaege
isl_map_plain_i
s
_
d
isj
o
int: special c
a
s
e obvi
o
usly empt
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verd
o
olaeg
e
isl
_
basic_map
_
is
_
emp
t
y: special cas
e
uni
v
ersal
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next