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
libisl-gdb.py: consistently use tabs for indentation
2018-02-07
Sven Verdoolaege
libisl-gdb
.
py:
c
o
n
s
i
stently use
tabs for indentation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
Sven Verdoo
l
a
e
ge
r
ename
i
sl
.
p
y to libisl-gdb
.
py
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
S
v
en
V
erdoolaege
is
l
_ast_build
.
c: g
e
nerate_na
m
e: allocat
e
enough space
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
S
ven Ver
d
oo
l
aege
int
e
rface/cpp
.
cc: cpp_
g
en
e
r
ato
r
::print_method
_
impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
S
v
en V
e
rdoo
l
aege
cpp
.
cc: cpp_generator::print_public_cons
t
ructo
r
s
_
impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verd
o
o
l
a
ege
gene
r
ator::generator: drop redundant argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven V
e
rdoolae
g
e
inte
r
f
ac
e
/c
p
p
.
cc: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ve
r
doolaege
isl_ctx: keep track of last
error
m
essage, fi
l
e
a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdo
o
laege
isl_ct
x
_alloc_with_o
p
tions
:
re
u
se isl_ctx_re
s
et
_
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
Sven Ver
d
oolaege
expo
s
e isl_aff_par
a
m
_
o
n_d
o
main_space_i
d
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sve
n
Verd
o
o
laege
a
dd
isl_unio
n
_p
w
_aff_p
a
ram_on_
d
omain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
S
v
en
Verdoo
l
aege
add isl_space_add_param_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
o
l
aege
gen
e
ralize is
l
_multi_union_p
w
_
a
ff_m
u
lti_aff_on_dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaeg
e
isl_m
u
lti_
u
n
io
n
_pw_aff_multi_aff_on
_
domain: use isl_union_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
add isl_union_set_
s
pace_ha
s
_equal_p
a
rams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
isl_printer_print_u
n
ion_set: extract out
uset_to
_
umap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
generalize isl_union_pw_
a
f
f
_a
f
f_on_domain to isl_union_pw_af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
isl_pw_*_get_space: extract out
isl_pw_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n V
e
r
d
oolaege
isl_aff
.
c: p
w
_a
f
f
_aff_
o
n_doma
i
n: explicitl
y
insert
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Ve
r
d
o
olaege
a
dd i
s
l
_
aff_fr
o
m
_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolae
g
e
add isl_af
f
_
{t
a
k
e
,rest
o
re}
_
d
o
main_
l
ocal
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdoolaeg
e
add
i
sl_local_space_set_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
add isl_local_space_{take,re
s
t
ore}_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
M
e
r
g
e b
r
anch 'maint
'
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_union_pw_aff_a
f
f_on_domain: align p
a
ram
e
te
r
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolaege
add i
s
l_mu
l
ti_
{
pw,}aff_pro
j
ect_doma
i
n_on_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
S
v
e
n Verdoolae
g
e
isl_multi_tem
p
l
.
c
:
e
x
tract out isl_multi_dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdool
a
ege
ad
d
isl_se
t
_get_stride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
v
e
n Ver
d
oolaege
i
sl_set_get_stride_info: extract out set_detect_str
i
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
v
en Verdoola
e
ge
i
sl
_
ast_build_detect_strides: extract out
isl_set_g
e
t_str
i
de
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
ven Verdoolaege
add
i
sl_unio
n
_map_project_o
u
t_all_par
a
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
ven Verdoolaege
ad
d
isl_
b
a
s
ic_se
t
_dim
_
m
ax_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
S
ven
Verdoola
e
ge
i
s
l
_
ast_b
u
ild_node_from_s
c
hedule
:
improve error han
d
ling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
S
ven Verdoolaege
is
l
_schedule_
t
ree
.
h: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sve
n
Verdoolaege
isl_a
s
t_codegen
.
c: fix typo in c
o
mmen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
e
n
Verdool
a
ege
isl_tab:
i
n
v
a
lidate
undo stack if push
i
ng r
e
cord fails
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
e
n Ve
r
d
oolaege
isl_tab
.
c: pu
s
h_unio
n
: 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_bef
o
re_or_after:
improve error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
erdoo
l
aege
isl_ast_buil
d
_get_space:
improve error h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
a
ege
isl_as
t
_b
u
il
d
_
has
_
affine_value: return
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolae
g
e
is
l
_
ast_gr
a
ft_list_mer
g
e:
plug memory leak on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Verdoola
e
ge
i
s
l_*_mod_multi_val:
p
l
u
g
memory leak on error path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
spe
c
ialize isl_
s
pac
e
_
r
eplace to isl_space_rep
l
ace_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
Verd
o
o
laege
isl_reorde
r
in
g
_
e
xten
d
_spa
c
e: rename "di
m
" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
Sven
V
er
d
oolaege
isl_*_a
f
f_r
e
ad
_
from_str: do not r
e
ad domain
s
as rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
S
v
en Verdoolaeg
e
export isl_union_m
a
p_from_{d
o
main,ra
n
ge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
docu
m
ent i
s
l
_
u
nion_m
a
p_from_{domai
n
,
range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven
Ve
r
doolaege
isl_c
t
x_las
t
_error: handle NULL
i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sv
e
n
V
er
d
oolaege
isl_ctx_reset_error:
h
andle N
U
LL
i
n
put
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
V
e
rdoolaege
is
l
-noexcepti
o
ns
.
h:
c
lean up fixed part
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
i
n
terface/isl_test_cpp-noexcepti
o
ns: abor
t
on isl error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolae
g
e
interface
/
cpp
.
c
c
: fix s
t
yle
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Verdoolaege
c
p
p: g
e
ne
r
a
t
e
get_ctx method f
o
r a
l
l ex
p
orted c
l
asses
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
ve
n
Verdool
a
ege
add t
e
sts
f
or Python interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
i
n
terfa
c
e/isl_tes
t
_cpp-noexcept
i
o
n
s
.
cc: extend
test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
Merge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoo
l
aege
py
t
h
on: s
p
ecif
i
cally hand
l
e long arg
u
m
e
nts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erdoolae
g
e
export
isl_u
n
ion
_
set_pre
i
mage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaege
e
xpo
r
t isl_unio
n
_
m
ap_eq_at
_
multi_uni
o
n_
p
w_af
f
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
e
x
p
ose isl_space_fla
t
t
en_{domai
n
,r
a
nge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Ve
r
doolaege
isl_s
p
ace_flatt
e
n
_
range: rename "dim
"
ar
g
ument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
doolaege
isl_
s
pace_
f
latte
n
_do
m
ain:
r
ename
"
dim" ar
g
ume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
laege
interface
/
python
.
c
c
: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdool
a
eg
e
d
o
c: fix typos in isl_sche
d
ule_node
d
oc
u
men
t
at
i
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoola
e
ge
isl_s
c
h
ed
u
ler
.
c: fix typo in
com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
Ver
d
ool
a
ege
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
rdoolaege
i
s
l_schedu
l
e_node
.
c:
fix typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
isl_union_map
.
c: fix ty
p
o
s in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoolaege
i
s
l
_morph
.
c: fix typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdoolaege
is
l
_t
a
b_pip
.
c: fix
t
y
po in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en
Verdoolae
g
e
isl
_
m
u
lti_templ
.
c: fix typo
in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
s
l
_
aff
.
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_val
.
c: fi
x
typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl_s
t
rea
m
_eat: print error messag
e
on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verdoolaege
isl_mul
t
i
_uni
o
n_pw_aff_zer
o
: c
h
e
ck
that i
n
put
is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop deprecated isl_in
t
interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
o
o
l
aeg
e
pr
i
vat
e
ly exp
o
se isl_qpol
y
nomial_fo
l
d_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Ver
d
ool
a
ege
p
ri
v
ately expose isl_aff_scale_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
isl_test
.
c:
u
s
e
isl_
c
on
s
t
r
a
i
n
t
_
set_constan
t
_si
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verd
o
olaege
isl_test
.
c: u
s
e isl_cons
t
raint_set
_
coefficient_s
i
i
nstead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
isl_test
.
c
:
test_fi
x
e
d_po
w
er:
use isl_val instead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
erdoo
l
aege
bou
n
d
.
c: use isl_val inst
e
ad of isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
rdoolaege
expose isl_p
w
_
q
polynomial_fo
l
d_fix_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
re
m
ove depr
e
cated band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
d
r
op isl_basic_
m
ap_for
e
ach_l
e
xopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oola
e
ge
isl_map_dim_{min,max}: use isl
_
ba
s
ic_map_lexopt_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sven Ver
d
oolaege
is
l
_tab_basic_map
_
parti
a
l_
l
exopt: spli
t
on paramet
r
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_
t
est
.
c: test_dim_ma
x
_1: extract ou
t
check_sing
l
e
_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
e
rdoolaeg
e
isl_tab
_
p
i
p
.
c: extract ou
t
s
h
a
r
ed {row,col}_i
s
_parameter
_
var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_te
s
t
.
c: te
s
t_list: do not
c
onsi
d
er in
t
ernal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
test
.
c: tes
t
_
u
n_val: do not c
o
nsider
i
nterna
l
failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
er
d
oo
l
aege
isl_tab_
b
asi
c
_set_non_trivial_lexmin:
extract out better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_
b
asic_set
_
c
onstra
i
n
ed_lexmin:
e
x
tr
a
ct out pick_
s
ide
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set_no
n
_t
r
ivia
l
_l
e
xmin: skip
k
nown impo
s
si
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_t
a
b
_
pip
.
c: enter
_
le
v
el: ex
t
ract out finished_all_c
a
se
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n
V
erdoo
l
ae
g
e
i
s
l
_tab_b
a
sic_s
e
t_
n
on_trivial_le
x
min: ex
t
ract out enter_level
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_tab_pip
.
c
:
move c
u
rrent
b
est solution into isl
_
lexmin_d
a
ta
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl_tab_basic_set_non_trivial_lexmi
n
: extract out init_l
e
xmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ve
r
doola
e
ge
isl_tab_pip
.
c: firs
t
_
t
rivia
l
_region: pass isl_le
x
min_dat
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_
t
a
b
_pip
.
c
: move tableau int
o
isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next