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
Sv
e
n Verdoolae
g
e
isl_basic_se
t
_sort
_
constraints: ta
k
e into
a
c
count al
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-06
S
v
en
V
erdoolaege
i
sl_ast_build_ast_from_schedule: fix unroll
i
n
g
corner
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaege
isl_basic_
m
ap
_
un
c
ur
r
y: add missin
g
isl_basic_
m
ap_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaege
isl_basic_ma
p
_
c
urry: add missing isl_basic
_
map_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoola
e
ge
codegen
_
t
es
t
.
sh: avoid us
e
of co
n
s
tru
c
ts n
o
t su
p
ported
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-19
Sven Ve
r
d
oolaege
i
s
l_ast_codegen
.
c:
generate_do
m
ain
:
avoid infinite
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-14
Sv
e
n Verdoolaege
isl_ban
d
_tile: set pa
r
ent
f
ield of the child ba
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-14
Sven Verdoola
e
g
e
isl_pw_multi_aff_drop_d
i
ms: fix dropp
i
ng of o
u
tput
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-05
S
v
en Verdoolaege
isl_ct
x
_free
:
properly
fr
e
e allocated options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
S
ven Verd
o
o
laege
isl_inpu
t
.
c: accept_affine_factor: drop un
e
xpec
t
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-27
Sven Verdoolaege
i
n
terface/python
.
cc: add
m
iss
i
ng inclu
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-16
S
v
en Ve
r
doo
l
aege
isl_
a
st_codegen
.
c:
compute_class_domains:
compute gist
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sven Verdoola
e
ge
isl 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Verd
o
olaege
isl_hash
_
dim
:
m
a
ke resu
l
t independent of end
i
an
n
ess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-07
Sven Ve
r
doolae
g
e
isl_basic_map_move_d
i
ms: av
o
id invalid access on err
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven Verdool
a
ege
isl
_
basic_s
e
t
_
expand_di
v
s:
a
void invalid access on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-04
Sven Verdoo
l
ae
g
e
add LICENSE to the distribution
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
i
s
l_
s
c
h
edule
.
c
:
add_inter_constraints: a
v
o
i
d inv
a
lid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verd
o
olae
g
e
isl_s
c
hedule
.
c:
add_i
n
tra_
c
onst
r
a
ints
:
a
v
oi
d
in
v
alid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven
V
e
r
doolae
g
e
isl_tab_basi
c
_
set_non
_
neg_lexmin: handle
N
ULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl 0
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
oolaege
i
s
l_schedule
.
c
:
add_in
t
e
r
_
vali
d
ity_co
n
strain
t
s: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
aege
i
sl_
t
ab_ba
s
ic_set_non_trivial_lexmin:
handle NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
o
olaege
isl_tab
.
c
:
p
ush_uni
o
n: handle
N
ULL
i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
a
ege
isl_mat_
t
ranspose: handle NUL
L
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
l
a
ege
isl_
b
a
s
ic_
m
ap_foreach_
l
exopt: a
v
o
id invali
d
access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_p
w
_*_on_
s
hared_
d
omain_in:
avoid
double free on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
l
a
ege
isl_outp
u
t
.
c: pr
i
nt_se
t
_c: hand
l
e NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
isl_basic_
m
ap_eliminate_vars:
a
v
oid inval
i
d access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdool
a
e
ge
isl_map_simplify
.
c: remove_dependent_vars: han
d
l
e NULL
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoolaege
isl_t
a
b
_
pip
.
c: sol_pop: avoi
d
invalid acces
s
on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
i
sl_bas
i
c
_
map
_
deltas: fix err
o
r
handl
i
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n
V
erdoolaege
isl_ast_codegen
.
c: g
e
n
e
rate_sorted_domai
n
s: avo
i
d inval
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verd
o
o
l
aege
i
s
l_
t
e
s
t
.
c
: test_ast: avoid inval
i
d acces
s
on er
r
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
o
o
laeg
e
isl_parameter_
a
lign
m
e
n
t_re
o
rdering: fix error hand
l
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolae
g
e
i
s
l_
b
asic_map_normal
i
ze: av
o
i
d
invalid access on e
r
ror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
S
ve
n
Verdoolaege
isl_map
.
c
:
basic_set_maximal_d
i
fference_a
t
: fix
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n
Verd
o
olaege
isl_c
o
n
v
ex_h
u
l
l
.
c
: map_simple_hull: avoi
d
i
nvalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_ast_codegen
.
c: co
m
pute_domains: av
o
id invalid acces
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verd
o
olaege
isl_ba
s
ic_map_
i
s
_empty: avoid
i
n
vali
d
access on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
rdoolaege
isl_space
_
ex
t
e
nd: avoid
inva
l
id access on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolae
g
e
is
l
_
m
ap_su
b
tract
.
c: basic_map_
c
ollec
t
_d
i
ff: avoid
i
nvalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaeg
e
i
s
l
_basi
c
_map_overlying_set
:
avo
i
d inval
i
d
a
cc
e
ss o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
V
e
rdool
a
e
ge
i
s
l_
m
ap
.
c
: b
a
sic_map_spac
e
_rese
t
: han
d
le NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_
b
asic_set
_
swa
p
_vars
:
ha
n
d
le N
U
LL
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaeg
e
isl_
i
nput
.
c: c
o
nstruct_constr
a
int
s
:
r
espect memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Verdoolaege
isl_ast_codeg
e
n
.
c: create_node:
a
void invalid access
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
is
l
_ast_codegen
.
c
:
for_i
n
c: handle
N
ULL in
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Ver
d
oolae
g
e
isl_pw_af
f
_set_rational: avoid invalid
a
ccess on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_v
e
c_dup: avoid invalid
a
cc
e
sses on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoo
l
ae
g
e
is
l
_map
.
c: map_inter
s
e
ct_i
n
ternal:
p
roperly plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoola
e
ge
update
for change
in the
c
onstructor of the clang
D
river
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
isl_vertices
.
c: vertices_from_
l
ist: p
l
ug
m
emory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
V
erdoola
e
ge
isl_basic
_
set
_
compu
t
e_ve
r
t
ices:
plug m
e
mory
l
eak
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n Verdoolaege
is
l
_test
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_
t
est
.
c: te
s
t_output: avoid invalid access o
n
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoo
l
aege
i
sl
_
test
.
c: before_for: ret
u
rn early on erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
e
r
doolaege
is
l
_test
.
c: tes
t
_sampl
e
: re
t
urn early on
error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
ven Verdoolaege
i
s
l
_tab_pip
.
c
:
find
_
in_p
o
s: plug memory leak
o
n
error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoolae
g
e
isl_tab_p
i
p
.
c: add_parametric_cut: plug memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
is
l
_tab_pip
.
c:
s
ol
_
pu
s
h_s
o
l
: plu
g
memory le
a
k
o
n error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_space_dup: avoid invalid accesses on
e
rror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
e
n Ver
d
o
ola
e
ge
isl_sc
h
edule
.
c
:
ad
d
_
*
_constraints: avoid inva
l
id a
c
cesses
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
i
s
l
_reor
d
erin
g
_
ex
t
e
n
d
_
s
p
ace: fix error
handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
ol
a
e
ge
is
l
_
m
u
lti_*_realig
n
_
d
om
a
i
n:
p
lug
m
emory l
e
ak on err
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
i
sl_map_s
u
btract
.
c: map_is
_
sub
s
e
t
: fix error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Ve
r
doo
l
aeg
e
isl_map
.
c: update_dim_o
p
t
: ret
u
r
n
early on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaeg
e
isl_basic_map_
u
nd
e
rlying_set: plug memo
r
y
leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
isl_m
a
p
.
c:
m
ap_i
n
ter
s
ect_internal: plug memory leak
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-01
Sve
n
Verdoolaege
isl_
a
s
t_build_i
n
it
_
d
e
rived: che
c
k b
u
ild->d
o
m
ai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_input
.
c: r
e
a
d_
a
ff_
d
omain:
r
e
mov
e
spurio
u
s vars_f
r
e
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sve
n
Verdoolaege
isl_input
.
c: read_map_tu
p
l
e
:
retu
r
n ea
r
ly on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_input
.
c:
accept_affine_list: plug mem
o
ry leak
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
S
ven Ve
r
doolaege
isl_affi
n
e_hull
.
c: equalities_
i
n
_und
e
rly
i
ng_set: p
l
u
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdo
o
laeg
e
isl_tab_detect_equa
l
ities:
p
lug
m
emory leak on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdo
o
l
aege
isl_
a
st_codegen
.
c
:
after_each_for: add missing return
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdo
o
laege
rein
t
roduce
i
sl_basi
c
_set_a
d
d s
y
m
b
ol
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
S
v
en Verdoolaege
add isl_uni
o
n_map_uncurry
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sv
e
n Verdoola
e
ge
confi
g
ur
e
.
ac: check if Ta
r
getInf
o
::Cre
a
teTar
g
etInfo
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-23
Sven Verd
o
olaege
interface/extract_
i
nterface
.
c
c: take Ta
r
g
etOptions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sven V
e
rdoo
l
aege
AST printing
callbacks: pass isl_ast_print_
o
ptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-22
Sv
e
n
V
e
rdoolaege
do
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-21
S
v
e
n Verd
o
olaege
add be
f
ore_each_for/af
t
er_
e
ach_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdool
a
ege
isl_ast_build_from_context
:
allow
u
nnamed set dime
n
sions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
oolaege
isl_basic_map_gi
s
t: dro
p
ir
r
elevant co
n
strain
t
s from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
ge
isl_map_simplify
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verdoolaeg
e
isl_ast_build_eliminate_divs: remove
unk
n
own divs be
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoolaege
i
sl_affine
_
h
ull
.
c
: affine_hull_with
_
cone: plug memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
ve
n
Verdoolaeg
e
change prototype o
f
isl_factorizer_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
aege
i
sl_tab_sample: p
e
r
form greedy search before performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
a
e
ge
i
s
l_
t
ab_sam
p
le:
e
x
t
ract o
u
t
c
o
m
p
u
te_min
and c
o
mpute_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
o
ol
a
ege
i
sl_tab_sample
:
treat emptiness
o
f tableau as e
r
ror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdoolaege
AST gener
a
tion: fix handli
n
g of separation classe
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
e
n
Verdoolaege
i
s
l_printer_pri
n
t_{
b
a
s
i
c_,}{set
,
map}:
don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
i
sl_printer
_
print_
s
pace: supp
o
rt
p
rinting in "ome
g
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdo
o
laege
ren
a
m
e
isl
_
basic
_
set_add
to isl_b
a
sic_set_add_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
isl_aff_normalize: plug i
n
divs with unit coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doo
l
aeg
e
is
l
_local_
s
p
ace_su
b
stitute_seq: t
a
k
e
argum
e
n
t for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
v
e
n Verdoolae
g
e
isl_aff_flo
o
r: no
r
malize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaeg
e
isl_aff_ceil
:
compute
c
e
i
l
(
e/m
)
as floor((e +
m
- 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next