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
Merge branch 'maint'
2015-02-21
Sven Ve
r
dool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2015-02-21
Sven Verdo
o
laege
isl_local_space_su
b
stitute_seq: honor argum
e
n
t for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
v
en Verdoolaege
isl_map_simplify
.
c: h
a
ndle o
v
e
rfl
o
w in round
_
up
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
ven Verdoolae
g
e
isl_map_sim
p
lify
.
c: rem
o
ve_duplicate_divs: i
m
prove
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoolaege
isl_a
s
t
_codegen
.
c
:
pw_aff_const
a
nt_is_
n
egative: improve
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
ven Ver
d
o
olaege
i
s
l_id
.
c: isl_i
d
_has_name_and_user: handle m
i
s
s
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sve
n
Verdoolaege
isl_basic_map_gist:
f
ix typo in code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
S
ven
V
erdoolaege
i
s
l_aff
.
c: pw
_
multi_aff_fro
m
_map_stride: fix typo in
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
rdo
o
laeg
e
isl_
o
utput
.
c: print_pw_multi_aff_body_wrap: properly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verdoo
l
ae
g
e
i
sl_out
p
ut
.
c:
p
rint_union_pw_qpo
l
ynom
i
al_fold_is
l
:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
rdoo
l
aege
i
sl_output
.
c: print_union_pw
_
q
polynomial_isl: properly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven Verd
o
ol
a
eg
e
isl_outpu
t
.
c: isl
_
union
_
map_pri
n
t_isl: proper
l
y
kee
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
r
doolaege
isl_b
a
s
ic_set_drop_constraint: add missing isl_basic_
s
e
t_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-20
Sven V
e
rdoolaeg
e
isl_ast_expr_is_eq
u
al: properly handle e
x
pr
e
ssions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
S
ven Verdoolaege
isl
_
union_a
c
cess_info_comp
u
t
e_flow:
de
t
erm
i
ne
r
e
la
t
ive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdo
o
l
a
e
ge
i
sl_uni
o
n_access_i
n
f
o
: keep t
r
ack
o
f sch
e
dule
t
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sve
n
Ve
r
doolaege
a
d
d i
s
l_un
i
on_ac
c
e
s
s_info_set_sch
e
dule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdool
a
ege
isl_union_map_
c
omp
u
te_f
l
o
w
:
reu
s
e isl_union_
a
c
c
e
ss_info_comp
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven Verdoola
e
ge
isl_union_access_info_com
p
ute_flow:
r
e
m
ove must a
c
c
esses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven V
e
r
d
o
o
l
ae
g
e
replace isl_union_map_compute_flow by isl_uni
o
n_ac
c
ess_i
n
fo_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-19
Sven
V
erdoolaege
isl_union_map_compute_flow: intro
d
uce isl_union_flow
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Ve
r
doolae
g
e
isl_u
n
ion_map_compute_flow: use i
s
l
_
union_m
a
p_{,do
m
ain
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sve
n
Verdoolaege
isl
_
uni
o
n_map_c
o
mpute_flow: re
n
ame
"di
m
" variabl
e
t
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
S
v
e
n Verdoolae
g
e
add isl_s
c
hedul
e
_i
n
tersect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoolaege
add i
s
l_sche
d
ule
_
node_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven
V
e
r
dool
a
ege
add
isl_sc
h
edu
l
e_tr
e
e_drop_child
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven
V
e
r
doolaege
add isl_
s
chedule
_
n
o
de_dele
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sve
n
Verdoolaege
a
dd
i
sl_schedule_node_cut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoo
l
aege
add isl_schedule_pullba
c
k_union
_
p
w_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Ve
r
d
o
olaege
add isl_schedule
_
node_f
o
r
e
ach_ancestor_to
p
_
d
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sv
e
n Verdoolaege
add isl_schedule
_
n
o
de_g
e
t_shared_ancestor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Ve
r
doolaege
add isl_
s
c
h
edule_n
o
de_get_
a
ncestor_child_position
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sve
n
Verdo
o
laege
add isl_sch
e
dul
e
_
n
ode_get_s
c
hedu
l
e_dep
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoolaege
add isl_schedule_node_
r
oot
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sve
n
Ver
d
oolaege
add isl_schedule
_
node_ance
s
tor
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoolaege
a
dd isl_sc
h
edule_node
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Ve
r
doolaege
add
isl_schedule_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sve
n
Verdool
a
ege
add i
s
l_schedule_n
o
de_ali
g
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoolaege
a
d
d i
s
l_schedule_reset_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven V
e
rd
o
olaege
ad
d
isl_s
c
hedule_node_reset_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
S
v
en Verdo
o
l
a
e
ge
add isl_schedule_
s
equenc
e
an
d
isl
_
schedule_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven
V
erdoolae
g
e
add isl_schedul
e
_insert_par
t
ial_sc
h
edule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
S
v
en Verdoolaege
add isl_s
c
h
edule_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-15
Sven Verdoolaege
deprecate band forests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
v
e
n Verdo
o
l
a
ege
isl_cat:
ad
d
--yaml-style
opti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
is
l
_
stre
a
m_read_obj
:
detect and rea
d
sched
u
le objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
v
en Ve
r
d
o
o
l
a
ege
add isl_obj_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
isl
_
input
.
c: obj
_
add: double check that
ad
d
me
t
ho
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
v
en Verdo
o
laege
isl_s
t
ream_read_obj: improve
e
rror message on
inc
o
mpatible
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
ven Verdoolaege
add isl_schedu
l
e
_rea
d
_f
r
om_{file,st
r
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
i
sl_token_get_str: acce
p
t
a
n
y token with st
r
ing r
e
presenta
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaeg
e
expor
t
isl_
s
t
ream_read_val
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
add is
l
_schedule_map_sche
d
ule_
n
ode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
a
d
d isl_sche
d
ule_
n
o
d
e_map_de
s
cendan
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoo
l
ae
g
e
add isl_sched
u
le_foreach_schedule_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
ven
Verd
o
ola
e
ge
add isl_schedule
_
node_foreach_descend
a
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
add isl_schedule_node_get_
t
ree_depth
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sv
e
n Verdoolaege
add
isl_schedule_node_band_sink
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoolaege
add
i
s
l
_sched
u
le_
n
ode_
b
an
d
_s
c
ale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Ve
r
doolaege
add
i
sl_schedule
_
node_band_s
c
a
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven
V
e
rdoolaege
add isl_schedule_
n
ode_band_spl
i
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
S
v
en
V
e
r
dool
a
ege
add isl_schedule_node_band_tile
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Verdoola
e
ge
add i
s
l_schedule_node
_
band_get
_
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sv
e
n Verdoolaege
add isl_s
c
h
e
dule_
c
onstraints_set_cont
e
xt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-11
Sven Ve
r
doolaege
isl_u
n
ion_map_intersect_para
m
s: spe
c
ial case universe
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
Sven Verdo
o
laege
isl_test
:
avoi
d
use o
f
ba
n
d
f
orests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
Sv
e
n Ver
d
oolaege
i
s
l_sche
d
u
l
e_get_ba
n
d_forest: remove support for old
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
Sve
n
Verdoolaege
isl_schedule_
c
onstraints_compute
_
sch
e
dule
:
p
r
o
duce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
Sven Ver
d
oolaege
isl_
s
cheduler
.
c
:
gen
e
r
aliz
e
node_e
x
tract_schedule_multi_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
Sven Verd
o
ol
a
e
g
e
isl_scheduler
.
c: move up node
_
scc_* function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-09
S
v
e
n V
e
rdoolaeg
e
i
n
t
roduce schedule t
r
e
e
re
p
r
esentation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-07
Sven Verdoola
e
g
e
rename isl_schedul
e
_node to
isl_schedule_domain_node
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-07
Sven
V
erdoolaege
is
l
_
sched
u
l
e
: explicitl
y
keep track
of
i
sl
_
ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-07
Sven Verdo
o
laege
add is
l
_schedule
_
copy
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-07
Sv
e
n
V
e
rdoolaege
doc: document isl_schedul
e
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
S
ven Verdoolaege
isl_
s
chedul
e
r
.
c
:
split_
s
c
a
led: reus
e
compu
t
e
_
component_schedu
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sve
n
Verdoolaege
isl_scheduler
.
c: isl_sched_graph: k
e
ep trac
k
of whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verdoolaege
isl_s
c
h
edu
l
er
.
c: compute_
c
omponent_sc
h
e
d
ul
e
:
h
andle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Ver
d
oolae
g
e
add basic
s
upport fo
r
YAML
printing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verdoolaege
a
dd
b
asic support for YAML
parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verd
o
ola
e
ge
make isl_st
r
eam->
c
ol
consistently point to column of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verdoolaege
hide isl
_
stream
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verdo
o
laege
add isl_stream_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verdoolae
g
e
drop supersed
e
d print
i
ng f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
S
ven Verdoolaege
closure
.
c: use
is
l
_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven Verd
o
olaeg
e
polyhedr
o
n_detect_equalities
.
c: use isl_printer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven V
e
r
doolaeg
e
isl_mor
p
h_print_inte
r
nal: av
o
i
d
u
s
e of isl_bas
i
c_set_print
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-03
Sven V
e
rdool
a
ege
doc: fix references to
i
sl_id_to_ast_
e
x
p
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoo
l
aege
add isl_u
n
ion_ma
p
_lex_g
t
_at_mul
t
i_uni
o
n_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
add isl_union_map_lex_lt_at_m
u
lt
i
_union_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
a
d
d isl_union_m
a
p_eq_a
t
_multi_union_pw
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
add isl_
m
ulti_pw_aff_
l
ex_gt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sv
e
n Verdoolaege
add
i
sl_multi_pw_aff_l
e
x_lt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
add isl_mult
i
_pw_aff_eq_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoolaege
add isl_p
w
_
a
ff_gt_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sve
n
Verdoolaeg
e
a
d
d isl_pw_aff_l
t
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven
V
erdoo
l
aege
add is
l
_pw_aff_
e
q_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Ver
d
o
olae
g
e
interface/p
y
thon
.
cc: fix line length
s
to 80 colu
m
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sven Verdoo
l
aege
isl_tab
.
c
:
drop_col: drop
c
o
l
umn be
f
o
r
e
dropping
c
orresp
o
n
di
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2015-02-02
Sv
e
n
Verdoolaege
isl_ta
b
_is_redunda
n
t: check whe
t
her passed cons
t
raint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
