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_affine_hull.c: affine_hull_with_cone: plug memory leak on error path
2012-11-20
Sven Verdoo
l
aege
isl_affine
_
h
ull
.
c
: a
f
fin
e
_
hull_with_c
o
n
e
:
p
lug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
e
n Verdoolaege
change
prototype o
f
isl_factorizer_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaege
i
sl_tab
_
sample: pe
r
form greedy searc
h
b
efore per
f
ormin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
o
olaege
i
sl_tab_
s
a
mple: e
x
t
ract out compute_
m
in
a
nd com
p
u
te
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_sa
m
p
le: treat emptine
s
s of tableau a
s
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sv
e
n
V
e
rdoolae
g
e
AST
gene
r
ation: fix handli
n
g o
f
s
e
pa
r
at
i
on classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoo
l
ae
g
e
isl_print
e
r_print_{basic_,}{
s
et,map
}
: do
n
't start
n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
aege
isl
_
printer_print_space
:
support prin
t
ing i
n
"omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
rename isl
_
basic_
s
e
t
_add
to is
l
_basic_set
_
a
dd_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
isl_af
f
_normal
i
ze: plug in d
i
vs with un
i
t coeffic
i
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
isl_local_space_substit
u
t
e
_seq: take
a
rgument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolaege
isl_aff_floo
r
:
normalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaeg
e
isl_aff_
c
eil: com
p
ute ceil(e/m) as
f
loor((e + m - 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdool
a
ege
i
s
l_aff_gist: add mis
s
i
n
g
i
sl_vec_co
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdool
a
ege
isl_union_set
_
compute_schedule: double chec
k
that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaege
i
s
l
_
uni
o
n_se
t
_compu
t
e_schedule
:
ensure
c
arry_d
e
p
e
nden
c
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ver
d
oo
l
aeg
e
updat
e
for change in clang's
DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
S
v
en Verdoolaege
isl_map_plain_is_disjoint: ha
n
dle i
n
p
u
ts
w
it
h
diff
e
rent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven
V
erdoo
l
aege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andreas Kloeckn
e
r
I
n
t
roduce i
s
l_int_free_
s
tr
to remo
v
e GMP
depen
d
e
ncy
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_union_set_compute_sc
h
edule: handle
r
e
sult with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sve
n
Verdoolaege
isl_ast_codegen
.
c: gen
e
rate_domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Ver
d
o
o
la
e
g
e
i
s
l_ast_build_as
t
_
f
rom_schedule: make construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolae
g
e
isl_ast_build_ast_from_s
c
hedule: use "
<
" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_expr: add isl
_
as
t
_
o
p_lt
a
n
d isl_
a
st_op_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
add isl_basic_
s
et_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
er
d
oolaege
isl_ast
_
expr_fr
o
m_
a
ff
:
try harder to use is
l
_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdool
a
ege
isl_ast_build_expr
.
c: separa
t
e o
u
t extract_m
o
dulo f
u
nction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdool
a
e
g
e
isl_ast_build_expr
.
c
: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven Verdo
o
laege
isl_
a
st_build_expr
.
c: remove remnants of c
o
de
r
emoved
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verd
o
olaege
add extra A
S
T generation t
e
s
t
cas
e
from C
L
ooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
i
s
l_printer_print
_
str
:
handle
N
ULL
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdoolaege
isl_
a
st_
e
x
p
r_m
o
d: perform missing multipli
c
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
Grosser
Make
sed expression in Mak
e
file
c
omp
a
tible with BSD
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_i
d
_set_fr
e
e_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl
_
print
e
r_print_p
w
_
a
ff: use
i
sl_ast_expr
when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdo
o
l
a
ege
ad
d
support for generating ASTs
from
s
chedule relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
ad
d
ISL_CTX_{GET,
S
ET}_
S
T
R
_DEF m
a
cr
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
doc
:
sep
a
rate out
p
olyh
e
d
ral compi
l
ation funct
i
ona
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
ad
d
isl_s
e
t_di
m
_has_{low
e
r,upper}_boun
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
l
a
ege
isl_bas
i
c_set_substitute: check
that
input
a
ffine e
x
press
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
isl_
p
w_multi_aff_s
u
bstitute:
i
mprove error ha
n
dling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
ola
e
ge
isl_basic_m
a
p_ali
g
n
_
d
i
vs: fix potent
i
al inva
l
id access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_aff_fro
m
_map: detec
t
stride
s
in outpu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaeg
e
isl_pw_multi_aff_from_map: d
e
tect easy f
l
oors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdool
a
ege
private
l
y ex
p
o
rt is
l
_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add is
l
_p
w
_
*
_
p
ullback_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_
p
w_*_pullback_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add i
s
l_m
u
lti_aff
_
pul
l
b
a
c
k
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add
i
sl_aff_pullback_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl
_
lo
c
al_space_preimage_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolae
g
e
add is
l
_
s
e
t
_preimag
e
_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rd
o
olaege
add isl_s
e
t_p
r
eimage_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
add isl_b
a
sic_
s
et_prei
m
a
g
e
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
isl_s
t
ream_n
e
w_str: fail
o
n
NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
g
e
priva
t
ely export isl_m
u
lti_aff_
a
lign_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
oolaege
a
d
d
isl_b
a
sic_se
t
_add_div
_
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoo
l
aege
is
l
_map_is_subset: support rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
i
sl_stream_read_map: fix parsing of O
m
e
ga inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
s
l_stream_read_ma
p
: add
partial
s
u
pport for readin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
i
sl_pw_aff_nonneg_set: return
a
ratio
n
al
s
et if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
a
ege
isl_pw_a
f
f_zer
o
_set:
retur
n
a ra
t
ional set if
the i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_aff_list_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
add isl_pw_aff_set_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoola
e
g
e
pr
i
vate
l
y export i
s
l_set_
s
et_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
lae
g
e
a
d
d isl_set_has_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
r
eimpl
e
me
n
t isl
_
s
t
ream_read_aff in terms of isl_str
e
am_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
dec
l
are i
s
l_stream_
r
ead
_
multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olae
g
e
isl_s
t
ream_read_mu
l
ti_aff:
read tuples dire
c
tly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doola
e
ge
isl_input
.
c: change tup
l
e
p
a
rsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add
i
sl_pw_
m
ul
t
i_
a
ff_range_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
ege
add isl_
m
ult
i
_*_
s
plice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
ool
a
eg
e
ad
d
is
l
_m
u
lti_*_range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
laege
a
dd isl_multi_*_s
e
t_tuple_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl_
m
ulti_*_rang
e
_p
r
o
du
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
add isl_multi_*_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
aege
add isl_m
u
lti_*
_
insert
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_
m
ulti_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_mu
l
t
i_aff
_
from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_
m
u
l
t
i_templ
.
c: rename alig
n
_para
m
s_multi_
s
et
_
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_multi_tem
p
l
.
h
: avoi
d
re
f
e
r
e
n
c
e to explicit
el
e
ment
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_mul
t
i_*_re
s
et_
s
p
ac
e
_and_domai
n
:
c
all isl_*_r
e
set_dom
a
in_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
generalize isl_
m
ulti_aff_flat_range_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gene
r
al
i
ze isl_
m
ulti_aff_drop
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
generalize isl_multi_aff_set_
d
im_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaeg
e
gen
e
ra
l
ize isl
_
mul
t
i_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_multi_aff_
i
d
e
ntity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_pw_af
f
_zero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
add isl
_
pw_aff_
v
ar_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
V
e
rdoolaege
add isl_a
f
f_var_on
_
do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
s
l
_inp
u
t
.
c: obj_read
_
bo
d
y: simplify
e
rror han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add
i
sl_basic_s
e
t_drop_con
s
traints_not_involv
i
ng_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
ad
d
isl_{set,map}
_
dro
p
_co
n
straints_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
lae
g
e
a
d
d
i
sl_se
t
_unshifted
_
simple
_
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ve
r
doolaeg
e
isl_s
t
rea
m
_re
a
d_union_map:
f
o
r
c
e
resu
l
t to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
Verdoolae
g
e
ad
d
isl_union_map_s
u
btract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
isl_set_from_pw_multi_aff
:
handle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
ol
a
e
ge
is
l
_un
i
o
n_map
.
c: pla
i
n_inje
c
ti
v
e_on_rang
e
: sile
n
ce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
e
r
doolaege
isl_transitive_closur
e
.
c: union_components: avoid
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
isl_range
.
c
q
polyn
o
mial_bou
n
d_on_do
m
ai
n
_r
a
nge:
a
v
o
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next