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_pw_aff_is_equal: change return type to isl_bool
2017-01-03
Sven Verdoolaege
is
l
_pw_aff_i
s
_equal: c
h
a
nge return type t
o
isl_bool
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
S
ven
Verdo
o
laege
is
l
_pw
_
*
_
plain_is_equal: fix hand
l
ing of NaNs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven Verdoolaege
g
ene
r
alize i
s
l_pw_
a
ff_involves_nan
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2017-01-03
Sven
Verdoolaege
do
c
: document
i
s
l_qpolynomial_is_n
a
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
ool
a
eg
e
i
s
l_stream_
r
ead
_
pw_
m
ulti_aff:
r
ead isl_pw_mu
l
t
i
_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
isl_strea
m
_read_multi
_
p
w
_aff: extract out extract_mpa_from_tu
p
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
sl_basic_ma
p
_ra
n
ge
_
map
:
use isl_basic_map_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Ve
r
doolaege
isl_
b
as
i
c_map_domain
_
m
a
p: use isl_
b
asic
_
ma
p
_equate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_tab_detect_im
p
l
i
cit_equ
a
lities: reu
s
e
select_marked
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
V
e
r
d
o
olaege
isl_tab
.
c: move up selec
t
_
m
ar
k
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdo
o
laege
i
sl_
m
ap_co
a
lesce: c
h
eck status of i
n
eq
u
al
i
t
y
constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
isl
_
map_co
a
lesce: allo
w
s
e
parating equality constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
e
n
Verdoolaege
i
s
l_map_coalesce: on
l
y h
a
r
monize divs if equali
t
y co
n
straint
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoo
l
aege
isl_
b
asic_ma
p
_simplif
y
: reduce coefficients of
i
nt
e
ger
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdool
a
eg
e
i
s
l_b
a
s
ic_map_gaus
s
: do
n
ot
e
xtract partial e
x
pli
c
it
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdo
o
laege
isl_ba
s
ic_map_gauss: extract out set_div_from
_
eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaege
isl_map_coalesce: harmonize int
e
ger d
i
visions in stride
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
V
e
rdoolaege
a
dd isl_bas
i
c
_
m
a
p_set_div_expr_consta
n
t_num_si_inplace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoolaege
a
d
d
isl
_
basic_m
a
p_equal_
d
iv_expr_except_constant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coalesce
.
c: set_up_substitutions: extract isl_basi
c
_map_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_ma
p
.
c: extr
a
ct out shared isl_basic_map_check_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
o
olaege
isl_
a
ffine_h
u
ll
.
c: move
i
sl_*_
d
r
o
p_constraints_* to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
p
r
i
vat
e
l
y
export
i
sl_constraint_get_constant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolae
g
e
isl_basic_
m
ap_shi
f
t_div: special case z
e
ro shi
f
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ver
d
o
o
laege
isl
_
map_coalesce: t
a
ke into account
equ
a
li
t
y constraints
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verd
o
ol
a
ege
isl_coalesce
.
c:
h
armo
n
i
z
e_divs: ret
u
rn
isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoolaege
isl_coalesce
.
c
:
shift_div:
return isl_stat
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
priv
a
tely ex
p
ort isl_val_get_num_isl_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
i
sl
_
local_space_g
e
t_d
i
v: handle presence of unknown
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven V
e
rdoolaeg
e
add isl_
l
ocal_space_d
i
v_is_marked_u
n
kno
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Ve
r
doolaege
add isl_l
o
cal_
d
iv_is_marked_unknown
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_ma
p
_coalesce: detect
constants in potential extension
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verdoolae
g
e
add isl_tab_detect_constants
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoolaege
i
s
l_map_coalesce: det
e
ct
consta
n
ts among expande
d
d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
a
dd is
l
_t
a
b_is_constant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n V
e
rdoolaege
isl_tab
.
c
:
isl_tab_m
i
n
: extract out get_rounded_sample_va
l
ue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven
V
erd
o
olaege
isl_tab
.
c: extract ou
t
share
d
row_is_big
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verdoolaege
isl_co
a
lesce
.
c
: tab_inse
r
t_div
s
: extract out
c
opy_ine
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
V
erdoo
l
ae
g
e
isl_coa
l
e
s
c
e
.
c:
e
xpand
_
tab: first ex
t
rac
t
ou
t
li
s
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
olaege
is
l
_
c
oales
c
e
.
c: expand
_
ta
b
: consume
u
pd
a
ted
b
asic ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Ve
r
doolaege
isl_
c
oa
l
esc
e
.
c: expa
n
d
_
tab: p
a
ss in expande
d
bmap instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
isl_coa
l
e
s
ce
.
c:
exp
a
nd_tab: do not check div constraint
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl_map_coalesce:
a
dd a note
a
bout a possible i
m
provement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ve
n
V
e
r
doolaege
isl_map_c
o
alesce:
allow
extensi
o
ns to stick out by
o
ne
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sve
n
V
erdo
o
la
e
ge
isl_coalesc
e
.
c: is_
a
dj_eq_
e
xtension: check extension
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
v
en Verdoo
l
aeg
e
isl_coalesce
.
c:
ex
t
end: allow m
u
ltiple relaxed constra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_coalesce
.
c:
t
i
ghten_on_relax
e
d_facet: allow mu
l
tiple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Ve
r
doolaege
isl_c
o
a
l
esce
.
c:
i
s_adj_eq_extension: ext
r
a
ct out extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
i
sl_
c
oalesce
.
c: check_adj_
e
q: ex
t
ract out
c
heck_
s
ingle_ad
j
_eq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verd
o
ola
e
ge
isl_
c
oalesce
.
c: extract out shared find function
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n Verdoolaege
isl_
c
oalesce
.
c: coalesce_wit
h
_expan
d
ed
_
divs: ma
r
k exp
a
nded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoola
e
ge
isl_printer
_
print_constraint: print
t
he c
o
nstra
i
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
isl_ou
t
p
ut
.
c: pr
i
n
t
_disjunct: e
x
t
r
act ou
t
open_
e
x
i
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
is
l
_out
p
ut
.
c: nee
d
_exists: t
a
ke into ac
c
ount dum
p
mode
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven Verdoolaege
is
l
_o
u
tput
.
c: need_exists: dro
p
"bmap
"
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sv
e
n
Verdoo
l
aege
isl_output
.
c: extract out sh
a
re
d
print
_
param_
t
u
pl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
i
sl_out
p
ut
.
c: print_union_pw_qpolyn
o
mial_fold_i
s
l:
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
S
ven Verdoolaege
i
sl_out
p
ut
.
c: prin
t
_uni
o
n
_pw_qpolyn
o
mi
a
l_i
s
l: rename
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-19
Sven
Verdoo
l
a
e
g
e
isl
_
output
.
c:
i
sl_union_map_print_
i
s
l: rename "dim
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-18
Sv
e
n
V
erd
o
o
l
aege
isl 0
.
18
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-14
S
ven Verdool
a
ege
update AUTHORS
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-14
Sve
n
Verdoolae
g
e
isl_
t
es
t
.
c
:
d
r
op debugging
outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-13
Sven Ve
r
doolaege
isl_affin
e
_hull
.
c
:
h
ide internal drop_constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-12
Sven Ve
r
doolaege
Merge branc
h
'mai
n
t'
commit
|
commitdiff
|
tree
2016-12-12
Sv
e
n
V
erdoolaege
isl_basic_map_remove_
r
edund
a
nc
i
es: c
o
nsider const
r
ain
t
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-12
S
v
en Verdoolaege
add isl_tab_restore_redun
d
ant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-12
Sven Verdoolaege
i
sl_tab
.
c:
p
e
r
f
o
rm_undo_va
r
:
extract out
r
estore_last_redundant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-12
Sven
V
erdoolaege
isl_convex_hull
.
c: fix typo
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-07
Sven Ve
r
d
o
olae
g
e
i
s
l_schedule_tree
.
c: a
d
d missing co
p
yrig
h
t
sta
t
ement
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-07
Sve
n
V
e
rd
o
olae
g
e
trans
f
er copyright
of isl_map_coalesce
i
mp
r
ovem
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-07
Sven Verdoolae
g
e
transfer copyright o
f
lo
o
p c
o
ales
c
ing
ha
n
d
ling in sched
u
ler
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-12-02
S
ven Verdo
o
laege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2016-11-29
Sven
Verdool
a
ege
interface/pytho
n
.
cc
:
document order of
superclasses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-29
Sven Verdoolaege
is
l
_class::pri
n
t_method
_
overload: dr
o
p redundant
"su
p
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-29
Sven
V
erdoo
l
aege
extra
c
t_interfa
c
e: remove duplicate __isl_subclass
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-29
Sve
n
Verd
o
ola
e
ge
i
sl_q
p
o
lynomi
a
l
_
e
val: hand
l
e
void input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-28
Sven Ver
d
oolaege
i
s
l
_v
e
rtices
.
c:
tab_for_s
h
ifted_con
e
: allocate room
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-24
Sven Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2016-11-24
S
v
e
n
V
erdool
a
e
g
e
isl_qp
o
lynomial_set
_
d
im_name: adjust to change
of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n
Verd
o
olae
g
e
isl_polyno
m
ial
.
c: r
e
duce_divs: do not assume input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolaege
isl
_
polynomial
.
c: re
d
uce
_
di
v
s: use isl_qpo
l
y
n
omial_get
_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven
V
erdoolae
g
e
isl_polynomial
.
c
: reduce
_
divs: u
s
e isl_qp
o
lyn
o
mial_d
o
main_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoolae
g
e
isl_qpoly
n
omial_domain_dim: handle isl_dim_
d
iv an
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sve
n
Verdoolaege
i
sl
_
qpolynomi
a
l_dim: extract out isl_qpolynomial_
d
o
m
ain_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven
V
erdool
a
ege
privatel
y
a
dd
i
sl_qpolynomial_
d
omain_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sv
e
n
Verdoolaege
priva
t
e
l
y ad
d
is
l
_mat_z
e
r
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sve
n
Verdoolaege
pri
v
atel
y
add isl_mat_col_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
v
en Verd
o
o
laege
privat
e
ly
a
dd isl_
m
a
t_col_addmul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
v
en V
e
rdo
o
laege
isl_m
a
t
.
c: extract out shared check
_
col
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Verdoola
e
ge
is
l
_
test
.
c: a
d
d_cell: fix
r
eturn type
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
Sven Ver
d
o
o
laege
isl_test
.
c: set sr
c
dir
a
t
con
f
igure time
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
ve
n
Verdoola
e
ge
pip_test
.
sh
.
in: set srcd
i
r at
c
on
f
igure time
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-23
S
v
en
Ve
r
doolae
g
e
bound_te
s
t
.
sh
.
in
:
set srcd
i
r
at configure
time
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven
Verdoolaege
isl_ver
t
ices_foreach_disjoint_c
e
ll: handle saturation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Verdoolaege
isl_basic_set_tighten_o
u
tward: extract
o
ut is_i
n
ternal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-15
Sven Ve
r
dool
a
ege
isl_vertice
s
_
for
e
ach_disjoint_cell: extra
c
t out
i
sl_basic_se
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven V
e
rd
o
o
laege
mark isl_set_lifting as deprecated
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sve
n
Verdoolaege
ma
r
k isl_map_copy_basic_m
a
p and isl_map_drop_basic_map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven
V
erdoolaege
isl_map_drop_basic
_
ma
p
: extract o
u
t in
t
e
r
n
al map_
d
rop
_
basic_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2016-11-11
Sven
V
e
r
d
o
o
laege
isl_map_
c
opy_b
a
sic_map: ex
t
ract out internal map_
c
opy_basic_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next