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_local_space_substitute_seq: take argument for the number of divs to modify
2012-11-13
Sven Verdoolaege
isl_local_s
p
a
ce_substitute
_
s
e
q: take argu
m
ent for
t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n
V
erdoolaege
isl_af
f
_flo
o
r
: norma
l
ize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
aege
isl
_
af
f
_c
e
il:
compute ceil
(
e
/m) a
s
floor((e +
m
- 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sv
e
n Verdoolaege
isl_
a
ff_gist:
add missin
g
isl_
v
ec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
is
l
_unio
n
_set_compute_schedule: doubl
e
check that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
ven
V
erdoolaege
isl_u
n
io
n
_set
_
compute_schedule: ensure
carry_
d
epend
e
nces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en
V
erdool
a
e
ge
update
f
or change in clang's Diagnostic
O
ptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
isl_map_p
l
ain_is_dis
j
o
int: hand
l
e in
p
uts
with diff
e
re
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sv
e
n V
e
rdoola
e
g
e
add
R
EADME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
An
d
reas Kloeckner
Introduce isl_int_free_s
t
r to remove GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_union_set
_
co
m
pute_sc
h
e
dule: han
d
le resu
l
t with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sve
n
V
e
r
doo
l
aege
isl
_
ast_codege
n
.
c: generate_do
m
ain: postpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
i
s
l_as
t
_bu
i
ld_a
s
t
_
from_sch
e
d
ule:
m
ake
c
onstruct
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoola
e
g
e
is
l
_ast_
b
uild_ast_from
_
schedule: use "<" i
f
upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolaege
is
l
_ast_expr
:
ad
d
isl_ast_op_
l
t and isl_ast_op_gt opera
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n
V
e
r
doola
e
ge
add
i
sl_
b
asic_set_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
o
o
laege
isl_
a
st_expr_from_a
f
f: try harde
r
to use i
s
l_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoolaege
is
l
_
a
st_build_expr
.
c: separate o
u
t
ext
r
ac
t
_mod
u
lo
f
u
n
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoola
e
ge
isl_ast_buil
d
_expr
.
c: fix typo
i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_b
u
ild_exp
r
.
c
:
remove remnants of
c
o
d
e removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
S
v
en Verd
o
olaeg
e
add extra AST
g
eneration test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Ve
r
doo
l
aege
isl_printer
_
print_str: handl
e
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_ast_e
x
p
r_mod
:
pe
r
f
o
rm missing multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias Grosser
M
a
ke sed expression in Make
f
ile
comp
a
tible with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
e
r
doolaege
a
dd isl_id_s
e
t
_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl
_
pr
i
nte
r
_pri
n
t_pw_aff:
u
se isl_ast_expr
w
hen
p
rintin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdo
o
l
aege
add support for
g
en
e
rating ASTs from schedul
e
rela
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add ISL_CTX_{GET,SET}_
S
TR_
D
EF
m
acros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
e
rdool
a
e
g
e
doc:
separat
e
o
u
t
p
o
lyhedral compilation f
u
nctionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add
isl_set_dim_has_{l
o
wer,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaeg
e
isl_bas
i
c_set_substitute: check th
a
t input af
f
in
e
e
xpress
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oolae
g
e
isl_pw_multi_aff_subst
i
tute: improve er
r
or handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_basic_map_align_divs: fi
x
potential i
n
valid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
ol
a
ege
i
sl_pw_multi
_
a
ff_from_
m
ap: detect stride
s
in ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
is
l
_pw_multi_
a
ff_from_map: detect easy floor
s
direc
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoola
e
ge
priv
a
tely e
x
port isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
olae
g
e
add isl_pw_*_pul
l
back_pw_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl
_
pw_*_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl_multi_aff_pullback_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoo
l
aege
add isl_
a
ff_pullb
a
ck_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
olaege
add is
l
_local_space_preimage_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
e
g
e
add isl_set_preimage_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
ad
d
isl_s
e
t_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_basic_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
ol
a
e
g
e
is
l
_stream_new_str: f
a
il
o
n NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
priv
a
tely exp
o
rt isl
_
multi_aff_align
_
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add
isl_
b
asic_se
t
_add_
d
i
v
_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
olaege
isl_map
_
is_s
u
b
set: sup
p
ort
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_stream_read_map: fix par
s
ing o
f
Omega
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl
_
str
e
am_re
a
d_ma
p
: add
p
artial su
p
port for
reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_nonneg_set: return a rat
i
onal set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
a
ege
i
s
l_pw_aff_z
e
ro_set:
return a
r
a
tional set if the
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
doolaege
ad
d
isl_pw_aff_list_set_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add is
l
_pw_aff_set_rat
i
o
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolae
g
e
privately export isl_set_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_set_has_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
r
e
im
p
lement isl_str
e
am_read_aff in terms of
i
sl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
laege
declare isl_stream_read_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaeg
e
is
l
_stream_r
e
ad_mu
l
ti_aff: read tuples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoola
e
ge
isl_in
p
ut
.
c: change tuple p
a
rsin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_pw
_
multi_aff_ra
n
ge_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoo
l
aege
ad
d
i
s
l_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
a
d
d
isl
_
multi_*_range_sp
l
ice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aege
add isl_m
u
lti_*_set_
t
uple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
eg
e
add isl_multi_*_ran
g
e_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_add_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoola
e
ge
add i
s
l_m
u
lti_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add i
s
l_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl
_
multi_
a
ff_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_multi_templ
.
c
:
rename
a
l
ign_para
m
s
_
mult
i
_set_a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdo
o
laege
isl_multi_templ
.
h: avoid reference
to ex
p
licit
elem
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi_*_reset_sp
a
ce_and_
d
omain:
call is
l
_*
_
rese
t
_
domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_multi_aff_flat
_
range_pr
o
du
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
g
ener
a
lize isl_multi_aff_drop_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize
i
sl_
m
ulti_aff_se
t
_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
gene
r
a
l
ize isl_m
u
lti
_
a
ff_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
generalize isl_multi_aff_iden
t
it
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
olaeg
e
add
i
sl_pw_af
f
_
z
ero_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaege
add isl_pw_aff_
v
ar_
o
n_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
d
d isl_aff_var_on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
i
s
l_input
.
c: obj_re
a
d_body: simplify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
ol
a
ege
ad
d
isl_basic_set_drop_const
r
aints_n
o
t_invol
v
ing_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
ad
d
isl_{set,m
a
p}_drop_constraints
_
involvi
n
g_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
a
dd i
s
l
_set_unshifted_s
i
mple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_stream_read_un
i
on_
m
ap
:
force resul
t
to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoola
e
ge
add isl_union_
m
ap_sub
t
ract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
isl_set_from_
p
w_multi_a
f
f
: ha
n
dle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en V
e
rdoolae
g
e
isl_union_
m
ap
.
c: pla
i
n_injecti
v
e_on
_
range:
silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
e
g
e
isl_transitive_closure
.
c: union_components:
a
void inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_ran
g
e
.
c
qpol
y
nomial_bound_on
_
d
omain_range: av
o
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
Verdoolaege
i
sl
_
c
onv
e
x_hull
.
c: initia
l
_facet_constraint
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
v
en Ve
r
d
o
olae
g
e
isl_map_union: special case universal i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
S
ven Ve
r
doolae
g
e
isl_map_gist:
special case universal and equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdoola
e
ge
exp
o
r
t isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
v
en Verdo
o
l
a
ege
doc: c
l
a
rify use of ident
i
fiers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven
Verdo
o
l
a
ege
a
dd isl_
b
asic_s
e
t_remove
_
unkn
o
wn_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
and isl_pw_
a
ff
_
tdiv
_
q and isl_pw_aff_tdiv_r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
S
ven Verdoolaege
add isl
_
pw_aff_d
i
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
add isl_set_i
s
_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-13
Sven Verdoolaege
isl_map
_
plain_is_d
i
sj
o
int: special case
o
bvi
o
usly
empty
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next