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 Verdoola
e
g
e
i
n
terface/cpp
.
cc: cpp_generator::print_method
_
impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Ver
d
o
o
laege
cpp
.
cc: cpp_
g
e
ne
r
ator::print_public_constructors_impl
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoo
l
aege
generator
:
:gen
e
r
ator: drop re
d
undant argument
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
interface/cpp
.
cc: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verdoolaege
isl_ctx: keep t
r
ack o
f
la
s
t error messa
g
e
,
file a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-04
Sven Verd
o
ola
e
ge
i
sl_ctx_alloc_wit
h
_o
p
tions: reuse isl_ctx_reset
_
error
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2018-01-03
Sven Verdool
a
e
ge
expose i
s
l_aff_param_on_domain_sp
a
ce
_
id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolaege
ad
d
isl_union_pw_aff_pa
r
am_o
n
_domain
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-28
Sven Verdoolaeg
e
add
isl
_
space_add_param_id
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven
Verdoolaege
gen
e
r
a
lize isl_mu
l
ti_uni
o
n_p
w
_aff_mu
l
ti_aff_o
n
_domain
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
sl_mul
t
i_union_pw_
a
ff_multi_aff_on_domain: use isl_union_se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdo
o
laege
a
d
d isl_un
i
on_set_space_
h
as
_
eq
u
a
l_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoo
l
ae
g
e
isl_print
e
r_
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 Verd
o
olaege
genera
l
ize isl_unio
n
_pw_aff_aff_o
n
_do
m
ain to isl_unio
n
_pw_af
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
Me
r
ge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2017-12-26
Sven Verdoolaege
i
s
l_union_pw_aff_af
f
_on_do
m
ain: align parame
t
ers of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven
V
erdoolaege
a
d
d isl_m
u
lti_
{
pw,}aff_projec
t
_
d
o
m
ain
_
on_
p
arams
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-22
Sven Verdoolae
g
e
isl_
m
ult
i
_
te
m
pl
.
c
: extra
c
t
out i
s
l_multi_dims
.
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven V
e
rdoolaege
add isl
_
set_get_str
i
d
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolae
g
e
isl_set_
g
et_
s
tride_
i
nfo:
e
xtract out s
e
t_d
e
tec
t
_strid
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
isl_a
s
t_b
u
ild_detec
t
_
s
trides: extract ou
t
isl
_
set_get_st
r
ide
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoola
e
ge
add i
s
l_un
i
on_map_pro
j
ect_out_all_para
m
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-21
Sven Verdoolaege
add isl_basic_set_dim_max_val
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-20
Sven Verdoolaeg
e
isl_ast_
b
uild_node_from_schedule: improve error
handlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdool
a
ege
is
l
_
s
chedule_
t
r
e
e
.
h: fix
typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-12-13
Sven Verdoola
e
ge
isl_ast_co
d
egen
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolae
g
e
isl_tab: invalidat
e
undo stack if pu
s
hing record fails
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en Verdoo
l
aege
isl_tab
.
c:
p
ush_unio
n
:
retur
n
i
sl
_
stat
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven Verdoolaege
isl_schedule_
n
ode_graft_be
f
ore_o
r
_after: improve e
r
r
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sv
e
n Verdoolaege
isl_a
s
t_build_get_spac
e
: improve
error handlin
g
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
S
v
en
Verdoolaege
isl_ast_b
u
ild_has_
a
ffine_value:
r
e
t
urn is
l
_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-30
Sven
Verdoolaege
isl_ast_graf
t
_lis
t
_merge: plug m
e
mor
y
leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-29
S
ven
Ver
d
ool
a
ege
isl_*_mod_multi_val
:
plug m
e
mo
r
y leak on
error path
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-28
Sven Verdoolaege
isl_*_aff_read
_
f
rom
_
str: do not read domai
n
s as rational
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven Verdoolaege
export isl_uni
o
n_map_f
r
om_{domain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-23
Sven
Verdoolaege
d
o
cument isl_u
n
ion_map_from_{domain
,
r
a
nge}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven
Verdoolae
g
e
isl_ctx_last_error:
handle NULL
input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-21
Sven Verdoolaege
isl_ctx_rese
t
_error: handle
N
ULL
i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
S
ve
n
V
e
rd
o
olaege
isl-noexception
s
.
h:
c
lean up
f
ixed
part
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Verdoo
l
aege
i
nter
f
ace/isl_test_cp
p
-noexcept
i
ons: abort
on isl er
r
o
r
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sv
e
n Verdoolaege
interface/c
p
p
.
cc: fix styl
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdo
o
laege
cpp: generate get_ctx method for all exported
classes
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-17
Sven Verdoolaege
add tests
for Python interfac
e
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
ven Verdoolaege
interface/isl
_
test_cpp-n
o
e
x
ceptions
.
cc: e
x
tend test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-16
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2017-11-16
Sven V
e
rdoola
e
ge
python: s
p
ecifically handle long arguments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
S
v
en Ve
r
doolaege
export isl
_
u
nion_set_prei
m
age_*
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven V
e
rdoolaege
expor
t
isl_union_map_eq_at_multi_uni
o
n_pw_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-11-08
Sven Ver
d
oolaege
exp
o
se is
l
_
space_flatten_{do
m
ain,range}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven
V
erdoolaeg
e
interfa
c
e/python
.
cc: fix typo i
n
commen
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdo
o
laege
doc: fix
t
ypo
s
in isl_sch
e
d
u
le
_
node documentation
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
olaege
isl_sch
e
duler
.
c: fix t
y
p
o in
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolaege
isl_sch
e
du
l
e
_
t
ree
.
c: fix typo i
n
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verdoolae
g
e
isl_sched
u
le_node
.
c: f
i
x
t
yp
o
s in c
o
mments
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Verd
o
o
laege
isl_
u
nion_map
.
c:
f
i
x
typos
in co
m
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-30
Sven Ver
d
oolaeg
e
isl
_
morph
.
c: fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Ve
r
doolaege
isl_ta
b
_pip
.
c:
fix
t
y
po
i
n
comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
S
v
e
n
Verdoo
l
aege
isl_mu
l
ti
_
templ
.
c: fix typo
in co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sven Verdoola
e
ge
isl_aff
.
c:
fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-25
Sve
n
Ve
r
doolaege
isl_val
.
c: f
i
x
t
y
p
o in co
m
ment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-18
Sven Verdoolaege
isl
_
s
t
ream_eat:
print error message on EOF
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-17
Sven V
e
rdoolaege
isl_mu
l
t
i_union_pw_aff_zero: check that input is not
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
drop depr
e
ca
t
ed isl_int
i
n
terface
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdoolaege
p
r
i
v
ate
l
y
expose isl_qpolynomial
_
fold_sc
a
le
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verd
o
olaege
privately exp
o
se isl
_
aff_scale_do
w
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_tes
t
.
c: u
s
e isl_const
r
a
i
nt
_
set_c
o
ns
t
an
t
_si instead
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
is
l
_t
e
st
.
c
: use isl_c
o
ns
t
rai
n
t
_
set_co
e
fficient_si
i
nst
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Verdoolaege
isl_test
.
c: t
e
s
t
_fixed_po
w
er:
use isl_
v
al ins
t
ead
of
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Verdool
a
e
g
e
bound
.
c:
use
i
s
l_
v
al
inste
a
d of isl_i
n
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven
Ver
d
oolaege
ex
p
ose isl_pw_qpolynomial
_
fold
_
f
ix_v
a
l
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven Ve
r
doolae
g
e
d
r
op isl_basic_ma
p
_f
o
r
each_lexop
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-13
Sven V
e
r
doolaege
i
s
l
_
map_
d
im_{min,max}: use
i
s
l_ba
s
ic_map
_
lex
o
pt_pw_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-10-12
Sve
n
Verdoolaege
isl_tab_basic_map_parti
a
l_lexop
t
: spli
t
on p
a
r
a
metri
c
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Verdoola
e
ge
isl_test
.
c: tes
t
_dim_max
_
1
: extract out c
h
eck_
s
ing
l
e_
p
iece
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_
t
ab_pip
.
c
: extract
out shared
{
row,col}_is_parameter
_
var
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_test
.
c: test_list
:
do not consider interna
l
failure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ve
r
doolaege
i
sl_test
.
c: t
e
s
t
_un_val: do not consider internal
fai
l
ure
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven V
e
rdoolaege
isl_tab
_
ba
s
ic_set_n
o
n_tri
v
ial_le
x
min: ex
t
ract out better
_
nex
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoolaege
isl_tab_
b
asic_set_constra
i
ned_lexmin: extract
out
pick_side
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdool
a
ege
isl_ta
b
_bas
i
c_s
e
t_no
n
_triv
i
al_lexmin
:
skip known impossible
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
laege
is
l
_tab_pip
.
c: enter_lev
e
l
:
e
x
t
r
act out f
i
nished_all_cases
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoo
l
aege
isl_tab
_
basic_set_non_trivia
l
_lexmin: extrac
t
o
u
t en
t
er_le
v
el
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verd
o
olaege
isl_t
a
b_pip
.
c
: m
o
ve current best solutio
n
i
n
t
o isl
_
l
exm
i
n
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verd
o
ol
a
ege
isl_tab_basic_set_
n
o
n
_trivi
a
l_lexmin:
extract out i
n
it_
l
exmi
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_ta
b
_pip
.
c
:
f
irst_trivial
_
region: pas
s
isl_lexmin_dat
a
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab_pip
.
c: move tab
l
eau into isl_lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
i
sl_tab_
b
asic_set_
n
on_trivial_
l
exmi
n
: extract out upda
t
e_out
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_pip
.
c:
move isl_local_region array i
n
to isl
_
lexmin_data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_
tab_basic_
s
et_
n
o
n_trivial_lexmin
:
extract ou
t
c
l
ear_l
e
xm
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
is
l
_tab_basic_set_non
_
trivial_lexmi
n
: extract out init_local
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
ven Ve
r
d
o
ola
e
ge
is
l
_
tab_pip
.
c
:
i
s
l
_
lex
m
i
n
_data: stor
e
a copy of array
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
isl_tab_pip
.
c
:
move
u
p is
l
_lexmin_data decl
a
ration
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sve
n
Verdoolaege
isl
_
tab_pip
.
c
:
r
e
name isl_trivia
l
_global to isl_lexmin
_
data
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Ver
d
oolaege
isl
_
tab_p
i
p
.
c
:
fur
t
h
e
r ex
t
end doc
u
mentatio
n
of is
l
_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
V
erdoolaege
isl_tab_
p
ip
.
c
:
r
e
name isl_trivial to
i
sl_local_region
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
S
v
en Verdoolaege
isl_tab_basic_
s
et_no
n
_tr
i
v
i
al_lexmin: postpone rollbac
k
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdoolaege
a
d
d is
l
_mat_has_linearly_independe
n
t_ro
w
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven
Verdoola
e
g
e
add i
s
l_m
a
t_row_basis_ex
t
ension
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sven Verdo
o
la
e
ge
add isl_mat_row_basis
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2017-09-27
Sv
e
n Verdool
a
e
g
e
is
l
_mat_right_kern
e
l: r
e
use hermite_
f
irst_zero_col
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next