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
cpp.cc: cpp_generator::print_public_constructors_impl: drop redundant argument
2018-01-04
S
ven Verd
o
ola
e
ge
cpp
.
cc: cpp_gener
a
t
or::print_p
u
blic
_
constructors_im
p
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
ven Verd
o
olaege
gener
a
tor::gener
a
to
r
:
d
rop
r
edundant ar
g
ument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven V
e
r
doolaege
interfa
c
e/cpp
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolae
g
e
isl_ctx
:
k
eep
track of last error
m
essage, file a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
is
l
_ct
x
_al
l
o
c
_with
_
options:
reus
e
isl_ctx_reset_
e
rror
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
S
ven Ver
d
ool
a
ege
expose
i
s
l_aff_para
m
_
o
n_domain
_
space_i
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolae
g
e
a
d
d isl_
u
nion_
p
w
_aff_param_on_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolaege
add isl_space_add
_
param_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
er
d
o
olaege
generali
z
e isl_multi_unio
n
_p
w
_aff_multi
_
aff_on_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolaege
isl_
m
ulti_union_p
w
_aff_
m
ulti
_
aff_on_domai
n
: use i
s
l_u
n
ion_se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
S
v
en Verdoolaege
add isl
_
union
_
set_
s
pace_
h
as_equal_
p
a
r
a
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
l
a
ege
i
sl
_
printe
r
_print_union_
s
et: extr
a
ct out uset_to_u
m
ap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoola
e
ge
generalize
i
s
l
_union_pw_af
f
_aff_o
n
_d
o
mai
n
to isl_uni
o
n_pw_af
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_pw_*_get_
s
pace: extract out is
l
_pw_*_peek
_
space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Ver
d
oolaege
isl_aff
.
c: p
w
_af
f
_
a
ff
_
on
_
domain: exp
l
icitly insert
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
ad
d
isl
_
aff_from_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
er
d
oolaege
add isl_
a
f
f_{
t
ake,restore}_domain_
l
oc
a
l_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
V
erdoolaege
ad
d
isl
_
l
o
cal
_
sp
a
ce_se
t
_from_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaeg
e
a
d
d
i
sl_local_space_{take
,
r
e
s
tore}_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aege
Merg
e
br
a
nc
h
'
m
aint'
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_unio
n
_pw_
a
ff_aff_on_domain
:
align par
a
meters of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
S
ve
n
Verdoolaege
add isl
_
m
u
l
ti_{pw,
}
aff_project_domai
n
_
o
n
_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolaege
isl_multi_t
e
mpl
.
c
:
extra
c
t out isl
_
multi_d
i
m
s
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sve
n
Verd
o
olaege
add i
s
l_set_get_s
t
ri
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdool
a
ege
isl_set_get_st
r
i
d
e_
i
nfo: extract out set_dete
c
t_s
t
ride
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoo
l
aege
i
s
l
_
a
st_build_dete
c
t_
s
trides: extr
a
ct out i
s
l_set_get_strid
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_union_
m
ap_
p
ro
j
e
c
t
_
o
ut_all_param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolae
g
e
add
isl_basic_s
e
t_dim_max_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-20
Sven Ver
d
oolaege
isl_as
t
_build_node_from_schedule: improve error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoolaege
i
sl_schedule_tree
.
h: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoolaege
isl_
a
st_co
d
egen
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verd
o
olaeg
e
is
l
_
t
ab: invalidate un
d
o s
t
ack if push
i
n
g r
e
cord fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
erdoolaege
isl_
t
ab
.
c: push_union: return
isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
laege
isl_schedule_node_graft_before
_
or_after: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
d
o
olaege
isl_a
s
t_build_get_
s
p
ace: impr
o
ve error
h
a
ndling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verd
o
olaege
isl_as
t
_build_has_af
f
ine_valu
e
: re
t
urn
i
sl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
er
d
ool
a
ege
i
s
l
_
ast_gra
f
t_list_m
e
rge: plu
g
m
emor
y
l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
isl
_
*
_
mod_multi_val: plug memory l
e
ak on e
r
ror path
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
S
v
en
Verdool
a
ege
s
p
ecial
i
ze
isl_space_replace to isl_space_replace_param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdool
a
ege
isl_re
o
rd
e
ring_
e
xtend_space:
r
ename "dim" argu
m
ent
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdoolae
g
e
is
l
_*_
a
ff_read_
f
r
om_str: do not rea
d
d
o
mai
n
s
as ratio
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-24
Albert C
o
h
e
n
f
ix
t
ypos in user manual
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verd
o
olaeg
e
export isl_union_ma
p
_fr
o
m_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaeg
e
document isl
_
union_ma
p
_
from_{domain,ra
n
ge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven
V
erdoolae
g
e
isl_ctx_last_
e
r
ror: h
a
nd
l
e NULL inpu
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolae
g
e
is
l
_
c
tx_reset_error:
h
andle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
ven Verdool
a
ege
isl-noexc
e
ptions
.
h: c
l
ean up fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdool
a
ege
i
nterf
a
ce/is
l
_test_cpp-noexceptions: abort on isl err
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaege
interfa
c
e/cpp
.
cc: fix styl
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
cpp: genera
t
e
g
e
t_ctx meth
o
d
for all e
x
ported classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
Verdoolae
g
e
a
dd t
e
sts for Python interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolae
g
e
in
t
erfac
e
/isl
_
test
_
cpp-noexceptions
.
cc
:
e
xtend test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
Verdoolae
g
e
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n
Ver
d
oola
e
g
e
pyt
h
o
n: specificall
y
handle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
e
n Verdoolaege
ex
p
o
rt isl_union_set_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
laege
expo
r
t
i
sl_union_ma
p
_eq_at_mu
l
ti_union_p
w
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
a
ege
expose
i
s
l
_spa
c
e
_
f
latt
e
n_{domain,r
a
nge
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven
Verdoolaege
isl_space_flatten_range: rename "di
m
" arg
u
ment to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verd
o
olaege
isl_space_f
l
att
e
n
_domain:
rena
m
e "d
i
m" argu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Ve
r
doolaeg
e
int
e
rface/python
.
cc: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoolaege
doc: fix typ
o
s in isl_schedul
e
_node docu
m
entation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
ae
g
e
isl_sched
u
ler
.
c
:
fix t
y
po
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
isl_schedule_tre
e
.
c: fix typo
in comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolaege
isl_sched
u
le_node
.
c: fix
t
ypo
s
i
n co
m
ments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaeg
e
isl_uni
o
n_map
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ven V
e
rdoolae
g
e
isl_
m
o
r
ph
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c: fix
t
y
po in
c
omm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
ven
V
erdoolaege
isl
_
multi
_
templ
.
c: fix typo
in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_a
f
f
.
c: fix typo
in
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_val
.
c: fix t
y
po in comm
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolae
g
e
is
l
_stream_e
a
t: pri
n
t error mess
a
g
e
on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
S
ven Verdo
o
laege
isl_mult
i
_union_pw
_
aff_zero: ch
e
c
k
th
a
t input
i
s
n
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdo
o
laege
d
r
op deprecated isl_int i
n
terface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoola
e
ge
p
r
i
vately expo
s
e isl_qpolynomi
a
l_
f
ol
d
_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
e
g
e
privately expose i
s
l_af
f
_s
c
ale_down
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n Verdoolaege
isl_test
.
c: us
e
i
s
l_c
o
nstraint
_
set_constant_si ins
t
e
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
olaeg
e
i
sl_test
.
c: use isl_
c
onstra
i
nt_set_coeffic
i
ent_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl
_
test
.
c: tes
t
_fixed_power: use isl
_
val inst
e
ad of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoo
l
aege
bo
u
n
d
.
c: use isl
_
val in
s
t
ea
d
o
f isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
expos
e
isl_pw_qpoly
n
omial_fold_f
i
x_
v
al
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdool
a
ege
remov
e
d
e
p
r
ecat
e
d band
f
orests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
olaege
d
r
op
i
sl_basic_ma
p
_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_
m
ap_dim_{min,
m
ax}: use
isl_basic_map_lexopt_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Oleksandr Zinenko
multi
.
h: fix wrong memory
management
ann
o
tation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdoo
l
aege
isl_tab_basic_ma
p
_part
i
al_lexopt: spl
i
t
on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c
:
test
_
dim_max_1: extr
a
ct out
che
c
k_s
i
ngl
e
_piec
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ola
e
ge
i
s
l
_
ta
b
_pip
.
c:
e
xtract out shared {row
,
col}_is_p
a
rameter_v
a
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n
Ve
r
doolae
g
e
isl
_
test
.
c: test_lis
t
: d
o
not
c
onsider
internal fail
u
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdo
o
l
aege
isl_test
.
c: test_un_val: do
n
ot consider internal failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl_tab_b
a
sic_set_n
o
n_tr
i
vial_lexmin: extract
o
u
t better_
n
ex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
ge
i
s
l_tab_bas
i
c_set_constrained_lexmin: extra
c
t out pic
k
_si
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaeg
e
i
s
l_tab_basic_set_
n
on_trivial_l
e
xmin: skip known impo
s
s
ibl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_tab_pip
.
c: enter_level: extr
a
ct out finished_all_cas
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set
_
non_trivial_
l
exmin: extrac
t
out enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven
Verdoolaege
isl_tab_pip
.
c: m
o
ve curre
n
t best solution i
n
to
isl_l
e
xmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
i
s
l_tab_bas
i
c
_set
_
no
n
_trivial_lexmin: extrac
t
o
ut init_lexm
i
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: first_trivial_region: pas
s
i
sl_lexmin_
d
at
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
isl
_
tab_pip
.
c: m
o
ve t
a
bleau
i
nto
i
sl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_tab_bas
i
c_set_non_
t
rivial_lexm
i
n: extract out up
d
ate_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
ege
isl_tab_pip
.
c
: move
i
sl_local_region arr
a
y
i
nto
i
sl_lex
m
in_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next