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_map_plain_is_fixed: return isl_bool
2017-01-25
Sven Ve
r
doolaege
isl_map_plain_is_f
i
xed: return isl_
b
o
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdool
a
ege
i
s
l_basic_map_plain
_
is_fix
e
d: r
e
t
urn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en V
e
rdoolaege
isl_map
_
p
l
ain_has_fixed_var: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoolae
g
e
i
sl_basic_map_image_is_bounded: return isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
i
sl_b
a
sic_map_imag
e
_i
s
_bounded: adj
u
st to isl_basic
_
set_is_b
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolae
g
e
isl_set_
d
im_is
_
bounded: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaeg
e
i
sl_m
a
p_dim_is_bounded: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoo
l
aege
isl_basic_map_d
i
m
_is_bounded
:
return isl_boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
isl_map_is_set: return isl
_
bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sve
n
Verdoolaege
isl_map_is_params
:
return i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoola
e
g
e
isl_
m
ap_compatible_range: return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_map_
c
ompat
i
b
l
e_domain: r
e
turn i
s
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolae
g
e
isl_ma
p
_com
p
atible_
d
omain:
add me
m
ory managem
e
nt
annot
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doo
l
a
e
g
e
ii
s
l_
s
et_has_equ
a
l_sp
a
ce: return
isl_
b
ool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolae
g
e
is
l
_map_ha
s
_equal
_
space
:
r
et
u
rn isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_set_is_box: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
oolaege
isl_basic
_
set_is_box: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n V
e
rdoolaege
isl_basic_set
_
plain_di
m
_is_f
i
x
e
d: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
ola
e
ge
isl_basic_map_
p
lain_has_
f
ixed_var:
r
etur
n
isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
v
en Verdoo
l
aege
isl_map
.
c: div_may_involve_output: ret
u
rn
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
d
oolaeg
e
i
s
l_
m
a
p
.
c: div_involve
s
_va
r
s:
return isl_bo
o
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
o
o
laege
i
s
l_basic_map_m
a
y_be_se
t
: r
e
turn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ve
r
doolaege
isl_basic_s
e
t_is_params: ret
u
r
n
is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl
_
basic_map_compat
i
b
l
e_range: ret
u
rn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verd
o
olaege
is
l
_ba
s
ic_
m
ap_compatib
l
e_
r
ang
e
:
add memory
m
ana
g
em
e
nt
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoolaege
isl_basic
_
m
a
p_is
_
set: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
i
sl_local_space_is
_
div_constr
a
int: r
e
turn
i
s
l_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
V
erdoolaege
isl_l
o
cal_space_is_named_or_nested: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sv
e
n Verdoo
l
aege
isl_space_has_named_params: return
isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Ver
d
o
o
laege
isl_space_has
_
n
a
med_params
:
re
n
ame "dim"
arg
u
ment to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaeg
e
isl_space_may_be
_
set: retu
r
n isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven Verdoolaege
isl_space_is
_
n
a
med_or_nested: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
Sven
Verdoolaege
isl_space_may_be
_
set: rena
m
e "dim"
a
rgument to "spac
e
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-20
S
ven Verdoolaege
isl_sp
a
ce_is_
n
am
e
d_or_neste
d
: rename "dim" argument
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sve
n
Verdoo
l
aege
Merg
e
branch
'
maint'
commit
|
commitdiff
|
tree
2017-01-18
S
ve
n
V
e
r
doo
l
aege
isl_basic_map_con
t
ai
n
s
:
r
e
turn
false i
n
c
ase of dimension
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
ven Verdool
a
ege
i
sl_ta
b
_pip
.
c: con
t
ext_tab_for_lexmi
n
: plug
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
i
sl_
b
asic_s
e
t_box_fro
m
_points: plug memory leak on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven
Verd
o
olaege
isl_s
e
t_bounded_simple_hull: plug
m
emory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
e
n
Verdo
o
l
ae
g
e
isl_ma
p
_simp
l
ify
.
c: normalize_divs: plug me
m
ory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
en Verdoolaege
isl_map_simplify
.
c: coalesce_or_d
r
op
_
more
_
redundant_d
i
vs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
isl_basi
c
_s
e
t
_
solv
e
_ilp: avoid d
o
ub
l
e
f
r
ee on er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Ve
r
d
oolaege
isl_vertic
e
s
.
c: triangulate: im
p
rove error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolae
g
e
isl_farkas
.
c: fa
r
kas
:
improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sv
e
n Ve
r
d
o
ola
e
ge
isl_basic_map_simplify: improve error h
a
n
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
S
v
e
n
Verdoolaege
isl_
b
a
s
i
c
_map_drop_co
r
e: impro
v
e error handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoola
e
ge
isl_basic_map_set_to_empty: impro
v
e error ha
n
d
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-18
Sven Verdoolaege
is
l
_map_is_rational:
f
ix error
handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-16
Sve
n
Verdo
o
laege
isl_map_simplify
.
c: ok_to_eliminate_div: also investig
a
te
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en
V
er
d
oo
l
a
e
g
e
i
sl
_
mat_inverse_p
r
oduct: improve error handlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Ver
d
oolaege
isl_t
e
st
.
c: te
s
t_div: use re
t
urn value
o
f
isl_constrai
n
t_set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdoolaege
i
s
l_te
s
t
.
c:
test_div: use ret
u
r
n
valu
e
of isl_constraint_s
e
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sve
n
Verdool
a
ege
isl_te
s
t
.
c
:
test_constru
c
tion:
use
r
etur
n
value of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
Verdoolae
g
e
i
s
l_test
.
c: t
e
s
t_constru
c
tion
:
use return valu
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
isl_in
p
u
t
.
c: acc
e
pt_div: do not ignore retu
r
n value
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdoo
l
aege
isl_schedule_band_replace_ast_build_option: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoola
e
ge
isl_local_space_intersect: plug
m
emory leak o
n
er
r
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
e
rdoolaege
is
l
_vec_expand: add missi
n
g return on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
i
sl_schedu
l
e_tre
e
_dup:
a
dd missing re
t
urn o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
v
en Verdoola
e
g
e
isl
_
sch
e
dule_node
_
group: add missing return on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdoolaege
isl_sche
d
ule_no
d
e
_
b
and_sin
k
: add m
i
ssing returns on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdool
a
e
ge
i
sl_schedule_band
_
m
ember_set_isolate_ast_loop_type
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdoolaege
is
l
_schedule_band_mem
b
er_set_ast_loop
_
type: add missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
ven Verdool
a
ege
isl_schedul
e
_band
_
m
ember_set_coincident: ad
d
mi
s
sing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven Verdo
o
laege
isl_schedu
l
e
_
node_s
e
quence_spli
c
e_child:
a
dd missing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
Sven
V
erdool
a
eg
e
isl_schedule_read
.
c
:
read_ba
n
d: avoid d
o
uble free on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-09
S
ven
V
erdool
a
ege
isl_ast_build
.
c: isl_as
t
_b
u
ild_s
e
t_loop_boun
d
s: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-06
S
ven V
e
rdoolaege
isl_tab_basic_map_partial_
l
exopt:
imp
r
ove detecti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Ver
d
o
o
l
a
ege
isl_tab_pi
p
.
c:
s
ol
_
pop:
extr
a
ct out com
b
ine_i
n
itial_if_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
isl_
t
ab_pi
p
.
c: sol_pop:
e
xtract
o
ut
combine_ini
t
ia
l
_i
n
to_s
e
cond
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_t
a
b_pip
.
c: isl_p
a
rtial_sol: use isl_multi_aff inst
e
ad
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
i
s
l_tab_pip
.
c: i
s
l_sol: keep track of s
p
ace of ou
t
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
ven
V
erdoolaege
isl_tab
_
p
ip
.
c: sol_pus
h
_sol: clarify meaning of "
M
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
i
s
l_tab_pip
.
c: rem
o
v
e wr
a
p
p
e
r
s for sol_*_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdo
o
laeg
e
i
s
l_ta
b
_
p
ip
.
c:
mo
v
e common pa
r
t
s of isl_*_free functions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
e
g
e
isl
_
tab_pip
.
c
:
set free callback
bef
o
re an
y
other
fields
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
isl_tab_pip
.
c
:
extract out sh
a
red sol_
i
nit
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
eg
e
i
s
l_tab_pip
.
c
:
isl_s
o
l: upd
a
te
documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
V
erdoolaege
i
s
l
_
t
ab_pip
.
c: move
u
p se
t
_from_affine_matrix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdool
a
ege
isl_tab_
p
ip
.
c: same_solution: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
i
sl_tab_pip
.
c: sol_*a
d
d: ad
d
memory management
a
nnotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdool
a
e
ge
i
s
l_tab_pip
.
c
: sol_push_sol: add memory manageme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdool
a
e
g
e
isl_
t
a
b
_pip
.
c: sol
_
*_ini
t
: add memory
management annotations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
S
ven Verdoolaeg
e
add isl_
p
w_mu
l
ti_a
f
f_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sv
e
n Verdoolaege
doc: document
i
sl_pw_aff_i
s
_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoola
e
ge
isl_p
w
_aff_is_
e
qu
a
l
:
c
hange ret
u
rn typ
e
to is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sve
n
V
e
rdoolaege
i
sl_pw_*_plain_is_e
q
ual
:
fix
h
andling of
N
aNs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verd
o
ol
a
ege
g
ener
a
lize isl_pw_aff_involves_nan
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
doc:
document isl_qpo
l
y
nomial_
i
s_na
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_stream_
r
ea
d
_pw_multi_
a
ff: read isl
_
pw_mul
t
i_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
isl_s
t
rea
m
_
read_multi_pw_
a
f
f:
e
xtract out extract_mpa_from
_
tuple
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_basic_map_range_map: u
s
e isl
_
basic_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verd
o
ola
e
ge
isl_basi
c
_map_domain_map: u
s
e isl_basic_map_equate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdool
a
ege
isl_tab_det
e
ct_i
m
plicit
_
eq
u
alit
i
es
:
reuse select_marked
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolae
g
e
i
sl_tab
.
c: mov
e
u
p select_marke
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdo
o
laege
isl_map_coal
e
s
ce: check
status of in
e
quality constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n Verdoolaege
isl_map_co
a
le
s
ce: al
l
ow separat
i
ng
e
qua
l
ity constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verd
o
olaeg
e
isl_map_
c
oa
l
es
c
e: only harm
o
nize divs i
f
e
quality constraint
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdool
a
e
g
e
is
l
_basic_map_simpl
i
fy: reduc
e
coeff
i
cients of
i
nteger
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
i
sl_basic
_
map_gaus
s
:
do not
e
xt
r
act
part
i
a
l
explic
i
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next