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 Verdoo
l
aege
libisl-gdb
.
py:
c
onsistentl
y
use tabs for in
d
entation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-27
Sven Verdoo
l
aege
r
ename isl
.
p
y to libisl-gdb
.
py
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-27
Sve
n
Verdo
o
laege
is
l
_as
t
_build
.
c: generate_n
a
me: allocate enough space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
v
en Verdool
a
ege
interface/cpp
.
cc: cpp_gen
e
rat
o
r
:
:p
r
int_method
_
impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
ven Verdo
o
laege
cpp
.
c
c: cpp_
g
en
e
ra
t
or::
p
rin
t
_pu
b
lic_constr
u
ctors_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sve
n
V
erdoolaege
g
ene
r
ator::
g
enerato
r
: drop
r
edundant
a
rg
u
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdo
o
l
a
ege
inte
r
face
/
c
pp
.
cc:
f
i
x
typo
in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sv
e
n
V
erdoolaege
is
l
_
c
t
x
:
keep track of last error message, fil
e
and
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven V
e
rdoolaege
isl
_
ctx_alloc_with_options: reuse isl_ctx_reset_
e
rr
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
Sven Verdoolaege
expose isl_aff_param_on_domain_
s
pace_i
d
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sve
n
Verdoo
l
aege
a
d
d
is
l
_
u
nion_pw
_
aff_param_on_dom
a
in
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sv
e
n Verdoolaege
add i
s
l_space_add_param_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erd
o
olaege
genera
l
ize isl_multi_union_pw
_
aff_
m
ulti_aff_
o
n_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
e
r
doolaege
isl_multi_un
i
on
_
pw_a
f
f_multi
_
af
f
_on_d
o
main: use isl_u
n
ion_se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add i
s
l
_
unio
n
_s
e
t_spac
e
_h
a
s_equal_par
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n
V
er
d
oolaege
isl_p
r
i
n
t
er_print_union_set: extract ou
t
uset_to_uma
p
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
Verdo
o
laege
gen
e
ralize i
s
l
_union_pw_aff_af
f
_o
n
_domain to is
l
_union_pw_
a
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Ve
r
doolaege
isl_pw_*
_
get_space: ex
t
rac
t
out isl_pw_*_peek_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoola
e
ge
isl_aff
.
c: pw_aff_
a
f
f_on_doma
i
n: ex
p
licitly insert
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
ad
d
isl_a
f
f_from_r
a
nge
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoo
l
aege
add
i
sl_aff_
{
take
,
r
e
store}_do
m
a
i
n_
l
o
c
a
l_spa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
laege
add isl_local_space_s
e
t_from_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add isl_local_space_{t
a
ke,resto
r
e
}_sp
a
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Ve
r
doolaege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2017-12-26
S
v
e
n Verdoo
l
a
ege
isl_un
i
on_pw_aff_af
f
_o
n
_domain: a
l
ign pa
r
a
m
et
e
rs of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven
V
e
rdo
o
laege
add
isl_multi_{p
w
,}aff_project_
d
omain_on
_
param
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoola
e
ge
isl_multi_temp
l
.
c:
extrac
t
o
ut
i
sl_mul
t
i_di
m
s
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rdoolaege
add
isl_se
t
_get_stride
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
ven Verdoola
e
g
e
isl_set_get_st
r
ide
_
info: extract o
u
t set_detect_stride
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaeg
e
isl_ast
_
buil
d
_detect_strides: ext
r
a
ct out is
l
_set_
g
e
t
_stride
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sv
e
n Verdoolae
g
e
a
dd
isl_uni
o
n_map_project_out_all_par
a
ms
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add i
s
l_basic_se
t
_dim_max_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-20
Sven Ver
d
o
o
l
a
ege
i
s
l
_as
t
_b
u
ild_node_from_schedule
:
im
p
rove error han
d
li
n
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Ver
d
oolaeg
e
isl_sche
d
ule_tree
.
h
: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven
Verdoolaege
isl_ast_
c
odege
n
.
c: fix typo in commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ver
d
oolaege
isl_tab: inval
i
date undo
s
tack if pushing recor
d
fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
i
s
l_tab
.
c: pus
h
_un
i
on: retu
r
n isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
V
e
rdoolaege
isl_sche
d
ule_node_graft_before_or_after: improve e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_as
t
_build
_
get_space: improve err
o
r handl
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven V
e
rdoolae
g
e
isl_ast_buil
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
Verdoolaege
isl_as
t
_graft_l
i
s
t
_merge: p
l
ug
m
emory
leak on
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
S
v
en Verdoolaege
isl
_
*_mod
_
mult
i
_val: plu
g
memory
l
eak on err
o
r path
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
spe
c
ialize
i
sl
_
space_repla
c
e to isl_space_repla
c
e_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdool
a
ege
isl_reorde
r
ing_e
x
tend_spac
e
: rename "dim" a
r
g
u
ment
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdoolaege
isl
_
*_aff_read_fro
m
_str: do not read domains
as rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-24
Albert C
o
he
n
fix
typos in use
r
manu
a
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
S
ven Verdoo
l
aege
exp
o
rt isl_un
i
on_map_from
_
{do
m
ain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
S
ven Verdo
o
lae
g
e
document isl_un
i
on_
m
ap_from_{
d
omain,rang
e
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verd
o
olaege
isl_ctx_las
t
_
e
r
r
or: handle NUL
L
inp
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sve
n
Verdo
o
laege
i
s
l
_ct
x
_reset_er
r
o
r
: handle NULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n
V
e
r
doolaege
isl-no
e
x
c
eptions
.
h
:
c
lean
up fixed part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
e
n
Verdoolaege
interfa
c
e/
i
sl_test_cpp-no
e
xception
s
: abor
t
on isl error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven V
e
rdoolaege
interface/cpp
.
cc: fix
s
tyle
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sve
n
V
e
rdoo
l
a
e
ge
cpp: g
e
nera
t
e get_ctx method
for all e
x
por
t
ed classe
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdool
a
eg
e
ad
d
test
s
for Python interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Ver
d
oolaeg
e
inte
r
face/i
s
l_test_
c
pp-no
e
xcep
t
i
ons
.
cc: exte
n
d
test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven V
e
r
d
oolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdoola
e
ge
python: speci
f
ically handle long a
r
gume
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Verd
o
ola
e
g
e
export
i
sl_uni
o
n_s
e
t_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sv
e
n Verdoo
l
aege
expor
t
isl_uni
o
n_map_
e
q_at_
m
ulti_
u
nion_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erdoolaege
expose
i
sl_spac
e
_flatten_{do
m
ain,r
a
nge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdool
a
ege
isl_
s
pace_f
l
atten_range:
r
ena
m
e "dim" argument to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
isl_spa
c
e_flatten_domain: rename "dim" argu
m
ent to
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
int
e
rf
a
ce/p
y
thon
.
cc: fix ty
p
o in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
Verdoo
l
aege
doc
:
fix
t
ypos
in isl_sch
e
dule_no
d
e documenta
t
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
isl_s
c
h
e
d
uler
.
c
: fix
t
y
po
in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaege
isl_sched
u
le_
t
ree
.
c: fix
t
ypo in co
m
men
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ve
r
doolae
g
e
isl_schedule_
n
od
e
.
c: f
i
x
t
ypos in comm
e
nts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaege
isl_
u
nion_ma
p
.
c: fix ty
p
os in comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
lae
g
e
isl_morph
.
c
:
f
ix ty
p
o i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
sl_tab_pip
.
c
: fix
ty
p
o in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdo
o
laege
isl_multi_templ
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verdoolaege
isl_aff
.
c: fix typo
i
n c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven
Verdoolaege
i
s
l_val
.
c: fix t
y
po in co
m
m
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Ver
d
o
o
laege
isl_stre
a
m_
e
at: pri
n
t error message o
n
EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven Ve
r
do
o
l
aege
isl_mul
t
i_union_pw_aff_zero
:
check that input
i
s not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
eg
e
drop deprec
a
ted
isl_int interfa
c
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolae
g
e
privately expose
isl_qpo
l
ynomial_fold_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
private
l
y expos
e
is
l
_aff_sc
a
le_dow
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoola
e
g
e
isl
_
test
.
c: use
i
s
l_constrai
n
t
_
set_constant_
s
i
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
o
l
a
e
g
e
isl_test
.
c:
us
e
i
s
l
_
constraint_set_coeffi
c
i
e
nt_s
i
inste
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: tes
t
_fix
e
d
_power: u
s
e isl
_
val i
n
stead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdool
a
e
g
e
bo
u
nd
.
c: use isl_val ins
t
ead
o
f isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
ege
e
x
pos
e
is
l
_pw_qp
o
lynomial
_
fold
_
f
ix
_
val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Ver
d
ool
a
ege
remove
de
p
recated ba
n
d forests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
drop isl_
b
asic_map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sve
n
Verdoolaege
isl_map
_
dim_
{
min,max}:
u
se isl_ba
s
ic
_
map_lexopt
_
pw_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Olek
s
andr Zinenk
o
multi
.
h: fix
w
r
ong memory
manage
m
e
nt annotation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven
V
erdo
o
laege
isl_tab
_
basic_map_partial_lexopt: spli
t
on param
e
tric
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
Verd
o
ol
a
ege
isl_test
.
c: test_dim_max_1
:
ex
t
ract out ch
e
ck_
s
in
g
le_piece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
V
e
rdoo
l
aege
is
l
_
ta
b
_pip
.
c: ext
r
act out shar
e
d {row,col}_is_parame
t
er_
v
ar
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoolaege
isl_t
e
s
t
.
c:
t
est_li
s
t:
d
o
not consider internal f
a
ilure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdo
o
laege
isl_tes
t
.
c: te
s
t_
u
n
_val: d
o
not c
o
ns
i
der
internal fa
i
lure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_tab_basic_se
t
_non_trivia
l
_lexmin: extract o
u
t better_nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdo
o
laege
isl_t
a
b_b
a
sic_se
t
_constrai
n
ed_l
e
xmin: extract out pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
l
a
ege
isl_tab_basic_set
_
non_tri
v
i
a
l_lexmin: skip known impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_tab_p
i
p
.
c: enter_level: extract o
u
t finished_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaeg
e
is
l
_tab_bas
i
c
_
set_non_trivia
l
_
lexmin:
e
xtra
c
t out enter_l
e
vel
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoola
e
g
e
isl
_
tab_
p
i
p
.
c: move current b
e
st soluti
o
n in
t
o isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_ta
b
_basic_set_non_trivial_lexmin: extract out init_lexmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next