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
add isl_schedule_expand
2016-03-27
Sven Verdoolaege
add
isl_sch
e
dule_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
S
v
en Verdoola
e
ge
add isl_schedul
e
_tree_set
_
pair
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
isl_schedule_node_gis
t
:
dr
o
p id
e
ntity ex
p
ansi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven
V
e
r
doolaege
isl_schedule_node_gi
s
t: e
x
trac
t
o
u
t gist_leave_
e
xpansion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven
V
erdoola
e
ge
isl_s
c
h
e
d
ul
e
_
node_band_sink: handle expansions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
isl_schedule_*_{get,peek}_leaf: upda
t
e documentation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
S
v
en Verdoolaege
add isl_sche
d
ul
e
_constra
i
nts_a
p
p
ly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Ver
d
oolaege
add isl_schedule_cons
t
r
a
i
n
ts_ge
t
_
prox
i
m
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoola
e
ge
i
sl
_
schedule
r
.
c: fix typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdool
a
eg
e
a
dd isl_union_ma
p
_is_i
d
ent
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
add isl_map_
i
s_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_basic_map_gist: simplify stride
constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
add isl_mat_r
o
w_g
c
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven
V
erdoolaege
isl
_
test
.
c
:
test_gist: chec
k
i
ntern
a
l consistenc
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_map_simplify
.
c: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
is
l
_ast_build_expr_f
r
om_pw_a
f
f: sort pi
e
ces according
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_as
t
_build_expr_from_pw_aff:
move computa
t
ion
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven V
e
rdoolaege
isl_ast_build_expr_from_pw_aff: colle
c
t all
pieces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Ve
r
doo
l
ae
g
e
isl_
a
st_b
u
ild
_
expr_f
r
om_pw_aff: e
x
tract ou
t
set_non
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_ast_build_expr
.
c: fix t
y
po in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-21
Sven
Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2016-03-18
Sven V
e
rd
o
o
l
a
e
g
e
isl_a
s
t_codegen
.
c: set_for_node_ex
p
r
e
ssions: improv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven
V
erdoolaeg
e
i
sl_union_pw_
m
ulti_aff_f
r
o
m_multi_
u
ni
o
n_pw_aff: p
l
ug
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
S
v
en
V
e
rdo
o
laege
isl_pw_*_
u
nion
_
opt_cmp: avoid construct
i
ng a quadratic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoolaege
extract out s
h
ared
i
s
l_p
w
_*_union_opt_
c
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoo
l
a
e
g
e
add
isl_aff_
{
le,ge}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolae
g
e
isl_pw_*_c
o
alesce
:
sort function va
l
ue expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verd
o
olaege
i
s
l_pw_*_norm
a
lize
:
e
x
tract
o
ut isl
_
pw_*_sor
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
is
l
_p
w
_*_normalize
:
sor
t
pieces based on
f
u
n
c
t
i
on value
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sv
e
n V
e
rdoolaege
is
l
_pw_*_nor
m
alize: use isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
r
d
oolaege
is
l
_pw
_
tem
p
l
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolae
g
e
add isl_multi_aff_plain_c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
V
e
rdoolaege
privatel
y
export isl_aff
_
plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
e
n
Verdoolae
g
e
add is
l
_qpol
y
nomial_fol
d
_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdool
a
e
g
e
ad
d
isl_qpolynomial
_
plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdool
a
e
ge
isl_local_space_cmp:
extract out isl
_
l
ocal
_
cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ve
r
dool
a
ege
is
l
_local_space_div_is_known: ex
t
rac
t
out isl_lo
c
al
_
div_is_kn
o
wn
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_local_sp
a
c
e_divs_known
:
reus
e
isl_local_space_div_is_know
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verdoolaeg
e
isl_local_spa
c
e_
d
iv_is_known: return isl
_
boo
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
add AS
T
ge
n
eration test case t
e
st
_
inp
u
t
s
/codeg
e
n
/
corr
e
l
atio
n
.
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
r
doolaege
i
s
l_map_p
a
rtial_lexop
t
_aligned_pw_mul
t
i_aff: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaeg
e
isl_map
_
lexopt_templ
.
c:
basic_map
_
p
a
rti
a
l_lexopt*:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
rdoola
e
ge
isl_map_lexopt_templ
.
c: fix whitesp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ver
d
oolaege
is
l
_map
_
is_disjoint: avoid computing entire inte
r
s
e
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoola
e
ge
isl
_
map_p
l
ain_is_disj
o
int: extrac
t
out isl
_
map_plain_is_disj
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaeg
e
is
l
_
m
ap_plain_is_disjoint: extract
out all_pai
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verdoolaege
isl
_
m
a
p_is_d
i
s
j
o
i
nt: che
c
k
for (obviousl
y
) equ
a
l
inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verdoolaege
is
l
_m
u
lti_h
a
sh
.
c: add miss
i
ng
c
o
pyright
s
tatement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
laege
isl_pw_hash
.
c: add missing copyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-09
Sven Ver
d
o
o
lae
g
e
a
dd is
l
_multi_af
f
_lex_{lt,gt}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaeg
e
g
e
n
e
ra
l
ize isl_hm
a
p_templ
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Ver
d
oolaege
is
l
_scheduler
.
c: inter_co
e
fficie
n
ts: use
i
s
l_map_to_basic_s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaege
isl_sc
h
eduler
.
c: intra_coefficients: use i
s
l
_map_t
o
_basic
_
se
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaeg
e
isl_ast
_
expr_substit
u
t
e
_
ids: use isl_id_to_a
s
t_ex
p
r
_
try_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
Verd
o
olaege
add i
s
l_*_
t
o
_
*_try_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdool
a
ege
add isl_val_ge
t
_h
a
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Ve
r
doolaege
add isl_
u
nion_{set
,
ma
p
}_
g
et_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl_mul
t
i_pw_aff_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
Ver
d
oolaege
add isl_pw_af
f
_get_h
a
sh
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
extr
a
ct out isl_
p
w
_macro
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl_aff_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdo
o
la
e
ge
add
isl_l
o
cal_sp
a
ce
_
g
et
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl_mat_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
ven Verdoolaeg
e
add isl_vec_get_
h
ash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaeg
e
isl_a
s
t_build_has
_
str
i
de: return isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
e
rdoolaege
add isl_bool_not
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-03
Sven
V
erdoolaeg
e
i
sl_pw_
a
ff_is_equal
:
check for NaNs in input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-02
S
v
en Ve
r
doolaege
is
l
_basi
c
_map_from_aff: check that input is not
a
NaN
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-01
Sve
n
Ver
d
oola
e
ge
i
sl
_
pw_aff
_
cond: special case equal arguments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-01
S
ven Verdoo
l
aege
export isl_{set,map}_uns
h
ifted_simple_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ve
r
doolaege
exp
o
rt is
l
_
set_{mi
n
,max}
_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
S
ven Verd
o
olaege
i
s
l_basic_map_sam
p
le: ca
c
h
e sample
in input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
S
v
e
n Verdoolaege
extract o
u
t sha
r
e
d isl_
m
at_
f
inal_variabl
e
_com
p
ressi
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven V
e
rdoolaege
isl_mat_variable_
c
om
p
r
e
ssion:
e
x
tract
o
ut e
m
pty
_
co
m
pr
e
ss
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ver
d
o
o
l
a
ege
isl_ma
t
_v
a
riable_compression: reuse lo
c
a
l variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ve
r
d
oolaege
isl_
m
at_variable_compression: check the n
u
mb
e
r
o
f e
q
uality
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdool
a
ege
isl_mat_var
i
ab
l
e_
c
o
m
pression:
u
s
e isl
_
mat_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
A
l
e
xandre I
s
oard
isl_output
.
c: also pri
n
t dimension name f
o
r dimensions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaege
isl_printer_yaml_start_sequ
e
nce: handle NULL
i
n
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven
V
erdoolaege
isl_ma
p
.
c: set_parame
t
er_preimage: add memory m
a
nage
m
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdo
o
l
a
e
g
e
isl_map
.
c: set_pa
r
a
m
e
t
er_pr
e
ima
g
e: av
o
id looking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven
Verdoolaege
i
sl_map
.
c: set_p
a
ra
m
eter_preim
a
ge: avoid look
i
ng into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sve
n
Verdoolaeg
e
i
s
l_m
a
p
.
c: set_param
e
ter_pre
i
m
a
ge
:
do
not drop isl_set_reset
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoola
e
g
e
isl_map
.
c: s
e
t_parameter_preimage: re
n
ame "dim" variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Ve
r
doo
l
a
e
ge
i
s
l_ba
s
i
c_map_drop_r
e
dundant_divs: exploit equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoo
l
aege
isl_ma
p
_simplif
y
.
c: extract out isl_basic_map_ma
r
k_div_unk
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdo
o
laege
extract
out s
h
a
re
d
i
sl_ba
s
i
c
_
m
ap_first_unknown_
d
iv
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
r
doolaeg
e
move
integer
division sanity check to isl_basic_map_o
r
der
_
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n Ver
d
oola
e
g
e
isl_t
a
b_ba
s
ic_ma
p
_
partial_le
x
opt: explo
i
t partial solut
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verd
o
olaeg
e
i
s
l_transitive_closure
.
c: empty_
p
a
th_is_identity: call
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ve
r
d
o
olaege
add isl_
b
asic_{
s
et,map}_plai
n
_
is_u
n
ive
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2016-02-22
Sven
V
erdoola
e
g
e
isl_basic_ma
p
_
is_univer
s
e: ta
k
e into account non-obvious
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n Verd
o
olaege
isl_set_preimage:
p
lug memory leak on
e
rror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n
Verdoolaeg
e
isl_basic_map_project
_
out: dr
o
p
irrelevant constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
privately expose is
l
_
b
asic_m
a
p
_drop_unr
e
lated_constr
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
S
ve
n
Ve
r
d
oo
l
aege
is
l
_basi
c
_map_is_empt
y
:
extract o
u
t isl_basic_map_plai
n
_
i
s
_
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sve
n
Verdoolaege
is
l
_
basic_m
a
p_project_o
u
t: add ch
e
ck f
o
r existent
i
al
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
rdoolae
g
e
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
isl_map_simplify
.
c: drop
_
unrelated_constraints: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next