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
Sven Ver
d
o
olaeg
e
inter
f
ac
e
/cpp
.
cc: c
p
p
_
generator
:
:print_met
h
od_impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verd
o
ola
e
ge
cpp
.
cc
:
cpp_generator::prin
t
_public_constructors
_
i
m
pl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven
V
e
rdoolaege
ge
n
e
rato
r
::generator: d
r
op red
u
nd
a
n
t argu
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven V
e
rdool
a
ege
inte
r
face/cpp
.
cc:
fix
t
ypo
in commen
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
S
v
e
n
Verdoo
l
a
e
g
e
isl_c
t
x
: keep tr
a
ck
o
f last error message, file and
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ver
d
oolaege
isl_ctx_alloc_with
_
opti
o
ns: reu
s
e isl_ctx_
r
eset_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
Sven Ve
r
doola
e
g
e
exp
o
se
i
sl_
a
ff_param_on_
d
o
main_space_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
S
ven Verdoolaege
ad
d
isl_union_pw_aff_param_on_domain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdo
o
l
a
ege
add isl_
s
pa
c
e_a
d
d_param_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
generalize isl_multi_union_pw_
a
ff_multi_aff_on_domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
r
doo
l
aege
isl_multi_union_
p
w
_aff_
m
u
l
ti_aff_o
n
_domain: use isl_
u
nion_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
l
a
ege
a
dd is
l
_u
n
i
on_set_space_has_equal
_
para
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl
_
printer_print_union_set: ext
r
act out uset_to_umap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
gener
a
lize isl_union
_
pw_aff
_
aff_on_domain to isl_u
n
ion
_
pw_af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
isl_pw_*_get_space:
e
x
t
r
a
ct
ou
t
isl_pw_*
_
p
e
ek_spa
c
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
isl
_
af
f
.
c:
p
w_aff_aff_on_domain: explicitly insert
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven
Verdool
a
e
g
e
add isl_aff_
f
rom_rang
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven
Verdoolaege
a
d
d i
s
l
_
aff_{take,
r
estore}_d
o
main_l
o
cal
_
space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven
V
erdoo
l
aege
a
dd isl_loca
l
_sp
a
ce_set_from_
p
ar
a
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoola
e
ge
add isl_local_s
p
ace_{take,restore}
_
sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-12-26
Sven V
e
rdoolaege
isl_u
n
io
n
_p
w
_aff_aff_on_d
o
m
a
in: alig
n
par
a
meters of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdo
o
laege
a
d
d isl_multi_{pw,
}
aff
_
p
ro
j
ec
t
_doma
i
n
_
on_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolaege
isl_m
u
lti_
t
e
m
p
l
.
c: ex
t
r
act o
u
t isl_m
u
lti_dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven
Verdoolaege
add i
s
l_s
e
t_ge
t
_s
t
ride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
v
e
n
V
e
r
doolaege
i
s
l
_
s
e
t_get_stride_info: extract out s
e
t_det
e
ct_stride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verd
o
ol
a
eg
e
i
s
l_ast_build_detect_s
t
rides: extract o
u
t isl_set_get_
s
trid
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_un
i
on_map_proje
c
t_o
u
t_a
l
l_param
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rdoolaege
add isl_basic_set_dim_max_val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
Sve
n
Verdoola
e
ge
isl_ast
_
b
uild_node_f
r
om_schedul
e
: improv
e
error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven
Ve
r
doolaege
isl
_
schedule
_
tree
.
h: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Ve
r
doolaege
is
l
_ast_codegen
.
c: fix
t
ypo in c
o
m
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven V
e
rdoolaege
is
l
_
t
ab: in
v
a
lida
t
e undo stack if pu
s
hing record fails
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
aege
isl_tab
.
c: p
u
sh_union: return isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
ven Verd
o
olaege
isl_sch
e
dule_node_graft_befo
r
e_or_after: improve
e
rro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
laege
isl_ast_build_g
e
t
_space: im
p
rove error handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en V
e
r
d
oolaege
isl_ast_build_has_affine_value: r
e
turn i
s
l_
b
ool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_ast
_
graft
_
list_me
r
ge:
plug memory leak on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
is
l
_*_mod_multi_val:
pl
u
g memory leak on error path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
specializ
e
isl
_
space_rep
l
ace to
isl_spa
c
e_replac
e
_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Verd
o
olaege
isl_
r
eordering
_
extend_
s
p
ace: rename
"dim" argume
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdool
a
ege
isl_*_
a
ff_read_fr
o
m
_
str: do not read
d
oma
i
ns
a
s rationa
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
e
x
p
o
rt isl_union_map_from_{domain,r
a
nge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven
Ver
d
ool
a
ege
docume
n
t isl_union_map_from
_
{domain,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sv
e
n
V
e
r
doolaege
isl_ctx_last_
e
rror:
handle NULL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
i
s
l_ctx
_
reset
_
e
r
r
o
r:
handle N
U
L
L
input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
is
l
-
noexcepti
o
ns
.
h
:
clean
u
p fi
x
ed p
a
r
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n
Verdoolaege
interface/isl_test_cpp-noe
x
c
eptions:
a
bort on isl er
r
or
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
ven
Ver
d
oolaege
interface/cpp
.
cc: fix
style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ve
r
doolaege
cpp: ge
n
erate get_ctx method for all expo
r
ted
c
lasse
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
Ver
d
oolaege
add t
e
sts for Py
t
hon in
t
erface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verd
o
o
laeg
e
interface/isl_te
s
t_cpp-noexceptions
.
cc: extend test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n
V
erdoolaege
p
ython:
s
pec
i
f
i
cally ha
n
dle l
o
ng arguments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolae
g
e
export
isl
_
uni
o
n_set_pre
i
mage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoola
e
ge
export
isl
_
uni
o
n_map_eq
_
at_m
u
l
ti
_
u
nio
n
_pw_
a
ff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
d
oola
e
ge
expose isl_s
p
a
ce_flatten_{domai
n
,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
is
l
_spac
e
_
flatte
n
_range
:
ren
a
me "dim"
a
r
gument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
aege
isl
_
space_
f
latten
_
doma
i
n: rena
m
e
"
d
i
m" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
interf
a
ce
/
python
.
cc: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
olaege
doc: f
i
x typos in isl
_
s
c
hedule_node documen
t
a
tion
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaege
isl_
s
c
heduler
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven V
e
rdoolaege
isl_schedule_tre
e
.
c: fix typo i
n
comm
e
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
e
rdoolaege
isl_sche
d
u
le
_
node
.
c: fix
t
ypos in co
m
men
t
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdool
a
ege
i
s
l_union_map
.
c: fix t
y
pos in com
m
e
nts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_morph
.
c: fix typo in com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoolaege
isl
_
tab_pip
.
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
ven V
e
rdoolaege
isl_multi
_
templ
.
c: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoola
e
ge
isl_aff
.
c
: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoo
l
aege
isl_va
l
.
c: fix typo in
c
om
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
S
ven V
e
rdool
a
ege
isl_
s
tream
_
eat: pr
i
n
t erro
r
mess
a
ge
on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Verdo
o
laege
isl_mu
l
ti_union_p
w
_aff_zero:
ch
e
ck that
i
nput is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
dr
o
p deprecated
i
sl_
i
nt
i
n
terface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdo
o
lae
g
e
priva
t
ely expose
i
sl_qpolynomi
a
l_fold_scale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
private
l
y expos
e
i
s
l
_
aff
_
scale_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_
t
e
st
.
c: use isl_constraint
_
set
_
constant_si i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c
:
use isl_constraint
_
set_
c
o
e
fficient_si
in
s
t
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Ve
r
dool
a
ege
isl_test
.
c: test_fix
e
d_
p
ower: use isl_val in
s
tead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
bound
.
c:
u
s
e
isl_v
a
l i
n
s
t
ead of isl_in
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
exp
o
se isl_pw_qpolynomial_
f
o
l
d_fix
_
v
al
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
remo
v
e
deprecated
b
a
nd forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
dro
p
isl_basic_map_fo
r
each_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoo
l
aege
isl_map_dim_{
m
in,max}: use isl_basic
_
m
ap_lexop
t
_pw_mul
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sv
e
n Verdoo
l
aege
isl_ta
b
_
bas
i
c_map
_
partial_
l
e
x
opt: split on parame
t
ric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tes
t
.
c: t
e
st_dim_m
a
x_1: extract out check_s
i
ngle_piece
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ve
r
dool
a
ege
isl_tab_pip
.
c:
e
xtr
a
ct out
sh
a
red {row,
c
ol}_is_paramete
r
_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_test
.
c: test_l
i
st: do not consider internal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ver
d
oolaege
isl_test
.
c:
t
est_un_val: do not consider
i
nterna
l
fail
u
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdool
a
eg
e
isl_tab
_
b
asic
_
set_no
n
_trivial_lexmin: e
x
tract o
u
t
better_n
e
x
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
d
oolae
g
e
i
sl_tab
_
ba
s
i
c_set_con
s
t
raine
d
_lexmin: extract out pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_basic_set
_
non_tri
v
ial_lexmin
:
ski
p
k
nown
i
mpossi
b
le
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl
_
tab_
p
ip
.
c: enter_
l
evel: extract ou
t
finished_al
l
_
c
ases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
e
rdo
o
laege
isl_t
a
b
_basic_s
e
t_non_trivi
a
l_lexmin:
extract
o
ut enter_le
v
e
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab
_
p
ip
.
c: move curren
t
be
s
t
s
olution into isl
_
lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Ver
d
oo
l
a
e
ge
isl_ta
b
_
b
a
sic_set_no
n
_trivia
l
_
lexmin: extract ou
t
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: first_tri
v
ial_region: pass isl_lexmin_
d
ata
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab
_
pip
.
c: move tableau in
t
o i
s
l_lex
m
in_
d
at
a
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_tab_basic_set_non_trivial_lexmin: extract out u
p
date_
o
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl
_
tab_pi
p
.
c: move isl_local
_
region array into isl_l
e
x
m
in_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ver
d
o
olaege
isl_tab_basic_set_non_trivial_lex
m
in:
e
x
t
ract out clear_
l
exm
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next