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_*_reset_user
2015-01-23
Sven Verdoolaege
add isl_p
w
_*_rese
t
_
user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Ve
r
dool
a
e
ge
a
d
d isl_p
w
_m
u
lti_af
f
_range_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdo
o
la
e
ge
add isl_pw_aff_pos_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoo
l
aege
isl_
p
w_aff_nonneg_s
e
t: merge implementat
i
on w
i
th pw_aff_zer
o
_
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
Sven Verdoolaege
g
enera
l
ize isl_u
n
ion_pw_q
p
olynomial_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-23
T
o
b
i
as Grosse
r
Fix so
m
e typos in
c
omments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sv
e
n
Verdoola
e
ge
add isl
_
multi_*_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven
Verdo
o
laege
add
i
sl_multi_*_mod
_
multi_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
v
en
V
erdoolaege
a
dd isl_multi_
v
al_rea
d
_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
Sven Verdoolaege
is
l
_input
.
c: re
a
d_tuple: separat
e
tuple parsing fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-17
S
ven
V
erdoolaege
gener
a
lize
i
sl_m
u
lti_aff_
s
ub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven
van H
a
astregt
doc: cl
a
rif
y
list capac
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Ver
d
oola
e
ge
i
sl
_
map_coales
c
e: har
m
onize
integer divisions th
a
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
Sven Verdoolaege
add isl_tab_s
h
ift
_
v
a
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-16
S
v
e
n
Verdoolaeg
e
ad
d
isl_basic_map_shift_div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdo
o
laege
isl_map_coalesce: c
o
alesce within
a
f
f
ine
h
ull first
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verd
o
o
l
aege
p
r
i
v
ately export isl_basic_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en V
e
rdoolaege
i
s
l_map_c
o
alesce
:
try and
c
o
alesce basic
m
aps
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoolaege
isl_coal
e
sce
.
c:
i
s_adj_e
q
_ex
t
ension:
a
llow
basic m
a
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoo
l
ae
g
e
i
sl_coa
l
e
s
c
e
.
c
: fuse:
a
llo
w
basic maps to h
a
ve di
f
ferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdool
a
e
g
e
isl_map_coa
l
esc
e
: r
e
move hi
d
den fact
o
r
s
from constraint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
a
d
d
is
l
_
b
a
sic_map_reduce_coefficients
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
rdoo
l
aege
i
sl_map_coale
s
ce: ha
n
d
l
e di
v
s that have bee
n
simpli
f
ied
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sve
n
Ve
r
doolaege
privatel
y
export isl_aff_substitute_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaeg
e
add i
s
l_loca
l
_s
p
ace_wrap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
ven
V
erdoolaege
add is
l
_tab_inse
r
t_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven
Ver
d
oolaege
isl_map_coalesce: check for subsets with smaller
n
umber
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
S
v
en Verdo
o
l
a
e
g
e
add
i
sl_bas
i
c_map_pl
a
in_affin
e
_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sv
e
n Verdoolaege
isl_coalesce
.
c: can_wrap_in_fa
c
et: o
n
ly wra
p
facet
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Ver
d
oolae
g
e
isl_co
a
lesce
.
c: can_wrap
_
in_facet:
e
xtract out add_wraps_aro
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven Verdoolaege
isl_coale
s
ce
.
c: check_
a
dj_eq: allow cut
con
s
traint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-12
Sven V
e
r
doolaege
isl
_
coalesce
.
c: c
h
eck_adj_eq: dro
p
redundant test
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
S
v
en Verdoolaege
i
s
l_coa
l
esce
.
c: w
r
ap_in
_
facets
:
check for
n
umber
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Ve
r
d
o
olaeg
e
i
sl_coalesce
.
c: wrap_in_facets:
o
n
l
y
wrap a
r
ound other
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl
_
m
a
p_
c
oalesc
e
: only wrap
constraints
t
hat are no
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdo
o
laege
isl_coalesce
.
c: add_wr
a
ps: ext
r
act
o
ut c
o
m
m
on add_wr
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-09
Sven Verdoolaege
isl
_
coalesce
.
c: fus
e
:
copy
vali
d
half of eq
u
ality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven
V
e
rdoolaege
i
s
l_coalesce
.
c: fu
s
e:
e
xtract out add
_
valid_c
o
nstraint
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoola
e
ge
a
d
d
extra i
s
l_
s
et_coale
s
ce tes
t
case
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sv
e
n Verdoolaege
isl_tes
t
: generalize coalesc
e
tes
t
s
w
ith unbounded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
d
oolaege
isl_
c
oalesce
.
c
:
c
o
n
t
ains
:
always retu
r
n equaliti
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Ve
r
d
oolaege
isl_coal
e
sce_i
n
fo: add equ
a
lity and inequ
a
lit
y
ty
p
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolae
g
e
isl_coalesce
.
c:
c
ontains
:
pass isl_coalesce_info instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verd
o
olaege
isl_c
o
a
lesce
.
c:
wra
p
s_u
p
date_max: pass isl_coalesce_info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
S
ven Ve
r
d
o
olaege
isl_coalesce
.
c: a
d
d_wraps: pas
s
isl_coalesce_info ins
t
ead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_m
a
p_
c
oalesce: ke
e
p track of infor
m
ation o
n
bas
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
isl_coalesce
.
c: extract out
u
p
date_b
a
sic_ma
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaeg
e
isl_coa
l
esce
.
c: co
a
les
c
e
d_su
b
set
:
separate c
h
e
c
k from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-07
Sven Verdoolaege
i
s
l_coalesce
.
c: c
o
alesce: keep track o
f
how a
pa
i
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sve
n
V
erdoolaege
i
sl_coale
s
ce
.
c: is_adj_eq_extension
:
always
p
ut exten
s
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoo
l
aege
isl_co
a
lesce
.
c:
f
use
:
al
w
ays p
u
t fused basic map in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verdoolaege
isl_coales
c
e
.
c:
wrap_in_facets: simp
l
ify computat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sv
e
n Verdoolaege
isl
_
c
o
alesce
.
c: check_eq_a
d
j_e
q
: allow
multiple equ
a
l
i
t
i
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
Verdoolaege
is
l
_t
e
st
.
c:
fix
w
h
itespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven Verdoo
l
aege
a
d
d
i
s
l_basic
_
map_
d
etect_inequality_pairs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-01-01
Sven
V
erd
o
olaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2015-01-01
Sven Verd
o
o
la
e
ge
isl_c
o
n
vex_hu
l
l
.
c: compute_f
a
ce
t
:
avoid double free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoola
e
ge
isl_coalesce
.
c: coale
s
ce_subset: proper
l
y indicat
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven V
e
rdool
a
ege
i
sl_coalesce
.
c
:
set_from_up
d
ated_b
m
ap:
u
pdate underlying
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoo
l
aege
isl_co
a
lesce
.
c
: check
_
fa
c
et
s
: update justificatio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
V
erdo
o
l
a
ege
isl_coalesce
.
c
:
check_facet
s
: mark tableau r
a
t
i
o
nal
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verd
o
olaege
add isl_tab_mark_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
i
sl_co
a
l
e
sce
.
c: f
i
x typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdoolaege
isl_coa
l
esce
.
c: can_wrap_in_
f
ace
t
: update c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_coalesce
.
c
:
chec
k
_wrap:
u
p
date comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n
Verdoolaege
i
s
l_tab_r
e
lax: return
int instead
of
i
s
l
_t
a
b
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoola
e
ge
isl_
t
a
b
_r
e
lax:
avoi
d
N
U
L
L
pointer derefere
n
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolae
g
e
isl_tab
_
a
d
d_eq: pro
p
agate errors
of d
r
o
p_row
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_tab
.
c
: p
e
r
form_undo_var:
p
ropagate
e
rrors of
dr
o
p_r
o
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven
Verdool
a
ege
isl_tab_min_at_most_neg_one
:
be consistent about retu
r
ning
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sve
n
Ve
r
doolae
g
e
Merg
e
b
r
anch 'mai
n
t
'
commit
|
commitdiff
|
tree
2014-12-25
Sv
e
n Verdoolaege
isl_ast_
b
u
i
ld_ast_fro
m
_s
c
hed
u
le: r
e
move redund
a
nt c
o
ns
t
raints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
en
V
erdoolaege
a
dd
i
sl_union
_
{set,map}_re
m
ove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Ve
r
doolaege
isl_ast
_
buil
d
_
e
xpr
.
c: isl_ast_expr
_
add_term: a
l
low
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdool
a
ege
i
s
l
_ast_co
d
eg
e
n
.
c
: add_implied_gua
r
ds:
c
ombine degenerate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
Sven Verdoolaege
isl_a
s
t
_build_expr
.
c: isl_ast_e
x
pr_add_ter
m
:
s
tore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-25
S
v
e
n Verdoo
l
aege
i
sl_a
s
t_b
u
ild_expr
.
c: try
_
extract
_
m
o
d: decl
a
re var
i
a
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven Verdoolaege
A
ST generator
:
sel
e
c
t u
n
roll
l
ower bo
u
nd introducing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sven
Ver
d
oo
l
a
e
g
e
i
sl_
a
st_codegen
.
c
:
move
up at_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-24
Sve
n
Ve
r
doolaege
isl_ast_codegen
.
c
:
e
xt
r
act ou
t
i
s
_be
t
ter
_
l
ower_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-19
Sven Verd
o
ol
a
e
ge
isl_pri
n
ter_flush: actually clear buffer w
h
en cal
l
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
V
erdo
o
laege
isl_ma
p
_gist: try and exploit im
p
licit co
n
straints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n Verdoolaege
is
l
_test
.
c: tes
t
_gist: consid
e
r test inputs as
s
ets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoo
l
aege
add i
s
l_map_un
s
hifted_simple_hull_from_m
a
p
_
list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Verdoolaege
add isl
_
union
_
s
et_list_union
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven Ver
d
o
o
laege
add is
l
_b
a
s
ic_map_list_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven
Ve
r
doola
e
ge
isl_map
.
c
:
fix whitespace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
v
e
n Verdoo
l
aege
add isl_union_p
w
_multi_aff
_
list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
Sven V
e
rdoolaege
add isl_union_set_l
i
st
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-12-02
S
ven Verdoo
l
ae
g
e
add isl_uni
o
n_m
a
p_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdo
o
laege
add is
l
_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Verdoolaege
add isl_basic_map_list
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-27
Sven Ve
r
doola
e
ge
add
i
s
l
_union_set_iden
t
ity_un
i
on_pw
_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven
Ve
r
dool
a
ege
add isl_union_set_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Verdoolaege
add isl_un
i
o
n_map_fla
t
_d
o
main_
p
ro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en Verdoola
e
ge
add isl_union_{set,map}_is_disjoint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sve
n
V
erdoolaege
add isl_basic_
m
ap_gist_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
en
Verdoolaege
add i
s
l
_union
_
pw_*_su
b
tract_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
S
v
e
n
Ve
r
dool
a
e
g
e
add i
s
l_pw_*_subtract_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2014-11-20
Sven Ve
r
doolaege
a
dd is
l
_
union_ma
p
_
factor
_
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next