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_basic_set_sort_constraints: take into account all coefficients
2013-03-08
Sven Verdoo
l
a
eg
e
isl_basic_set_sort_constrai
n
ts: take
into account
a
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-06
Sven
Verdoolaege
isl
_
a
s
t_bu
i
l
d_ast_fr
o
m_
s
chedu
l
e
: fix unrolling corner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven
V
er
d
oolaege
isl_b
a
sic
_
map_uncurry:
a
dd missing isl_basic_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Ver
d
o
olaege
i
sl_basic
_
map_curry
:
add missing isl_basic_
m
ap_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sv
e
n Verdoolaege
codegen_test
.
sh: avoid us
e
of constructs
n
ot supporte
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
S
v
en
Verdool
a
ege
isl_ast_code
g
en
.
c:
g
enerat
e
_domain: a
v
oid
i
nfinite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoolaege
isl_band_tile:
s
et
p
arent
f
ield of the
child band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoolaege
isl_pw_multi_aff_drop_di
m
s: fix dropp
i
ng of ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven
Verdoolaege
isl_c
t
x_f
r
ee: properly f
r
ee allocate
d
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
en
Verdoolae
g
e
is
l
_in
p
u
t
.
c: accept_affine_
f
a
c
to
r
:
drop unexpected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
S
ven Verdoolaeg
e
interface/python
.
cc: add mi
s
sing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
S
ven Ver
d
oolaege
i
s
l_
a
st_codegen
.
c: compute_cl
a
ss_dom
a
ins: compute gist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoo
l
a
e
g
e
i
sl 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
S
v
en
V
erdoolaege
isl_hash_dim: make
r
esu
l
t independen
t
o
f endianness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sve
n
V
e
rdoola
e
ge
isl_b
a
sic_map_move_dims:
avoid
invalid
ac
c
ess on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sv
e
n Verdoolaeg
e
isl_basic_
s
e
t
_e
x
p
a
n
d
_
divs: avoid invalid ac
c
ess on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven Verdo
o
laege
add LICENSE to the
d
istri
b
u
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven
Verdoola
e
ge
isl_schedule
.
c: add_inter_constraints: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Ve
r
doola
e
ge
isl_sche
d
u
l
e
.
c
:
add_intra_constrai
n
ts:
avoid
invali
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl_tab
_
basic_set_non_neg_l
e
xmin: handle NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
isl 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olaege
isl_sch
e
dule
.
c
:
add_in
t
er_valid
i
ty_constrai
n
ts
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdool
a
ege
isl_tab_basic_set_non_tri
v
ial_lexmin: ha
n
d
l
e
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Ve
r
dool
a
ege
is
l
_tab
.
c: push_union:
handle NULL
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
ool
a
ege
isl_m
a
t_tr
a
nsp
o
se: h
a
ndle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolae
g
e
isl_b
a
sic_map_foreach_lexopt:
a
v
o
id invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doolaege
is
l
_pw_*_o
n
_s
h
a
red_doma
i
n_
i
n: avoid double fr
e
e on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
e
r
doolaege
i
s
l
_outp
u
t
.
c:
print_set_c: handle NU
L
L inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoola
e
ge
isl
_
basic_map_eliminate_
v
ars
:
a
v
o
i
d inval
i
d ac
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoolaeg
e
isl_map_simplify
.
c: remove_de
p
en
d
ent_vars: handle NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n Verdoolaege
isl_tab_p
i
p
.
c
: sol_pop: a
v
o
id invali
d
access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_basic_map_deltas: fi
x
e
r
r
or h
a
ndl
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
ol
a
eg
e
isl_ast_co
d
e
g
e
n
.
c: gener
a
te_sorted_d
o
mains:
a
void i
n
valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoolae
g
e
is
l
_tes
t
.
c: test_ast: a
v
oid invalid
a
cc
e
ss on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
i
sl_
p
arameter_alignment
_
re
o
rdering:
fix error h
a
ndli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_
b
a
s
ic_map_normalize:
a
void
invalid
a
ccess on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
olaege
isl_m
a
p
.
c
:
basic_s
e
t_maxima
l
_dif
f
e
rence
_
at:
f
i
x
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doola
e
ge
isl_convex
_
hull
.
c:
map_si
m
p
l
e
_
h
u
ll: avoid
invalid
access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
isl_as
t
_codegen
.
c:
c
ompute_domains: avo
i
d
invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_basic_map_is_empty: avoid
i
nval
i
d access on
e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_space_extend: avoid
invalid access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoolae
g
e
i
sl
_
map_s
u
btract
.
c:
b
asic_map_co
l
l
ect_diff
:
avoid inv
a
lid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
is
l
_basic
_
map
_
overlying_
s
e
t: a
v
oid
invalid acce
s
s on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_map
.
c:
b
asic_map_space_reset: handle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
V
e
r
doolaege
i
s
l_
b
asi
c
_
set_s
w
a
p_vars: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl_input
.
c: construct_
c
onstraints: respect memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
i
s
l_ast_codege
n
.
c: create_nod
e
: avoid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
r
doolaege
isl_ast_codegen
.
c: for_inc
:
ha
n
dle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
Verdoolaege
isl_pw_aff_set_
r
ationa
l
: avoid invalid
access on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl
_
vec_dup: avoid invalid accesses on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
isl_m
a
p
.
c: map_int
e
rsec
t
_
internal: properly pl
u
g m
e
mory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
u
pdate for
c
hange in the constructor of t
h
e clang Drive
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolae
g
e
isl_vert
i
ces
.
c: verti
c
es_fr
o
m_list
:
plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_basic_set_
c
o
mpute_vertices: plug me
m
ory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
d
oolaege
isl_test
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ver
d
oolaege
i
sl_test
.
c
:
t
est_output: avoid
i
nvalid access
o
n
er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n Verdoolaege
isl_test
.
c:
before_for:
r
eturn early
o
n error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ve
n
Verdoo
l
aege
i
sl_
t
es
t
.
c: te
s
t_sa
m
ple: return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoolaege
i
s
l
_
tab_pip
.
c
:
find_in_pos:
pl
u
g memory leak
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoola
e
ge
isl_tab_
p
ip
.
c: a
d
d
_
parametric_cut:
p
lug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
d
o
olaege
isl_tab_p
i
p
.
c: sol_push_sol: plug memory leak on
er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aeg
e
i
s
l_space_dup: avo
i
d inva
l
id accesse
s
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verdo
o
l
aege
isl_schedule
.
c:
a
d
d_*_c
o
nstraint
s
: avo
i
d invalid
ac
c
esses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdool
a
e
g
e
i
sl_
r
e
orde
r
ing_extend_space: fix error han
d
ling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verd
o
ol
a
ege
isl_m
u
l
t
i_
*
_
realign_dom
a
i
n: plug memory leak o
n
e
r
ror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
i
s
l_map_s
u
btract
.
c
:
m
a
p_
i
s_
s
u
bs
e
t
: fix error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ve
n
Verd
o
o
l
a
ege
i
sl_map
.
c: u
p
dat
e
_dim_
o
p
t
:
r
etu
r
n early on
e
rror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
dool
a
ege
isl_
b
asi
c
_map_underlying_set: plug mem
o
r
y
le
a
k on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rdoola
e
ge
isl_
m
a
p
.
c: map_intersect_internal: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
i
s
l_ast_build_init_d
e
rived: c
h
eck build->domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verd
o
o
l
a
ege
isl
_
inp
u
t
.
c:
r
ead_aff_domain: remove spurious vars_free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_input
.
c
: re
a
d_m
a
p
_
tuple: return ea
r
ly on er
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sve
n
Verdoolaeg
e
is
l
_in
p
ut
.
c: accept_affine_list: plug memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoo
l
aege
isl_affine_hull
.
c:
e
q
u
a
l
ities_in_underl
y
ing_se
t
: plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sve
n
Verdoolaege
isl_tab_det
e
ct_equalities: plug memor
y
l
e
ak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
Verdo
o
laeg
e
i
sl
_
as
t
_
c
odegen
.
c:
after_e
a
ch_fo
r
: a
d
d
m
i
ssing return
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
reintroduce i
s
l_basic_s
e
t_add s
y
mbol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
add isl_union_m
a
p_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven
V
er
d
oolaege
c
onfigure
.
ac
:
chec
k
if Targ
e
tInfo::CreateTa
r
getInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
Sven Verdoolae
g
e
interface/
e
x
tract_int
e
r
f
ace
.
cc:
t
a
k
e Tar
g
etOptions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
A
ST
p
rintin
g
call
b
acks: pa
s
s isl
_
as
t
_p
r
i
nt
_
o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven
V
e
r
doolaege
add b
e
fore_each_for/after_each_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Ver
d
ool
a
ege
isl_ast_build_from_
c
onte
x
t: allo
w
unn
a
med set dim
e
ns
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Ve
r
d
ool
a
e
ge
i
sl_basic_map_gist:
d
r
op irrelevant co
n
st
r
ain
t
s from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Ve
r
doolae
g
e
isl_map_simp
l
ify
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
oolaege
i
s
l
_a
s
t_build_eliminate_di
v
s: rem
o
ve unknown d
i
vs
b
e
f
ore
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaeg
e
isl_affin
e
_
h
ull
.
c:
a
ffine_hull_with_cone:
p
l
ug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdoolaege
change prototype of is
l
_fac
t
orizer_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdool
a
ege
isl_t
a
b_sample: perform g
r
eedy
search before perfor
m
in
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
erdoo
l
aege
i
s
l
_tab_samp
l
e:
e
xtract out comp
u
te_min and compu
t
e
_
m
ax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
aege
isl_t
a
b
_sample: treat emptiness o
f
tableau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdool
a
ege
AST generation: fix handling o
f
separation class
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
i
s
l_printer_print_{basic_,}{s
e
t,
m
a
p}: don't star
t
n
ew
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
isl_printer_print_space: sup
p
ort p
r
inting in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Ve
r
doolaege
r
ename is
l
_basi
c
_set_add to isl_b
a
sic_
s
et_add_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaeg
e
isl_aff_
n
ormaliz
e
: plug
i
n d
i
v
s
wit
h
unit coef
f
icient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoolaege
isl_
l
ocal
_
space_substitut
e
_seq:
tak
e
argument for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_floor
:
n
ormalize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doolaege
isl_aff_ceil: compute ceil(e/m) as f
l
o
or((e + m
- 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next