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
rename isl.py to libisl-gdb.py
2018-01-27
Sven V
e
rdoolae
g
e
ren
a
me
i
sl
.
py to li
b
isl-gdb
.
py
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-27
Sve
n
Verdoolaege
isl_ast_build
.
c
:
generate_name: allocate
enough space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
v
en
Verdoolaege
interfa
c
e
/cpp
.
c
c
:
cpp_generato
r
::print_met
h
od_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ve
r
doolaege
c
pp
.
cc
:
cpp_
g
enerato
r
::print_public_cons
t
ructors_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven
V
e
rdoolaege
g
enerat
o
r
:
:
generat
o
r: drop re
d
undant ar
g
u
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
v
en
Ve
r
d
oolaege
in
t
erface/cpp
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ver
d
oolaege
isl_ctx: keep
t
rac
k
of last
e
r
r
o
r message, file
a
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
ven V
e
rdoola
e
ge
isl_ctx_alloc_with_opt
i
ons: reuse isl
_
ct
x
_reset_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
Sven Verdo
o
l
a
ege
exp
o
se
i
s
l
_
a
f
f_
p
a
r
am_
o
n
_
dom
a
in_
s
pace_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Ve
r
doolaege
add i
s
l_
u
nion
_
pw_aff_par
a
m_on_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sv
e
n V
e
rdoola
e
ge
add isl_space
_
ad
d
_p
a
ram_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
generalize isl_multi_union_p
w
_
a
ff_multi_aff_on_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_multi_unio
n
_
p
w_a
f
f_mu
l
t
i_
a
ff_on_domain: use is
l
_union
_
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Ver
d
oolae
g
e
add isl_union_
s
et
_
s
p
ace_h
a
s_equal_pa
r
ams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_p
r
int
e
r
_
p
rin
t
_union_
s
et
:
extract
o
ut use
t
_to_uma
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
genera
l
ize is
l
_union_pw_aff_aff_o
n
_domain to isl_union_pw_a
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
doolaege
is
l
_union_pw_aff_aff_on
_
domain: align par
a
mete
r
s of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolae
g
e
add isl
_
multi_{pw,
}
aff
_
project_domain_on_p
a
rams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Ve
r
do
o
laege
isl_
m
ulti_templ
.
c
: ex
t
ra
c
t out isl_mul
t
i
_
dims
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
v
en Verd
o
o
laege
add isl_set_g
e
t_st
r
id
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
v
e
n Verd
o
olaege
isl_set_g
e
t_stride_info: extract
o
ut set
_
detect_str
i
de
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
isl_ast
_
b
uild
_
detec
t
_strides
:
extract
out is
l
_set_get_stride
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
ven
V
erdoolaege
add is
l
_unio
n
_map_proje
c
t_
o
ut_all_par
a
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verd
o
olaege
ad
d
i
s
l_basic_set_di
m
_max_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-20
Sven Verdoolae
g
e
isl_ast_build_node_from_s
c
hedule: imp
r
ove error
han
d
ling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoolae
g
e
i
sl_schedule_tree
.
h: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven
Verdoolaege
isl_ast_codegen
.
c
:
f
ix
ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
Ve
r
doolae
g
e
isl
_
t
a
b: inv
a
l
i
date
undo
stack if pushing
record fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
V
er
d
oola
e
ge
i
sl_tab
.
c: push_union: r
e
tu
r
n isl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl
_
schedule_node_
g
raft_bef
o
re_
o
r_after: improve err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdool
a
ege
isl
_
a
st_build_get_space: improve error handling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
i
s
l_ast_build_has_affine_
v
a
l
u
e:
return isl_bo
o
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_ast_gra
f
t_list_
m
erge
:
pl
u
g mem
o
r
y leak on
erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven V
e
rdoolaege
isl_*_mod_multi_val: plug memory le
a
k o
n
e
r
ror p
a
t
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sven
V
e
rdoola
e
ge
isl_*_aff_read_f
r
om_str: d
o
not
read domains as
r
a
tion
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
S
ven
V
erdo
o
laege
export
i
sl_union_map_fro
m
_{domain,ra
n
ge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
documen
t
isl_un
i
on_map_from_{doma
i
n,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sve
n
Ve
r
doolae
g
e
isl_ctx_last
_
error: h
a
ndle NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven V
e
r
doolaege
isl_ctx_reset_
e
rror: handle
NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verd
o
ol
a
e
ge
isl-noe
x
ceptions
.
h: clea
n
up fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven V
e
rdoo
l
a
ege
i
n
terface/isl_test_cpp-noexception
s
: abo
r
t on
isl er
r
or
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoolaeg
e
interface
/
cpp
.
cc: fix style
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ve
r
d
oolaege
cpp: generat
e
get
_
ct
x
me
t
hod for all
e
xported clas
s
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaeg
e
add tests for Python int
e
rface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sve
n
Ver
d
oolaege
in
t
erface/isl_test_cpp-noe
x
ceptions
.
cc:
exten
d
test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
v
e
n Verdoolaeg
e
M
erge
bran
c
h 'm
a
int'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
pytho
n
:
specific
a
l
ly handle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erdoolaege
export isl_union_s
e
t
_
prei
m
age_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolae
g
e
ex
p
ort isl_union_map
_
eq_at_multi_union_
p
w
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
laege
expose isl_spac
e
_
flatten_{domain
,
range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
V
erdoola
e
ge
inter
f
a
c
e/python
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdool
a
ege
doc
:
f
i
x typos in is
l
_sche
d
ul
e
_node d
o
cumentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n
V
erdoolaege
isl_scheduler
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaeg
e
isl_schedul
e
_tree
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en
Verdoo
l
ae
g
e
i
s
l_schedule_node
.
c: fix t
y
pos
i
n comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl
_
u
n
i
on_map
.
c: fix typos in co
m
ment
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
i
s
l_mo
r
ph
.
c
:
f
i
x typo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdool
a
ege
isl_ta
b
_
p
ip
.
c: fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
aege
i
s
l
_
mult
i
_templ
.
c
:
fix
typo
in c
o
m
m
ent
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoola
e
g
e
isl_aff
.
c: fi
x
typo in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_val
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl
_
s
trea
m
_eat: pri
n
t error me
s
sage on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
S
v
e
n
Verdo
o
laege
isl_multi_union_pw_aff_zero: check
t
hat input is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
drop deprecated isl_int
i
nt
e
rface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolae
g
e
pr
i
vately expose isl_qpolynom
i
a
l
_
fold_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven V
e
rdoolaeg
e
privately ex
p
o
se isl_aff_sc
a
le_do
w
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
d
o
olaege
isl_t
e
st
.
c: u
s
e
isl_constraint_set_
c
onstant
_
si inste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: use i
s
l_cons
t
raint_se
t
_coeff
i
c
i
ent
_
si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
isl
_
t
e
st
.
c
: test_fixed_power: u
s
e isl_val i
n
stead of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
boun
d
.
c: use isl_val in
s
tead of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
ex
p
ose isl
_
pw_qpolynomial_fold_fix
_
val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
a
ege
dr
o
p isl_basic
_
map_fore
a
ch_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verd
o
olaeg
e
i
s
l_m
a
p_dim_{min
,
max}:
u
s
e isl_ba
s
ic_map_lexopt_pw
_
mult
i
_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Ver
d
oolaege
isl_tab_ba
s
ic_m
a
p_pa
r
tial_
l
exopt:
spli
t
on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdo
o
laege
i
sl_test
.
c: tes
t
_dim_max_1:
e
xtract
out che
c
k_
s
i
n
gle_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
i
sl_ta
b
_pip
.
c
:
extra
c
t out shared {
r
o
w
,
col}_is_
p
arameter_va
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_test
.
c
:
test_
l
ist: do not consider i
n
ternal
f
ailure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_t
e
st
.
c: test_un_val:
do n
o
t
c
onsider internal f
a
i
lure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_tab_bas
i
c_
s
et_non_trivial_lexmin: extract out better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_
t
ab_basi
c
_set_constra
i
n
e
d_lexmin: extrac
t
out pick_si
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
is
l
_tab_bas
i
c_set_non_trivia
l
_le
x
min: skip kn
o
w
n
impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoola
e
ge
isl_tab_pip
.
c
:
enter_level: extract out fin
i
she
d
_
a
l
l
_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
isl_tab_
b
asic
_
set_non_trivial_lexmin: ex
t
ract out enter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdoolaege
i
s
l_tab_pip
.
c
: move current best
s
olution into isl_lex
m
in_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
e
n Verdoolaege
isl_tab_bas
i
c_set_non_trivial_lexm
i
n: 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: first_t
r
ivial_regi
o
n
:
pass isl_
l
e
xmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
ae
g
e
isl_tab_pip
.
c:
m
ov
e
tabl
e
au int
o
isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oo
l
aege
isl_tab_ba
s
ic_se
t
_
non_
t
r
i
v
ial_lexmi
n
: extra
c
t out update_o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_
p
ip
.
c: move isl_local_
r
egion array into isl_
l
exmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
i
s
l
_
t
a
b_basic
_
set
_
non_trivial
_
lexmin: ex
t
ract out clear_lexm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_
t
a
b_basic_set_non_trivial_
l
exm
i
n: extrac
t
out init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdool
a
ege
isl_tab_pi
p
.
c: isl_lexmin_data: store a copy
of a
r
ray
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_
t
ab_pip
.
c
: move up isl_lexmin_data declara
t
ion
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
re
n
am
e
isl_
t
rivial_global to isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
s
l_
t
ab_pip
.
c: furt
h
er extend documen
t
ation o
f
isl_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c: ren
a
me
i
sl_
t
rivial
t
o isl_loca
l
_regi
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erd
o
olae
g
e
isl_tab_basic_se
t
_non
_
trivial_lexmin:
p
ostpone rollbac
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
add i
s
l_mat_ha
s
_line
a
rly_independe
n
t_r
o
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
add is
l
_mat_r
o
w_basis_extension
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next