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_tab_sample: extract out compute_min and compute_max
2012-11-20
Sven Verdoola
e
ge
isl_t
a
b_
s
ample:
extra
c
t out compute_min and compute_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_s
a
mpl
e
: trea
t
empt
i
ness of t
a
bleau as
e
r
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdoolaege
AST g
e
nerati
o
n: fix handling
of separati
o
n class
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
V
e
r
d
oolaege
isl_prin
t
er_prin
t
_{basic_,}{s
e
t,map}: don't st
a
r
t
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoo
l
aeg
e
isl
_
printer_print_sp
a
ce: support printi
n
g in
"
omeg
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdo
o
laeg
e
r
e
nam
e
isl
_
ba
s
i
c
_
s
et_add t
o
isl_b
a
sic_set_add_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Ver
d
ool
a
ege
is
l
_aff_normalize: plug
i
n divs
with u
n
it coef
f
icient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
isl_local_space_sub
s
titute_seq:
t
ak
e
argument for
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_floo
r
:
norm
a
lize
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaeg
e
is
l
_aff_ceil: c
o
m
p
ute ce
i
l(e/m) as floor((e
+
m - 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
S
ven
V
erdool
a
ege
isl_aff_gist: add m
i
ssing isl_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
S
v
e
n
Ve
r
do
o
l
a
ege
i
sl_union_set_compute_schedule: double check tha
t
we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sve
n
V
erd
o
olaeg
e
i
s
l_union_set_compu
t
e_schedule:
ensure carry_
d
ependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoo
l
aege
update
f
or change in clang's Diag
n
os
t
i
c
Options
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verd
o
ola
e
g
e
isl_map_plai
n
_i
s
_dis
j
oint: handle inputs with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
S
v
en Verdo
o
l
aeg
e
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Andr
e
as
Kloec
k
ner
I
ntro
d
u
c
e
isl_
i
nt_free_str
to
r
emove
GMP dependency
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sv
e
n
V
e
rdoolaeg
e
i
s
l
_unio
n
_set_
c
omp
u
te_sche
d
ule:
h
andle result w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven
Verd
o
o
laege
i
s
l_as
t
_codege
n
.
c: gener
a
te_domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sv
e
n Ver
d
oo
l
aege
isl_
a
st_
b
uild_ast_from_schedule:
make construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdoolaeg
e
isl_a
s
t_build_ast_from_sche
d
ule: us
e
"<" i
f
upp
e
r
bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ver
d
oolaege
i
s
l_ast_expr: add
i
s
l
_
ast_op_l
t
a
n
d isl_
a
st_
o
p_
g
t
oper
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verd
o
olaege
add isl_basi
c
_set_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdool
a
ege
isl_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
Sven Verdo
o
laege
isl_ast
_
build_expr
.
c
: separat
e
out extract_modulo f
u
nc
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdoolaege
isl_ast
_
bui
l
d
_
ex
p
r
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_a
s
t
_
build_e
x
pr
.
c
:
re
m
ove rem
n
ants of code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven
Ver
d
oolaege
a
d
d extra AST gener
a
t
i
o
n
test case from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ve
r
doola
e
ge
isl
_
printer_prin
t
_str: h
a
n
d
le
NU
L
L input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
isl_ast_expr_
m
o
d
:
pe
r
form miss
i
ng mul
t
ip
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
T
obias Grosser
Make s
e
d expr
e
ssion in Makefile compatible with BS
D
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doolaege
add
isl_id_se
t
_fre
e
_use
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_printe
r
_print_pw_aff: use
isl_a
s
t
_
expr when p
r
i
n
ting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
add supp
o
r
t
f
o
r ge
n
e
r
a
ting
A
STs from schedule relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
add ISL_CT
X
_
{
GE
T
,SET}_STR_DEF
m
acros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
do
c
: separate
out p
o
lyhedral compilation func
t
i
onalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add is
l
_set_dim
_
has_{
l
ower,up
p
er}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoo
l
a
e
ge
isl_
b
as
i
c_s
e
t_subs
t
itute: check th
a
t inp
u
t af
f
ine
ex
p
ress
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl_pw_
m
ul
t
i_aff_substitute: improve error han
d
ling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ve
r
dool
a
ege
i
s
l
_basi
c
_map_align_d
i
vs: fix
pote
n
t
ial invalid a
c
cess
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
e
g
e
is
l
_pw_multi_aff_from_map
:
detect strides in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doola
e
ge
isl_pw_
m
u
l
ti_aff_from_map: detec
t
easy floors di
r
ect
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolaege
privately e
x
port isl_map_is_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
add
i
sl_pw_*
_
pullback_pw_mu
l
ti_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_pw_*_pullback
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verd
o
olaege
add isl_multi_aff
_
p
u
llback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolae
g
e
ad
d
isl_aff_pullback_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add i
s
l_local_space_preimage_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_se
t
_preim
a
ge_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
er
d
oolaege
a
d
d isl
_
set_preimage_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add
i
sl_basic_set_preimage_mul
t
i_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
sl_stream_ne
w
_str: fail
o
n NULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
privately
e
xpor
t
isl_multi_aff_align_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdool
a
ege
add i
s
l
_
bas
i
c_set_add_div_co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
ae
g
e
isl_
m
ap_is_sub
s
et: su
p
port ra
t
ional m
a
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_stream_read_map: fix par
s
ing o
f
Omega in
p
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
i
s
l_stream_r
e
a
d
_
m
ap: add partial support f
o
r reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
g
e
isl_pw_aff
_
nonneg_set: return a
r
ationa
l
set i
f
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl
_
pw
_
aff_zero_set
:
return a r
a
ti
o
nal
s
e
t if th
e
inp
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
a
d
d i
s
l_pw_aff_list_set
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaeg
e
a
d
d
isl_pw_aff_set_ration
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
ege
p
r
ivately exp
o
rt i
s
l_
s
et_set_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ver
d
oolae
g
e
add
i
s
l_set_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
ege
r
e
im
p
l
e
ment i
s
l_stre
a
m
_
read_af
f
in terms of i
s
l_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
ool
a
e
g
e
d
e
cl
a
re isl_s
t
r
eam_re
a
d_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
a
e
ge
isl_
s
trea
m
_re
a
d_mul
t
i_aff:
r
ead
tuples direc
t
ly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdo
o
laege
i
sl_input
.
c: change tuple
p
a
rs
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
a
dd isl_
p
w_
m
ulti_af
f
_range
_
pro
d
u
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
a
d
d isl_multi_*_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
olaeg
e
add isl_mul
t
i_*
_
ran
g
e_spl
i
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
ola
e
ge
add isl_multi_*_set_
t
up
l
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoolaege
add i
s
l_multi_*_range_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
V
erdool
a
e
ge
a
d
d
i
sl_mul
t
i
_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add i
s
l_mult
i
_pw_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add isl_mu
l
ti_aff_from_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_multi_templ
.
c: re
n
ame al
i
gn_p
a
ram
s
_m
u
lti_s
e
t
_
and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
i
s
l_multi_te
m
pl
.
h:
avoid r
e
f
erenc
e
t
o explicit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
ool
a
e
g
e
i
s
l_multi_*_reset_space_and
_
domain: call isl_*_reset_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
genera
l
ize isl_
m
ulti
_
aff_flat_range_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
generaliz
e
isl_multi_
a
ff_drop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaeg
e
genera
l
ize
i
s
l_multi_aff_set_dim_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
g
e
nera
l
ize isl_multi_aff
_
zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
gener
a
lize isl_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
add isl_pw_aff_
z
ero_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
do
o
lae
g
e
add is
l
_
pw_
a
f
f
_var_on_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
add
i
sl_aff_va
r
_o
n
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
V
erdool
a
e
g
e
isl_input
.
c
: obj_rea
d
_body: simplify error
h
andlin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
ad
d
isl_basic_s
e
t_
d
rop_constr
a
i
n
t
s_not_involvi
n
g_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
V
erdoolaege
add isl_{set,map}_drop_cons
t
raints_involving
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdo
o
laege
add isl_se
t
_
u
nshifte
d
_simple_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_stream_
r
e
ad_un
i
on_map:
forc
e
resul
t
to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
V
erdoolaeg
e
add is
l
_union_ma
p
_
subtract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaege
isl_se
t
_f
r
om_pw
_
multi_aff: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_union_map
.
c: p
l
ain
_
inject
i
ve
_
on_range:
silen
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
aege
isl_transitiv
e
_closure
.
c: u
n
ion_com
p
onents
:
avo
i
d
invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_range
.
c qpo
l
ynomial
_
b
o
u
nd_
o
n
_domain
_
range: avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
doolaege
isl_conve
x
_hull
.
c: initial_f
a
cet_con
s
traint: avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verd
o
olaege
isl_map_un
i
on: special
case uni
v
e
rsal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoo
l
aege
i
sl_map_gist: spe
c
ial case universal and
equal i
n
puts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next