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
aege
isl_basi
c
_se
t
_s
o
r
t_constrai
n
ts: take into accoun
t
a
l
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-06
Sven Verdoolaege
isl_ast_bui
l
d_ast_from_sched
u
le: fix
u
nro
l
ling corne
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoo
l
aege
isl_bas
i
c
_
map_
u
n
curry: a
d
d
m
issing isl_basic_map
_
cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Ve
r
dool
a
ege
i
s
l_basic_
m
ap
_
curry
:
a
d
d mi
s
s
ing isl_basic_map_c
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdool
a
ege
c
odegen_test
.
s
h: avoid use of
c
onst
r
ucts not s
u
p
port
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
Sven V
e
rd
o
olaege
i
sl
_
a
s
t_co
d
e
gen
.
c: generate_
d
om
a
in:
a
vo
i
d infinite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoo
l
aege
isl_b
a
nd_tile:
se
t
pare
n
t fiel
d
of the ch
i
ld
b
an
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sv
e
n Verdoolaege
i
sl_pw_multi_aff_drop_dims: fix
d
rop
p
ing of o
u
tput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven
V
erdool
a
e
ge
isl_ctx_
f
r
e
e: pro
p
er
l
y fre
e
allo
c
ated optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
Sv
e
n Verdoolaeg
e
isl_
i
n
pu
t
.
c
:
accep
t
_affine_factor: drop u
n
e
xpected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sven Verd
o
olaeg
e
i
nterface/pyt
h
on
.
cc:
add mis
s
ing include
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
Sven Verdoolaege
isl_ast_codege
n
.
c: compute_cl
a
ss_domain
s
: compu
t
e gist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven
V
erdo
o
laege
i
s
l 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verdoolaege
i
s
l_has
h
_dim:
m
ake result in
d
e
p
ende
n
t of endiann
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Ve
r
doolaege
isl_basic
_
ma
p
_
move_dims: avoid invalid
a
ccess on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven
Verdoolaege
isl_b
a
sic
_
set_ex
p
and_d
i
vs:
a
void inva
l
id ac
c
es
s
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven
V
erdoolaege
a
d
d LICENSE
t
o
t
he d
i
stribution
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Verd
o
olaege
isl_schedule
.
c: add
_
i
nter_
c
onstraints:
a
vo
i
d
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
is
l
_schedule
.
c
: add_
i
ntra_constraint
s
: avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoolaege
isl_t
a
b_b
a
sic_set_non_neg_
l
exmin: ha
n
dle
N
U
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven V
e
rdoo
l
aege
isl 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
i
s
l_schedule
.
c: add_inter_v
a
lidity_constr
a
ints: avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
o
ol
a
e
g
e
i
s
l_tab_basic_set_non_tri
v
ial_lex
m
in:
h
a
ndle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
eg
e
isl_tab
.
c: push_union: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_mat
_
trans
p
o
se
:
handle N
U
LL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoo
l
aege
isl_basic_ma
p
_foreach_l
e
xopt:
avoid inval
i
d access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoolaeg
e
i
sl_p
w
_*_on_shared_dom
a
in_in: avoid d
o
ub
l
e free
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_outp
u
t
.
c: print
_
set_c: handle NUL
L
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
isl
_
basic
_
map
_
e
l
iminate_vars: avoid invalid a
c
c
ess
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaeg
e
isl_map_simplify
.
c: remove_de
p
e
nden
t
_v
a
rs: handle N
U
LL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdo
o
laeg
e
is
l
_tab_pip
.
c
: sol
_
pop: av
o
id invalid access o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_ba
s
ic_map
_
de
l
ta
s
:
f
i
x
error
ha
n
dling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
e
g
e
i
s
l_ast_codegen
.
c: generate_sor
t
ed_domains: avoid i
n
v
a
lid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
isl_test
.
c: tes
t
_ast: a
v
oid invalid acc
e
ss on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
doo
l
aege
isl_pa
r
amete
r
_alig
n
ment_reorderin
g
: fix error
handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl_basic_map_norm
a
l
ize: avoid
invalid access o
n
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en
V
erdoolaege
isl_map
.
c
: basi
c
_set_maximal_differ
e
nce
_
at: fix error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_c
o
nvex_hull
.
c:
m
ap_simple_hull: avoid
i
n
v
a
l
id
a
cce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolae
g
e
isl_ast_codegen
.
c
:
compute_domains: avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
i
sl_basic_m
a
p
_
is
_
empty: avoid invalid acce
s
s on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_spa
c
e_extend: avoi
d
invali
d
ac
c
ess on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_map_su
b
tract
.
c:
b
a
s
ic_map_
c
oll
e
c
t
_diff: a
v
oid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n V
e
rdoolaege
isl_basic_map_overlying_set: avo
i
d
i
n
valid access on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
is
l
_map
.
c
:
b
asic_m
a
p_space_reset: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
isl_bas
i
c_set_sw
a
p_vars: handle NU
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl
_
in
p
u
t
.
c: con
s
truct_co
n
straints: respe
c
t memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_ast_codegen
.
c: create
_
node:
avoid invalid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Ve
r
doolaege
i
s
l_
a
st_codegen
.
c
:
for_inc: handle NULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
Verdoolaege
isl_pw_aff_set_
r
ational: avoid inva
l
id
a
ccess on e
r
r
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_vec_dup: avoi
d
invalid
acces
s
es on e
r
ror
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en
V
e
r
doolaege
isl_map
.
c: map_intersect_int
e
rnal: properly
p
lug me
m
ory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
u
p
date for change in
t
he constr
u
ctor of
the clang Dri
v
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
doolaege
i
s
l_vertices
.
c: vert
i
ces_
f
rom_list: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolae
g
e
isl_basic_set_co
m
p
u
t
e
_vertice
s
: plug
memory l
e
ak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoolaege
isl_
t
est
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
d
o
olaeg
e
isl_t
e
s
t
.
c: test_
o
utput:
a
voi
d
invalid access on
e
rro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n
Verdoolaege
isl_test
.
c: b
e
fore_f
o
r: return
e
arly on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ven
Ver
d
oolaege
isl_test
.
c
:
test_sample:
return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
i
sl_tab_pip
.
c:
find_in_pos:
pl
u
g memo
r
y leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Ve
r
doolae
g
e
isl_tab_
p
ip
.
c: a
d
d_param
e
tric_cut:
p
lu
g
me
m
or
y
leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
is
l
_tab_pip
.
c: sol_push_sol: plug
memo
r
y le
a
k on
e
rr
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdo
o
laege
isl
_
space_d
u
p:
a
void
invalid acces
s
e
s
on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven V
e
rdoola
e
ge
isl_s
c
h
edu
l
e
.
c: add_
*
_cons
t
raints:
avoid
inval
i
d accesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Ve
r
d
oola
e
g
e
isl_re
o
r
d
er
i
ng
_
exten
d
_spa
c
e: fix error
hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
ve
n
Ver
d
oolaege
isl
_
m
ult
i
_
*_r
e
al
i
gn_domain: plug m
e
mo
r
y leak
o
n
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
i
sl_map_subt
r
act
.
c: ma
p
_is
_
s
u
bset: fix err
o
r handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
is
l
_map
.
c: update
_
d
i
m_opt: return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n
Verd
o
ola
e
g
e
is
l
_basic_map_underlying_set: p
l
ug
memo
r
y leak
o
n
err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
isl_ma
p
.
c: map_interse
c
t_inte
r
nal: plug mem
o
ry leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Ve
r
doolaege
isl_ast_build_i
n
i
t
_
d
erived: check buil
d
-
>
domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_inp
u
t
.
c: read_aff_domain: remove
spurious vars_free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
ven Verdoolaege
isl_i
n
p
ut
.
c: r
e
ad_
m
ap_t
u
p
le:
r
eturn
ear
l
y on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
V
er
d
o
olaege
isl_input
.
c:
accept_affine_list: plug
memory leak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
S
v
en Verdo
o
laege
isl_affine
_
hull
.
c: equalit
i
es_
i
n_underlying_se
t
:
p
lug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Ver
d
oolaege
isl_tab_d
e
tect_equaliti
e
s: plug m
e
mory le
a
k on erro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
Ve
r
doolae
g
e
i
s
l
_
a
st_codegen
.
c
: after_ea
c
h
_for
:
add miss
i
ng re
t
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoo
l
ae
g
e
reintroduc
e
i
s
l_basic_set_
a
d
d symbol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
add
i
sl_union_ma
p
_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdo
o
la
e
ge
con
f
igure
.
ac: ch
e
ck
if
T
arg
e
tInfo::CreateTargetInfo
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
Sv
e
n Verdoolae
g
e
in
t
erface
/
extract
_
interface
.
cc: take Tar
g
etOptions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven
V
erdoolaege
A
S
T
printing callbacks: pass isl_a
s
t_print_optio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven
V
er
d
oolaege
doc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoolaege
a
d
d
b
e
fo
r
e_each_for/after_
e
ach_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Verd
o
olaeg
e
isl_ast_build_
f
r
o
m_context: allow unnamed s
e
t dim
e
nsio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaege
isl_
b
asic
_
map
_
gist:
d
rop irrelev
a
nt constraints from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verd
o
o
l
aeg
e
isl
_
map_simplify
.
c: fix typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdoolaege
is
l
_
a
st_buil
d
_eliminate
_
divs:
r
e
move unkno
w
n div
s
b
e
fo
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_affine_hu
l
l
.
c
:
a
ffi
n
e_hul
l
_with_cone
:
plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdo
o
l
aege
chang
e
prototype of isl_factor
i
zer
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
e
n
Verdoolaege
i
s
l_tab_sample: perform greedy search bef
o
re p
e
rf
o
r
m
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
d
o
o
l
aege
isl
_
tab_samp
l
e
:
extract out
compute_min and compute_m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaege
i
s
l
_t
a
b_s
a
mpl
e
: tre
a
t empt
i
ness of tableau a
s
err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
S
ven Verdoolaege
AS
T
gener
a
tion: fix ha
n
dli
n
g of separation
cla
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdool
a
ege
isl_
p
rin
t
er_print_
{
basic_,
}
{set,map}: don't s
t
art new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdool
a
ege
i
sl_pr
i
nter_print_space: support pri
n
t
ing in
"omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolaege
rename isl_basic_set_add to isl_b
a
sic_set_a
d
d_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdo
o
l
aege
isl_aff_normalize: plug in divs wit
h
unit co
e
f
ficien
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
V
e
r
doolaeg
e
i
sl_
l
ocal
_
space
_
s
ubstitute_
s
eq: take
argument for
t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoolaege
i
s
l_aff
_
flo
o
r: no
r
malize
r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_
c
e
il: compute ceil(e/m) as
f
loor((e + m
- 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
