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_parameter_compression: extend assertion
2013-03-13
Sven
Verdoolaege
isl_b
a
sic_set
_
paramet
e
r
_
compr
e
s
sion: extend asse
r
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
Sven V
e
rdool
a
e
g
e
i
s
l_m
a
p
.
c: parameter_co
m
pute_divs: check result of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
S
v
en Verdoo
l
ae
g
e
isl_arg
.
c
:
drop_argume
n
t: a
v
oid
o
ut-of-bounds a
r
ray
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-13
S
v
en Verdoola
e
ge
isl_ma
p
_gist_basi
c
_ma
p
:
avoi
d
in
v
alid
a
c
cess on
error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
isl_ast_bui
l
d_ast_from_schedule:
avoid introdu
c
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-08
Sven Verdoolae
g
e
isl_
b
asic_s
e
t_sor
t
_constrain
t
s: take
into
account all
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-03-06
Sven
V
e
r
d
o
olaege
i
s
l_ast_buil
d
_ast_from_schedule: fix unro
l
li
n
g
c
orner
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaege
isl_
b
asic_map_uncurry: add missing
i
s
l_basic_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdool
a
ege
isl_
b
asic_ma
p
_curry:
add missing isl_bas
i
c_map_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-28
Sven Verdoolaege
codegen_test
.
sh: avoid use
o
f
const
r
u
cts
n
ot supported
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-19
S
v
en
V
erdoolaege
isl_
a
st
_
codege
n
.
c: ge
n
erate_
d
omain: avoi
d
infinite
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
Sven V
e
r
doo
l
a
ege
isl
_
band_
t
ile: set parent field of the child band
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-14
S
ven Verd
o
o
lae
g
e
isl_pw_
m
ulti
_
aff_drop_di
m
s: fix d
r
oppin
g
of outpu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-05
Sven Verdoolaege
isl
_
ctx_free: p
r
operl
y
f
r
ee allocated options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2013-02-03
S
v
e
n Ve
r
d
oolaege
i
s
l
_input
.
c: accept_affine
_
factor:
dr
o
p un
e
xpected
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-27
Sven
Verd
o
olaege
interface/python
.
c
c
: add
m
issing in
c
lude
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-16
Sven V
e
rdoolaege
isl_ast_codegen
.
c: compute_class_dom
a
ins: compute gist
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-10
Sven
V
erdoola
e
ge
isl 0
.
11
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
Sven Ver
d
oola
e
ge
isl_hash_dim: make res
u
lt independent
o
f endianness
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-07
S
v
en Verdoolaege
isl_basic_map_move_d
i
ms: av
o
id in
v
alid access on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
Sven Ve
r
d
ool
a
ege
i
s
l_basic_set_expand_divs
:
avo
i
d inva
l
id access on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-04
S
v
en Verdoo
l
ae
g
e
add LI
C
ENS
E
to the distributi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
is
l
_
schedule
.
c:
add_i
n
t
e
r
_
c
onstraints: a
v
oid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
i
s
l_
s
chedule
.
c
: add_intr
a
_con
s
traints: avoid i
n
valid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
isl_tab_bas
i
c
_
s
e
t_non_neg_l
e
xmin:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-03
S
v
en Verdool
a
ege
isl 0
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_sc
h
edule
.
c: add
_
inter_va
l
idity_constraints:
a
void
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ve
r
d
oolaege
isl_ta
b
_
basic
_
set_non_trivial_lexmin: ha
n
dle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
sl_tab
.
c:
p
u
s
h_uni
o
n: h
a
ndle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n V
e
rdoola
e
ge
isl_mat_transpo
s
e: han
d
le NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
a
ege
isl_bas
i
c
_
map_for
e
ach_lexopt: av
o
id
i
n
v
alid access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
en Verdoolaege
isl_pw_*_on_shared_domain_in: avoid
d
ouble free on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
i
s
l_output
.
c: print_set_c: handle NULL in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
i
s
l_bas
i
c_
m
ap_
e
limi
n
a
t
e_vars:
a
v
o
id i
n
valid acce
s
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaeg
e
isl_map_sim
p
lify
.
c: remove_
d
ependent_vars:
handle NULL
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sv
e
n Verdoo
l
aege
i
sl_tab_pip
.
c:
sol_pop
:
avoid inv
a
lid a
c
ces
s
o
n error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_basic_map_deltas:
fix error h
a
ndling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
ven Verdoolaege
isl_a
s
t_codegen
.
c
:
g
enerate_
s
or
t
e
d
_domains: avoi
d
invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdo
o
laege
i
sl
_
test
.
c:
tes
t
_ast
:
avoid i
n
valid access on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_paramete
r
_al
i
gnmen
t
_reordering: fix error hand
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sve
n
Ve
r
d
oolaege
isl_
b
asic_map_normal
i
ze: avo
i
d
i
nvalid acces
s
o
n error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl_ma
p
.
c
:
basic_set_max
i
mal_difference_at: fix
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
ae
g
e
isl
_
conv
e
x
_
hull
.
c: map_simple_h
u
ll
:
avoid invalid acces
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
S
v
e
n Verdoolaege
isl_
a
s
t_co
d
egen
.
c: compute_domains: avoid invalid access
.
.
.
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_
i
s_empt
y
:
avoi
d
invalid
acces
s
on err
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven V
e
r
doolaege
isl_s
p
ace_extend: a
v
oid invali
d
acc
e
ss on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoo
l
ae
g
e
isl
_
map_subtra
c
t
.
c: basic_map_co
l
lect_diff
:
avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_basi
c
_
map_overlying
_
set: avo
i
d
i
n
valid acces
s
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdool
a
ege
isl_ma
p
.
c: basic
_
m
a
p
_spa
c
e_re
s
et
:
handle NUL
L
inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Ver
d
oolae
g
e
isl_basic_
s
et_swap_vars: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoola
e
ge
isl_inp
u
t
.
c: construct_constraints: respect memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_as
t
_codegen
.
c: create_n
o
de: avoid i
n
v
a
l
id access
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_
a
s
t_codegen
.
c: for_inc:
h
andle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_pw_
a
f
f
_set_
r
ational:
avoid invalid ac
c
ess on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven Verdoolaege
isl_vec_dup:
a
v
o
id invali
d
acces
s
es on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-02
Sven
V
erdoolaege
isl_map
.
c: map_intersect_int
e
rnal: properly plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoola
e
g
e
up
d
ate for change i
n
th
e
construct
o
r
o
f
t
h
e
clang
D
r
iver
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
i
s
l
_
vertice
s
.
c
: vertices_
f
rom_list: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
e
ge
isl
_
basic_s
e
t_
c
ompute_
v
ertices: plug memory
l
eak on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verd
o
olae
g
e
is
l
_test
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_test
.
c:
t
e
s
t_out
p
ut: avoid inv
a
li
d
acc
e
ss on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Verdoolaege
is
l
_test
.
c
: before_
f
or: return ear
l
y on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl
_
t
est
.
c
:
test_sample: ret
u
rn early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n
V
e
rd
o
olaege
isl_tab_pip
.
c: find_in
_
p
os: plug
m
emory
l
eak
o
n
e
rror
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
S
v
en Ver
d
o
o
la
e
ge
isl_t
a
b_p
i
p
.
c
: ad
d
_pa
r
ametric_cut: plug memory
l
ea
k
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_tab_pip
.
c: sol_push_
s
ol: p
l
ug memory leak o
n
e
r
ro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
isl_space_dup: avoid invalid accesse
s
o
n error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolaege
is
l
_schedule
.
c: add_*_co
n
stra
i
nts: avoid
i
nva
l
i
d
a
c
cesses
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
ege
isl_reordering_exten
d
_space: fi
x
e
rror
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
V
erdoolaege
isl_multi_*_r
e
align_
d
omain: plug
memo
r
y
l
ea
k
o
n
e
r
ro
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoola
e
ge
isl_map_subtract
.
c: map_is_subset: fix error
handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdool
a
ege
isl_map
.
c: u
p
da
t
e
_
di
m
_opt: return early on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sv
e
n Verdoolaege
isl_basic_map_underlying_set:
plug memory
l
eak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven
Verdoolaege
isl_
m
ap
.
c
:
m
a
p
_intersect_i
n
t
e
rnal: plug memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-12-01
Sven Verdoolae
g
e
isl_ast_build_init_de
r
ived: check bui
l
d->
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdool
a
e
g
e
isl_inpu
t
.
c: read_aff_doma
i
n: remo
v
e spuriou
s
var
s
_
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolae
g
e
isl_inp
u
t
.
c:
r
e
a
d_ma
p
_tuple: return ea
r
l
y on error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_in
p
ut
.
c: acce
p
t_affine_list:
p
lug memory l
e
a
k
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
i
sl_affine_hull
.
c: equalities_in_
u
nd
e
rlying_set: plug
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_
t
ab_dete
c
t_equa
l
ities
:
plug mem
o
ry leak on
err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven Verdoolaege
isl_as
t
_codegen
.
c: after_
e
ach_for: add mi
s
sin
g
ret
u
rn
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-30
Sven
V
erdo
o
la
e
ge
reintroduce is
l
_
b
asic_set_
a
dd sym
b
ol
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
add isl
_
union_map_uncurry
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-24
Sven Ver
d
oola
e
ge
conf
i
gure
.
ac: check if
Target
I
nfo::C
r
eateTa
r
ge
t
Info
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-23
Sven Ve
r
doo
l
aege
in
t
e
rface/
e
xtract_interfa
c
e
.
cc: t
a
ke TargetOptions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verdoolaege
AST
p
rinting cal
l
ba
c
ks: pass isl_ast_
p
rint_opti
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-22
Sven Verd
o
o
laege
doc:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-21
Sven Verdoolaege
add
b
efore_each_for/aft
e
r_each_for callbacks
commit
|
commitdiff
|
tree
2012-11-21
Sv
e
n Verdool
a
ege
isl_ast_build_from_context: al
l
ow unna
m
ed set dimensions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_b
a
sic_map_gist: d
r
op irrelevant constraints from
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
is
l
_m
a
p
_simplify
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
d
oolaege
isl_ast
_
build_
e
l
i
m
i
nate_divs: remove unknown
d
ivs bef
o
r
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verdo
o
laege
i
s
l_affine_h
u
ll
.
c: affine_hull_with_
c
one: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
oolaege
chang
e
prototype of isl
_
f
a
ctorize
r
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verdool
a
e
ge
isl
_
tab_sample: perform greedy
s
ea
r
ch before perf
o
r
m
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
Verdoolaege
i
s
l_ta
b
_sam
p
le: extract
o
ut compute_min and comp
u
te_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_s
a
mp
l
e:
t
reat empti
n
ess of
t
ableau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdool
a
ege
AST generation: fix
h
andling of separation cla
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolae
g
e
isl_p
r
i
n
t
er_print_{basic_,}{se
t
,map}: don't
s
ta
r
t n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdoola
e
ge
isl_p
r
inter_pri
n
t_space:
s
uppor
t
prin
t
ing in "
o
mega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next