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
a
d
d i
s
l
_
schedu
l
e_expand
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sve
n
Verdoolaege
add isl_schedule_tree_set_pair
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n Verdoolaege
isl_schedule_node_gis
t
: drop identity expansions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
S
ven Verdoolaege
isl_sc
h
edule_node_gist
:
extra
c
t out
g
i
st_leave_expansion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sv
e
n
Verdool
a
e
ge
isl_sch
e
dule_node_band_s
i
nk: hand
l
e
expansions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolae
g
e
isl_schedule_*_{get,peek}_
l
eaf: u
p
d
ate docume
n
t
a
t
io
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven
Verdoolaege
add isl_s
c
hedule_constraints_apply
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
S
v
e
n Ve
r
doo
l
aege
add isl_schedule_const
r
aints
_
get_pro
x
imity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven
V
erd
o
olaege
isl_scheduler
.
c: fix typo i
n
comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sve
n
Ve
r
doo
l
aege
add isl_union_map_is_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-27
Sven Verdoolaege
add isl_
m
ap_i
s
_ident
i
ty
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Ver
d
oolaege
is
l
_basic_map_
g
ist:
simplify s
t
r
i
de
c
onstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven
Verdoolaege
add isl_mat_row_
g
cd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl_test
.
c: test_gist: check internal cons
i
s
t
en
c
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
isl
_
map_simplif
y
.
c
:
fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
S
v
en
V
e
rdoolae
g
e
isl_ast_build
_
e
xpr_fro
m
_pw_aff: sort
p
ieces
a
c
c
ordin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdool
a
ege
isl_ast_
b
ui
l
d_expr_from_pw
_
a
f
f: move comp
u
t
a
tion
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sve
n
V
e
rdoolae
g
e
i
sl_
a
s
t
_build_expr_from_pw_aff
:
c
ol
l
ect all
p
ie
c
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdool
a
ege
isl
_
a
st_bu
i
ld_
e
xpr_f
r
om_pw_aff:
extract out
set_none
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-22
Sven Verdoolaege
i
s
l_ast_bui
l
d
_
expr
.
c: f
i
x ty
p
o in
c
omm
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-21
Sven Verdo
o
laege
M
e
rge
branch '
m
aint'
commit
|
commitdiff
|
tree
2016-03-18
S
ven Verdoolaege
isl_ast_codegen
.
c: set_for_node_expressions: improve
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sv
e
n Verdoolaege
isl_unio
n
_pw_multi_aff
_
from_mul
t
i_union
_
pw_aff: plu
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
Sven Verdoolaege
isl_
p
w_*_union_opt_
c
mp: avoid c
o
nstructing a qu
a
d
r
atic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
S
ven Verdo
o
laege
ext
r
act o
u
t shared isl_pw_*_union_opt_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-18
S
v
en
V
erdoolaeg
e
add isl_aff_{le,ge}_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_pw_*_coalesce
:
sort function
value expression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
V
e
rdoolaege
isl_pw_
*
_
n
o
rmalize: extract out isl_pw_*_sor
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolae
g
e
isl_pw_*
_
n
o
rmalize: sort
p
ieces bas
e
d on f
u
n
c
tion
value
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolae
g
e
isl_pw_*_n
o
rm
a
l
iz
e
:
u
s
e isl_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Ve
r
doolaege
isl_pw_templ
.
c: fix typo
i
n co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaeg
e
add isl_
m
ulti_aff_pla
i
n_
c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
private
l
y
e
x
p
o
rt
i
s
l
_
a
ff_
p
lain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Ver
d
oolae
g
e
add is
l
_qpolynomial_fold_pl
a
in_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ver
d
oolaege
add isl
_
qpolynomial_pl
a
i
n_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
laege
isl_local_spa
c
e
_cmp: extract out
isl_loca
l
_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ver
d
oolae
g
e
is
l
_local_space_div_i
s
_
k
now
n
: e
x
t
r
act out is
l
_local_div_is_k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
v
en Verdoolaege
isl_local_space_
d
ivs_kno
w
n:
r
e
u
s
e i
s
l
_
loca
l
_space_div_is_k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sve
n
Ver
d
o
o
laege
isl_local
_
s
pace_div_is_know
n
:
r
eturn isl_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
add
A
ST generation test case test_inpu
t
s/codeg
e
n/
c
orrelation
.
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verd
o
olaege
isl_map_partial_lexop
t
_alig
n
e
d
_pw
_
multi_aff: do not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdool
a
ege
i
s
l
_
m
a
p_lexopt_templ
.
c
: basic_map_par
t
ial_lexopt*:
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl_map_l
e
xopt_te
m
pl
.
c: f
i
x whit
e
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven V
e
rdoolaege
i
sl_map
_
i
s
_
d
isjo
i
nt: avoid c
o
mp
u
ting e
n
tire interse
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdo
o
laege
isl_map_p
l
ain_
i
s_di
s
joint: extrac
t
ou
t
isl
_
map_plain_is_dis
j
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Ve
r
doolaege
isl_map_plain_is_disjoint: ex
t
ract o
u
t all_pairs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
S
ven Verd
o
olaege
isl_map
_
is_
d
i
sjoint:
c
heck
f
o
r
(o
b
vi
o
usly)
equal input
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven
Verdoolaege
isl_mult
i
_hash
.
c: add
m
i
s
sing
c
opyright statement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-10
Sven Verdoolaege
isl
_
pw_hash
.
c
: add missing
c
opyright st
a
tement
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-09
Sven Verdoo
l
aege
add
i
s
l_mu
l
ti_aff_l
e
x_{lt,gt}
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaege
gen
e
ra
l
ize isl_hmap_templ
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erdo
o
lae
g
e
isl_scheduler
.
c
: inter
_
coef
f
ic
i
ents: use isl_map_t
o
_basic
_
s
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sve
n
Verdo
o
laege
isl_scheduler
.
c:
i
nt
r
a_c
o
effici
e
nts:
u
se isl_map_to_basic_se
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
i
s
l_ast_expr_substitute_id
s
: use
i
sl_id_to_a
s
t_expr_try_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Ver
d
o
olaege
add
isl_*_to_*_try_get
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
e
n Verdoolaege
add isl_val_g
e
t_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
add isl
_
union_{set,map}_ge
t
_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erdoolaege
a
dd isl_multi_pw_aff_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erdoolaege
a
dd isl_pw_aff_get
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
ven Verdoolaege
extra
c
t o
u
t
isl_pw_macro
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven
V
erdoolaeg
e
a
d
d i
s
l_
a
f
f_get
_
hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoo
l
aege
add isl_local_space_get
_
ha
s
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
v
en Verdoolaege
add isl_mat_get_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
S
ven Ve
r
doolaege
ad
d
i
s
l_ve
c
_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdoolaege
isl_ast_bu
i
l
d
_has_
s
tride: return is
l
_bool
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-04
Sven Verdo
o
laege
a
dd isl_bool_not
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-03
S
ven
V
e
r
doolaege
isl_pw_aff_is
_
e
qual: check f
o
r
N
aNs in i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-02
S
v
en Ve
r
d
o
olaege
isl_basic_m
a
p_from_aff: check
t
hat input is not a NaN
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-01
Sven
Ve
r
d
o
o
laege
isl_pw_aff_cond: s
p
ec
i
al case equal argum
e
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-03-01
S
v
e
n
Verd
o
olaege
export
isl_{s
e
t,map}_unshif
t
ed_simple
_
h
ull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven
V
erdoolae
g
e
export isl_s
e
t_{
m
i
n
,
max}_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdo
o
laege
isl_basic_map_
s
a
mple: c
a
che sample in input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Ve
r
doolae
g
e
extrac
t
ou
t
shared isl_mat_f
i
nal_variab
l
e_compression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sv
e
n Verdo
o
laege
isl_mat_variable_compr
e
s
sion: extrac
t
ou
t
empty_compress
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sve
n
Verdoolaege
i
s
l_mat_
v
ariabl
e
_compre
s
sion: reuse local variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven Verdo
o
laege
isl_mat_variabl
e
_compression: check t
h
e number o
f
eq
u
alit
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-28
Sven
V
e
rdoolaege
i
s
l_mat_varia
b
le_com
p
ressi
o
n: use isl_
m
at
_
get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
S
v
en Ve
r
do
o
lae
g
e
isl_printer_yaml_sta
r
t_s
e
quence: handle NUL
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sv
e
n Verdoolaege
is
l
_map
.
c: se
t
_pa
r
amet
e
r_pr
e
image:
add memory management
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sv
e
n Verdool
a
ege
isl_map
.
c: set_para
m
e
t
e
r_pre
i
mag
e
: avoid looking int
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolae
g
e
isl_map
.
c: se
t
_
p
a
r
ameter_pre
i
mag
e
: avoid loo
k
i
n
g into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
S
v
e
n
Verdoolaege
is
l
_map
.
c: set_parameter_preimage: d
o
not d
r
op
i
s
l_set
_
rese
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sv
e
n
Verd
o
olaeg
e
isl_map
.
c:
set_par
a
meter_preim
a
g
e:
r
ename "dim"
v
ariable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-25
Sven Verdoolaege
isl_basic_map
_
d
rop
_
redund
a
nt_
d
ivs: e
x
pl
o
it equaliti
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ve
r
doola
e
ge
isl_m
a
p
_
simplify
.
c: extract
o
ut isl
_
basi
c
_m
a
p
_mark_
d
i
v_unkno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
S
v
en Verdoolaege
extract out shared is
l
_basic_map_
f
irs
t
_
unknown_div
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven
V
erd
o
olaege
move integer di
v
ision san
i
ty
c
heck to
i
sl_basic_ma
p
_
o
rder_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n Verdool
a
ege
is
l
_
t
ab_bas
i
c_map_partial_lexopt: expl
o
it
part
i
a
l
solu
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoola
e
ge
isl_t
r
ansitiv
e
_clos
u
re
.
c: empty_path_is_identity: ca
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
a
dd isl_ba
s
ic_{set,map}_plain_
i
s_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sve
n
Verdoolaege
M
erge branch 'mai
n
t'
commit
|
commitdiff
|
tree
2016-02-22
Sv
e
n Ve
r
d
o
olaeg
e
isl_basic_
m
ap
_
is_univ
e
rse: take into ac
c
ount non-obvi
o
u
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
rdoolaege
i
s
l_set_pr
e
image
:
plug memory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaeg
e
isl_basic_map_project_
o
u
t: dr
o
p irr
e
levant con
s
traints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
S
ven Verd
o
o
l
ae
g
e
p
r
ivatel
y
expose
i
sl_basic_ma
p
_drop_unrelated_co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Verdoolaege
isl_ba
s
i
c
_map_is_empty:
e
xt
r
act out isl_
b
a
sic_map_p
l
ain
_
i
s_n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
S
v
en Verdoolaege
i
s
l_basic_map_
p
r
o
ject_out:
a
dd
c
heck f
o
r
existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
Sven Ver
d
o
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2016-02-22
Sven V
e
rdoolaege
isl_map_si
m
plify
.
c
:
drop_unrelate
d
_constraints: avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2016-02-22
S
v
en Verdoolaege
isl
_
map_simplify
.
c: drop_unrelated_con
s
traints: impro
v
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next