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_obj_schedule
2015-01-23
Sven
V
erdoolaege
a
dd isl_union_pw_*_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verd
o
ol
a
ege
ad
d
isl_union_pw_*_n_p
w
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven
Verdoolaege
add isl
_
union_pw
_
*_
r
eset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
add isl_pw_*_r
e
set
_
user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add isl_pw
_
multi_aff_ra
n
ge_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
add isl_pw_aff_pos_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verd
o
olaege
isl_pw_aff_nonne
g
_set:
m
erge implementa
t
ion with p
w
_aff_zero
_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdoolaege
generalize i
s
l_uni
o
n
_
pw_qpolynomial_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl_multi_*_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven V
e
rdoola
e
g
e
add isl_multi_*_mod_multi_va
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sve
n
V
erdoolaege
add isl_m
u
lti_val_
r
ead_
f
ro
m
_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolae
g
e
isl_inpu
t
.
c: read_tuple: se
p
a
r
ate
tuple parsing from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
gener
a
lize isl_mu
l
t
i_aff
_
sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
ven
Verdoolaege
i
sl_
m
a
p
_coalesce: harmonize int
e
ger divis
i
ons t
h
at
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaeg
e
add is
l
_tab_shift_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ve
r
doolaege
add isl_bas
i
c
_map_shift_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
sl
_
map_coales
c
e: co
a
lesce
w
i
thi
n
a
f
f
i
ne hull first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolaege
pri
v
ately export isl_basic_
m
ap_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolae
g
e
isl_map_coalesce
:
t
r
y and coalesce basic ma
p
s with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolaege
i
s
l_
c
oalesce
.
c
:
is_adj_eq
_
extension: allow b
a
sic
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
e
rdoolaege
isl_coalesce
.
c: fuse: al
l
ow basic
m
aps to have di
f
ferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
i
s
l
_map_
c
oalesce: re
m
ove
hid
d
en fa
c
tors from
c
onstrain
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_basic_map_red
u
ce_
c
oefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
e
ge
isl_map_
c
o
alesce: handle di
v
s that have been simplified
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n
Verd
o
ola
e
g
e
privat
e
ly
export isl_aff_substit
u
te_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
o
olaege
a
dd i
s
l_loca
l
_space_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoo
l
ae
g
e
a
d
d isl
_
tab_ins
e
rt_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Ver
d
ool
a
ege
isl_
m
ap_coalesc
e
:
c
heck for subsets with smaller number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaege
a
d
d isl_basic
_
map_pl
a
in_affine_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolae
g
e
isl_
c
oales
c
e
.
c: can_wrap
_
i
n
_fa
c
et: onl
y
wrap facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoola
e
ge
is
l
_coalesce
.
c: ca
n
_wrap_in_fa
c
et
:
ex
t
ract ou
t
add_wr
a
p
s_aro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
s
l_coal
e
sce
.
c:
check_adj_eq: allow cut constr
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
isl_coale
s
ce
.
c: ch
e
ck_adj_eq: drop redun
d
ant
t
est
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sve
n
Verd
o
olaege
isl_coalesce
.
c
: wrap_i
n
_
f
a
c
e
t
s: che
c
k for number of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
ven
V
erdoolaege
isl_coalesc
e
.
c: wrap_in_facets: only w
r
ap around other
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en Verdoo
l
ae
g
e
isl_map_c
o
a
l
e
s
ce
:
only wrap co
n
straints
t
hat are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ve
r
doolaeg
e
isl_
c
oa
l
e
sce
.
c: add_w
r
aps: extrac
t
out common add_
w
rap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven V
e
rdoolaege
isl_c
o
ale
s
ce
.
c: f
u
se: copy valid half
of equality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoo
l
aege
i
s
l_coa
l
e
s
ce
.
c: fuse: ex
t
ract out
add_valid_constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdo
o
laege
add extra isl_set_coalesce test ca
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
o
o
laege
isl_t
e
st: generalize c
o
a
l
esce
tests with unbou
n
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl
_
co
a
lesce
.
c: contains: always return e
q
ualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoo
l
aege
isl_c
o
alesce_inf
o
:
a
dd equality and in
e
qu
a
l
ity type
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verd
o
olaege
isl
_
c
oal
e
s
ce
.
c
:
co
n
tains:
p
ass isl_
c
o
a
lesce_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c: wraps_update_max: pa
s
s
isl_
c
o
alesce
_
i
nfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ver
d
oolaege
isl_coal
e
s
c
e
.
c: add_wraps:
p
a
ss
isl_c
o
a
l
es
c
e_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoolaege
isl_map_coales
c
e
:
keep trac
k
o
f
information
on basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdool
a
e
g
e
isl_coalesce
.
c:
e
xtra
c
t o
u
t update_basic_maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_coalesce
.
c:
coalesced_subse
t
:
s
e
p
arate check fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven V
e
rdoolaege
i
s
l
_coal
e
sce
.
c: coalesce: keep trac
k
o
f
how a pair
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erdool
a
ege
isl
_
c
o
alesce
.
c: is_adj_eq
_
exte
n
sion: always put extension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rdo
o
laege
isl_coalesce
.
c: fuse:
a
l
w
ays p
u
t fused basic map in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoola
e
ge
isl_coalesce
.
c: wrap_in_facets: simpli
f
y comp
u
t
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_coa
l
esce
.
c:
c
heck_eq_adj_eq
:
allow multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rdoolaege
isl_
t
est
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolae
g
e
add
isl_
b
asic_map
_
detect_i
n
equal
i
ty_pa
i
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
er
d
oolaeg
e
Merge b
r
anch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2015-01-01
S
v
en
V
e
rdoolaege
is
l
_con
v
ex_
h
ul
l
.
c
: compute
_
f
a
cet: av
o
i
d
double
fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Ver
d
oolaege
i
sl_coale
s
ce
.
c
:
coal
e
s
ce_sub
s
et: p
r
operly indicate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c
: set_f
r
o
m
_updated_bmap
:
update underlying set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesc
e
.
c: check_facets: update justific
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
i
s
l
_
coalesce
.
c: ch
e
c
k
_
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_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Ve
r
d
o
olaege
i
s
l_coalesce
.
c: fix
typo
s
i
n co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
is
l
_coalesce
.
c: c
a
n
_wrap_in_
f
a
c
e
t
:
update
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
rdoola
e
g
e
isl_coalesc
e
.
c: ch
e
c
k_wrap
:
update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl_ta
b
_re
l
ax: return
i
nt instead o
f
isl_tab
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
i
s
l_tab_relax: avoid NULL poi
n
ter derefere
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
isl
_
tab_a
d
d_eq: propagate errors of d
r
op_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
isl_tab
.
c: perform_un
d
o_var: propagate
errors of drop_row
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab_min_at_most_neg_one
:
b
e
cons
i
stent about re
t
urning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoo
l
aege
Merg
e
b
ranc
h
'main
t
'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_bu
i
l
d_ast_fro
m
_s
c
h
e
d
u
le: remove redundan
t
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
add isl_unio
n
_
{set,m
a
p}_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
i
s
l
_a
s
t
_
build_expr
.
c: isl_ast_expr_add_term:
a
l
low
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdo
o
l
a
ege
isl_ast_codegen
.
c: add_
i
mplied_guar
d
s:
com
b
i
n
e
degener
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Ver
d
oolaeg
e
isl_ast
_
build_expr
.
c: isl_ast_expr_add_term:
s
t
o
re
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaege
isl_ast
_
build_expr
.
c: try_extract_mod: d
e
clare va
r
iabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
V
e
r
d
oolaege
AST generator: sel
e
ct unrol
l
lower bound introducing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdo
o
laege
isl_ast_co
d
egen
.
c: move up
a
t
_
offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdool
a
ege
isl_ast_c
o
degen
.
c: extr
a
c
t out is_better
_
l
o
wer_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdoolaege
isl_prin
t
er_flush: actuall
y
cl
e
a
r buffer when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
i
s
l_map_
g
ist: try an
d
exploit impli
c
i
t
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
isl_test
.
c: test_gist
:
consider test inputs
as sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
Verdoolae
g
e
a
dd
i
sl_
m
a
p_unshifted
_
s
i
mple_hull_from_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
ad
d
i
s
l_union_set
_
lis
t
_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoo
l
ae
g
e
ad
d
i
sl_basic_map
_
list_i
n
t
ersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erd
o
olaege
isl_map
.
c: f
i
x
whitespa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Ve
r
doolae
g
e
a
dd isl_u
n
ion_pw_multi_aff_li
s
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdoolae
g
e
ad
d
isl_union_set_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n
Verdoolaege
add isl_u
n
ion_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
ven Verdoolaege
add isl_map_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven
Ver
d
oolaege
add isl_basic_map_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
v
e
n Verdo
o
laege
add
isl_union_set_identity_u
n
ion_pw
_
multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
add
i
sl_unio
n
_set_projec
t
_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdool
a
ege
add isl_un
i
on_map_flat_domain_
p
rod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven V
e
rd
o
olaege
add isl_union_{set,map}_is_disjoin
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_ba
s
ic
_
ma
p
_gist
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Verdoo
l
a
e
ge
add isl_union_pw_*_sub
t
ract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolae
g
e
a
d
d isl_pw_*
_
subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next