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
drop deprecated isl_basic_set_add
2018-02-11
S
v
en Ver
d
o
olaege
drop
d
eprecated isl
_
basic_set_add
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-11
Sven Verd
o
ola
e
ge
drop deprecated
i
s
l_
s
pace_tuple_m
a
t
ch
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-07
Sven Verd
o
olaege
li
b
isl-gdb
.
py: Python 3
c
ompati
b
i
l
i
ty
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-07
S
ven Ve
r
doolaege
libisl-gdb
.
py: consi
s
tently use
t
abs for indentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
Sve
n
Verdoolae
g
e
rename isl
.
py to libisl-gdb
.
p
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
S
v
e
n Verdoolaege
isl
_
ast_build
.
c:
gene
r
a
te_
n
a
m
e
: allocate enough space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoola
e
ge
i
nterface/cpp
.
cc: cpp_gen
e
rator::print
_
method_impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdool
a
ege
cpp
.
cc: cpp_generator::print
_
public_construc
t
ors_i
m
p
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sve
n
Verdoolaege
generator::generator:
d
rop redundant argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sve
n
Verd
o
ol
a
e
ge
inte
r
face/cp
p
.
cc
:
f
ix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
isl_ctx: keep track of last error message, file and
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdool
a
ege
isl_ctx
_
al
l
oc_with
_
options:
r
euse isl_ctx_reset_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
Sv
e
n
V
erdoolaeg
e
expose isl_aff_param_on
_
d
o
m
a
in_space_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolae
g
e
ad
d
i
sl_u
n
i
on_pw_aff
_
par
a
m
_
on_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoola
e
ge
add isl_space
_
add_param_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolaege
g
e
neralize i
s
l
_
mult
i
_
u
n
i
o
n_
p
w_aff_multi_aff_on_dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl
_
multi_union_pw_aff_mul
t
i
_
aff_on_domain: use is
l
_
uni
o
n_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl
_
unio
n
_set_sp
a
ce_ha
s
_equal_p
a
rams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
isl_print
e
r_p
r
int_union
_
set: extract out us
e
t
_
to_uma
p
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
en
Verdoolaege
generalize is
l
_uni
o
n_pw_
a
ff
_
aff_on_domain to is
l
_
u
n
i
on_pw_af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doola
e
ge
i
sl_pw_*_get_space: e
x
tr
a
ct o
u
t isl_pw_*_
p
e
ek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdoolaege
isl_aff
.
c: pw_aff_aff_on_do
m
ain: explicitl
y
insert
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Ve
r
doolaege
a
dd isl_aff_from_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoolaege
add isl
_
aff_{take,rest
o
re}_domain_local_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdo
o
la
e
ge
add isl_local
_
space_se
t
_from_param
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaeg
e
a
d
d isl_local_space
_
{take,restore
}
_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
e
n
Verdool
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoola
e
ge
isl_union_pw_aff_aff_on_domain: a
l
i
g
n parameter
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
S
ven Verdoo
l
aege
a
dd
isl_multi_{pw,}af
f
_p
r
oject_doma
i
n_o
n
_par
a
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Ve
r
doolaege
isl_multi_templ
.
c: extract
out isl_multi
_
dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_set_get_stri
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
i
s
l_
s
et_get_strid
e
_info:
e
x
t
ra
c
t ou
t
s
et_
d
etect_s
t
r
ide
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Ver
d
oolaege
i
sl_as
t
_build_detect_s
t
rides: e
x
tract
o
u
t
isl_set_ge
t
_stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_union_map_
p
roject_
o
ut_
a
ll_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_basic_set_dim_m
a
x_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
Sven
V
e
r
doolaege
isl_ast_bu
i
ld_n
o
de_from_schedule
:
imp
r
ove error handl
i
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoolaege
i
sl_schedu
l
e
_tree
.
h
:
fix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sve
n
V
e
rdoolaege
isl_ast_codegen
.
c: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
e
n
V
erdoolaege
isl
_
tab: invalidate un
d
o sta
c
k if pushing record f
a
ils
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
is
l
_tab
.
c: push_union: return
i
sl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaeg
e
is
l
_schedule_node_graft_
b
efore_or_after
:
improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven V
e
rdoolaege
i
s
l_ast_build_get_spac
e
:
impro
v
e
error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
Verdoolaege
i
sl_ast_build
_
h
a
s_affine_value
:
return
isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
is
l
_ast_graft_list_m
e
rge:
p
lug
memory leak
o
n erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
Verd
o
olaege
isl_*_m
o
d_multi_val:
p
lug m
e
m
ory l
e
ak on e
r
ror path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
Ve
r
doolaege
spe
c
ial
i
ze isl_s
p
a
ce_replace to
isl_space_
r
eplace_
p
arams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdool
a
e
g
e
isl_reordering_ext
e
nd_
s
p
a
c
e: rename "dim" argum
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
S
ven Verdoolaege
isl_*_aff_read_fr
o
m_
s
tr
:
d
o
not re
a
d domain
s
as rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-24
Albert Cohen
fix typos in user manual
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
S
v
en
V
e
r
d
oolaege
export is
l
_union_
m
ap_fro
m
_{domain,
r
ange}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoo
l
aege
document isl_union
_
map_from_{domain,
r
a
n
ge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven
Verdool
a
ege
isl_c
t
x_last
_
er
r
or: handle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
S
ven Verdoolaege
i
s
l
_ctx
_
reset_error
:
handle
NU
L
L input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaege
i
sl-noexceptions
.
h
: cle
a
n up
f
i
xed part
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Verdoolaege
i
n
t
e
rface/isl_t
e
st_cpp-noexceptions: abor
t
on is
l
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oola
e
g
e
interface/cpp
.
cc:
fix style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdool
a
ege
cpp: generate get
_
ctx
m
etho
d
for
a
l
l
e
xported classes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaege
add
tests for Pyt
h
o
n
i
nterfac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdoolaege
interface/is
l
_test
_
cp
p
-noexcepti
o
ns
.
cc: ex
t
end
t
es
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdool
a
ege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Ver
d
oolaege
pyt
h
on: specifically handl
e
long arguments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Ve
r
dool
a
ege
export
i
s
l
_union_set_p
r
eimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaege
export
isl_union_map_eq_at_multi_u
n
io
n
_
p
w_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoolaeg
e
expose isl
_
space
_
flatten_{domain,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoola
e
ge
isl_s
p
a
c
e_flatte
n
_rang
e
: rename "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
o
laege
isl_spa
c
e_flatte
n
_do
m
ai
n
:
re
n
a
m
e
"dim" argume
n
t to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoola
e
ge
interf
a
ce
/
pytho
n
.
cc: fix ty
p
o
in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven
V
e
r
d
ool
a
ege
doc:
fix
typos in isl_s
c
hedule_node
d
o
cumentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaege
i
s
l_scheduler
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
e
rdo
o
laege
isl_schedule
_
t
r
ee
.
c
:
fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
V
e
r
doolaege
isl_
s
chedule_node
.
c
:
f
ix typos i
n
co
m
ment
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
isl_union_m
a
p
.
c: fix ty
p
os in c
o
m
ments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolae
g
e
isl_
m
orph
.
c: fix typ
o
in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
e
rdoola
e
ge
i
s
l_tab_pip
.
c: fi
x
typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Verdoolaege
isl_mul
t
i
_templ
.
c: fix
t
ypo in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en
Verd
o
olaeg
e
isl
_
af
f
.
c: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en
V
erdool
a
e
ge
isl_v
a
l
.
c: fix
typo in c
o
mme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven
V
erdoolaege
isl_strea
m
_
e
at:
p
r
int error
m
essage o
n
EO
F
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven
V
erdoolaege
is
l
_mult
i
_union_pw_aff_zer
o
: check that
i
nput
i
s
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aeg
e
drop d
e
p
re
c
ated i
s
l_
i
nt interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
olaege
p
r
ivately
e
xpose is
l
_
q
p
olynom
i
al_fold_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
pr
i
vately
e
xpo
s
e is
l
_
aff_sca
l
e
_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
is
l
_tes
t
.
c:
us
e
isl_c
o
n
s
t
r
aint_set_constant_si inste
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaeg
e
isl
_
test
.
c: u
s
e isl
_
constraint_s
e
t_coefficient_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c
: te
s
t_fixed_power:
u
se isl_val ins
t
ead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
b
ound
.
c: u
s
e
isl
_
val ins
t
ead of
i
sl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
expos
e
isl
_
pw_qpol
y
nomial_
f
o
ld_fix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven V
e
rd
o
o
l
a
e
ge
re
m
o
v
e depre
c
a
t
ed band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
Verdoolaege
drop isl_basi
c
_m
a
p
_
f
oreach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_map_
d
im_{m
i
n,max}: us
e
is
l
_bas
i
c_map_le
x
opt_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
O
l
eksandr Zinenko
multi
.
h: fix wrong memory manag
e
ment annotation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdoo
l
a
e
ge
isl_tab_
b
asic_map_part
i
al_lexopt: sp
l
it on pa
r
ametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdo
o
l
a
ege
is
l
_test
.
c: tes
t
_dim_max_1: extract out check_
s
ingle_piec
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
i
s
l_
t
ab
_
pip
.
c
: extract out shar
e
d {ro
w
,col}_is
_
p
a
r
am
e
ter_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl_test
.
c: test_list
:
do not
consider internal
fail
u
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
o
olaege
i
s
l_test
.
c: test_u
n
_val: do not consider inte
r
nal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ola
e
ge
i
s
l_tab_basic_set_n
o
n_trivial_lexmin:
e
xtract out better
_
nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
o
l
a
e
ge
isl_tab_basic_set_constrained_lex
m
in: extr
a
ct out
pick_s
i
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_
s
et_non_trivial_lexmi
n
: skip kno
w
n impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: enter_level: extract out
f
i
nished_all_case
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next