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_aff_set_tuple_id: fix check for type of tuple that can be set
2018-04-11
S
ven Verdoolaege
isl_aff_s
e
t_
t
u
p
l
e_id: fix c
h
eck for
t
ype of tupl
e
t
hat
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-03-03
Sven Ver
d
oolaege
isl
0
.
19
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-25
Sven Ver
d
o
o
laege
Merge
b
ranch 'main
t
'
commit
|
commitdiff
|
tree
2018-02-25
Sven Ve
r
doo
l
aege
isl_schedule_get_
m
a
p: handle t
r
ees with
dive
r
g
e
nt filter
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
Sven
V
e
rdoola
e
ge
upd
a
te AUTHOR
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-17
S
ven Verdoolae
g
e
Merg
e
bra
n
ch
'
m
aint'
commit
|
commitdiff
|
tree
2018-02-17
S
ve
n
Verdoolaege
isl_
{
u
nio
n
_},pw
_
*_eval: handl
e
v
o
id i
n
put
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-14
Sv
e
n Verdoo
l
aege
d
rop
C
++ bin
d
ing
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-12
Sven Verdoolaege
isl_tab_pip
.
c
:
fix typo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-11
Sven Verdoolaege
remove publ
i
c declaration of
isl_m
a
t_{cow,dup
}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-11
Sven Verd
o
olae
g
e
remove public declarat
i
on of i
s
l_const
r
a
i
n
t
_co
w
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-11
Sven Verdoo
l
aege
drop
depr
e
cated
i
sl_basic_set
_
add
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-11
Sven Verdoo
l
aege
dro
p
d
eprecated isl_spa
c
e_tup
l
e_ma
t
c
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-07
Sven Verdoolae
g
e
libisl-gd
b
.
py: Python 3 com
p
atibility
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-02-07
Sve
n
Verdoo
l
aege
lib
i
s
l
-g
d
b
.
py:
consistently us
e
t
a
bs for
i
ndentat
i
on
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-27
S
v
en Verdoolaege
rename is
l
.
py to li
b
i
s
l
-gdb
.
py
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-27
Sven Verdoolaege
isl_ast_bu
i
ld
.
c:
g
enerate_n
a
me: allocat
e
enough
space
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
ven Verdoolaege
in
t
erface/c
p
p
.
cc: cpp_gener
a
tor:
:
p
r
i
n
t_meth
o
d_im
p
l
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
cpp
.
cc: cpp_generator
:
:print_
p
ublic_
c
ons
t
ructors
_
impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoola
e
ge
g
enerator::generator: drop r
e
dun
d
a
n
t arg
u
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
v
en Verdoolaege
interface/cpp
.
c
c
:
fi
x
typ
o
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdool
a
ege
isl_
c
tx: keep t
r
ack of
l
ast error message
,
file a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
S
ven Verdoolaege
isl
_
ctx_alloc_w
i
th_options: r
e
use isl_ctx_reset_error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
Sven Verdoolae
g
e
exp
o
s
e
i
sl_aff_param
_
on_domain_space_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Ve
r
doolaege
add isl
_
union_pw_aff_para
m
_on_
d
omain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven
Verdoola
e
ge
add isl_space_add_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_aff_mul
t
i_aff_on_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
isl_multi_unio
n
_pw_
a
ff_m
u
lti_a
f
f_
o
n_domain:
use isl_union_se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
a
e
ge
add isl_union_se
t
_space_has_eq
u
a
l
_pa
r
a
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olaeg
e
isl_printer_print
_
u
n
ion_set: extract out
u
s
e
t_to_umap
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verd
o
olae
g
e
generalize isl
_
union
_
pw_aff_aff_on_domain to isl_unio
n
_pw_
a
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
erdoolaege
Me
r
g
e
branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdool
a
ege
i
s
l_uni
o
n_pw_af
f
_a
f
f_on_
d
omain: align pa
r
ameters
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
S
ven
Ver
d
oolaege
add isl_multi_{pw,}aff_proj
e
ct_dom
a
i
n
_
on_pa
r
am
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoo
l
aege
isl_mul
t
i
_
t
empl
.
c: extract out isl
_
multi_di
m
s
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rdoola
e
ge
a
dd
isl_set
_
get_str
i
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven
Verdoolaeg
e
isl_s
e
t_g
e
t
_s
t
r
i
d
e
_info
:
ex
t
ract out set_
d
etec
t
_stride
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
v
e
n Verdool
a
ege
i
sl_a
s
t_b
u
ild_de
t
ect_strides
:
extrac
t
out isl
_
set_get_stride
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoola
e
ge
add
i
sl_
u
nion_
m
ap_proje
c
t_out_all_params
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
S
ven Ve
r
d
o
olaeg
e
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
Sven
V
erdoolaege
is
l
_ast_build_node_
f
r
o
m_
s
chedu
l
e
:
improve erro
r
ha
n
dling
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verd
o
ol
a
ege
i
s
l_schedule_tree
.
h: fix
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
S
ven Ver
d
oo
l
a
e
g
e
isl_ast_codegen
.
c
: fi
x
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdoolae
g
e
isl_tab: in
v
alidate undo stack if pus
h
ing record fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
i
s
l_tab
.
c: push_union: return isl_stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_schedule_node_
g
raft
_
before
_
or_after: improve e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
laege
is
l
_ast_build_get_space: i
m
p
r
ove err
o
r handl
i
ng
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
d
o
o
l
aege
isl_as
t
_
bui
l
d_has_affin
e
_value: ret
u
rn isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
laege
isl_ast_graft_list_
m
erg
e
: plug
memory leak
o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
isl_*_
m
od_mul
t
i_val: pl
u
g
m
e
mory
leak
o
n error pat
h
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sve
n
Verd
o
o
laege
i
sl_*_aff_read_from_str: do not read domains as
r
ational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdo
o
l
ae
g
e
export isl_uni
o
n
_
map_from_{domain
,
range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
S
ve
n
Verdoolaege
document i
s
l
_
union_map_
f
rom_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
S
v
e
n Verdoolaege
isl_ct
x
_last_
e
rror:
h
a
n
dle N
U
L
L
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
isl_ctx_reset_error:
h
andle
N
ULL input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
isl-
n
oexc
e
p
t
i
on
s
.
h: clean u
p
fi
x
ed p
a
rt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
e
n
Ver
d
oo
l
aege
interfac
e
/i
s
l_test_cpp-noexcepti
o
ns: abo
r
t o
n
isl
e
rr
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Ver
d
oolaeg
e
interface/cpp
.
c
c: fix
style
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verd
o
o
laeg
e
c
pp: ge
n
erat
e
get_ctx method fo
r
all exported classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolae
g
e
add tests for Python
in
t
erface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sv
e
n Verdoolaege
i
n
terfa
c
e/isl_test_cpp-n
o
exceptions
.
c
c
:
exte
n
d test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
laege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdool
a
eg
e
pyt
h
on: spe
c
ifically handle long ar
g
uments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
e
x
port isl_un
i
o
n
_s
e
t_preimage_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven
Verdoolaege
export
i
sl_uni
o
n_map_eq_at_multi_un
i
on
_
pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
ven Verdoolaege
exp
o
se isl_space_flatten_{
d
omain,
r
ange}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
inter
f
ace
/
py
t
hon
.
c
c
:
fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaege
do
c
: f
i
x
typo
s
in isl_schedu
l
e_node docu
m
entation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolaege
i
s
l_scheduler
.
c: fix typo i
n
co
m
m
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
laege
isl_schedule_tree
.
c
:
fix typo
i
n co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
isl_schedule_
n
o
d
e
.
c: fi
x
typos
i
n comments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaege
isl_union_map
.
c: f
i
x typos
i
n comme
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
o
olaege
i
s
l
_morph
.
c: fix
t
ypo
i
n comme
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_ta
b
_pip
.
c: fix
t
y
p
o in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
i
s
l_multi_templ
.
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
isl_aff
.
c
: fix typo in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
ven Ve
r
doolaege
isl_val
.
c:
fix
t
ypo i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verd
o
o
la
e
ge
isl_stream_eat: print error messag
e
on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sve
n
Verdoolaege
isl_
m
ulti_union_pw
_
af
f
_zero:
c
heck that input
is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
d
r
op deprecated isl_int interface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoolaege
privat
e
l
y
expose
i
sl_qpo
l
y
no
m
ial_
f
old_scale
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
privately ex
p
o
s
e isl_aff_scale_dow
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c
:
u
s
e
i
sl_constrain
t
_set_constant_
s
i
instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
o
o
l
ae
g
e
i
s
l_test
.
c: use isl
_
c
o
nst
r
aint_set_coefficient_s
i
i
n
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
is
l
_
t
est
.
c:
t
est_fixed_powe
r
: use isl_val instead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aege
bound
.
c
: use isl_val
i
ns
t
e
ad of isl_int
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
expose isl_pw_qpolynomia
l
_fold_fix_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolae
g
e
drop is
l
_basic_map
_
foreach_lexopt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
V
erdoolaege
isl
_
map_dim_{min,max}: use
isl_basi
c
_map_lex
o
pt_pw_
m
ulti
_
aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sven Ve
r
doolaege
isl
_
tab_b
a
sic_map_partial_lexopt: spli
t
on paramet
r
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaege
isl_
t
est
.
c
:
test_dim_max
_
1: e
x
tract o
u
t c
h
eck_single_pi
e
ce
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdo
o
laege
isl_tab
_
pip
.
c:
e
xtract out
s
hared {row,co
l
}_is_
p
ar
a
m
eter_var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl_test
.
c:
t
e
s
t_lis
t
: do
not
c
on
s
ide
r
i
n
t
e
r
nal fa
i
lure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c: test_un_val: do
n
o
t con
s
ide
r
internal
fai
l
ure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Ve
r
doolaege
isl_tab_basic
_
set_non_tr
i
vial_lexmin: ex
t
ra
c
t out bett
e
r_ne
x
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_bas
i
c_
s
et
_
constrai
n
ed_lexmin: extr
a
ct out pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ve
n
Verdoolaege
isl
_
t
a
b_basic_set
_
non_trivi
a
l_lexmin: sk
i
p know
n
imp
o
ssibl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_tab_p
i
p
.
c:
enter
_
level: ext
r
act
out
f
inished
_
all_cas
e
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
tab_basic_set_non_t
r
i
v
ial_lexmin: extract out
e
nter_level
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
s
l_tab_pip
.
c: move current bes
t
sol
u
t
i
on
i
nto isl_lexmin
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next