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_affine_hull.c: affine_hull_with_cone: plug memory leak on error path
2012-11-20
Sven Verdoolaege
i
sl_affin
e
_hull
.
c
: a
f
fine_h
u
ll_
w
ith_cone: pl
u
g memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdool
a
ege
ch
a
nge prototype o
f
isl_factor
i
zer_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
e
r
d
ool
a
ege
i
sl_
t
ab_sample: perform greedy sear
c
h
b
e
f
ore performing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
i
s
l_t
a
b_sample: extract ou
t
compute
_
min a
n
d
compu
t
e_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolae
g
e
i
sl_tab
_
s
a
mple: tr
e
a
t
e
m
ptines
s
of tableau
as erro
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
S
v
en Verdo
o
l
a
ege
AST generation: f
i
x
handling of
se
p
arat
i
on classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verdoolaege
isl_printer_print_{
b
asic_,}
{
s
e
t,map}: don't start n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdo
o
l
a
ege
i
s
l_printer
_
pri
n
t
_space: suppor
t
prin
t
i
n
g in
"
omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
olaege
renam
e
isl
_
b
a
sic
_
s
et_add
t
o
i
sl_basic_set_a
d
d
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_
a
ff_normalize: pl
u
g in d
i
vs with unit co
e
fficien
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_lo
c
al_space_s
u
bstitute
_
s
e
q: take
a
rgumen
t
f
o
r
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
is
l
_aff_floor: no
r
malize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
is
l
_aff_ceil: compute
c
eil(e
/
m) as floor((e +
m
- 1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdo
o
laege
isl_aff_gist:
a
dd miss
i
ng
i
s
l_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Ver
d
o
olaege
isl_un
i
on_set_compute_sch
e
dule:
d
ouble ch
e
c
k
that we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
S
ven
V
e
r
d
oolaege
isl_union_
s
et
_
compu
t
e_sc
h
edule
:
ensure carry_
d
ependences
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Verdo
o
laege
u
p
date f
o
r change in clang's DiagnosticOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sv
e
n Verdoolaege
isl_map_plain_is_disjoint: handle inpu
t
s with dif
f
eren
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sv
e
n Verdoolaege
add RE
A
DME
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolaege
isl_union
_
set_compu
t
e_sched
u
le:
handle res
u
lt with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
S
ven Verdoola
e
g
e
i
s
l_ast_c
o
de
g
en
.
c: generate
_
domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verd
o
olaege
isl_ast_build_
a
st_from_
s
chedu
l
e
:
m
a
k
e
cons
t
ruc
t
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verd
o
olaege
isl_
a
st_build_ast_from_schedule:
u
se "<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
Ve
r
doolaege
isl_ast_expr:
a
d
d isl_ast_
o
p_lt
a
n
d
isl_ast_op
_
gt
o
perations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdo
o
lae
g
e
add isl_basic_set_from
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ve
n
Verdoolaege
isl_ast_expr_
f
rom_aff: t
r
y
h
ard
e
r
to
u
se
isl_ast_op
_
pdiv_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ven
Ver
d
oolaege
isl_ast_b
u
ild_expr
.
c: sep
a
rate
o
ut extr
a
ct_m
o
d
u
lo fun
c
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdoolaege
isl_ast_build
_
expr
.
c: fix
typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdoo
l
aege
isl_ast_bu
i
l
d
_expr
.
c: remove remn
a
nts of c
o
de removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven
V
erdool
a
e
g
e
ad
d
e
xtra
AST gene
r
atio
n
test case fro
m
CL
o
oG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n Verdo
o
l
aege
isl
_
printer_print
_
str: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verd
o
olaege
isl_ast_expr_mod
:
perform missin
g
multiplicatio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add i
s
l_id_set_free_
u
ser
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
i
s
l_printer_pri
n
t
_pw_aff: use isl_ast_e
x
pr when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ver
d
oolaege
add
support for generat
i
ng ASTs
f
rom sched
u
le
relat
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
ad
d
ISL_CTX
_
{GET,SET}_S
T
R_DEF
ma
c
ros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
doc
:
sepa
r
ate out poly
h
e
dral compil
a
t
ion
f
unctio
n
ality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laeg
e
add isl_set_dim_has_
{
lower,upper}_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
e
rdoolaege
isl_ba
s
ic_set_
s
u
bstitute: ch
e
ck
t
hat inpu
t
affine expres
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
is
l
_pw
_
multi_aff_subst
i
tute: improve error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
i
s
l_
b
asic_
m
ap_ali
g
n
_
d
ivs: fix
p
o
tential invalid access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
isl_pw_multi_aff_from_map
:
d
e
t
ect
s
trid
e
s in ou
t
pu
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
laege
is
l
_pw_multi
_
aff_from
_
map: detect
e
asy floors direct
l
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
priva
t
ely e
x
p
o
rt isl_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
a
ege
ad
d
is
l
_pw_
*
_pul
l
b
a
ck_p
w
_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
ege
add is
l
_pw_*_p
u
llba
c
k_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rd
o
ol
a
ege
add isl
_
multi_aff_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verd
o
o
l
aege
add
isl_aff_pullb
a
ck_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdool
a
ege
add isl_local_sp
a
ce_pre
i
mage
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
ool
a
e
g
e
a
dd isl_set_preimage_
p
w
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add i
s
l
_s
e
t
_
preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
e
ge
add isl_basic_
s
et_p
r
e
i
mage_mul
t
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolae
g
e
isl_stre
a
m_new_str: fail on NUL
L
in
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
p
r
ivat
e
ly export isl
_
m
u
lt
i
_
a
ff_alig
n
_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
rdool
a
ege
add is
l
_basi
c
_set_add_
d
iv_
c
o
n
strai
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
isl
_
map_is_subset:
supp
o
rt
rational m
a
ps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
e
ge
isl_st
r
e
am_read_ma
p
: fi
x
p
arsing of Ome
g
a input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_stream
_
read_map: add pa
r
tial s
u
p
port
f
o
r readi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
i
s
l_
p
w_aff
_
nonneg_s
e
t:
r
eturn a
rational set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_a
f
f
_
z
e
r
o_set: re
t
urn
a rational set if
the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
ege
add
i
sl_pw_aff_li
s
t_
s
et_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
add isl_pw_aff_set_
r
ational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
privately export isl_set_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add is
l
_set_has_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
er
d
o
o
laege
r
eimple
m
ent i
s
l_strea
m
_r
e
ad_aff in terms of isl_stream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
declare isl_stream_read
_
m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream_read_
m
ulti_
a
ff: read
t
uples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verd
o
olaege
i
sl_
i
nput
.
c: change tup
l
e
par
s
ing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_pw_multi_
a
ff_range
_
product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add i
s
l_
m
ulti_*_sp
l
i
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
ege
add isl_multi_*_
r
ange
_
splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add isl
_
mult
i
_*_se
t
_tuple_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdo
o
laege
add is
l
_multi_*_range_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_multi_*_add_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
l
aege
a
dd isl_multi_*_
i
n
sert
_
d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_m
u
lti_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_multi_aff_from_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_multi_t
e
mpl
.
c:
r
ename align_para
m
s
_m
u
lti_set_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoo
l
aege
isl
_
multi_t
e
mpl
.
h: avoid reference to explici
t
eleme
n
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_
m
ulti_*_r
e
set
_
s
p
ace
_
and_domain: call
i
sl_
*
_reset_d
o
m
a
i
n
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
g
ener
a
liz
e
isl_multi_aff_flat_ra
n
g
e_pro
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
g
enera
l
i
z
e isl_multi
_
aff_
d
rop_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
V
e
rdool
a
e
ge
generalize is
l
_multi_aff_set_d
i
m_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
generalize isl_m
u
lti_aff_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
ge
n
eralize isl_multi
_
aff_i
d
entity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaeg
e
add isl_pw_a
f
f_
z
ero
_
on_
d
o
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
ad
d
isl_pw_aff
_
va
r
_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rd
o
ol
a
e
g
e
ad
d
isl_aff_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Ver
d
oo
l
a
ege
isl_inp
u
t
.
c: obj_r
e
ad_bo
d
y: simpli
f
y
err
o
r handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoola
e
ge
add isl_basic_set_drop_constraints_not
_
involvin
g
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
add isl_{set,map}_drop_const
r
ain
t
s_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoolaege
add i
s
l_set_uns
h
ift
e
d
_
simple_
h
ull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
isl_stream_read_union_map: force result to be
a
ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaeg
e
add isl_union_map_su
b
tract_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oo
l
aege
isl_set_fro
m
_pw_multi_a
f
f: handle
N
ULL i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoola
e
g
e
isl_union_
m
ap
.
c: plain_in
j
ective_on_range: s
i
lence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdool
a
ege
isl_transitiv
e
_c
l
o
s
ure
.
c: union_c
o
m
p
onents
:
a
v
oid inv
a
li
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
isl_ran
g
e
.
c
qpoly
n
o
mi
a
l
_bou
n
d_on
_
doma
i
n_r
a
nge: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoola
e
ge
isl_co
n
vex_hull
.
c
: initial_facet_constraint:
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
rdoo
l
ae
g
e
isl_
m
ap_union: spe
c
ia
l
case u
n
i
v
ersal i
n
put
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next