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_union_pw_*_n_pw_*
2015-01-23
Sv
e
n Verdo
o
laege
add is
l
_
union
_
pw_*
_
n_pw_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
Verdool
a
ege
add isl_uni
o
n_pw_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
d
o
o
l
aeg
e
add isl_
p
w_*_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
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
Verdool
a
eg
e
a
d
d isl_pw_a
f
f
_po
s
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
doo
l
aege
isl_p
w
_
aff_nonneg_se
t
: me
r
ge implementat
i
o
n
with
p
w
_a
f
f_zero_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sve
n
V
e
rdool
a
e
g
e
gen
e
ralize
i
s
l_
u
nion_pw_qp
o
lynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Ve
r
d
o
olaege
add isl_multi
_
*_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
add isl_multi_*_mo
d
_multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Ve
r
doolaege
add isl_mul
t
i_val
_
r
ead_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
v
en Verdoolaege
isl_input
.
c:
r
ead_tuple:
separate tuple p
a
rsing
f
rom
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdo
o
laege
ge
n
eralize
isl_multi_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
is
l
_
map_coalesce
:
harmonize integer divisions
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sv
e
n V
e
rdoolaege
add is
l
_tab_shift_v
a
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ver
d
oo
l
a
e
ge
a
d
d isl
_
basic_map_shift_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdoolaege
isl
_
map_coales
c
e: coalesce within aff
i
n
e hu
l
l
first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdool
a
ege
privatel
y
exp
o
rt isl_basic_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Verdoola
e
g
e
isl_
m
ap_coales
c
e: tr
y
a
n
d
co
a
l
esce basic maps with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
i
s
l_coal
e
sce
.
c
: is_adj_eq
_
extension: allow basic
maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_
c
o
a
lesce
.
c: fuse: allow basic m
a
ps to h
a
ve diff
e
rent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
i
s
l
_map_coalesce: remove hidden factors from c
o
ns
t
ra
i
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n
Verdoolaeg
e
a
d
d isl_bas
i
c_m
a
p_
r
educe
_
coefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verd
o
olaeg
e
isl_map_coalesce: handle divs that h
a
v
e
been s
i
mp
l
ified
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
eg
e
pr
i
vately ex
p
ort isl_aff_substitute_equalit
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add isl_local_
s
pace_wra
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
V
e
r
doolaeg
e
ad
d
isl
_
tab_insert
_
var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven Verdoolaege
i
s
l_map_c
o
alesce: check for subsets
w
i
th
sma
l
ler number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
add i
s
l_basic_map
_
plain_affine_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Verdoolaeg
e
i
s
l_coales
c
e
.
c
:
can_wr
a
p
_in_facet:
o
nly wrap facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_co
a
le
s
ce
.
c: can_wra
p
_
i
n_facet: extract o
u
t add
_
wraps_a
r
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coalesc
e
.
c: c
h
ec
k
_adj_e
q
:
a
llow cut co
n
str
a
ints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Ver
d
ool
a
ege
isl_coalesc
e
.
c
: check_a
d
j_eq
:
drop redundant
test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en
V
erdool
a
ege
isl
_
coalesce
.
c: wrap_in_facets: check fo
r
n
u
mber o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl_coalesce
.
c
: w
r
ap_in_face
t
s:
only wrap aro
u
nd o
t
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sv
e
n V
e
rdo
o
laege
isl_
m
ap_coalesce: only wrap constraints
t
h
at are not
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven V
e
r
d
o
o
l
a
ege
isl_coa
l
esc
e
.
c: add_
w
raps: extract
o
ut common
a
dd_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
ven Ve
r
do
o
l
ae
g
e
is
l
_coalesce
.
c: f
u
se: c
o
py valid
half
o
f eq
u
alit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
is
l
_c
o
alesce
.
c: fuse: extract out add_vali
d
_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
v
en
V
er
d
oolaeg
e
add e
x
tra isl_set_coalesce t
e
st ca
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoo
l
aege
isl_test:
g
e
neralize coalesce tests
w
ith unbound
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
Verdoolaege
isl_coalesce
.
c: contai
n
s: always return
equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
ven
V
erd
o
olaege
i
s
l_coalesce_info: add equal
i
ty and ineq
u
ali
t
y ty
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coal
e
sce
.
c:
c
o
ntains: pass i
s
l_coa
l
es
c
e_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
doolaege
isl_coa
l
e
s
ce
.
c: wraps_update_max:
p
a
ss isl_c
o
alesce_info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl
_
coalesce
.
c
: add_wraps
:
pas
s
isl
_
c
o
alesce
_
info i
n
stead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
erdo
o
lae
g
e
i
sl_map_coalesc
e
: k
e
ep
track o
f
information o
n
basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sve
n
Verdoola
e
ge
is
l
_c
o
alesce
.
c
:
e
x
tract out update_basic_ma
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
olaege
i
sl_coalesce
.
c: coalesced
_
subset: se
p
a
r
a
te check from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Ver
d
oolaege
i
s
l_coalesce
.
c: coalesce: keep t
r
ack of ho
w
a pa
i
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Ve
r
doolae
g
e
i
s
l_coa
l
esce
.
c: is_adj_e
q
_
extension
:
a
lways
put extension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
S
ven Ver
d
oolaege
i
sl
_
c
o
a
lesce
.
c:
f
use:
a
lways put fused ba
s
ic map in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_coal
e
sce
.
c:
wrap_i
n
_facets: simplify c
o
mputation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Ve
r
doolaege
i
s
l_coalesce
.
c: check_eq_adj_eq
:
a
llow
multi
p
le e
q
ualities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven V
e
rdoolaege
isl_
t
est
.
c: fix
w
hitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
Ve
r
doolaege
add isl_basic_map_detect_ine
q
uality_pairs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Ve
r
doolaege
Me
r
ge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoolaege
isl_convex_hull
.
c: c
o
mpute_fa
c
e
t: avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en
Verdoo
l
aeg
e
is
l
_coalesce
.
c: coales
c
e_
s
ubs
e
t: pr
o
p
erly indi
c
a
te
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: set
_
from_update
d
_bmap:
up
d
ate
u
nderlyin
g
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
ola
e
ge
isl_co
a
le
s
ce
.
c: check_fa
c
ets:
u
pdat
e
justificat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c: check
_
face
t
s: m
a
rk
tableau rati
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Ve
r
doolaege
add
i
sl_tab_mark_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
isl_c
o
a
les
c
e
.
c: fi
x
typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolae
g
e
isl_
c
oa
l
e
s
ce
.
c:
can_wrap
_
in_
f
a
cet:
update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaeg
e
isl_coalesce
.
c: ch
e
ck_wrap: update comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdoolaege
isl_tab_relax:
r
eturn
int instead of
i
s
l
_tab *
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en
Verdoolae
g
e
isl_tab_rel
a
x: avoid NULL po
i
n
t
er de
r
ef
e
renc
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
isl
_
tab_a
d
d_eq: p
r
op
a
g
a
te er
r
ors
of drop_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
do
o
laege
isl_tab
.
c
: per
f
o
rm_undo_
v
a
r
: propag
a
te errors of
drop_row
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ta
b
_mi
n
_at_most
_
n
e
g_on
e
: be
c
onsistent about returning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Ver
d
o
ola
e
ge
isl_ast_
b
uild_ast_from_schedule: rem
o
ve redund
a
nt const
r
aint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdoolaege
add isl_uni
o
n_{
s
et,map}_
r
emove_red
u
ndancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_ast_
b
u
ild_expr
.
c
:
isl_ast_exp
r
_a
d
d_term: allow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en Verdo
o
laege
isl_as
t
_
codegen
.
c: add_implied
_
guards: co
m
bin
e
degenerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verd
o
olaege
isl_ast_build_expr
.
c:
i
sl_
a
s
t_expr_add_term: stor
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
V
e
rdoo
l
aege
isl_ast_bui
l
d_expr
.
c: try_extract_
m
od: decla
r
e variable
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
S
ven Ve
r
d
o
olaege
AST
g
enerator
:
se
l
ec
t
u
n
r
oll lo
w
er bound in
t
ro
d
ucing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sv
e
n
Ve
r
doolaege
i
s
l_a
s
t
_
codeg
e
n
.
c:
m
ove
up at_
o
ffse
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
isl_ast_code
g
e
n
.
c: extract
out is_
b
etter_
l
ower_bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verdo
o
laege
i
s
l_print
e
r_flush: actu
a
ll
y
clear buffer when called
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolae
g
e
isl_
m
ap_gist: try and exploit i
m
plici
t
con
s
traints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sv
e
n Verdoolaege
isl_test
.
c: tes
t
_gist: consider
t
e
st
inputs as sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoolaege
a
d
d isl_map_unshifted_si
m
ple_hull_fro
m
_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
a
d
d isl_union_set_list_unio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ve
r
d
oolaege
add isl_
b
asic_
m
ap_list_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
oolaege
is
l
_map
.
c: fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
a
d
d isl_u
n
ion_pw_multi_af
f
_
list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl_union_
s
e
t
_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
en V
e
rdoolaege
a
d
d i
s
l
_
union_map_
l
is
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdo
o
laege
add isl
_
map_lis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoola
e
ge
add isl_bas
i
c_map
_
list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
S
ven Ver
d
oolaege
add isl_union
_
s
et_identity_union_pw_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verd
o
olaege
add
isl_unio
n
_set_pr
o
jec
t
_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n
V
er
d
oolaege
add
i
sl_u
n
i
o
n_map_f
l
at_domain
_
pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
Verdoolaege
add isl_union_{set,map}_is
_
disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
ven Ver
d
o
o
laege
a
dd isl_b
a
sic_m
a
p
_
gist_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
add isl_u
n
io
n
_pw_*_subtract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ver
d
oolaege
a
dd isl_p
w
_
*
_subtract_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sv
e
n Verdoolaege
add i
s
l_union_map_f
a
ctor_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next