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
add isl_pw_multi_aff_range_map
2015-01-23
Sven Verdoolaege
add isl_
p
w_multi
_
aff_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
add isl_pw_aff_pos_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
erdoolaege
i
s
l_pw_aff_
n
onneg_set: m
e
rg
e
impleme
n
t
ation wi
t
h pw_aff_zero_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdoolaege
generaliz
e
isl_
u
nion_pw_qpolynomi
a
l_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
To
b
ias Gro
s
s
e
r
Fix
s
ome typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
V
erdool
a
ege
add i
s
l_mul
t
i
_
*
_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven V
e
rdoo
l
a
e
ge
add isl_multi
_
*_mod_multi_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erdoolaege
add isl
_
mul
t
i_val_read_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verd
o
olaege
i
s
l_input
.
c: read_tuple:
separate tuple parsing from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
v
en Verdoolaeg
e
generalize isl_multi_aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sv
e
n v
a
n Haastregt
doc: cla
r
ify list
c
ap
a
city
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaeg
e
i
sl_map_coalesce: harmo
n
i
z
e i
n
teger
divisions that
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
v
e
n Verdoolaege
add isl_tab_shift_va
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
a
dd isl_basic_map_shift_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Ve
r
doola
e
ge
isl_m
a
p_co
a
lesce:
c
oalesce
wit
h
i
n affi
n
e
hull first
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
e
g
e
priv
a
tely expo
r
t
isl_basic_map_get_
h
ash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
r
doolaege
isl_map_coalesce:
try an
d
c
o
a
l
e
sce basic
maps wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erd
o
olaege
isl_coa
l
e
s
ce
.
c: is_
a
d
j
_eq_extension: allow basic maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
e
rdool
a
e
g
e
isl_c
o
alesce
.
c: fuse: allo
w
b
asic
m
aps to
have different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_map_coale
s
ce:
rem
o
v
e hidden
fact
o
rs from c
o
nstra
i
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_basic_ma
p
_
reduce
_
c
o
efficients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
i
sl_map_coal
e
sce: handle
d
ivs th
a
t have b
e
en simpli
f
i
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
olaege
p
r
i
vately expo
r
t i
s
l_
a
f
f_substitut
e
_e
q
ualities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Ve
r
doola
e
g
e
add isl_
l
ocal_sp
a
c
e_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
aeg
e
a
d
d i
s
l_tab_insert_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
o
o
l
aege
isl_map_coalesce: c
h
eck for su
b
s
e
ts with sm
a
lle
r
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdool
a
ege
a
d
d isl
_
b
a
s
ic_ma
p
_
plain
_
affine_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
dool
a
e
ge
isl_c
o
ales
c
e
.
c: ca
n
_wrap_i
n
_facet
:
only
w
r
a
p
f
acet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coa
l
e
s
ce
.
c: can_wrap_
i
n_
f
acet
:
ext
r
act out
a
d
d
_wr
a
ps_a
r
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
erdo
o
laege
isl
_
c
oalesce
.
c: check_adj_eq: al
l
ow
cut c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
isl_coalesce
.
c: c
h
e
c
k
_adj_eq
:
drop redunda
n
t test
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
is
l
_coales
c
e
.
c: wrap_in_facets:
check
f
or nu
m
be
r
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ve
r
doolaege
is
l
_coalesce
.
c: wr
a
p_in_fac
e
ts: only wrap
a
round ot
h
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoo
l
aege
isl_ma
p
_coales
c
e
:
only wrap constrain
t
s that a
r
e not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven
V
erdo
o
laege
isl_coales
c
e
.
c: add
_
wraps: extract out common add_wr
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Ve
r
doolaege
isl_
c
oa
l
esce
.
c: fuse: cop
y
val
i
d
half of eq
u
ality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n
Verdoo
l
aege
isl_co
a
lesce
.
c: fuse
:
extract out
a
dd_val
i
d_constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
add extra i
s
l_se
t
_coale
s
ce test
c
a
s
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_test
:
generali
z
e
c
oales
c
e tests wit
h
u
n
bounded
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
oola
e
ge
isl_coalesce
.
c:
c
on
t
ain
s
: always re
t
urn equalit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_c
o
alesce_info: ad
d
equality and
i
nequality ty
p
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdoolaeg
e
isl_coa
l
esce
.
c: contains
:
pa
s
s isl_coalesce_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdoolaege
isl_coal
e
s
ce
.
c: wraps_update_max: pass isl_coale
s
ce
_
inf
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaeg
e
isl_co
a
lesce
.
c
:
add_wraps
:
pass i
s
l_
c
oalesc
e
_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verdoolaege
isl_map_c
o
alesc
e
: keep
t
rack of information on basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verdo
o
l
aege
isl_coalesce
.
c: extract
out u
p
date_basic_maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coal
e
sce
.
c:
c
oa
l
e
s
c
e
d_subset: separate c
h
eck
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoolaege
is
l
_coalesce
.
c: coalesce:
k
e
ep track of
h
ow a
p
air
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl
_
coalesce
.
c: is_adj_eq_
e
x
t
ension: alway
s
put extension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verd
o
olae
g
e
i
sl_coa
l
esce
.
c: fuse:
al
w
ays put
f
us
e
d basic ma
p
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
Verd
o
olaege
isl_co
a
lesc
e
.
c: wrap_
i
n_facets
:
simplify computation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Verdool
a
ege
isl_coale
s
c
e
.
c: chec
k
_eq_adj_eq: allow multiple equalitie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
d
oolaege
isl_test
.
c: fi
x
whitesp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
ven
V
e
r
doolaege
add
i
sl_ba
s
ic_map_det
e
ct_inequa
l
ity_pairs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2015-01-01
S
ven Verdoolaege
isl_
c
onvex_hull
.
c
:
compute_facet: avoid doub
l
e f
r
ee
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
l
a
eg
e
isl_co
a
lesce
.
c: coalesce_subset: pro
p
erly indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coales
c
e
.
c:
s
et_from_updated_bmap:
up
d
ate un
d
e
r
lying s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_
c
oalesce
.
c:
c
heck_
f
acet
s
: update
j
us
t
ificat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
dool
a
ege
isl_coalesce
.
c: check_facets: mark table
a
u rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
add isl_tab_mark_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coales
c
e
.
c: fix typo
s
i
n
co
m
ments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
rdoolaeg
e
isl_coalesce
.
c:
can_wrap_
i
n_face
t
: upd
a
t
e comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
is
l
_coale
s
ce
.
c: check_wrap: u
p
dat
e
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven
V
erdoolaege
isl_tab_rela
x
:
return int in
s
tead of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
r
d
o
o
l
a
e
ge
isl_tab
_
r
e
lax: av
o
id
NU
L
L p
o
i
n
ter
d
erefere
n
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
e
rdoolaege
is
l
_tab_ad
d
_eq: p
r
o
pa
g
ate errors of drop_r
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolae
g
e
isl_
t
ab
.
c: p
e
rform_
u
ndo_var: propag
a
te errors of
drop_row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab_min_a
t
_most_neg_one: b
e
consis
t
ent abo
u
t returning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
M
e
rge branch
'
m
aint'
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoo
l
aege
isl_a
s
t_bu
i
ld_a
s
t_from_sche
d
ule: r
e
move red
u
ndant
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoola
e
ge
add
isl
_
union_
{
set,map}_remove_r
e
dunda
n
ci
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_ast_build_expr
.
c: i
s
l_ast_expr_
a
dd_term:
a
l
l
o
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ver
d
oolaege
i
sl_ast_codegen
.
c: add_implied_g
u
ards:
c
ombi
n
e d
e
generate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Ve
r
doolaege
isl_ast_build_exp
r
.
c
: isl_ast_
e
xpr
_
add_term: store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Ve
r
doo
l
aege
isl_ast_bu
i
ld_
e
x
pr
.
c: try_ex
t
ra
c
t_mod: declare variable
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
v
en Verdoola
e
ge
AST ge
n
erator: sele
c
t
unroll lower bound introducing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sv
e
n Verdoola
e
ge
isl_
a
st_c
o
dege
n
.
c: mo
v
e up at_
o
f
f
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolae
g
e
isl_ast_codegen
.
c: ext
r
act out is_better_lower_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdoolaege
isl_printe
r
_flush:
a
ctually clear
b
uffer when ca
l
led
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
d
oolaege
i
sl_ma
p
_gist: t
r
y and exploit
i
m
plicit cons
t
r
aints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
isl_
t
e
st
.
c: test_gist: cons
i
der test inp
u
ts
a
s s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdool
a
ege
a
d
d
i
sl_m
a
p_u
n
shifted_simple_hull_from_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n Ve
r
dool
a
ege
a
d
d isl
_
unio
n
_set_list_union
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
ge
a
d
d i
s
l_
b
asic_
m
ap_lis
t
_inte
r
sect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ve
n
Verdool
a
e
g
e
isl_map
.
c:
fix white
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add
i
sl_un
i
on_pw_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oolaege
add isl_un
i
on_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdo
o
l
a
ege
add isl_union_map_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_map_l
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
ven
V
e
rdo
o
la
e
g
e
add is
l
_b
a
sic_ma
p
_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add
i
s
l
_u
n
i
o
n
_
set_ident
i
ty_union_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
ad
d
isl_unio
n
_
s
et_project_o
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoola
e
ge
add i
s
l_un
i
on_m
a
p_f
l
at_doma
i
n
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Ver
d
oolaege
add
isl_
u
nion_{set,map}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
ve
n
Ver
d
oolaege
ad
d
isl_basic_map_
g
is
t
_
d
oma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
ol
a
e
ge
a
dd isl_union_
p
w_*_subtr
a
c
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
d
oolaege
a
d
d isl_pw_*_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
V
erdoo
l
aege
add i
s
l_union_ma
p
_factor_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
a
dd isl_
u
nion_map_factor_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next