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_m
a
p
_simp
l
ify
.
c
:
f
i
x typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdool
a
eg
e
i
s
l_a
s
t_build_elimina
t
e_divs:
r
emove
unknown divs
b
efore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
g
e
is
l
_affine_hull
.
c: affi
n
e_hull_with_cone: plug memo
r
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
o
olaege
change prototyp
e
of isl_factorizer_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
ool
a
eg
e
is
l
_tab
_
sample
:
p
e
rform greedy
sea
r
ch b
e
f
o
re performing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
i
sl_t
a
b_sam
p
le: extract out comp
u
te_min and comp
u
te_
m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaege
isl
_
tab_sample: tre
a
t emptine
s
s of tableau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven
V
e
rdoo
l
aege
AS
T
generation: fix
h
andling of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdo
o
l
a
ege
i
sl_printer_print_{basic_
,
}{se
t
,
map}: don't
s
t
a
rt new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
ege
isl_printe
r
_prin
t
_
s
pace: support pr
i
nting in "ome
g
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
rename isl_basic_set_add to isl
_
basic_set_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erd
o
olaege
isl_aff_
n
ormali
z
e: plug in div
s
w
ith
u
nit
c
o
efficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_
l
ocal_space_sub
s
ti
t
ute_
s
eq: take ar
g
ument for
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
a
e
g
e
isl_
a
ff_floor
:
normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven
V
e
rdo
o
la
e
ge
isl
_
af
f
_ceil: comp
u
te ceil(e/
m
) as
floor((e + m - 1)
/
m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
S
v
en Verdoolaege
i
s
l_aff
_
gist: add missing isl_vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven V
e
rdoolaege
i
sl_union_s
e
t_compute_schedule: do
u
ble check that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaeg
e
isl_union_set_c
o
m
pute
_
schedule: ensure carry_dep
e
n
d
ences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
upd
a
te for chang
e
in clang's Diag
n
osticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
isl_map_plain_is_d
i
sjoin
t
: h
a
ndle
inputs with different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven
V
e
r
d
oolaege
add README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven V
e
rdool
a
ege
i
s
l_union_se
t
_
c
ompute_schedule: handle result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven
V
e
rdool
a
e
g
e
isl_ast_codegen
.
c: generate_domain: pos
t
pone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sve
n
V
e
rdoo
l
aege
is
l
_
a
s
t_buil
d
_a
s
t_
f
rom_schedu
l
e: m
a
ke con
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdoolaege
isl_ast_bu
i
ld_ast_from_schedule: use "<" i
f
upp
e
r
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verdoolaege
isl_a
s
t_expr: add isl_ast_op_lt and isl_as
t
_op
_
g
t op
e
rations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
add isl_basic_set_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_as
t
_e
x
pr_from_aff: try harder t
o
u
se
i
s
l
_ast_op_pdiv
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
a
ege
isl_ast_b
u
ild_expr
.
c: se
p
arate out ex
t
ract_modulo functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdo
o
laege
i
sl_a
s
t_
b
uild_expr
.
c: fix typo in co
m
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
aege
isl_ast_build_expr
.
c
: remo
v
e
remnants of cod
e
removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoolaege
add
e
xtra AST gen
e
ration test case from
C
L
o
oG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdoola
e
ge
i
s
l_printer_print_str: handle NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doolae
g
e
isl_ast_expr_mod: perf
o
r
m mis
s
ing multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_id
_
set_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rd
o
o
laege
isl_pri
n
ter_
p
rint_pw_aff: u
s
e
i
s
l_ast_expr
when p
r
inting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
e
rdoolaeg
e
add support for
g
en
e
rati
n
g ASTs from schedule rel
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
ege
add ISL_CTX
_
{GET,SET}_STR_DEF ma
c
ros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc: separate ou
t
po
l
yhe
d
r
a
l comp
i
lation fu
n
ct
i
o
nali
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_set_dim_has_{lower,u
p
per}
_
boun
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolae
g
e
isl_basic_s
e
t
_subs
t
itute: check that input affine
ex
p
ression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw_
m
ult
i
_aff
_
substitute: impr
o
ve
e
rr
o
r
ha
n
dli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
i
sl_basic_map_align_
d
ivs: fix p
o
tential invali
d
access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_aff_from_map: d
e
te
c
t st
r
ides
i
n
o
u
tput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
isl_pw_mu
l
ti_af
f
_fro
m
_map: detect easy floors directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erdoolaege
p
r
ivately export isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw
_
*_pullback_pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
add
i
s
l_pw_
*
_p
u
llback_mu
l
ti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
laege
add isl_multi_aff_pu
l
lback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl_aff_pullba
c
k_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add
isl_local_space_prei
m
age_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_s
e
t_pre
i
ma
g
e_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_s
e
t_preim
a
ge_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_basic
_
set_preima
g
e_mu
l
ti_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl
_
stream_n
e
w_
s
tr: fail on NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oolaege
privately expor
t
i
sl_multi_aff_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add i
s
l
_b
a
sic_set_ad
d
_div_constrai
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
map_is
_
subse
t
:
support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_
s
tream_read_map: fix parsing of Om
e
g
a input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
o
o
l
aege
isl
_
stream_read_map:
add partial sup
p
ort for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
oolae
g
e
isl_pw_a
f
f_no
n
neg_set:
re
t
urn a
r
a
t
i
o
nal set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaeg
e
i
s
l
_pw_a
f
f
_zero_set:
r
eturn a ra
t
ional se
t
if
t
he
i
nput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
laege
a
d
d isl_pw_a
f
f_list_set_rati
o
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaeg
e
add
i
sl_p
w
_aff_se
t
_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately
export isl_set_set_rationa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
ad
d
i
sl
_
set_has_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
re
i
mplem
e
nt
i
sl_st
r
eam_read
_
aff in terms of
i
s
l_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rd
o
olaege
de
c
lare isl
_
stream_read_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdo
o
la
e
ge
isl_str
e
am_rea
d
_mult
i
_af
f
: r
e
a
d
tuples
directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_
i
n
p
ut
.
c: change tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl
_
p
w
_mul
t
i_aff_ra
n
ge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add i
s
l_m
u
lti_*
_
splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
oola
e
g
e
add isl_multi_*_ran
g
e_splic
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Verdoola
e
ge
add isl_multi_*_s
e
t_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Ver
d
o
o
l
ae
g
e
add isl_multi_*_rang
e
_
p
roduc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdo
o
laege
add isl_mult
i
_*_add_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
add isl_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
e
r
doo
l
ae
g
e
add isl_mu
l
ti_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add isl
_
multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
is
l
_multi_te
m
p
l
.
c: r
e
name align_params_mu
l
ti_
s
et_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoo
l
ae
g
e
i
sl_multi_templ
.
h: avoi
d
r
e
ference to e
x
pli
c
it e
l
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_mu
l
ti_*_reset_space_and_domain: cal
l
isl_*_res
e
t_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
oolaege
ge
n
e
r
a
l
ize
i
sl_multi_aff_flat
_
r
ange_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
e
g
e
generalize isl_
m
ulti_aff_dro
p
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ge
n
eralize is
l
_multi_aff
_
set_dim
_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
gen
e
ra
l
ize isl_mult
i
_a
f
f_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
generalize isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
ad
d
i
sl_pw
_
aff
_
zero_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add isl_pw_af
f
_var_
o
n_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Ve
r
d
oolaege
add i
s
l_aff_var
_
on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaeg
e
i
sl_input
.
c
: obj
_
read_body: simplify er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
rdoola
e
ge
add isl_basic
_
s
et_drop_c
o
nstra
i
nt
s
_not
_
involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoo
l
aege
add i
s
l_{set,
m
ap}_drop_constraints_involvi
n
g_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
add isl_set_unshifted_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
isl_stream_read_
u
nion_ma
p
: force result to be a ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add is
l
_
union_ma
p
_subtract_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
isl_set_from_pw_
m
u
l
t
i_aff: han
d
le NU
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoolae
g
e
i
sl
_
union_ma
p
.
c: p
l
ain_inj
e
c
tive_on_range:
s
ilenc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaeg
e
i
sl_transitive_closur
e
.
c: unio
n
_component
s
: a
v
oid
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdool
a
ege
isl_range
.
c qpolyn
o
m
ial_bound_on_dom
a
in_r
a
ng
e
: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next