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_map_simplify.c: fix typo in comment
2012-11-20
Sven Verdoolaege
isl_map_simplify
.
c: fix t
y
po in
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verdoola
e
ge
isl_ast_build_elimi
n
ate_di
v
s: remov
e
unknown divs before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
ven
Verdo
o
l
aege
isl_af
f
ine_
h
u
ll
.
c: affin
e
_hull_w
i
th_cone: plug memor
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolae
g
e
change prototype of isl_factorize
r
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
ge
i
sl_tab_sam
p
le: perform
g
reedy
sea
r
c
h befor
e
performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_s
a
mple: extrac
t
out c
o
mpute_min and compute_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
do
o
laege
isl_tab_sample: treat emp
t
iness of tabl
e
au as error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
S
ven V
e
rdoolaege
A
ST generat
i
o
n
: fix han
d
ling of
separa
t
io
n
classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
d
o
olae
g
e
i
s
l_pri
n
ter_p
r
int_{basi
c
_
,}
{
set,map}: do
n
't s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_printe
r
_print_space:
su
p
por
t
printing in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
re
n
ame isl
_
basic_
s
et_add to is
l
_basic_set_a
d
d
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verdoolaege
isl_aff_normalize: plug in divs w
i
th
unit c
o
efficie
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaege
isl_local_spa
c
e
_substi
t
ute_seq:
ta
k
e argument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_floor: no
r
malize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_ceil: comput
e
ceil(
e
/m)
a
s fl
o
or(
(
e +
m
- 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sv
e
n Verdoolaege
isl_aff_gi
s
t: ad
d
m
i
ssing isl_v
e
c_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sv
e
n Ve
r
d
oolaege
isl_union_set_co
m
pute
_
schedule: d
o
u
b
l
e chec
k
that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoo
l
a
e
g
e
isl_uni
o
n_set_
c
ompute_schedule: ensure carr
y
_de
p
ende
n
ces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
S
v
en Verdoolaege
upda
t
e
for change i
n
clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verd
o
olaege
isl_map_plai
n
_is_disj
o
i
n
t
:
handle input
s
with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolae
g
e
ad
d
README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaeg
e
i
s
l
_
union_set_co
m
pute_schedule: hand
l
e result w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
isl
_
a
st_
c
odegen
.
c: gen
e
rate_domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaeg
e
i
s
l_ast_
b
uild_ast_from
_
sch
e
du
l
e: make const
r
ucti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
i
s
l_ast_b
u
il
d
_ast_from_sched
u
le: use "<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdool
a
ege
isl_a
s
t
_expr: add
i
sl_ast_op_lt and
i
sl_ast_op
_
gt
o
perat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sve
n
V
erdoolae
g
e
add
isl_
b
a
sic_set_from_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_expr_from_aff: try
h
ard
e
r to use isl_ast_op_pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoolaege
isl_
a
s
t
_build_
e
xpr
.
c: separa
t
e
out extract_modulo function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven V
e
rdoolae
g
e
isl_a
s
t_build_expr
.
c: fix typo in
c
omm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
V
e
r
doolaege
isl_ast_b
u
ild_expr
.
c: r
e
move remnant
s
o
f
c
o
de remov
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdo
o
l
a
ege
add
e
xtra AST gen
e
ration test case from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_prin
t
er_p
r
int_str: ha
n
dle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
V
erdoolaege
isl_ast_expr_mod: perform missing mu
l
ti
p
lic
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add isl_i
d
_set_f
r
e
e_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_
p
ri
n
ter_print_pw_aff: u
s
e
isl_
a
st_exp
r
w
h
en
printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
ae
g
e
add
support
f
o
r ge
n
erating
A
S
Ts from sched
u
le rela
t
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
add ISL_CTX_{
G
ET,SET}_STR_
D
EF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
do
c
: separate out polyhedral
c
ompilation fun
c
tiona
l
it
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
aege
add
i
sl_
s
e
t
_dim_has_{
l
ower,upp
e
r}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
isl_basic_set
_
s
ubsti
t
ut
e
:
c
h
e
c
k that
i
nput affine expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
i
sl_pw_multi_aff_substi
t
ute: impr
o
v
e
error
h
andling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
isl_b
a
sic_map_alig
n
_divs:
fix potential invalid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
isl_pw_m
u
lti_aff_f
r
om
_
map: detect stri
d
es in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ve
r
doolaege
isl_pw_mult
i
_aff_fr
o
m_map: detect easy floors directly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
privately export isl_map_is
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
laeg
e
add isl_pw_*_pullba
c
k_pw_mu
l
ti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
o
o
laeg
e
add is
l
_pw_*_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaege
add isl_multi_aff_pullba
c
k_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
a
dd isl_aff_pullb
a
ck_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
laege
add
i
sl_local_space
_
p
r
e
image
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_set_p
r
eima
g
e_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_se
t
_
p
reimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add is
l
_
b
asic_
s
et_pr
e
i
m
a
ge_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_stream_ne
w
_str: fail on NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doolaege
p
r
i
vately
export isl_multi_af
f
_al
i
g
n_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
ol
a
ege
add
i
sl_b
a
sic_set_add_div_constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
i
sl_map_is_su
b
s
et: s
u
ppor
t
rat
i
onal maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_stream_read_map: f
i
x p
a
rsing of Omega inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
st
r
eam_read_map: add
p
art
i
al support for rea
d
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl_pw_aff_no
n
neg_set
:
re
t
ur
n
a r
a
tiona
l
s
e
t if
t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
isl_pw_aff_
z
ero_set: return a
rat
i
onal se
t
if
the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
add isl_pw_aff_list_se
t
_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oola
e
ge
add is
l
_pw_
a
ff_set_ra
t
io
n
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
privately exp
o
r
t isl_set_set_ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_set_
h
as_
r
ational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
reimplement isl_stream_read_aff in
t
erms of is
l
_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
declare
i
sl_stream_read_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolae
g
e
i
s
l_stream_
r
e
ad_m
u
lti_aff: read tu
p
les
directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_i
n
p
u
t
.
c: chang
e
tupl
e
pars
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_
p
w
_multi_aff_range_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
add
i
sl
_
m
ulti_*_sp
l
ice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aeg
e
add isl_multi_*_range_s
p
lice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
add isl_
m
ulti_*
_
set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add i
s
l_mult
i
_*
_
r
a
nge
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_multi_*_
i
nsert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_mul
t
i_
p
w_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl_multi
_
a
f
f
_fro
m
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl
_
mult
i
_t
e
mpl
.
c: rename align
_
params_multi_set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
doolae
g
e
isl_multi_templ
.
h: avo
i
d refere
n
c
e t
o
explicit
ele
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mult
i
_*_re
s
et_space_and_domain:
call isl_*_reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generaliz
e
isl_multi_aff_fl
a
t_range_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdool
a
ege
gener
a
lize i
s
l_
m
ulti_aff_
d
ro
p
_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
generalize isl_mul
t
i_af
f
_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
generaliz
e
i
s
l_multi_af
f
_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
generalize i
s
l_mul
t
i_af
f
_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
a
dd i
s
l_pw_a
f
f_zero_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olae
g
e
add isl_pw_aff_v
a
r_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoola
e
ge
add isl_aff_var_o
n
_
dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoola
e
ge
isl_inpu
t
.
c: obj_read
_
body: s
i
mplify erro
r
handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add
is
l
_basic_set_drop_constraints_no
t
_invo
l
ving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
add is
l
_{
s
et,map}_drop_constr
a
ints
_
i
nvolvi
n
g_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verd
o
olaege
add isl
_
set_
u
nshif
t
ed
_
simple
_
hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolaege
isl_stream
_
r
ead_union_map:
force resul
t
to b
e
a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
add
isl_union_
m
ap_subtract_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 NULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoolaege
is
l
_union_ma
p
.
c: pla
i
n_injectiv
e
_
on_range: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
o
l
aege
isl
_
trans
i
t
i
v
e
_closu
r
e
.
c:
uni
o
n_c
o
mpon
e
n
t
s
: a
v
oid invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
a
e
ge
is
l
_range
.
c q
p
olynom
i
al_bo
u
nd_o
n
_doma
i
n_range
:
avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next