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_ast_build_eliminate_divs: remove unknown divs before divs involving depth
2012-11-20
S
ven V
e
rdoolaeg
e
isl
_
ast_build_
e
limi
n
ate_
d
ivs:
r
em
o
ve unknown divs before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdoolaege
isl_affi
n
e
_hul
l
.
c:
a
f
f
ine_hull_wit
h
_con
e
: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoo
l
ae
g
e
c
h
ange pro
t
otype o
f
isl_factorizer_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erd
o
olaege
isl_tab_sample: perform gr
e
edy
s
ear
c
h before
p
er
f
orm
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoola
e
ge
isl_ta
b
_samp
l
e: extract out compute_m
i
n and compu
t
e_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
olaege
i
s
l_t
a
b_sample
:
tr
e
at empt
i
nes
s
of tableau
as erro
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sve
n
Verdoolaege
AS
T
gen
e
ration: fix handli
n
g of se
p
ara
t
ion cla
s
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdo
o
l
a
ege
isl_printer
_
print_
{
basic_,}
{
s
et
,
map}: do
n
't
s
tart ne
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
i
s
l_
p
rinter_p
r
int_space
:
support printing in "
o
mega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven
V
erdoolaege
r
ename isl_b
a
s
ic
_
set_add to
i
sl_basic_set_add_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
a
ege
i
s
l_
a
ff_normalize: p
l
ug in divs w
i
t
h
u
n
it coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
isl_local_space_substitute_seq: tak
e
argu
m
e
nt for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doolaege
isl_af
f
_floor
:
normalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_ceil: comput
e
ceil(e/m
)
as floor((e +
m
- 1)/m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
S
ven Verdoolaege
isl_aff_
g
ist: add mis
s
i
n
g isl_ve
c
_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
S
v
en Verdoo
l
a
eg
e
isl_union_
s
et_c
o
mpute_schedule: double c
h
eck that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
v
e
n Verdoolaege
isl_
u
nion_
s
et_
c
ompute
_
s
che
d
ule: ensure carry_dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ver
d
oola
e
ge
u
p
date
f
or change in c
l
a
n
g
's D
i
ag
n
osticOp
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
ven Verdoolaege
isl_map_pl
a
in_is_disjoint: han
d
le
in
p
uts with dif
f
erent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdool
a
ege
add
R
EADME
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoo
l
a
ege
isl_un
i
o
n_se
t
_
compute_s
c
hedul
e
: handl
e
result
with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoola
e
ge
isl_a
s
t
_codegen
.
c: ge
n
er
a
te_
d
omain: p
o
s
t
pone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven V
e
rdoolaege
isl
_
ast_build_ast_from_schedule: make co
n
struc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast
_
build
_
ast_from_schedule: use "<" if upper bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast
_
exp
r
: add isl_ast_
o
p_lt and isl_as
t
_o
p
_gt operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ve
r
d
oo
l
aege
add isl_basic_set
_
fr
o
m
_
param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
i
sl_ast_expr_fr
o
m_aff: try
harder
to use isl_ast_op_pdiv
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n
Verdoolaege
i
sl_ast_b
u
i
l
d_expr
.
c
: separate out extract_mod
u
lo
f
unction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en V
e
rdoolaege
isl_
a
st_bu
i
l
d_expr
.
c: fix typo in comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
i
s
l
_
as
t
_build_expr
.
c
: remo
v
e remnants o
f
code
removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
S
v
e
n
Verdoolaege
a
dd extra
AST
g
eneratio
n
te
s
t c
a
se
f
ro
m
CLo
o
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_pr
i
nter_print_str: hand
l
e
N
ULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
is
l
_a
s
t
_expr_mod: perf
o
rm missing multipli
c
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
a
dd isl_id_set_free_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaege
isl_printer_print_p
w
_aff: u
s
e isl_ast_expr when
printi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoolaege
add supp
o
rt for
g
enerating ASTs from
s
c
h
ed
u
le relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
add ISL_CTX_{GET,SET}_
S
TR_DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
o
olaeg
e
doc: s
e
p
a
rate ou
t
polyhedr
a
l compilation f
u
n
c
tionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add is
l
_set_dim_has_{lowe
r
,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
i
sl
_
basic_set_substitute: check that input
a
ffine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
isl_pw_multi_aff_su
b
s
t
itute:
i
mpro
v
e err
o
r
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
ge
i
s
l_basic_map_
a
lign_divs: fix potential
i
n
valid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
s
l_pw_multi_af
f
_fro
m
_m
a
p: det
e
ct s
t
rid
e
s in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoola
e
g
e
isl_pw_multi
_
aff_from_ma
p
: detec
t
e
a
sy floors directly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
ool
a
ege
p
r
i
v
ately ex
p
ort isl_map_is_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_*_pullback_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
a
d
d isl_pw_*_pullback_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoo
l
aeg
e
add isl_mu
l
ti_aff_pullback_m
u
lti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaeg
e
add i
s
l_lo
c
al_space_preimage
_
m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
add isl_set_pre
i
ma
g
e_pw_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_ba
s
ic_se
t
_preima
g
e_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_str
e
am_ne
w
_str: fail
o
n NU
L
L inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoola
e
ge
privately exp
o
r
t
isl_multi_aff_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolae
g
e
a
dd
i
sl_basic_set_add_di
v
_constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
isl
_
map_is_
s
ubset:
support
rationa
l
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
is
l
_stream_read_m
a
p: fix pa
r
sing of Omega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
isl_stream_r
e
ad
_
map: ad
d
partial support f
o
r
reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
is
l
_p
w
_af
f
_nonn
e
g_
s
et: retur
n
a
r
ational
set
i
f the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw
_
a
ff_ze
r
o
_
set: ret
u
rn
a
ratio
n
al se
t
i
f
the
i
nput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
ad
d
isl_pw
_
aff_list_set_
r
a
tio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
add
is
l
_pw_a
f
f
_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl
_
s
e
t_set
_
rat
i
ona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
a
dd isl_set
_
has_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolae
g
e
r
eimplement isl_str
e
am_read_a
f
f
i
n terms
o
f isl
_
stream_r
e
ad_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
r
d
o
o
laege
declare
isl_st
r
eam_re
a
d_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
s
l_stream_read_mul
t
i_aff: read tup
l
es dire
c
tly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_input
.
c: ch
a
nge
t
uple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
a
e
ge
add isl_
p
w_multi_aff_r
a
nge_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolae
g
e
add isl_multi_*_
r
a
nge_s
p
lice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d i
s
l_
m
ulti_
*
_set_tupl
e
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl
_
m
ult
i
_*_ran
g
e
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add i
s
l_multi_*
_
insert
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
ad
d
isl_multi_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
a
dd isl_multi_aff_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
isl_mult
i
_templ
.
c:
r
e
n
ame align
_
params_multi
_
set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_m
u
lt
i
_
t
empl
.
h: a
v
oid reference t
o
expl
i
cit e
l
ement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
i
s
l_multi_*
_
re
s
et_s
p
a
ce_and_do
m
ain: call isl_*_reset_domai
n
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoo
l
a
ege
gen
e
ralize isl_
m
ulti_aff
_
f
lat_range_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
general
i
ze isl_multi_
a
f
f_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
gene
r
alize isl_mult
i
_
a
f
f_set_dim
_
name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ge
n
eralize isl_mul
t
i_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
ege
g
eneralize isl_multi_aff_identit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rd
o
olaege
add
isl_p
w
_aff_zer
o
_on_
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaege
add isl_p
w
_aff_v
a
r_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoolaege
add
i
sl_af
f
_
v
ar_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdool
a
eg
e
is
l
_input
.
c: obj_
r
ead_b
o
dy: simplify error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_basic_set_drop
_
constraints_not_involving_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
ad
d
isl_{set,map}_drop_constraints_involvin
g
_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
add isl_set_unsh
i
fted_simple_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdo
o
lae
g
e
i
s
l
_st
r
eam_read_uni
o
n
_map: fo
r
ce
r
esu
l
t t
o
be a m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add is
l
_union_map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoo
l
aege
isl_set_from_p
w
_
multi_aff
:
handle NU
L
L input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_union_map
.
c: pla
i
n
_
injective_on_range: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
isl
_
transitive_
c
losure
.
c
: u
n
ion_c
o
m
ponents:
avoid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verd
o
olaege
isl_
r
ange
.
c
q
polynomia
l
_
b
ound_on_doma
i
n_ran
g
e: avo
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoo
l
ae
g
e
i
s
l
_
convex_hull
.
c: initial_facet_constraint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next