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
cpp.cc: cpp_generator::print_public_constructors_impl: drop redundant argument
2018-01-04
Sve
n
Verdool
a
eg
e
cp
p
.
cc: cpp_generator::print_publ
i
c_constructors_impl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdool
a
ege
g
ener
a
tor::ge
n
erator:
d
rop redu
n
dant argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoo
l
aege
interface/cpp
.
cc: fix typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven
V
erd
o
olaege
isl_
c
tx: k
e
ep track of last error messag
e
, file an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verd
o
olae
g
e
isl_ctx_alloc_with_
o
ption
s
: r
e
use isl_ctx_reset_erro
r
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
S
ven Verd
o
o
l
aege
expose i
s
l_aff
_
p
ara
m
_
o
n_domain_space_i
d
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdool
a
e
ge
a
dd isl_union_pw_aff_p
a
ram_on_do
m
ain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
S
ven Verdoolae
g
e
add
isl_space_add_param_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ve
n
Verdoolaege
gener
a
li
z
e
i
sl
_
multi_
u
n
i
on_p
w
_aff_multi_aff_
o
n_d
o
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
s
l
_multi_uni
o
n_pw_aff_mul
t
i_
a
ff_on_dom
a
in:
use isl_union
_
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdool
a
ege
add
i
s
l_uni
o
n_set_space_ha
s
_equal_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_pr
i
nter_print_union_set: extr
a
ct o
u
t uset_
t
o_umap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Ver
d
oolae
g
e
gene
r
alize is
l
_union_pw_a
f
f_aff_on_
d
o
m
ain to isl_union_pw
_
af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoola
e
ge
i
sl
_
p
w
_
*_get_spa
c
e: extract out isl_pw_*_peek_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
v
e
n
Ver
d
o
o
la
e
g
e
isl_aff
.
c: p
w
_
a
ff_
a
ff_on_domain: e
x
plicitly in
s
er
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaege
ad
d
i
s
l_aff
_
from_range
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
V
e
rdoolaege
add isl_af
f
_{take,r
e
store}_domain_local_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
add isl_
l
ocal_spac
e
_set_from_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ve
r
d
o
olaege
add i
s
l_local
_
sp
a
ce_{t
a
ke,restore}_s
p
ac
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
aege
i
s
l
_u
n
ion
_
pw_aff_aff_on_
d
omai
n
: ali
g
n
para
m
e
t
er
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sve
n
V
erdoolae
g
e
add is
l
_multi_{pw
,
}aff_
p
roject_d
o
m
a
i
n
_on_
p
arams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sve
n
Verdoolaege
isl_m
u
lti_templ
.
c: e
x
tract
o
ut isl_mul
t
i_dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
a
dd i
s
l_s
e
t_get_stride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
S
v
en Verdoolaege
isl_s
e
t_
g
et_stride_info: ext
r
act out se
t
_de
t
ect_str
i
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
i
s
l_as
t
_
b
uil
d
_dete
c
t_st
r
ides
:
extract out isl_set_get_stride
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdo
o
laege
add isl_
u
nion_
m
ap_project_out_all_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verd
o
olaege
a
d
d isl_basic_set_dim_max_v
a
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
Sve
n
V
e
r
d
oo
l
aege
isl_ast_build_
n
ode_fr
o
m_sc
h
e
d
ule: im
p
rove error handli
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven
Verdoolaege
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
S
ven Verdoolaeg
e
isl_ast_codegen
.
c:
f
ix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
ven
V
erdoolaege
isl_tab:
i
nv
a
lidate un
d
o
s
tack i
f
pushing
r
ecord fails
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
doolaege
is
l
_tab
.
c
:
push_
u
nion:
r
et
u
rn isl
_
stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
V
erdool
a
ege
i
s
l_sc
h
edule_node_graft_be
f
ore_o
r
_after: improve
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_
a
st
_
bu
i
ld_get_space: improve error handli
n
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdoola
e
ge
isl_as
t
_build_has_af
f
in
e
_va
l
ue: return isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolae
g
e
is
l
_as
t
_
graft_list_merge
:
p
lu
g
memory l
e
a
k on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sve
n
Verdoolae
g
e
isl_*_mod_mul
t
i_val: plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven
V
e
r
d
oolaege
specialize isl_space
_
replace to
isl_space_repla
c
e
_para
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdoolaege
i
sl_reorderi
n
g
_
extend
_
s
p
a
ce: rename "d
i
m" arg
u
m
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
S
ve
n
Verdoolaeg
e
isl_*_aff_read_from
_
str: do not read doma
i
ns
a
s rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-24
Albert C
o
hen
f
i
x typ
o
s in user manual
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
S
v
en Verdoo
l
a
ege
export i
s
l
_
union_map_
f
r
om
_
{do
m
a
i
n,range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verd
o
olaege
document isl_union_map_from_{domain,rang
e
}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
S
v
e
n
Ver
d
oo
l
aege
isl_ctx_last_error: ha
n
dle NULL
input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
i
sl
_
ctx_res
e
t
_
er
r
or: handle
N
ULL in
p
ut
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoo
l
aege
isl-
n
oexceptions
.
h
: cl
e
an
up
f
ixed part
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
Verdoolaege
int
e
r
face/isl_test_
c
pp-n
o
excep
t
i
ons: a
b
ort o
n
is
l
error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaege
interface/
c
pp
.
c
c
: f
i
x st
y
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ve
r
d
o
o
laege
cpp: ge
n
erate get_ctx method for all exported classe
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
ad
d
te
s
ts for Python
i
nterface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
laege
interface/isl
_
tes
t
_cpp-noexcept
i
ons
.
cc: extend test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
lae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verdoolaege
pyth
o
n: specific
a
ll
y
h
a
ndle long arg
u
ment
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
la
e
ge
export
i
sl_union_set
_
preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoo
l
ae
g
e
export isl
_
union
_
map_eq
_
at
_
multi_u
n
ion_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ve
r
doolae
g
e
expose isl_s
p
ace_flatten_
{
d
o
m
ain,r
a
n
g
e
}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en
V
erdool
a
e
ge
isl_sp
a
ce
_
flatt
e
n_range
:
ren
a
me "dim" argument to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoolaege
isl_space_flat
t
en_d
o
main:
r
en
a
m
e
"
dim"
argument
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoolaege
i
n
t
e
rface/pyt
h
on
.
cc: fix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
doc: fix typos in i
s
l_schedule_node docume
n
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_sche
d
uler
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n
V
erdoolaege
isl_
s
chedule_tree
.
c: f
i
x t
y
po in comme
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Ver
d
oolaege
isl_schedule_node
.
c:
fix typos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_un
i
on_map
.
c: fi
x
typos
in co
m
ments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
isl_morph
.
c: fix
t
y
p
o
i
n
c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Verdoo
l
aege
isl_tab_
p
ip
.
c: fix t
y
po in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
S
v
en Verdoolaege
i
sl_multi_te
m
pl
.
c: fix typo in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
r
d
oolaege
i
s
l
_aff
.
c:
f
ix typo i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven
V
erdoolaege
isl_val
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
S
ven Verdoolaege
is
l
_stream_eat: print error
m
essage on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven Ver
d
oolae
g
e
i
sl_multi_un
i
on_pw_aff_ze
r
o
: check that i
n
put is not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
erdo
o
laege
drop depr
e
c
at
e
d isl_int
i
nter
f
ace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdo
o
laege
privately ex
p
ose isl_
q
p
o
lynomi
a
l_fold_
s
cale
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaeg
e
privately expo
s
e isl_aff_scale_down
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
V
e
rdoolaege
isl_test
.
c: use isl_const
r
aint_se
t
_
c
o
n
stan
t
_si i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
isl
_
test
.
c: use isl_constraint_set_
c
oeffic
i
e
n
t
_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
is
l
_test
.
c: test_fixe
d
_
p
ower:
u
se isl_val instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaeg
e
bound
.
c: use
i
sl_val instea
d
of isl_int
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
ge
expose isl
_
pw_qpolynomial_fold_fix_va
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
remo
v
e deprecated b
a
nd
fore
s
ts
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
d
r
o
p isl_basic_map_fore
a
ch
_
le
x
opt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en V
e
r
d
oolaege
isl_map_dim_{min,max}:
use isl
_
b
asic
_
map_
l
exopt_pw_mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
O
leksandr
Zinenko
m
u
lti
.
h: fix wrong
m
emory management an
n
otation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
Sven V
e
rdo
o
laege
isl_tab_basic_map_part
i
al_le
x
op
t
:
split on par
a
m
e
tric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
ege
isl_tes
t
.
c: test_dim_max
_
1
: extract
out c
h
eck
_
sin
g
le_pi
e
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaeg
e
isl_tab_p
i
p
.
c:
ext
r
act
out shared
{
r
ow,
c
ol}_is_parameter
_
var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
isl_test
.
c:
test_list: d
o
no
t
consi
d
er
i
nternal failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoola
e
ge
isl_t
e
s
t
.
c: test_un
_
val: do not consider intern
a
l
f
a
ilure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_tab_basic_set
_
non
_
t
rivial_le
x
min:
extract out better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdool
a
ege
isl_tab_basic_set_constra
i
n
e
d_lexmin: extract out pi
c
k_s
i
de
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoola
e
ge
i
sl_tab_basic_set_non_tr
i
vial_lexm
i
n:
skip known
impossible
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
i
s
l_t
a
b_pip
.
c
: enter_le
v
el: ext
r
a
ct out fi
n
ished_al
l
_cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
erdoolaege
isl
_
t
ab_b
a
si
c
_set_non_triv
i
a
l
_lexmin: ext
r
act 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_
t
ab_pip
.
c: move current best solution
i
n
t
o isl_lexm
i
n_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
lae
g
e
isl_tab_b
a
sic
_
set_no
n
_trivial_l
e
xmin:
e
xtract out
i
n
i
t
_lexmi
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_pip
.
c:
f
ir
s
t_
t
rivial_region: pass isl_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_tab
_
pip
.
c: move tabl
e
au into i
s
l_lexmin_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
isl_tab_basic_set_
n
on_t
r
iv
i
al_le
x
m
in:
e
xtract out up
d
a
te_out
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolae
g
e
isl_tab_pip
.
c: move i
s
l
_l
o
cal_reg
i
o
n
array into
isl_le
x
min_data
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next