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_basic_map_gist: drop irrelevant constraints from the context
2012-11-20
Sven Verdool
a
ege
is
l
_basic
_
map_
g
ist: d
r
op irrelevant cons
t
raint
s
fr
o
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n
Verd
o
olaege
isl_
m
ap_si
m
plify
.
c:
f
ix typo in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verdoola
e
ge
isl_ast_
b
uild_eliminate_divs: remove u
n
known div
s
before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaege
isl_af
f
i
n
e_hull
.
c
: affine_hu
l
l_with_cone:
plug mem
o
ry
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
V
er
d
oo
l
aege
change prototype of isl_factori
z
er_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
o
o
laege
isl_tab_sample: p
e
rform greed
y
sear
c
h before
p
erf
o
rmin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
oolaege
is
l
_
tab_samp
l
e: extra
c
t out
c
omput
e
_min and c
o
mpute
_
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verd
o
o
laege
isl_t
a
b_
s
ample: t
r
eat emptiness
of tab
l
eau
a
s error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
S
ven Verdoolaege
AST generatio
n
:
fix
h
a
ndlin
g
of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven
V
erdoolaege
i
sl_p
r
i
n
ter_print_{basic_,}{s
e
t
,
m
ap}: don't
s
t
art new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoo
l
aege
isl_printe
r
_print_space:
suppo
r
t
printing in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
rename isl_basic_set_ad
d
t
o
isl_basi
c
_set_ad
d
_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n
Verdoola
e
g
e
isl_aff_normalize: plu
g
in di
v
s with uni
t
coef
f
icient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoola
e
g
e
is
l
_l
o
cal_space_s
u
bsti
t
ute_seq: take argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaeg
e
isl_aff_floor
:
normaliz
e
r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n V
e
rdoolaege
isl_a
f
f_ceil
:
c
o
mpute ceil(e/m) as floor((
e
+ m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sve
n
Ver
d
oolaege
isl_aff_gist
:
add missin
g
isl_vec_co
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven
Verdool
a
ege
isl_union_se
t
_compu
t
e_schedule:
double ch
e
ck
t
h
at we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sv
e
n Verdoolaege
isl_union_set_compute
_
sched
u
le: ensure c
a
rry_d
e
pend
e
nces
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update
for change i
n
cl
a
ng's Dia
g
no
s
ti
c
Options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
v
e
n Verdoolaege
is
l
_map_plain
_
i
s
_disjoint: han
d
le inputs with different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven
Verdoo
l
aeg
e
ad
d
README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven
V
erd
o
ola
e
ge
isl_union_set_compu
t
e_s
c
hedule: handle
r
esult with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolae
g
e
isl_ast_codegen
.
c: generate_domain: pos
t
pone
s
ingle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
ven Verdoolaege
isl_ast
_
build_a
s
t_fr
o
m_schedule: make constru
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_
b
u
i
ld_as
t
_from_schedule:
u
se "<" if up
p
e
r
boun
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n Verdoola
e
ge
i
s
l
_ast_
e
xpr: add isl_ast_op_
l
t an
d
isl_ast_op_gt operati
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
Verdoolaege
add i
s
l_basic_set
_
from
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven V
e
r
d
oolae
g
e
isl_ast_expr_from_aff: try harder
t
o use isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oolaeg
e
isl_ast_bui
l
d_expr
.
c: se
p
arate ou
t
extract
_
modulo fu
n
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdoolaege
isl_ast_build_
e
x
p
r
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verd
o
o
laege
i
sl_ast
_
b
u
i
l
d_ex
p
r
.
c:
r
e
m
o
ve remnants of
c
ode removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
S
v
e
n Ver
d
oolaege
add extr
a
AST generation test cas
e
from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
is
l
_
pri
n
t
e
r_print_str: ha
n
dle NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven V
e
rdoolae
g
e
isl_
a
st_expr
_
mo
d
:
p
erform
missing mu
l
tipli
c
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_id_set_f
r
e
e_u
s
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
i
s
l
_
p
rinter_print_pw_aff:
use isl_as
t
_expr when printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
support fo
r
generating ASTs from schedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolae
g
e
add
ISL_CT
X
_
{GE
T
,SET}_
S
TR_
D
EF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
doc: separa
t
e
out
poly
h
ed
r
al compilation functio
n
a
l
it
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d
isl_set_dim_has_{lower,upper}_b
o
u
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
isl_
b
a
s
i
c
_se
t
_
substitute
:
check
that input affi
n
e expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
i
s
l_pw_multi_af
f
_substi
t
u
t
e: improve error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdo
o
l
aeg
e
isl_basic_map
_
a
l
i
g
n
_
divs
:
fix pot
e
n
tial i
n
valid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
dool
a
ege
isl_pw_m
u
l
t
i_aff_from_map
:
dete
c
t
strides in ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_pw_multi_aff
_
from
_
map: detect easy
f
loors
d
irectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately expo
r
t isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add
i
sl_pw_*_pullback_
p
w
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaeg
e
a
dd
i
sl_pw
_
*_pullback_mu
l
ti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
eg
e
add isl_mul
t
i_aff_pullba
c
k
_
multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_
a
ff_pullbac
k
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
add isl_l
o
cal_space_prei
m
ag
e
_multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl_set_pr
e
i
m
age_pw_mu
l
t
i_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_pre
i
mag
e
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
o
laege
add i
s
l_basic_set_preimag
e
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_str
e
am_new_str: fail on NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
pri
v
ately
e
xport isl_multi_
a
ff_
a
lign_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add is
l
_
b
asic_set_add_div_constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aeg
e
isl_map_i
s
_subset:
s
upport ra
t
ional m
a
ps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_stream_read_map
:
fix parsing of Om
e
ga input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_
r
e
a
d_ma
p
: add partial
s
upp
o
rt for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
r
doo
l
aege
isl_
p
w_a
f
f
_
nonneg_set: re
t
urn a r
a
tion
a
l
set if
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_pw_aff_zero_set: return a rational
s
et
i
f
t
he input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_p
w
_
aff_list_set_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoolaege
add isl_pw_aff_s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
privately ex
p
ort isl_set
_
se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolae
g
e
add
isl
_
s
et_has_rat
i
o
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
reimplement isl_stream_rea
d
_aff in
terms
of isl_stream_
r
ead_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
declare isl_stre
a
m_read
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_stream_read
_
m
ulti_aff: read tuples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
isl_input
.
c: change tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add
i
sl_pw
_
m
u
l
ti
_
aff_rang
e
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mult
i
_
*
_
splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_mul
t
i_*_rang
e
_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_multi_*_set_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
ol
a
ege
a
dd isl_mult
i
_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
er
d
oolaege
a
d
d
i
sl
_
multi_*_add
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add
i
sl_mu
l
ti_*
_
insert
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add
isl_multi_aff
_
fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_multi_t
e
mpl
.
c: ren
a
me align_params
_
multi_se
t
_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
i
s
l_multi_templ
.
h:
a
void re
f
erence to explicit elemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
isl
_
m
u
lti_
*
_reset_space_and_do
m
a
in: call isl_*_reset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
generalize
isl_m
u
lti_aff_flat_r
a
nge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
generalize isl_mul
t
i_aff_drop_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
gener
a
lize isl_mult
i
_af
f
_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
generalize isl_multi
_
aff_z
e
ro
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gener
a
lize i
s
l_multi
_
aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_pw
_
aff_ze
r
o_o
n
_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add is
l
_
p
w_aff_var_on_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
Verdoolaege
ad
d
isl_aff_var_on_d
o
ma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
d
o
olaege
isl_input
.
c: ob
j
_
r
ead_body: sim
p
lify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
add isl_
b
a
s
ic_set_
d
rop_c
o
nstraints_not_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoola
e
g
e
add isl_{s
e
t,m
a
p}_drop_constraint
s
_
involving_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add i
s
l_set_unshifted
_
simple_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Verd
o
olaege
is
l
_stre
a
m_read_union_ma
p
: for
c
e result to be
a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
add isl_union_map_
s
ubtract
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
er
d
o
olaege
isl_set_from_pw_multi_a
f
f: handle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Ver
d
oolaege
isl_union_map
.
c
: plain_injective_on_rang
e
: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
i
s
l_transi
t
ive_closure
.
c: union_components: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next