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
rename isl_basic_set_add to isl_basic_set_add_dims
2012-11-13
Sve
n
Verdoolae
g
e
ren
a
me isl_basic_set_add to i
s
l
_
b
a
s
ic_
s
et_add_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doo
l
aege
isl_aff_normalize: p
l
ug in di
v
s wi
t
h unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
a
ege
isl_local_space_s
u
bstitute
_
seq
:
t
a
k
e
argum
e
nt for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoola
e
ge
isl_aff_flo
o
r:
n
o
rmalize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdool
a
ege
isl_a
f
f_ceil: compute
c
e
i
l(e/m)
a
s
f
loor((e
+ m - 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verd
o
olaege
isl_
a
ff_gist: add
missing isl_vec_co
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
S
ven Ver
d
oolaege
isl_union_se
t
_
co
m
p
ute_
s
chedule
:
do
u
b
le check that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sv
e
n Verdoolaege
isl_union_set_compute_schedule:
e
nsure carr
y
_
d
epe
n
de
n
ces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
do
o
laege
upda
t
e for
c
h
ange in clang's Dia
g
no
s
t
icOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdool
a
ege
isl_map
_
plain_is_di
s
joint: handl
e
inputs with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
S
v
en Verdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_union_set_compu
t
e_schedule: han
d
le result wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
S
ven V
e
rdo
o
l
a
ege
is
l
_ast_codegen
.
c: g
e
nerate_doma
i
n
: postpone
single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
S
v
e
n
Verdoolae
g
e
isl_ast_buil
d
_ast_fr
o
m_schedul
e
: make cons
t
ruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ven
V
erdool
a
e
g
e
i
sl_ast_build_ast_fr
o
m
_schedule: use "<" if up
p
e
r b
o
u
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoo
l
aege
isl_
a
s
t_expr
:
ad
d
i
sl_ast_op
_
l
t
and
i
s
l
_
ast_op_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolae
g
e
add isl_basic_set_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
Verdoolaege
isl_ast_exp
r
_from_aff:
try h
a
rder to use isl_ast_
o
p_p
d
iv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_b
u
ild_exp
r
.
c: separate out extra
c
t_modulo funct
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
e
n
Verdoolaege
is
l
_ast_bu
i
ld_expr
.
c
:
fi
x
ty
p
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdo
o
laege
isl_ast_bui
l
d
_
expr
.
c: remove
r
emnants
of code remo
v
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdool
a
ege
add ex
t
ra AS
T
generation test cas
e
from
C
Lo
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
ven Verdoo
l
aege
isl_
p
rinter_pri
n
t
_
str:
h
andle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
e
n Verd
o
olaege
isl_
a
st_expr_m
o
d
:
perfo
r
m missing m
u
lti
p
licat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
a
d
d
isl_id_set_free_
u
se
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
isl
_
printer_p
r
int_pw_aff: use isl_ast_expr when pri
n
ti
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add suppo
r
t for generating
A
S
T
s f
r
om schedule relati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add ISL_CTX_{GET,SET
}
_
S
T
R
_
DEF macr
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
a
e
g
e
doc: sepa
r
at
e
out polyhedral compilation functionality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_set_dim_ha
s
_{lower,upp
e
r}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_
b
asic_set_su
b
s
titute: check that input affi
n
e ex
p
r
ession
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_pw_multi_aff_su
b
stitute: improve err
o
r ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
olaege
is
l
_basic_map_align_divs: fix potent
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_fr
o
m_map: de
t
ect strides
i
n output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw_multi_a
f
f_f
r
om_map:
detect easy f
l
oors di
r
e
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
privately export isl_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
isl_pw_*
_
pullback_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
laege
add isl_
p
w_*_
p
ullback
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoo
l
aege
add isl
_
mu
l
ti_aff_pul
l
b
a
c
k
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
a
dd is
l
_aff_pullba
c
k_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add
isl_l
o
cal_space_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add isl_set_pre
i
m
age_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolae
g
e
add isl_set_p
r
eimage_mu
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add i
s
l
_ba
s
ic_s
e
t
_preimage_
m
ulti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
stream_new_
s
t
r
: fail on
N
ULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl_mu
l
ti_af
f
_align_di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
add isl_basic_set_a
d
d_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
oolaege
isl_m
a
p_i
s
_
subset: support rat
i
on
a
l
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_s
t
ream_read
_
map
:
fix pa
r
sing of Omega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_str
e
am_re
a
d_m
a
p
:
add partial support for rea
d
in
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_p
w
_aff
_
nonneg_set: return
a ratio
n
al se
t
if t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
laege
i
s
l_pw_aff
_
zero_set: return a rational set if the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_af
f
_list_set_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoo
l
ae
g
e
add isl_pw_aff_set
_
r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aeg
e
pr
i
vately e
x
p
o
r
t
isl_s
e
t
_
se
t
_
r
ational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add
i
sl_set_has
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reim
p
l
e
ment isl_strea
m
_read_aff in terms of
i
sl_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
e
rdoolaege
declare isl_stream_
r
ead_mu
l
t
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_st
r
eam_read_mul
t
i_aff: rea
d
tuples di
r
ectly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Ve
r
doolaege
isl_input
.
c: change tuple parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
add isl_pw_multi_
a
f
f_ra
n
ge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl_multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
doolaege
add isl
_
mu
l
ti
_
*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaeg
e
add
i
sl_
m
u
l
ti_*_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
add
isl_multi_*_range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
a
d
d isl_multi_*
_
add
_
d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
e
g
e
ad
d
isl
_
m
u
lt
i
_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add
i
sl_
m
ulti
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl
_
mul
t
i_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l
_mu
l
t
i_templ
.
c: rename align_par
a
ms_multi_set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
i
s
l_multi_templ
.
h: a
v
o
i
d re
f
erence to explicit el
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdool
a
ege
isl_multi_*_r
e
s
e
t_sp
a
ce_and_d
o
m
a
in: c
a
ll isl_*
_
rese
t
_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoola
e
g
e
generalize i
s
l_m
u
lti_a
f
f
_
flat
_
range_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
la
e
ge
generalize is
l
_multi
_
a
f
f_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_mu
l
ti_aff
_
set_
d
im
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoo
l
a
e
ge
ge
n
eralize isl_multi_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
generalize isl_multi_aff
_
identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolae
g
e
add
i
sl_
p
w_aff_zero_
o
n
_
d
oma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd
isl_pw_aff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoo
l
aeg
e
add isl_aff_var_o
n
_
d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
i
sl_
i
nput
.
c: ob
j
_read
_
bo
d
y: s
i
mpl
i
fy
e
rror handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
d
d isl_b
a
sic_s
e
t
_d
r
op_c
o
ns
t
raints
_
not_inv
o
lving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdool
a
ege
add
i
sl_{s
e
t,map}_drop_constraints_involv
i
ng_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ver
d
oolaege
add isl_s
e
t_unshifted_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
i
s
l_stream_read_union_map: fo
r
ce
r
esul
t
to
b
e a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en V
e
rdoolaeg
e
add
isl_union_map_subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven
Verdoolaeg
e
isl_set_from_pw_multi_
a
ff: ha
n
d
l
e NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verd
o
olaege
i
s
l_union_map
.
c: plai
n
_inject
i
ve_on_range: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
olaege
isl
_
t
ransi
t
i
v
e_closure
.
c: union_compo
n
ents:
avoid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoolaege
i
s
l_range
.
c qpolynomia
l
_bound_on_doma
i
n_range
:
av
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Ve
r
doola
e
g
e
isl_convex_hull
.
c: initial_facet_co
n
straint: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
rdoolaege
is
l
_
m
ap_u
n
ion: speci
a
l
case univers
a
l input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl_map_gist: special cas
e
univ
e
rsal a
n
d equal in
p
uts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoo
l
aege
export isl_set
_
plain
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sve
n
Verdoolaege
doc: clar
i
fy use of identifiers
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add i
s
l_basic_
s
et_remove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolae
g
e
and isl_pw_
a
ff
_
td
i
v_q and isl
_
p
w_a
f
f_tdiv_r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdo
o
laege
add isl_p
w
_aff_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoolaeg
e
ad
d
isl_set_is_disjoi
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-13
Sv
e
n
V
erdoolaege
i
sl_m
a
p_plain_is_disjoint:
special case obviously empty
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next