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
drop deprecated isl_basic_set_add
2018-02-11
Sven
Verdoolaege
drop depr
e
cate
d
isl_basic_set_
a
dd
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-11
Sve
n
V
e
rdoolaege
d
rop
depr
e
cated i
s
l
_
s
pace_tup
l
e_match
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-07
Sven Verdoola
e
ge
libisl-g
d
b
.
py: Python 3 compatibility
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-02-07
Sve
n
Verd
o
ola
e
ge
l
i
b
isl-gdb
.
py
:
c
o
nsis
t
e
n
tly use tabs for inden
t
ation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
Sven Verdoolaege
rename isl
.
py to
libisl-gdb
.
p
y
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-27
Sve
n
Verdoolaege
isl_ast_build
.
c: generate_name: allocat
e
enough s
p
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ve
r
doolaege
interface
/
cpp
.
cc
:
cpp_generator:
:
pri
n
t_meth
o
d_i
m
pl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sve
n
Verd
o
olaege
cpp
.
cc: cpp_generato
r
::print_
p
ublic_con
s
tr
u
c
tors_i
m
pl
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven
V
erdoolae
g
e
generato
r
::genera
t
or: drop redund
a
nt argument
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sv
e
n Verdoolaege
interf
a
ce
/
cpp
.
cc:
f
ix
t
y
p
o in
comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
isl_ctx: keep
t
rac
k
of last error me
s
sage,
f
ile a
n
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-04
Sven V
e
rdoolaege
isl_ctx_alloc_with_opti
o
ns: reuse isl_ctx_reset_error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2018-01-03
S
v
en
Verdoolaege
expose isl_aff_param_
o
n_domai
n
_space_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Ve
r
doola
e
g
e
a
dd isl_unio
n
_
p
w_aff_param_o
n
_d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolaege
add isl_space_
a
dd_par
a
m
_id
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
e
r
do
o
l
a
ege
gene
r
alize
i
s
l_mult
i
_union_pw_aff_m
u
lti
_
aff_on_d
o
m
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
is
l
_
mu
l
ti_u
n
ion_pw_aff_multi_aff_
o
n_domain: use is
l
_
union_s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdool
a
ege
add isl_union_set_space_has_equal_
p
arams
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdoolaege
isl_prin
t
er_
p
rint_union
_
set
:
extract out uset_to_umap
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
g
e
neralize is
l
_union
_
pw_
a
ff_af
f
_
on_dom
a
i
n
to isl_union_pw
_
af
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaeg
e
isl_
p
w_*_g
e
t
_
space: extract out isl_
p
w_*_peek_
s
pace
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
V
erd
o
olaege
isl_af
f
.
c:
pw_aff_af
f
_on_domai
n
: explicitly inser
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven
V
e
r
dool
a
ege
add isl_aff_
f
r
om_
r
ange
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
add is
l
_aff_{take,restore}_domain_local_sp
a
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sve
n
V
e
r
doo
l
aege
add isl_local_space_
s
et
_
f
rom_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
Sven Ver
d
oolae
g
e
ad
d
i
sl_local_space_{take,restore}_space
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-26
S
ven Verdool
a
e
g
e
Merge
branch
'm
a
int'
commit
|
commitdiff
|
tree
2017-12-26
Sv
e
n Verdoolaege
isl_union
_
p
w
_aff_aff
_
on_domain:
a
l
ign
parameters of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolaeg
e
add isl_multi_{pw,}aff_p
r
o
j
ect
_
d
o
m
ain_on_params
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoo
l
a
ege
isl_multi_
t
em
p
l
.
c: extract out isl_multi_dims
.
c
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add
isl
_
set_get_st
r
ide
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sv
e
n Verdoola
e
ge
isl_set
_
get_strid
e
_info: extract
o
ut set_detect_s
t
ride
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sv
e
n
Verdo
o
laege
i
s
l_ast_build_detect_strid
e
s: extract out i
s
l_set_get_s
t
ride
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven
Verdo
o
l
a
e
ge
add
i
sl_u
n
i
on
_
map_pr
o
j
e
ct_out_al
l
_pa
r
a
ms
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdool
a
ege
add isl_b
a
sic_s
e
t_dim
_
ma
x
_
val
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-20
S
v
en Verdoolaege
i
sl_ast_bui
l
d_n
o
d
e
_from_sche
d
ule
:
improve
e
rror handling
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdool
a
ege
isl_s
c
h
edule
_
t
r
ee
.
h
: fix
t
yp
o
in co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoo
l
aege
isl_ast_codegen
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_ta
b
: in
v
alidate
u
ndo
s
tack
i
f push
i
ng reco
r
d fails
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
S
ven
Ver
d
oolaege
i
s
l
_
tab
.
c: pu
s
h_union: re
t
ur
n
isl_stat
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n
V
erdoolae
g
e
isl_schedule_no
d
e_g
r
aft_be
f
ore_o
r
_after: improve er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Ve
r
do
o
la
e
ge
isl_ast
_
build_get_space
:
impro
v
e error handlin
g
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoo
l
aege
isl_a
s
t_build_has_affine_value:
r
et
u
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdo
o
l
a
eg
e
isl
_
ast
_
graft
_
list_merge
:
plug me
m
ory leak on
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Ve
r
doola
e
ge
isl
_
*_mod
_
multi
_
v
a
l: pl
u
g memory l
e
ak
o
n e
r
ror path
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sven Verdo
o
laege
s
pecialize isl_
s
p
a
c
e_
r
epla
c
e
to
isl_
s
pa
c
e_replace_para
m
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-29
Sv
e
n
V
erdool
a
ege
isl_reor
d
erin
g
_extend_space:
r
ename "dim" ar
g
ument
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verd
o
olaege
i
sl_
*
_aff_read_from_str: do not
r
ead domains as rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Ver
d
oolaege
exp
o
rt
i
sl_un
i
on_m
a
p_from
_
{domain,r
a
nge}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoola
e
ge
document isl_union_map
_
from_{domain
,
range}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sve
n
Ve
r
do
o
laege
isl_ctx_l
a
st_
e
rror: hand
l
e
N
ULL input
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-21
Sv
e
n
Verdoolaege
isl_ctx_reset_error: handle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven
Verdoolaege
isl-no
e
xceptions
.
h: clean up fixed par
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en
Verdoolaeg
e
i
nterface
/
i
s
l
_
test_cpp-n
o
exceptions: a
b
or
t
o
n
isl error
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
interfac
e
/cpp
.
cc: f
i
x style
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Ver
d
oolaege
cpp:
g
enerate get_ctx method fo
r
all export
e
d class
e
s
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-17
S
v
en Verdoo
l
aege
add tests for
Py
t
hon int
e
rface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
i
n
t
erface/isl_test_cpp-noexceptions
.
c
c
: extend test
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdo
o
laege
M
e
rge branch
'
maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven Verdoolaege
p
ytho
n
: specifically han
d
le long a
r
guments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoola
e
g
e
export
i
s
l_u
n
i
o
n_s
e
t_preimage_*
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven
V
erdoolaeg
e
export
isl_union_map_eq_at_mul
t
i_union_pw_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdoolaege
expose
isl_spa
c
e_
f
la
t
ten_
{
domain,
r
ange}
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Verdo
o
laege
isl_space
_
flatten_range: rename "d
i
m" a
r
gument
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
oolaege
isl_space_flatten_domain: rename "dim" argume
n
t
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
olaeg
e
in
t
e
r
f
a
ce/pytho
n
.
cc: fix typo i
n
com
m
ent
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoola
e
g
e
doc:
f
ix typos in isl_schedule_node
docume
n
tation
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sv
e
n Verdoolaege
isl_sched
u
le
r
.
c
:
fix
t
ypo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Verdoolaeg
e
isl_schedule_tr
e
e
.
c:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
S
v
en Ver
d
oo
l
a
e
ge
isl
_
schedule
_
n
o
de
.
c: fix typos in com
m
ents
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sve
n
Verdoolaege
isl_union_ma
p
.
c:
f
ix t
y
pos in comments
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolaeg
e
isl_mor
p
h
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ve
r
doolaege
isl_tab_pip
.
c
:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven V
e
rdoola
e
g
e
isl_multi_tem
p
l
.
c:
fi
x
typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoolaege
isl_
a
ff
.
c: fix
typo
in c
o
mment
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Verdoolae
g
e
isl_val
.
c:
f
ix typo in com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-18
Sven
Verdoolaege
is
l
_stream_eat: print error m
e
ssage on EOF
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-17
Sven V
e
rd
o
olae
g
e
i
sl_multi_un
i
on_pw_aff_zero
:
ch
e
ck that inpu
t
is
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n Verdoo
l
aege
drop deprecated is
l
_int interface
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdool
a
e
g
e
privately expose isl_qpolynomial_fold_sca
l
e
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
v
en Verdoolaege
pri
v
ately
expose isl
_
aff_scale_d
o
wn
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolaege
isl_
t
est
.
c: use isl_constrain
t
_set_constan
t
_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: use
i
sl_co
n
strain
t
_s
e
t_c
o
efficient_si instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoo
l
aeg
e
isl_te
s
t
.
c: test_fixed_power: use isl
_
val
i
nst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sv
e
n
V
e
rdo
o
l
aege
b
o
u
nd
.
c: us
e
is
l
_val instead of is
l
_
i
nt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolae
g
e
e
xpos
e
isl_pw_qpoly
n
o
mial_fold_fix_
v
a
l
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ver
d
oolaege
remove deprecated band
forests
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaeg
e
drop isl_
b
asic_
m
ap_
f
or
e
ach_lexopt
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-13
S
ven Verdoolaege
isl_map_dim_{
m
in,max}: use isl_basi
c
_
m
a
p
_lexopt_pw_mul
t
i_aff
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-10-12
S
v
en Verdoolaege
isl
_
t
a
b_basic_map
_
partial_l
e
xo
p
t: split
o
n
p
arametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c: test_dim_max_1: ex
t
r
a
ct out
c
h
eck_si
n
gle_pi
e
ce
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_p
i
p
.
c: extract out sh
a
r
ed {row,col}_is_para
m
e
t
e
r_var
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_t
e
st
.
c
:
te
s
t_lis
t
: do not consider inter
n
al failure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl
_
test
.
c: test_un
_
v
a
l: do not consider intern
a
l
f
ailure
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Ve
r
dool
a
ege
is
l
_
tab_basic_set_non_
t
rivi
a
l_lexmin: extr
a
ct out
better_nex
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdoolaege
isl_tab_ba
s
i
c_s
e
t_const
r
ai
n
ed_lexmi
n
: extract out pick_side
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
olaeg
e
isl_t
a
b_basic_set_non_t
r
ivial
_
lexmin: s
k
ip known impossib
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verd
o
olaege
isl_tab_
p
ip
.
c
: e
n
ter_l
e
vel:
e
xt
r
act out finished_all_cases
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab
_
basic_set_non_trivial_lexmin: ext
r
act
o
ut enter_
l
evel
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en
V
e
r
doolaege
isl_tab_pip
.
c: mo
v
e
current be
s
t solution
i
nto i
s
l_lexmin_
d
a
ta
Signed-off-by:
Sven Verdoolaege
<sven.verdoolaege@gmail.com>
commit
|
commitdiff
|
tree
next