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
isl_ast_build_eliminate_divs: remove unknown divs before divs involving depth
2012-11-20
Sven Verd
o
ola
e
ge
isl_ast_
b
uil
d
_eliminate_divs
:
re
m
ov
e
unknown
d
i
vs
befo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdo
o
laege
isl_affine_hull
.
c: affin
e
_hull_with_con
e
: p
l
ug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
change prototype of isl_factoriz
e
r_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Ve
r
doolaege
is
l
_
t
ab_samp
l
e
: perform
g
reedy search before pe
r
form
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdo
o
laege
i
s
l
_
tab
_
sample: ext
r
act o
u
t compute_min and compute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdool
a
eg
e
isl_tab_sam
p
l
e
:
treat e
m
pt
i
n
es
s
of tableau as
er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sve
n
Ver
d
oolaege
AST gen
e
r
ation
:
f
i
x handli
n
g of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaeg
e
isl_printer_p
r
int_{basic_,
}
{s
e
t,map}: don't start
n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
dool
a
ege
isl_pri
n
ter_print_space: su
p
port printing in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Ve
r
doolae
g
e
r
en
a
me
i
sl_b
a
sic_set_add to isl_
b
as
i
c_
s
et_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff
_
n
ormalize
:
plug in divs with unit co
e
ffi
c
ient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
d
oola
e
ge
isl_loca
l
_
s
p
a
ce_subs
t
itu
t
e_
s
eq
:
tak
e
argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
isl_aff_floor:
normalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven V
e
rdool
a
eg
e
isl_aff
_
ceil
:
c
ompute c
e
i
l(e/m) as fl
o
or((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl_aff_gist: add missing
i
sl_vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven
V
erdoo
l
aege
isl_union_s
e
t_com
p
ute_schedule
:
double c
h
eck that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
i
s
l_union_set_compute
_
sc
h
e
du
l
e: ensu
r
e carry_de
p
enden
c
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
Ve
r
do
o
la
e
ge
update
f
or change in clang'
s
DiagnosticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven V
e
rdoolaege
i
s
l_map_plain_is
_
disjoint:
h
a
ndle i
n
puts w
i
t
h
d
iff
e
r
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verd
o
olae
g
e
add README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Kloe
c
kner
Introd
u
ce
is
l
_int
_
free_str to r
e
move GMP
d
e
p
end
e
ncy
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdo
o
laege
i
sl_union_
s
e
t
_compute_schedul
e
: handle resu
l
t with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sve
n
Verdoolaege
isl
_
ast_c
o
degen
.
c: g
e
nerat
e
_domai
n
: p
o
stpon
e
single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven
V
erdoolaege
is
l
_a
s
t_bu
i
ld_as
t
_fr
o
m_
s
c
h
edule: make c
o
nstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en
V
er
d
o
o
l
aege
i
sl_ast_build_
a
st_from_sche
d
ule: us
e
"<" if upper
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_as
t
_expr: add isl_ast_op_lt and isl
_
ast_op_gt operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Verdoolaege
add i
s
l_ba
s
ic_s
e
t_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdo
o
laege
isl_ast_
e
x
p
r
_from_aff: try harder to u
s
e isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdoolaege
i
s
l_ast_build_e
x
pr
.
c:
separa
t
e o
u
t extract_modulo functio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
er
d
o
ol
a
ege
isl_ast
_
build_expr
.
c: fix typ
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
i
s
l_a
s
t
_
build_expr
.
c: remove remnants o
f
c
o
d
e
remo
v
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven
V
erdoola
e
ge
a
dd extra
A
ST
generation test case fr
o
m
C
LooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_p
r
inter_print_st
r
:
ha
n
dle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoolaege
i
s
l_as
t
_e
x
pr_mod:
p
erform
m
issi
n
g multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobi
a
s Grosser
Make
s
ed
expression in
Makefi
l
e compa
t
i
ble with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add
is
l
_id_set_fr
e
e_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_printe
r
_print_pw
_
a
f
f:
u
se isl_
a
st_expr when pr
i
nting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
support
f
or generatin
g
A
S
Ts f
r
om sche
d
ule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
ad
d
IS
L
_CTX_{
G
ET,SET}_STR_
D
EF
macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
laege
doc: sepa
r
a
t
e out polyhedral compilation f
u
nctionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
a
d
d isl_set_di
m
_
h
as_{lo
w
er,upp
e
r}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoolaege
isl_basic_
s
et_substit
u
te: check
t
ha
t
input a
f
fine
e
xpressi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
d
o
olaege
isl_pw_multi_aff_
s
ubstitute: im
p
r
ove error ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
isl
_
b
asic_map_align_divs
:
fix
po
t
e
ntial invalid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
i
s
l_pw_mul
t
i_aff_f
r
om_map: dete
c
t strides in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
is
l
_
p
w_m
u
lti_
a
ff_from_map:
d
etect easy floors directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
p
rivatel
y
export isl_
m
ap_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_pw_*_pullb
a
ck_
p
w_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoo
l
a
e
g
e
ad
d
isl_
p
w_*_pullback_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add
i
sl_multi_
a
f
f_pul
l
back_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
add isl_aff
_
p
u
llba
c
k_m
u
l
ti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
l
a
ege
add isl_lo
c
a
l
_space_
p
reimage_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_set_p
r
eimag
e
_pw_m
u
lti_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoo
l
aege
add
i
s
l
_set_preimage_m
u
lti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
isl
_
basic_
s
et_pr
e
image_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_stream_new_str:
f
a
i
l
o
n NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
priv
a
tely
e
xport isl_multi_aff_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
a
e
g
e
a
d
d
isl_basic_set_add_div_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
map_is_s
u
b
s
et
:
suppo
r
t rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
is
l
_s
t
rea
m
_rea
d
_map
:
fi
x
parsing of Ome
g
a input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doolaeg
e
isl_strea
m
_read_map: ad
d
pa
r
t
ial
s
uppo
r
t for rea
d
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
isl_pw_
a
ff_nonneg_set: return a rat
i
onal set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
a
ege
i
sl_pw
_
aff
_
ze
r
o_s
e
t:
re
t
urn
a ration
a
l set if t
h
e i
n
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_pw_aff_list_
s
e
t_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
ad
d
isl
_
pw_aff_
s
et_rat
i
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
privately exp
o
r
t isl_set_set_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoo
l
aege
add isl_set_has_ratio
n
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
reimplem
e
nt isl_strea
m
_read_a
f
f in t
e
rms of isl_stream_rea
d
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
declare isl_stream_
r
ead_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaeg
e
isl_stream_read_multi_aff:
r
ead tuples
directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olae
g
e
is
l
_input
.
c:
change tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_pw_mult
i
_aff_range
_
pr
o
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi
_
*_spli
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
ae
g
e
add is
l
_m
u
l
t
i_*_range_s
p
lice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_multi_*_set
_
tu
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
oolaege
add isl
_
multi_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl_mult
i
_*_add_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add is
l
_mu
l
t
i
_*_insert_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
a
d
d isl_mu
l
ti_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoola
e
ge
ad
d
isl_multi_aff_from_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi_temp
l
.
c: rename
a
l
ign_params_multi
_
set_an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mu
l
ti_templ
.
h: avoid
r
eferen
c
e to explic
i
t
e
lement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_multi_*_reset_space_
a
nd_domain: c
a
ll is
l
_*_
r
eset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
generalize isl_
m
u
l
ti_aff_flat
_
range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
gen
e
ralize isl_mu
l
ti_aff_dr
o
p_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaeg
e
gener
a
lize
isl_multi_aff_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
generalize
isl_multi_aff_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize is
l
_mu
l
ti_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
ol
a
eg
e
a
d
d isl_pw_aff_zero_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
olaege
a
d
d
isl_pw_aff_va
r
_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add isl
_
af
f
_
v
ar_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
isl_input
.
c: obj_read_body: simplify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n
Verdoolae
g
e
add isl_basic_set_drop_constraints
_
n
o
t_
i
nvolving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_
{
set
,
map}
_
dro
p
_c
o
n
straint
s
_
i
nvolving
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add
i
sl_set_unshifted_simple_hu
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
s
l_stream_
r
ead_uni
o
n_ma
p
:
fo
r
c
e
r
esult to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Ver
d
oolae
g
e
add isl_u
n
i
on_map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verd
o
olaege
i
sl_set
_
from_pw_mu
l
ti_aff: h
a
n
dle N
U
L
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
sl_un
i
on_map
.
c: plain_injective_
o
n_range: sile
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
isl_tra
n
sitive_closur
e
.
c:
u
nion_components:
a
void invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next