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
S
v
e
n Ve
r
doolae
g
e
interface
/
c
pp
.
cc: cpp_ge
n
erato
r
::prin
t
_method
_
i
m
pl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdool
a
ege
cpp
.
c
c: cpp_generator::print_public_constructors_impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ver
d
oolaege
g
e
nerator::
g
en
e
rator: dr
o
p redundant
a
rgument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
in
t
e
r
f
a
ce/cpp
.
cc: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven
Verdoolaege
is
l
_ctx: keep track of last erro
r
message,
f
ile a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdo
o
lae
g
e
isl_ct
x
_alloc
_
with_option
s
:
reuse isl_ctx_reset_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
Sven Verdoola
e
g
e
exp
o
se
i
sl_aff_
p
aram_on
_
do
m
ain_space_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
S
v
en V
e
rdo
o
laege
ad
d
isl_union_pw_aff_p
a
ram_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Ve
r
doo
l
aege
add isl_space_ad
d
_pa
r
am_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
g
ene
r
a
lize
isl_multi_union_pw
_
a
ff
_
m
u
lti_aff
_
on_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolaege
isl_multi_union
_
p
w
_aff
_
mult
i
_
a
f
f_on_
d
omain:
u
se
isl_unio
n
_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
add
isl_union_set_s
p
ace_h
a
s_equal_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
isl_pr
i
n
ter_
p
rint_union
_
set: extract out uset_to_u
m
ap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Ver
d
oolae
g
e
gene
r
alize i
s
l_
u
n
i
o
n_pw_aff_aff_on_domain to isl_un
i
on_p
w
_
a
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
isl_pw_*_get_space: extract out isl_p
w
_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdoolaeg
e
i
s
l_
a
ff
.
c: pw_aff_aff_on_domain: e
x
plicitly ins
e
rt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
add isl_aff
_
from_
r
a
n
ge
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven V
e
rdo
o
l
ae
g
e
add isl_aff_{t
a
ke,restore}_d
o
m
a
i
n
_
l
o
c
al_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
a
d
d is
l
_local_spa
c
e_set_from_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
Verdoolaege
add is
l
_l
o
cal_spa
c
e_
{
take,resto
r
e}_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdo
o
la
e
ge
isl
_
union
_
p
w
_
aff_aff_on_do
m
a
i
n: al
i
gn
parameters of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
S
v
en Ver
d
oolaege
ad
d
isl_multi_{pw,}aff_
p
roject_domain_
o
n_p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven
Verdoolaege
isl_m
u
lti_templ
.
c: extract out is
l
_mul
t
i_di
m
s
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Ver
d
oo
l
aege
a
d
d isl_set_get_
s
tride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sv
e
n V
e
r
doolaege
isl_set_get_stride_
i
n
f
o: extract out set_detect_
s
tri
d
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rdoolaege
isl_ast_b
u
ild_detec
t
_
s
tri
d
es: extract out isl_set_get_
s
tri
d
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
ven Verdoolaege
a
d
d isl_uni
o
n_
m
a
p
_proj
e
ct_out_all_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoo
l
aege
add is
l
_basic_
s
et_dim
_
max_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
Sven Verdoolaege
i
s
l_ast_
b
uild_node_
f
rom_s
c
h
e
d
ule: improve erro
r
handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdo
o
laege
i
s
l_schedule_tree
.
h: f
i
x typo i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verd
o
ol
a
ege
isl_
a
st_codege
n
.
c: fix typ
o
in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdoolae
g
e
isl_tab: invalidate undo
s
t
ac
k
if
p
ushing record f
a
ils
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_tab
.
c: pu
s
h
_
un
i
on:
r
e
t
urn isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en
Verdoolaege
i
sl_schedule_node_graf
t
_
b
e
f
ore_or_after: improve e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolae
g
e
isl_ast_b
u
ild_
g
et_
s
pace: improve error
h
andling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
V
e
r
doolaege
is
l
_as
t
_build
_
has_
a
ffin
e
_
value: r
e
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
ven Verdoolaege
i
s
l_ast_graft_list_
m
erge:
plug me
m
ory leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
V
e
rdoo
l
aege
isl_*_mod_multi_val: plug memory leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
S
v
e
n
Verdoolaege
specialize isl_space
_
rep
l
ace to isl
_
space
_
replac
e
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoola
e
ge
isl
_
reord
e
ri
n
g_extend_
s
pace
:
ren
a
me "dim
"
argum
e
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdoolaege
isl_*_aff_read_from_st
r
: d
o
not read dom
a
ins as rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-24
Albert Cohen
fi
x
typos
in use
r
manual
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdo
o
laege
export i
s
l_u
n
ion_map
_
from_{domain,rang
e
}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
S
v
en Verdoolaege
do
c
umen
t
isl_union_map_from_{domain,ran
g
e}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
i
sl_ctx_last_erro
r
:
handle NULL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sv
e
n Verdoolaege
isl_ct
x
_reset_
e
rror: handle NULL i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdool
a
e
ge
isl-noexceptions
.
h: clean up f
i
xed part
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdo
o
laege
interf
a
ce/isl
_
test_cpp-noexc
e
ptions
:
abor
t
on isl erro
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
Verdoolaege
interface/cpp
.
cc: fix style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en V
e
r
d
oolaege
c
pp: generate get_ctx method
f
or all
e
xpor
t
ed classes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ve
r
doolaege
add tests for Python interfa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verdoolaeg
e
int
e
r
face/isl_test_c
p
p-noexcepti
o
ns
.
c
c
: exte
n
d test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n
Verdo
o
laege
M
e
rge branc
h
'
m
a
int'
commit
|
commitdiff
|
tree
2017-11-16
Sven
Verdoolaege
pyth
o
n: sp
e
cifically handle long arg
u
m
e
nts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
oolae
g
e
expor
t
isl_un
i
on_set_prei
m
age_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verdoolaege
export isl_union_
m
a
p_
e
q
_
at_multi_
u
nion_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
a
ege
expose
i
sl_
s
pac
e
_flatten_{domain,ran
g
e
}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Ve
r
doolaege
isl_space_flatten
_
ra
n
ge: rename "dim"
argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
Verd
o
olae
g
e
isl_space_flat
t
en_dom
a
i
n: r
e
name
"
dim" argumen
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
interface/py
t
hon
.
cc
:
fix typo
i
n com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doolaege
doc: f
i
x t
y
pos
in isl_schedule_node documentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Ver
d
oolaege
isl_scheduler
.
c: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolaege
isl_schedule_tree
.
c: fix typo
in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
dool
a
ege
isl_schedule_node
.
c: fi
x
typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdo
o
l
aege
isl_union_map
.
c
: fix
typos in
c
ommen
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaege
isl_mo
r
ph
.
c: fix t
y
po in
c
omme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en
Verdoola
e
ge
isl_tab_pip
.
c
:
fix
typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Verdool
a
ege
isl_multi_templ
.
c: fi
x
typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoolaege
isl
_
a
ff
.
c
:
fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Verdoolaege
isl_val
.
c: fi
x
ty
p
o
in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
i
sl_
s
tream_eat: print e
r
r
o
r messag
e
on
E
O
F
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven
V
er
d
o
ola
e
ge
i
sl_multi_union_p
w
_a
f
f_zero: check
t
hat input is
n
ot
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ve
n
Verdoolaege
d
r
op
deprecated isl_int
i
nter
f
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
e
n
Verdoolaege
privately expose
i
sl_qpolynomial_fold_scal
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Ver
d
oolae
g
e
private
l
y e
x
pose isl_aff_scale_
d
own
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
i
sl_test
.
c: use isl_
c
ons
t
r
a
in
t
_set_const
a
nt_si in
s
t
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
isl_tes
t
.
c: use isl_constraint_set_
c
oefficient_si i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en
V
erdoolae
g
e
isl_test
.
c: test_fixed_power: use isl_va
l
i
n
s
tead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
bound
.
c: use isl_val
i
n
s
tead o
f
isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdo
o
laege
ex
p
ose isl_pw
_
qpolynom
i
al_fold_fix
_
val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdo
o
laege
remove deprecated band fore
s
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop is
l
_
basic_map
_
foreach_lexop
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
laege
isl_map_di
m
_{min,
m
a
x
}
:
use
i
sl
_
ba
s
ic_map
_
lexopt_
p
w_m
u
l
ti_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Olek
s
andr Zine
n
k
o
multi
.
h: fix wrong memory ma
n
agement a
n
no
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
ven Verdoolae
g
e
i
s
l_ta
b
_basic_map_p
a
rtial_
l
ex
o
p
t
: split on parametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_tes
t
.
c: tes
t
_di
m
_max_1: extr
a
ct out
check_singl
e
_piec
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_pip
.
c:
e
xtract out shared {
r
ow
,
col
}
_
i
s_parameter_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_test
.
c: test
_
list: do not cons
i
der
i
nternal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doolaege
isl_te
s
t
.
c: test_un_val: do not con
s
i
d
er int
e
rnal failur
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoo
l
aeg
e
isl_tab
_
basic_se
t
_non
_
trivial_lex
m
in: extr
a
ct out bett
e
r_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
is
l
_
tab_
b
asi
c
_
set_constrained
_
lexmin: extract out pi
c
k_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoolaege
isl_t
a
b_basic
_
set_non_triv
i
al_lexmin: skip
kno
w
n
i
m
p
ossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_tab_pip
.
c: en
t
er_level:
extract out fi
n
ished_all_ca
s
es
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
d
o
olae
g
e
isl_ta
b
_bas
i
c_s
e
t_no
n
_trivial_
l
e
xmin: ext
r
a
c
t out
enter_level
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
ool
a
ege
isl_tab_p
i
p
.
c: move
c
u
rrent best solution into
i
s
l_le
x
min_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
e
ge
isl_tab_basi
c
_set_
n
on
_
trivial_lexmi
n
: extrac
t
o
u
t i
n
it
_
lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
Verdoo
l
aege
isl_ta
b
_p
i
p
.
c: f
i
rst
_
t
rivial_regi
o
n: pass isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_tab_
p
i
p
.
c: move tableau
i
nto isl_lex
m
in_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
ool
a
ege
i
s
l_ta
b
_basic_
s
e
t
_non_trivial_lexmin: ext
r
ac
t
ou
t
up
d
ate_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next