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
interface/cpp.cc: cpp_generator::print_method_impl: drop unused variable
2018-01-04
Sve
n
V
erdoolaege
inter
f
ace/cpp
.
cc: cpp_g
e
nerator::prin
t
_m
e
thod_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sv
e
n Verdoolaege
cpp
.
cc
:
c
p
p_generator::pri
n
t_public_constructors_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verd
o
ol
a
ege
generator::generator: d
r
op redundant
argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdo
o
laege
i
n
terface/cp
p
.
cc:
f
i
x typo
i
n
c
om
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaeg
e
isl_ctx: keep tra
c
k
o
f last e
r
ror m
e
ssage, file and
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven
Verdoolaege
isl_ctx_alloc_wi
t
h
_o
p
tions: reus
e
i
s
l_ctx_reset_
e
rror
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
S
v
en Ver
d
oo
l
aege
ex
p
o
se isl_aff_param_on
_
domain
_
space_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven
Verdo
o
l
aege
add isl_union_pw_aff_param_on_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
S
ven Verdoolaege
a
dd
i
sl_space_add_param_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolaege
generalize i
s
l_multi_union_
p
w
_
aff_multi_
a
ff_o
n
_
dom
a
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolae
g
e
isl_m
u
l
ti_un
i
on_pw_
a
ff_multi_aff_on_domain
:
use isl_union_se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Ve
r
dool
a
ege
add isl_
u
nion_set_spa
c
e_
h
as_equa
l
_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_pr
i
n
ter_pr
i
nt
_
union_
s
e
t
: extract out
u
s
e
t_to_umap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
general
i
z
e
isl_
u
nion_pw_aff_aff_on_d
o
main
t
o isl_unio
n
_pw_a
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
is
l
_
pw_*_get_space: extract out is
l
_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
isl
_
aff
.
c: pw_aff_aff_on_domai
n
:
expl
i
citly
ins
e
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aeg
e
add is
l
_aff_fro
m
_range
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Ver
d
oolae
g
e
add isl_aff_
{
take,restore}_do
m
a
i
n_local_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
dool
a
e
ge
a
dd isl_local_space_set_from_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
er
d
oolaege
add isl_l
o
c
al_space_{take,re
s
tore}_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
M
e
rg
e
bra
n
c
h 'm
a
i
nt'
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoola
e
ge
isl_union_pw_aff
_
a
f
f_o
n
_domain:
alig
n
parameters of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolaege
add isl_mul
t
i_{pw,}aff_pro
j
ect_domain_on_pa
r
ams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoola
e
g
e
isl_multi_t
e
mpl
.
c: extract
o
ut
i
sl_
m
ulti
_
dims
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdo
o
laege
add isl_set_get_st
r
ide
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sv
e
n
Ve
r
doolaege
isl
_
set_get
_
stride_inf
o
: extract
out set_detect_stride
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoola
e
g
e
isl_ast_build_detect_st
r
ides
:
e
xt
r
act o
u
t
isl_set_get_stride
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoo
l
aege
add
i
s
l
_u
n
ion_map_pro
j
ect_ou
t
_all_para
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Ve
r
doolae
g
e
a
d
d isl
_
basi
c
_set_di
m
_
max_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-20
Sven
Verdoola
e
ge
i
s
l_ast_build_node_from_schedule
:
impr
o
v
e
error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdo
o
l
aege
isl_schedu
l
e_tre
e
.
h:
fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven
Ver
d
oo
l
aege
isl_
a
st_co
d
egen
.
c
:
f
i
x typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdoolaege
isl_tab: inv
a
lidate undo stack
i
f pushing record fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
erdool
a
ege
i
sl_
t
ab
.
c: push_union: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdoolaege
isl_schedule_node_graft_be
f
ore_or_after: improve error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
e
n Verdoolaeg
e
isl
_
ast
_
build_
g
e
t
_
space: improve error
h
andling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdoola
e
g
e
isl_ast_build_has_affine_value: return
i
sl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
i
s
l_ast_g
r
a
f
t
_list_merge:
p
lug memory leak
o
n
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Verdoolaege
i
s
l
_*_mod_multi_va
l
:
p
lug memory leak
o
n e
r
ror pa
t
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
S
ven
V
erdool
a
ege
special
i
ze isl_spac
e
_repla
c
e to is
l
_s
p
a
ce_
r
eplace_p
a
rams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Ve
r
do
o
laege
isl_re
o
r
dering_extend
_
space: rename "dim" a
r
gument
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdoo
l
aege
isl_*
_
aff_read_
f
rom
_
s
tr: do not read dom
a
ins a
s
rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-24
Albert
C
ohen
fix typos
i
n us
e
r manual
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven
V
erdo
o
laege
export isl_union_map_from_{domain,ran
g
e}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdo
o
laege
document isl_union_map_from_{d
o
m
ain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
isl_ctx_last_error: hand
l
e NUL
L
i
n
put
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
S
v
e
n
Verdoola
e
ge
isl_ctx
_
re
s
et_erro
r
:
hand
l
e NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoola
e
g
e
isl-noexceptio
n
s
.
h
:
cle
a
n
u
p fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Verdoolaege
in
t
e
r
fa
c
e/isl_test_cpp-
n
oe
x
c
eptions:
abort o
n
isl er
r
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Verdool
a
ege
i
nterface/c
p
p
.
cc:
f
ix style
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Verd
o
olaege
cpp: generat
e
get_ctx m
e
th
o
d for all exp
o
rted classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaege
a
d
d tests for
Py
t
hon interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdool
a
e
g
e
i
nterface/isl
_
tes
t
_cpp-noexceptions
.
cc: extend test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
v
e
n
Verdoolaege
Merge bran
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
V
erdool
a
ege
python
:
specifically h
a
ndle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verd
o
olaege
export isl_
u
ni
o
n
_
s
et_pre
i
m
a
ge_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
export isl_uni
o
n_map_eq_at_mu
l
ti_union_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
Verdoolaege
expo
s
e isl_s
p
ace
_
f
l
a
tten_{domain,range
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Ver
d
o
o
laeg
e
isl_
s
pace_fl
a
t
ten_r
a
nge
:
r
e
name
"
di
m
" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdool
a
ege
isl_space_flat
t
en_domain: rename "dim" argument
to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoo
l
a
e
ge
i
nterface/
p
y
thon
.
cc: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoola
e
ge
doc:
fix typos
i
n isl_sche
d
ule_node documenta
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoola
e
g
e
isl
_
s
chedul
e
r
.
c
:
f
ix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolaege
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
Sven V
e
rdool
a
ege
isl_sched
u
l
e
_n
o
de
.
c: fix t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
is
l
_un
i
on_map
.
c:
f
ix ty
p
os in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
d
oolaege
isl
_
morph
.
c: fix typo i
n
comm
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_tab_pip
.
c
: fi
x
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ve
r
doolaege
isl_multi_templ
.
c: f
i
x ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
v
e
n Ve
r
doolaege
isl_aff
.
c:
fix
t
ypo in com
m
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdoolaege
isl_val
.
c: fix
t
ypo
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoola
e
g
e
isl_stream_ea
t
: print error messag
e
on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verd
o
olaege
isl_multi_u
n
ion_p
w
_aff_zero: c
h
e
c
k tha
t
input is n
o
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
drop depr
e
c
a
ted isl_
i
n
t interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
p
r
i
vately expose isl_qpolynomial_fold_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdool
a
eg
e
priva
t
el
y
expose isl_aff
_
scale_
d
ow
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: u
s
e isl_constra
i
nt_set_const
a
nt_si
in
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
isl
_
test
.
c
: use isl_constr
a
int_se
t
_coeffi
c
ient
_
s
i instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
e
r
doo
l
aege
isl_t
e
st
.
c
: t
e
st_fixed_pow
e
r
:
use isl_v
a
l
in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
b
ound
.
c: use isl_
v
al inst
e
ad of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
expose
i
s
l_p
w
_qpo
l
ynomial_fold_
f
ix
_
v
a
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
e
rd
o
olaege
r
e
move deprecated band f
o
rests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
d
r
op isl
_
basic_map_foreac
h
_
lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
isl_ma
p
_di
m
_{mi
n
,
m
a
x
}
: use isl_basi
c
_
map_lexo
p
t
_
pw
_
mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Oleksandr Zinenko
m
u
l
ti
.
h: fi
x
wrong
memory ma
n
agement annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Verdo
o
laege
i
s
l_tab_basic_
m
ap_p
a
r
t
ial_lex
o
pt: split on param
e
tr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
isl_t
e
st
.
c
:
tes
t
_dim
_
m
a
x_1: extract out
chec
k
_
sin
g
le_pi
e
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_pip
.
c:
ext
r
a
c
t out shared {row,col}_is_paramete
r
_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_test
.
c
: te
s
t_li
s
t: d
o
n
o
t conside
r
int
e
r
n
a
l f
a
ilure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
i
s
l
_
test
.
c: te
s
t_un_val: do no
t
consider internal f
a
i
l
ur
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_ta
b
_basic_
s
et
_
non_triv
i
al
_
lexmin:
e
xtract out better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_basic_
s
e
t_constrained_lexmin:
ext
r
act out pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
r
doolaege
isl_tab_basic_set_non_trivial_l
e
xmin
:
skip
k
n
own im
p
ossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_pip
.
c: en
t
er
_
l
evel
:
e
xtrac
t
out finished_all_c
a
ses
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
er
d
o
o
l
a
ege
isl
_
tab_basic
_
set_non_trivial_lexmin
:
extract out en
t
er_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
i
s
l_tab_pip
.
c: move curr
e
nt b
e
st solut
i
on i
n
to isl
_
lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_tab_basic_s
e
t_non_
t
rivial_
l
exmin: extract out init_lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c:
f
i
rst
_
trivial_region
:
pass isl_l
e
xmin_d
a
ta
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: move t
a
b
l
e
a
u into
isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_tab_ba
s
ic_set_non_tr
i
vial_lexmin: extract out update_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next