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
Sv
e
n V
e
rdo
o
laege
add i
s
l_union_pw_*_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdoolaege
ad
d
i
sl_union_pw_*_n_pw_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolae
g
e
add isl_
u
nion_
p
w
_
*_reset_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
add i
s
l
_
p
w_*_reset_us
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sv
e
n Verdo
o
lae
g
e
ad
d
isl_pw_
m
u
l
ti_aff_range_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
ven Verdoolaege
a
d
d
isl_pw_
a
f
f
_pos_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
S
v
en Verdoolaege
isl_pw_aff_nonne
g
_
set: merge implementatio
n
wi
t
h pw
_
a
f
f
_
z
e
ro_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
generalize isl_union
_
pw_qpolynomial_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven
V
erd
o
o
l
a
ege
add isl_multi_*_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Verd
o
o
laege
a
dd isl_multi_*_mod_mul
t
i_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl_mul
t
i_val_re
a
d_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
Sven Ve
r
doolaege
isl_in
p
u
t
.
c: read
_
t
u
ple:
sep
a
rate tuple parsing from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-17
S
ven Ver
d
oola
e
ge
genera
l
ize i
s
l_multi_aff_s
u
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven
V
erdoolaege
isl_map_coalesce: harmonize in
t
ege
r
division
s
th
a
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
S
ven Verdoolaege
add isl_ta
b
_s
h
ift_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
add isl_basic
_
m
a
p_shift_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoolaege
is
l
_m
a
p
_
coalesce: co
a
lesce within affin
e
hull first
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoola
e
ge
private
l
y
e
xport isl_basic_map_get_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en
Verdool
a
ege
isl_map
_
coal
e
sce: try and coalesce basic
m
aps with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoo
l
a
ege
isl_coalesce
.
c: is_adj_eq_extension: allow bas
i
c
m
aps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verd
o
olaege
isl_coalesce
.
c: f
u
se: allow basic
m
ap
s
to hav
e
diff
e
rent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n Ve
r
do
o
laeg
e
isl_map_coalesc
e
: remove hidden factor
s
from
c
onstraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_
b
asic_ma
p
_
r
educe_coefficients
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verd
o
olaege
isl_map_coalesce: handle divs that have
b
e
en simplifie
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoolaege
p
r
i
va
t
ely
e
xport
isl_aff_su
b
s
t
i
t
ute
_
equalities
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoola
e
ge
add i
s
l_local_space_wrap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
Verdoolaege
add isl_tab_insert_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
e
n Verdoolaege
isl_m
a
p
_
coal
e
sce:
c
he
c
k for
s
ubset
s
w
i
t
h
smaller number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ve
r
doo
l
aeg
e
ad
d
is
l
_b
a
sic
_
map_
p
lain_affine_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoola
e
ge
is
l
_
c
oalesce
.
c: c
a
n_wrap_in_f
a
cet: only wrap facet
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Ve
r
d
oolaege
isl_coalesce
.
c:
c
an_w
r
ap_i
n
_facet: e
x
tra
c
t out add_wraps_aro
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verd
o
ola
e
ge
is
l
_c
o
a
lesce
.
c: c
h
eck_a
d
j_eq: allow cut constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaege
is
l
_
c
oalesce
.
c: check
_
adj_eq: dr
o
p redundant te
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven V
e
rdo
o
laege
isl_coalesce
.
c: wrap_in_facets: check
f
or number of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en Verdoolaege
i
sl_coalesce
.
c
: wrap_in_facets: o
n
l
y wrap around othe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Verd
o
olaege
i
sl
_
map_coal
e
sce:
only wrap constraints that
a
re not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ve
r
do
o
laege
isl_coalesce
.
c: add_w
r
aps: extract out common add_w
r
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaeg
e
isl_coa
l
es
c
e
.
c:
fuse: copy
val
i
d half
o
f eq
u
ality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
e
n Verdoolaege
isl_coalesce
.
c:
f
use: extr
a
c
t
out add_valid_c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoolaege
add
ex
t
ra isl_set_co
a
lesce test case
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Ver
d
oolaege
is
l
_te
s
t
:
generalize coalesce te
s
t
s
with un
b
ounde
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
e
rdoolaege
isl_coalesce
.
c: contains: always return equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoo
l
aege
is
l
_coalesc
e
_info: ad
d
e
q
ual
i
ty
and inequality types
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdool
a
e
ge
isl_coalesc
e
.
c: contains: pass isl_coalesce_info instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_
c
o
alesce
.
c: wraps_upd
a
te_max:
p
as
s
i
s
l_coalesce
_
info
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l
_coalesce
.
c
: add_
w
raps
:
pass isl_
c
oales
c
e_info in
s
tead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
olaege
isl_map_coale
s
ce: keep track of information on basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
sl_coalesce
.
c: extra
c
t
ou
t
update_basic_
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Verd
o
olaeg
e
isl_coalesce
.
c: coalesced
_
subset: separate chec
k
from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-07
S
v
en
Verd
o
olaege
isl_coalesce
.
c: coal
e
sce:
k
ee
p
track of how a pair
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoola
e
ge
isl_coalesce
.
c
:
i
s
_adj_eq_extension
:
alway
s
p
u
t ex
t
ensi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erdo
o
laeg
e
i
s
l
_coalesce
.
c: fu
s
e:
alway
s
put fused
basic
map
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ver
d
oolaege
isl_coalesce
.
c:
wrap_in_facets: simplify compu
t
ati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
i
sl_c
o
alesce
.
c:
check
_
e
q
_ad
j
_eq: allow mul
t
iple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
doolaege
i
sl_tes
t
.
c: fix w
h
itespace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Verdo
o
laege
a
d
d isl_basi
c
_m
a
p
_detect_inequality
_
pai
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-01-01
S
v
en Verdool
a
ege
Merge br
a
nch 'main
t
'
commit
|
commitdiff
|
tree
2015-01-01
S
ven V
e
rdoolaege
isl_convex_hu
l
l
.
c: c
o
m
p
ute_facet: a
v
oi
d
d
ou
b
le
fre
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n
Verd
o
olae
g
e
isl_co
a
l
e
s
ce
.
c: co
a
lesce_s
u
bset
:
properly indicate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doola
e
ge
isl_coale
s
ce
.
c
: set_from_updat
e
d_bma
p
: update u
n
derl
y
i
n
g set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
isl_
c
oalesce
.
c: check_f
a
cets
:
update ju
s
tification
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolae
g
e
isl_coa
l
e
sce
.
c:
c
h
eck_facets
:
m
a
rk tableau rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Verdoolaeg
e
add
is
l
_tab_mark_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
e
rdoolaege
isl_
c
oalesc
e
.
c: fix typos in comme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoo
l
aege
isl_co
a
lesce
.
c: can_wrap_in_
f
ac
e
t: update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoola
e
g
e
isl_coalesce
.
c: check_wrap: update comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
o
la
e
ge
isl_tab_relax
:
return in
t
i
n
s
tead of isl_tab *
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doola
e
ge
isl_tab_r
e
l
ax: avoid
NULL pointer
der
e
f
e
rence
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
ven Verdoolaege
isl
_
tab_ad
d
_eq: propagate
e
rrors of drop
_
row
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verd
o
olaege
isl_tab
.
c: pe
r
form_
u
ndo_va
r
: propagate errors
of d
r
op
_
row
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
ol
a
ege
i
sl_tab_min_at_most
_
neg_one: be consistent
about
r
eturning
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaeg
e
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaeg
e
isl
_
ast_build_ast_f
r
om_schedule: r
e
mo
v
e redunda
n
t constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
e
g
e
add isl_
u
n
i
on_{set,map
}
_remove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
isl_ast_b
u
ild_expr
.
c: isl_ast_expr_add_term: a
l
lo
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
isl
_
ast_c
o
d
eg
e
n
.
c: add_i
m
pl
i
ed_guar
d
s: combine degene
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
e
r
doola
e
ge
i
s
l
_
a
st_build
_
expr
.
c
:
isl_ast_expr_
a
dd_term:
store
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaege
isl
_
a
st_
b
uild_expr
.
c: try_ex
t
ract_mod: de
c
lare vari
a
bl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
V
e
rdoolaege
AST
generator: select unrol
l
lower b
o
und introduci
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
S
v
en Ve
r
doolaege
isl_ast_codegen
.
c: m
o
ve up at_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Verdoolae
g
e
isl_as
t
_
co
d
ege
n
.
c: extrac
t
out is
_
better_l
o
wer_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-19
Sven V
e
r
d
oolaege
i
sl_printer_
f
lush:
a
ctually clear bu
f
fer whe
n
called
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
o
olaege
isl
_
map_gist:
t
ry and exp
l
oi
t
implicit constr
a
ints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sve
n
V
e
r
do
o
laege
isl_test
.
c: test_gist:
c
onsider test i
n
p
u
ts
a
s sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Ve
r
d
oolaege
add isl
_
map
_
u
n
shifted_sim
p
le_hu
l
l
_fro
m
_map_lis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl
_
union_set_list
_
uni
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl_basic_m
a
p_list_in
t
ersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoola
e
ge
i
s
l
_
m
ap
.
c:
f
ix
whi
t
espace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
add is
l
_
u
nion_pw_multi_aff_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
d
o
o
l
ae
g
e
add
i
sl_union_set_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en Verdoola
e
ge
add isl_union
_
map_li
s
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolae
g
e
add isl_map_
l
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
ven Verdoolaege
add isl_basic_map_list
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-27
S
v
en
V
erd
o
o
l
ae
g
e
add isl_union_set_iden
t
ity_union_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoolaege
add isl_union_set_pro
j
e
c
t_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add is
l
_union_map_flat_domain_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoo
l
aege
a
d
d
isl_union_{se
t
,map}_is_disjoint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdo
o
lae
g
e
add is
l
_
b
asi
c
_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Verdoolaege
a
d
d is
l
_union_pw_*_subtract_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
ad
d
isl_pw_*_subt
r
act_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next