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
change prototype of isl_factorizer_dump
2012-11-20
Sve
n
Ve
r
doolaege
c
h
ange prototype of isl_f
a
cto
r
izer_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoo
l
aege
isl_t
a
b_sampl
e
:
perform
greedy s
e
arch before perfo
r
m
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
e
rdoolaege
i
sl_tab_s
a
mple: ex
t
r
a
ct out compu
t
e
_
min
a
nd c
o
mpute_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolae
g
e
i
s
l
_
t
a
b_sa
m
ple: treat emptines
s
of table
a
u
a
s error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
S
v
en
V
erdoolaege
AST gene
r
ation: fix ha
n
d
lin
g
of separati
o
n class
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
isl_pri
n
ter_print_{basic_,}{
s
et,map}: don't
s
tart new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_prin
t
er_print_sp
a
ce: support printing in
"omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
rename isl_basic_set_add to isl_basic_
s
et_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
ae
g
e
isl_aff_normalize: plug in divs with un
i
t
coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_local_sp
a
ce
_
sub
s
ti
t
ute_seq:
t
a
ke
a
rgume
n
t
f
or the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
do
o
laege
isl_
a
ff_floo
r
: n
o
rmalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
e
n
V
erdo
o
laege
isl_aff_c
e
il: com
p
u
te ceil(e/m)
as flo
o
r((e + m -
1
)
/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sve
n
Ve
r
d
oolaege
isl_
a
f
f_gist: a
d
d missing i
s
l_vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verd
o
olaege
i
sl_union_set_comp
u
te_s
c
hedule: double chec
k
that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sv
e
n Verdo
o
laege
isl_un
i
on_set_co
m
p
ute_
s
ched
u
le: ensure c
a
rr
y
_depende
n
ce
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven
V
e
rdoolaege
update for change in c
l
ang's DiagnosticOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sve
n
Verdoola
e
ge
isl_
m
ap_pl
a
in_is
_
disjo
i
n
t: ha
n
d
l
e inp
u
ts with different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add RE
A
D
ME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
And
r
eas
K
l
o
eck
n
er
Intr
o
duce isl_int_fre
e
_s
t
r to remove GMP dependency
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdo
o
laege
isl_union_set_compute_schedul
e
: handle r
e
sult w
i
th
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven
V
erdoolaege
isl_ast_codegen
.
c: gener
a
te_dom
a
in: postpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven
Verdo
o
laege
isl_ast_build_ast
_
from_schedu
l
e: make c
o
ns
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdoo
l
aege
isl_ast_buil
d
_ast_fr
o
m_
s
c
h
edule: use
"
<
"
if upper
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoo
l
aege
isl_ast_expr: ad
d
isl_ast_op_lt and i
s
l_ast_op_gt op
e
rati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n
V
e
r
do
o
laege
add
i
s
l_basic_s
e
t_
f
rom_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n
V
erd
o
olaege
isl_ast_ex
p
r_from
_
aff:
t
r
y ha
r
der t
o
u
s
e
i
sl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_expr
.
c: separat
e
ou
t
extr
a
ct_
m
o
d
ulo f
u
nction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
e
n
Ve
r
doolaege
isl_ast_bui
l
d_expr
.
c: fix typo in
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_a
s
t
_
build_expr
.
c: r
e
mov
e
remna
n
ts of cod
e
remove
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sve
n
Ve
r
doolaege
add extra AST ge
n
e
r
ation
t
e
st
ca
s
e from C
L
ooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven V
e
rdoolaeg
e
isl_pr
i
n
t
er_print_str: handle N
U
LL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolaege
isl_ast_
e
xpr_mod: per
f
orm m
i
ssing multiplicati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Tobias
G
rosser
Make sed expres
s
i
o
n in
Makefil
e
co
m
patible with BSD
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
add is
l
_id_set_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoo
l
aege
i
sl
_
printer_print
_
pw_aff:
use
i
sl_ast_expr when prin
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add support for generating ASTs from sch
e
dule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add ISL_CTX_{GET
,
SET}_STR_DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
la
e
g
e
doc
:
separate out
p
olyhe
d
ra
l
c
o
m
pilation functional
i
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
a
d
d isl_set_dim_has_{
l
ower,u
p
per
}
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_basic_set_substitute: che
c
k
that input affine expres
s
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
isl
_
pw_mult
i
_aff_s
u
bstit
u
te: improve error handlin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
isl_basi
c
_map_align_
d
i
v
s
: fix po
t
ential invalid acc
e
ss
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_multi_af
f
_fro
m
_map:
d
etect strides in ou
t
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
i
sl_pw_multi_aff_from_m
a
p: detect easy
floo
r
s directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
p
r
ivately export isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
e
g
e
add isl_p
w
_*_pul
l
b
a
c
k_pw_
m
ulti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
l
ae
g
e
add isl_pw_*_p
u
llback
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
lae
g
e
add isl_mu
l
ti_a
f
f_pullback_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_
a
f
f_pullback
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
r
doolaege
add is
l
_l
o
cal_space_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olaeg
e
add isl_set_preimage_p
w
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdoolaege
a
d
d isl_set_p
r
eimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaeg
e
add isl
_
bas
i
c_set
_
pr
e
image_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_new
_
str: f
a
il on NULL
i
n
pu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl_mu
l
t
i_a
f
f_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olae
g
e
add isl_basic_s
e
t_
a
dd_d
i
v
_
constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_map
_
is_subset:
s
upport ra
t
i
onal maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolaege
isl_stream_read_map:
f
i
x
p
ars
i
ng of Omega
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
isl_
s
tre
a
m_r
e
ad_map: add partial suppor
t
f
o
r reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
is
l
_
pw_aff_nonneg_se
t
: return a rational set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
i
sl_pw_aff_
z
ero_s
e
t
:
return a rational
s
et
i
f the
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add
i
s
l_pw_aff_list
_
set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rd
o
ola
e
ge
add i
s
l_pw_aff_
s
et_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
privat
e
ly export is
l
_s
e
t_
s
et_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
r
d
oolaege
ad
d
isl_set_
h
as_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
reimplement isl_stre
a
m_read_aff i
n
ter
m
s
o
f isl_
s
trea
m
_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
dec
l
are is
l
_stre
a
m
_read_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_read_mult
i
_aff: r
e
a
d tuples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l
_in
p
u
t
.
c: ch
a
nge tupl
e
pars
i
ng
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoo
l
a
e
ge
add i
s
l_pw
_
m
ulti_aff
_
range_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
o
laege
a
dd isl_multi_*_
s
plice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
olaege
add isl_
m
ulti_*_range
_
splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laeg
e
add isl_multi_*_
s
et_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaeg
e
add
isl
_
multi_*_range_p
r
odu
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoo
l
a
e
ge
add isl_mu
l
ti_*_ad
d
_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
add is
l
_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add is
l
_multi_p
w
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
a
d
d isl
_
multi_aff_fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
aege
i
sl_mu
l
ti_templ
.
c: r
e
name align_param
s
_multi_set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
eg
e
isl_multi_templ
.
h: avoid reference to
explicit elemen
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
isl_m
u
lti_*_reset_space_
a
nd
_
domai
n
:
call isl_*
_
reset_do
m
ain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
generalize isl_multi_aff_fl
a
t_range_prod
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
oolaege
g
eneral
i
ze isl_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
gener
a
lize
i
s
l
_multi_aff_set_
d
im_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
gener
a
lize isl_multi_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doolaege
g
eneralize isl_multi_aff
_
iden
t
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
a
dd isl_
p
w_a
f
f_zer
o
_on_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
o
laege
add isl_pw_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Ver
d
oolaeg
e
a
d
d isl_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
isl_input
.
c: ob
j
_read_
b
ody: sim
p
l
i
fy er
r
or handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
add isl_basic_set_
d
rop_constraints_
n
ot_invol
v
ing_
d
im
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolaege
ad
d
isl_{se
t
,
map}_drop_const
r
ai
n
ts_i
n
v
olving_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdool
a
ege
add isl_set_unsh
i
fted_simple_h
u
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_
s
tream_read_union_map: f
o
r
ce result to be
a
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdool
a
e
g
e
ad
d
isl_union_map_subtract
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
i
s
l_set_f
r
om_pw_m
u
lti_aff: handle NU
L
L in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
i
sl_union_map
.
c: plain_inje
c
tiv
e
_on_range: s
i
lence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n Verdoolaeg
e
isl_transitive_clos
u
re
.
c: union_co
m
ponents: a
v
oi
d
in
v
alid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdool
a
e
g
e
isl_range
.
c qpolynomial_bound
_
o
n
_domain_r
a
nge: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdool
a
ege
isl_convex_hull
.
c
:
i
nit
i
al_facet_constrain
t
: av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next