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
Sve
n
Verd
o
olaege
isl_affine_hull
.
c: affine_hull
_
with_cone: plug memory
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdool
a
ege
change p
r
ototype of
i
s
l_factor
i
ze
r
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sve
n
V
erdool
a
ege
isl_tab_sam
p
l
e: p
e
r
for
m
g
r
eedy
s
earch
b
efore pe
r
forming
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_ta
b
_sample: extract
out compute_
m
in
and
c
ompute_m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolae
g
e
isl_tab_sample:
t
reat
emptiness of tableau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
S
v
en Verdoolaege
AST genera
t
ion: fi
x
handlin
g
of separation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoolaege
isl_
p
rinter_
p
r
i
nt_{basic_
,
}{set,map}:
don'
t
start
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoola
e
ge
i
sl_printer_print_space
:
suppo
r
t printing in
"
omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ve
r
doo
l
a
e
ge
rename i
s
l_ba
s
ic_set_add
t
o isl_basic_set_add_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdo
o
laeg
e
i
s
l_aff_normalize:
p
lug in di
v
s with unit coefficient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
ool
a
ege
is
l
_local_space_s
u
bstitute_seq
:
t
a
k
e argument for
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
i
sl_af
f
_fl
o
o
r
: no
r
malize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
ven
Verdoola
e
ge
i
s
l
_aff_
c
e
il
:
compute ceil(
e
/m)
as
f
loor((
e
+ m - 1)/
m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoolaege
isl_a
f
f
_gist: add
m
i
ssing i
s
l_vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven
V
erd
o
olaege
isl_u
n
ion_set_comp
u
te_schedule
:
double ch
e
ck that
w
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoolaeg
e
isl_union_set_compute_
s
c
hedule: ensure carry_depen
d
ences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n
V
e
rdoolaege
update for ch
a
nge in clang'
s
DiagnosticO
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
is
l
_
m
ap
_
p
l
a
in_is_dis
j
oint: han
d
le
inputs
w
ith different
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven
Verdoolaege
add READ
M
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven V
e
r
d
ool
a
ege
isl_union_set_compute_sch
e
dule:
handle result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
isl_as
t
_codegen
.
c:
g
enerate_doma
i
n: postpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl_a
s
t_b
u
ild
_
ast_from_sche
d
ule: mak
e
const
r
u
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoo
l
a
eg
e
isl_ast_bu
i
ld_ast_from
_
sc
h
edu
l
e:
us
e
"<"
i
f upp
e
r bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erd
o
olaege
isl_ast
_
expr: add isl_as
t
_
op_
l
t and isl_
a
st_op_gt oper
a
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdoolaege
add isl_basic_set_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
isl_
a
st_ex
p
r_from_aff: try harder to use isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven V
e
r
d
oolaege
i
sl_ast_build_expr
.
c: separa
t
e
out extrac
t
_modulo
fun
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl
_
as
t
_build_exp
r
.
c:
fix typo in com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoo
l
aege
isl_ast_build_
e
xpr
.
c: remove r
e
mnants of
c
od
e
removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdo
o
laege
a
d
d ex
t
ra AST generation test case from CLoo
G
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sv
e
n
V
e
rdo
o
l
aege
isl_
p
r
i
nter_prin
t
_str: h
a
ndle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
V
erdoolaege
isl
_
a
s
t_ex
p
r_mod: per
f
orm missin
g
multiplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oola
e
ge
ad
d
is
l
_id_set_
f
r
ee_us
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_printer_pr
i
nt_p
w
_
a
ff: use isl_
a
s
t_expr when printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdool
a
ege
add s
u
pp
o
rt for gener
a
t
ing
ASTs
from sch
e
du
l
e
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
a
dd IS
L
_CTX_{GET,SET}_S
T
R_DEF macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoola
e
ge
doc: sep
a
rate out pol
y
hedral c
o
mpilation function
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_set_dim_h
a
s_{
l
ower,u
p
per}_bo
u
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
sl_basic_set_substitute: ch
e
c
k
that input
a
ffine
e
xpressio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
isl_pw_
m
ult
i
_aff
_
substitu
t
e: im
p
rove
e
r
r
or
h
andling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
is
l
_
b
asic_ma
p
_align_divs: fix po
t
ential invalid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw
_
multi_a
f
f
_from_map: detect st
r
i
d
e
s
in output
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoola
e
ge
isl_pw_multi_aff_from_map
:
de
t
ect easy f
l
o
o
rs di
r
ectl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoo
l
aege
p
ri
v
at
e
l
y
exp
o
rt isl_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
eg
e
add
isl_pw_*_pullb
a
ck_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_pw_*_pu
l
lback_
m
ulti
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
multi_aff_pullback_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
a
d
d isl_
a
ff_p
u
llback_m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
do
o
laege
add
i
sl_local_space_preima
g
e_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Ve
r
doola
e
ge
a
d
d
isl_set_
p
re
i
mage_p
w
_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add
i
s
l
_set_preimage_
m
ulti_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
a
d
d
is
l
_basic_set_pr
e
i
m
age
_
mu
l
ti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
isl_str
e
am
_
new_str: fail on
N
ULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
privately expor
t
i
s
l_multi_a
f
f_
a
lign_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaege
add isl_basic_
s
et
_
add_div_c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
isl_map_is_
s
u
bset: support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl
_
stream_rea
d
_ma
p
: fix pa
r
sing of
O
me
g
a
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
l
a
ege
isl_stream_read_ma
p
:
add p
a
r
tial s
u
ppo
r
t for r
e
ading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_no
n
neg_set
:
return a
r
ational set i
f
th
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoolaege
is
l
_pw_aff_z
e
r
o
_se
t
: return a ration
a
l set if the
i
nput
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add isl_pw_a
f
f_list_set_rat
i
o
n
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aeg
e
add isl_pw_aff_set_rat
i
onal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
private
l
y e
x
po
r
t isl_set
_
se
t
_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
d
oolaege
a
d
d isl_set
_
has_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
reimpleme
n
t isl_st
r
eam_read_
a
ff i
n
ter
m
s
o
f isl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
d
eclare isl_str
e
am_read_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
i
sl_strea
m
_re
a
d
_
multi_aff: r
e
a
d tuples directly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ver
d
ool
a
ege
i
sl_i
n
put
.
c: chang
e
tuple
p
ar
s
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rd
o
olaege
add isl_p
w
_multi
_
aff_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oo
l
aege
ad
d
isl_mu
l
ti_*_spl
i
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_rang
e
_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_*_set_tuple_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
dool
a
e
g
e
add isl_mul
t
i_*_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ver
d
o
o
laege
a
dd isl_multi_*_
a
dd_
d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_multi_*_in
s
er
t
_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl
_
multi_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_multi_a
f
f_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_multi_tem
p
l
.
c
:
r
e
name
align_params
_
multi_s
e
t_a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_
m
ulti_templ
.
h:
a
void r
e
ference to exp
l
icit element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_multi
_
*_reset_space
_
and_domain: call i
s
l
_
*
_
r
e
s
e
t
_do
m
ain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
a
e
ge
generalize
isl_mult
i
_aff_flat_ran
g
e_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
g
e
neralize
isl
_
mult
i
_
a
ff_
d
rop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaeg
e
genera
l
ize
i
s
l
_multi_aff_set
_
dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
ge
n
eralize isl_m
u
lti_aff_zero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
olaege
generalize isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add
i
sl
_
pw_aff_zero_
o
n_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_pw_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoo
l
aeg
e
ad
d
isl_aff_var_on_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_input
.
c:
obj_read_
b
ody:
simplify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoo
l
a
ege
add isl_b
a
sic_set_drop_cons
t
r
aints
_
not_in
v
ol
v
ing_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
add isl_{set,
m
ap}_drop_const
r
a
i
nts_i
n
volv
i
n
g_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
d
oolaege
add isl_set_unshifted_simple
_
h
ull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en Verdoola
e
ge
isl_stream_read_
u
n
i
on_m
a
p: force res
u
lt
to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ver
d
oolaege
add i
s
l_union_map_subt
r
act_
r
ang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolae
g
e
isl_
s
et_from_pw_m
u
l
t
i
_
aff: han
d
le NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
V
erdoolaege
isl_u
n
ion_map
.
c: plai
n
_injective_on_range: silence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven
Ve
r
doolaege
isl_t
r
ans
i
tiv
e
_clo
s
ure
.
c
: union_components: avoid
i
nvalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
en Verdoolaege
isl_range
.
c
qp
o
lynomial_
b
ou
n
d
_on
_
domain_range: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoo
l
aege
isl
_
co
n
vex_hull
.
c:
i
ni
t
ial_f
a
cet_constraint:
av
o
id
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven V
e
rd
o
ol
a
ege
i
s
l_map_u
n
ion:
s
pecial case unive
r
sa
l
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next