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
isl_ast_build.c: generate_name: allocate enough space for variable name
2018-01-27
Sven Verdo
o
laege
i
sl
_
a
st_build
.
c
:
generat
e
_name: al
l
ocat
e
enough
s
pace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
interface/c
p
p
.
cc: cp
p
_
g
enerator::prin
t
_
m
etho
d
_im
p
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven
Ver
d
oolaege
cpp
.
c
c
: cpp
_
g
enerator::pr
i
n
t
_pub
l
ic_c
o
nstruc
t
or
s
_impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
generator::genera
t
o
r:
d
rop redun
d
ant argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
S
ven
Verdo
o
laege
inter
f
ac
e
/cpp
.
cc: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sv
e
n Verdoolaege
isl
_
c
t
x: kee
p
t
r
ack o
f
l
ast error message
,
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
_options: reuse isl_ctx_reset_e
r
r
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
S
ven Verdoo
l
aege
expose isl_aff_para
m
_on_domain_spa
c
e
_
id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven
V
erdoo
l
aege
add isl
_
union_pw_aff_
p
ara
m
_on_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
S
ve
n
V
e
rdoolaege
add is
l
_space_ad
d
_param_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolaege
gen
e
ralize isl_multi_
u
nion_p
w
_
aff_mu
l
ti
_
aff_on
_
domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven
V
erdoolaege
isl_multi_unio
n
_pw_aff_mul
t
i_aff_on
_
do
m
ain:
use isl_
u
nion_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add
isl_u
n
ion_s
e
t_space
_
h
a
s_equal_param
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
isl_printer_print_uni
o
n_set: ex
t
ract out use
t
_
to_umap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Ver
d
oolaege
g
enera
l
ize i
s
l_unio
n
_pw_aff_aff_on_domain t
o
isl
_
union_pw_af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoola
e
ge
is
l
_pw_*_get_spac
e
: e
x
tract out isl_pw_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oola
e
ge
isl_aff
.
c
: p
w
_aff_aff_on
_
d
o
main: ex
p
licitly i
n
s
e
rt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ve
n
Verdo
o
laege
add isl_aff_
f
r
om_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
add isl
_
a
ff_{take,
r
estore}_domain_loca
l
_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add is
l
_local_space_set_from_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add is
l
_local_space_{take,
r
esto
r
e}_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolae
g
e
Merge br
a
nch
'
m
aint'
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolae
g
e
i
sl
_
union_pw
_
aff_aff_on_domain: al
i
gn pa
r
ameters of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
S
v
e
n
Verdoolaege
add isl_
m
u
l
ti_
{
p
w,
}
aff_p
r
oject
_
d
o
m
ain_on_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sv
e
n Verdoolaege
isl_
m
ulti_templ
.
c: extract out isl_multi_dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rd
o
o
la
e
ge
add isl_set_get_stride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdo
o
laege
isl_set
_
get_strid
e
_info:
e
xtract out
s
e
t
_detec
t
_stride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sve
n
Ver
d
oolaege
isl_ast_bui
l
d_detect_strides: extract
o
u
t
i
sl_s
e
t
_
ge
t
_stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
v
en Verdoolaege
add isl
_
uni
o
n_map
_
project_ou
t
_al
l
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven
V
erdoolaege
add isl_basic_set_dim_max_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
S
v
e
n Verdoolaege
is
l
_ast_build_nod
e
_from_s
c
hedu
l
e: improve erro
r
h
andling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven V
e
r
d
o
olaege
i
sl_schedu
l
e
_
tree
.
h: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sve
n
Verd
o
olaege
isl_ast_cod
e
gen
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sve
n
Verdo
o
laeg
e
is
l
_
t
a
b
:
invalidate u
n
do stack
if pushing record
f
a
i
ls
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdool
a
eg
e
isl_
t
ab
.
c: push_union: return isl_st
a
t
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: im
p
rove error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
e
n Verdoo
l
ae
g
e
isl_as
t
_
b
ui
l
d_get_s
p
a
c
e: improve error handl
i
ng
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
doolaege
is
l
_ast_
b
uild_has_affine_val
u
e: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
i
s
l_ast
_
graft_list_merge: plug me
m
ory leak o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
i
s
l
_*_mo
d
_
m
ulti_val: plug memory leak
o
n error path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
Verdoolaege
s
p
ecialize isl
_
s
p
ac
e
_replace to isl_sp
a
ce_replac
e
_
p
arams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Ve
r
d
o
ola
e
ge
isl
_
reordering_extend_sp
a
ce: rename "dim"
argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
S
v
en
V
e
rdoolaege
i
s
l
_
*_aff_read_from_str: do not
read
d
omains as rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verd
o
olaege
export isl_union_map_from_
{
do
m
a
i
n
,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
document
i
s
l_union_map_fro
m
_{domain
,
r
an
g
e}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdool
a
e
ge
isl_ctx_
l
ast_erro
r
:
h
andle
N
U
L
L inp
u
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
isl_
c
t
x_r
e
set_error: handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolae
g
e
isl-n
o
ex
c
eption
s
.
h: clean up fixed
p
art
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Ver
d
ool
a
ege
interfa
c
e/isl_test_cp
p
-
n
oexceptions: abort on isl error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en
Verdoolaege
in
t
erfa
c
e/cpp
.
cc:
fix style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdoola
e
ge
cpp
:
g
enerate get_ctx met
h
od for all export
e
d
classes
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
V
erdoolaege
a
d
d tes
t
s
f
or P
y
tho
n
i
n
terface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verd
o
olaege
interface/isl_test_c
p
p
-
noexceptions
.
cc: exte
n
d
test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
Merge branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2017-11-16
S
ve
n
Verdoola
e
g
e
python: s
p
eci
f
ica
l
ly handle lo
n
g argumen
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n
V
e
r
d
oolaege
expor
t
i
sl_union_se
t
_preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaege
export isl_union_ma
p
_eq_at_m
u
l
t
i
_
union_pw
_
aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Ver
d
oolaege
expose isl_space_
f
la
t
ten
_
{doma
i
n
,
range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
la
e
ge
isl_spa
c
e_flatten_rang
e
:
r
e
name "dim" argument t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sve
n
V
e
rdool
a
ege
isl_s
p
a
c
e_
f
latten_domain:
rename "dim" arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoola
e
ge
inter
f
ace/python
.
cc:
f
i
x
typo in com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
do
c
:
fix
t
ypos in isl_schedule_n
o
de docum
e
ntat
i
o
n
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoo
l
aege
isl_scheduler
.
c: fix typo in
c
o
m
m
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_sched
u
l
e
_tree
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
ola
e
ge
isl_schedule_node
.
c: fi
x
t
y
p
os in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
e
n Ve
r
doolaege
isl_union_
m
a
p
.
c: fix ty
p
os in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
ven Verdoolae
g
e
isl_morph
.
c:
f
ix t
y
po i
n
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Verd
o
olaege
isl_ta
b
_pip
.
c:
f
i
x typ
o
in
c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdool
a
ege
i
s
l_multi_templ
.
c:
fix ty
p
o
i
n com
m
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolae
g
e
i
s
l
_aff
.
c
:
fix typo
in co
m
me
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sv
e
n
Verd
o
olaege
isl_val
.
c: fix typ
o
in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolae
g
e
isl_stre
a
m_eat: print erro
r
me
s
sa
g
e on E
O
F
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Ver
d
oolaege
isl
_
multi_
u
n
i
on_
p
w_af
f
_
zer
o
: check th
a
t
in
p
ut is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
dr
o
p
d
eprecate
d
isl_i
n
t interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven
V
erd
o
olae
g
e
privately ex
p
ose
isl_qpolynom
i
al_fold_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
priv
a
t
e
ly expose
i
s
l_aff_scale_d
o
wn
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_
t
est
.
c
:
use isl_co
n
straint_set_constan
t
_si inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_
t
e
st
.
c: use isl_constr
a
in
t
_
s
e
t_coeffic
i
e
n
t_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c:
te
s
t
_
fixed_power: use isl_
v
al instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdo
o
laege
boun
d
.
c:
u
se i
s
l_val
instead of isl
_
i
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verd
o
o
la
e
g
e
exp
o
se isl_pw_qpolynomia
l
_fold_fix_
v
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
r
emove de
p
recated
band forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop isl_bas
i
c_m
a
p_foreach_le
x
o
p
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
laege
isl_map_dim_{min,max}: u
s
e is
l
_basic_map_
l
exopt_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
ven
V
erdoolaege
isl_
t
ab_b
a
si
c
_map_parti
a
l_lexopt: split on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_test
.
c: test_d
i
m_max_1:
e
xt
r
act out chec
k
_sing
l
e
_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl_
t
ab_pip
.
c
: extract out shared {r
o
w,col}_i
s
_
p
arameter_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
laege
isl
_
t
e
st
.
c:
t
es
t
_li
s
t: do
n
ot co
n
sid
e
r internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n V
e
rdoolaeg
e
i
sl_test
.
c: test
_
u
n_val: do not consid
e
r
internal
f
ailure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_tab_bas
i
c_set_non_tri
v
ial_lex
m
i
n: extrac
t
ou
t
be
t
ter
_
ne
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
ege
is
l
_tab_basic
_
s
e
t_con
s
trained_lexmin:
extrac
t
out pick_
s
ide
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaege
isl_tab_basic_set_non_
t
rivial
_
l
exm
i
n: skip known impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
a
ege
is
l
_tab_p
i
p
.
c: enter_level: extract out
f
inished_all
_
cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
bas
i
c
_
set_non_trivial_lexmin: extract out enter_l
e
vel
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rd
o
olae
g
e
isl_tab_pip
.
c: move current b
e
st solut
i
on into
isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoola
e
g
e
isl_
t
a
b
_
basic_set_non_trivial_lexmin: extract out init_
l
e
xmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl
_
tab_pip
.
c
: firs
t
_trivial_
r
e
gion: p
a
ss isl_l
e
xmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_t
a
b
_pip
.
c
:
move tableau i
n
to isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
a
b
_b
a
si
c
_set_non_triv
i
al_lexmin: extract out up
d
ate_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
r
d
oolaege
isl_tab
_
pip
.
c
:
move
i
sl_local_
r
egion
a
rray int
o
isl_lexmin_dat
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next