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
Sven Verdo
o
l
aege
i
s
l_as
t
_build_eli
m
inate_div
s
: remove unknown d
i
v
s before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verdoolaege
i
sl_affin
e
_hull
.
c: affine_hull_with_con
e
: plug memor
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
ven Verd
o
olaege
change
pr
o
t
o
ty
p
e
o
f
isl_factoriz
e
r_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n
Verdoo
l
a
ege
isl_tab_sample: perfo
r
m greedy
search before
perfo
r
ming
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ve
r
doolaege
i
s
l_tab_sa
m
ple: ex
t
ract ou
t
compu
t
e_
m
in and co
m
pute_
m
ax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_
t
a
b
_sample: tre
a
t em
p
ti
n
e
s
s
of tableau
as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
S
ve
n
Verdoolaege
A
ST gene
r
ation: fix h
a
ndling of separation cl
a
sses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Ve
r
d
o
ol
a
ege
isl
_
prin
t
er_prin
t
_{basic_,}{set,map}:
d
on't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoo
l
aege
i
sl
_
pr
i
nt
e
r_print_sp
a
ce:
suppor
t
printing in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rd
o
olaege
rename isl_
b
a
si
c
_
s
et_add to is
l
_basic
_
set_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_nor
m
aliz
e
: plug in divs w
i
th unit coe
f
ficien
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoola
e
ge
isl_loca
l
_space_substitute_seq: take
ar
g
um
e
nt
f
or t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdoolaege
isl_aff_floor: norm
a
l
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en Verdoolae
g
e
isl_aff_ceil: comp
u
te c
e
i
l
(e/m) as flo
o
r
((e + m - 1)/
m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sv
e
n
Verdo
o
l
a
e
ge
isl_aff_gist: add missing
isl_vec_
c
ow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sv
e
n
Ve
r
d
oolaege
i
sl_union_se
t
_comp
u
t
e
_schedule: doub
l
e check that we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
S
v
en
V
erdoo
l
aege
isl_union_set_compute_sched
u
le:
e
nsure car
r
y_depe
n
dence
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update for change i
n
cla
n
g's Diagno
s
tic
O
ption
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
S
ve
n
Verdoolaege
i
s
l_map_plain_is_dis
j
oint: handl
e
i
nputs with
d
i
f
ferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sv
e
n Verdoolaege
add RE
A
D
M
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven
Ver
d
oolae
g
e
isl_u
n
ion_
s
et
_
co
m
pute_sch
e
du
l
e: hand
l
e res
u
lt with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoo
l
aege
isl_
a
st_cod
e
ge
n
.
c: generate_
d
oma
i
n: postpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
S
v
e
n
V
erdoolaege
i
sl_
a
s
t_buil
d
_
a
st
_
from
_
schedu
l
e: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n Verdoolaege
isl_ast_build_
a
st_from
_
schedule: use "<" if upper
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_expr: add isl_as
t
_o
p
_
lt and
isl_ast
_
op_
g
t
operations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Ver
d
oolaeg
e
add isl_basic_set_fro
m
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven V
e
rd
o
ola
e
g
e
i
s
l_ast_ex
p
r_from_aff: t
r
y
harder to use i
s
l_ast
_
o
p_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaeg
e
i
s
l
_as
t
_
bui
l
d_ex
p
r
.
c: separate out extract_mo
d
ulo
f
un
c
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
en Verdo
o
laege
isl_ast_build_ex
p
r
.
c: fix typo in
c
ommen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oolaege
isl_ast_b
u
ild_expr
.
c: remove remnants
of cod
e
r
e
moved
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sv
e
n V
e
rdoolaege
add extra AS
T
g
eneration test case from CLooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolaeg
e
isl_printer_print_str:
h
a
n
dle NULL
i
npu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
oolaege
i
s
l
_
a
s
t
_expr_mod: perform missing multiplica
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
a
d
d isl_id
_
s
et_free_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_printer_pri
n
t_pw_a
f
f
:
use isl
_
a
st_ex
p
r when printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add support
f
or gener
a
tin
g
ASTs from schedul
e
relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
laege
add ISL
_
C
TX_{GET,
S
ET}_
S
TR_D
E
F macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Ver
d
oolaege
doc: s
e
parate out po
l
yhedral co
m
pilation functionalit
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add
i
sl_
s
et_
d
i
m
_has_{lower,upper}_b
o
und
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
eg
e
isl_basic
_
set_su
b
stit
u
te:
chec
k
that i
n
put affine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
doolaege
i
s
l
_pw_multi_a
f
f_substitute:
i
mprove error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdo
o
laege
i
sl_basic_
m
a
p
_alig
n
_divs: fix
pot
e
ntial invalid access
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_pw_mu
l
t
i
_aff_from_map: detect strides in
ou
t
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
Ver
d
oolaege
i
sl_pw_m
u
lti_
a
ff_from_map: detect easy floor
s
d
i
rectly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately
e
xport i
s
l_map_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaege
add
isl_pw_
*
_pull
b
ack_pw
_
m
ulti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add i
s
l
_pw
_
*_pullback_mult
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ver
d
o
o
l
aege
add isl_m
u
lti_aff_
p
ullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl
_
a
ff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_local_space_preimage_
m
ulti
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_s
e
t_preimag
e
_pw_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
a
dd
i
sl_set_preimage_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_bas
i
c
_
set_preimage_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
is
l
_stream
_
new_str: fail on
NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rd
o
ola
e
ge
privat
e
ly export isl_multi
_
a
f
f_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_basi
c
_set_add_div_constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
isl_map_is_
s
u
bset: support rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
la
e
ge
isl_stream_read_map: fix p
a
rsing o
f
Om
e
ga input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
V
erd
o
o
laege
isl_str
e
a
m_rea
d
_
m
ap
:
a
dd partial
s
u
p
port for readin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_
n
onne
g
_set: re
t
u
r
n a rational set if the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_
p
w_aff_zero_set: retu
r
n a rat
i
onal
s
et if the input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
add isl_pw_af
f
_list_s
e
t
_r
a
tion
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ve
n
Verdoolaeg
e
add is
l
_pw_aff_set_
r
ational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaeg
e
p
riv
a
tely export isl_set_set_rat
i
on
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd
i
sl
_
set
_
has_ra
t
ional
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
aege
reimplement isl_str
e
am_re
a
d_aff
in terms of
isl_stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
de
c
lare is
l
_stream_read_
m
ulti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoo
l
aege
isl_s
t
r
eam_read_multi
_
aff
:
r
e
ad
t
uples direc
t
ly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_
i
n
p
u
t
.
c
: ch
a
n
g
e tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaeg
e
add
i
s
l_pw_multi_aff_range_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
e
rdoolaege
add isl
_
multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_mul
t
i_*_range
_
s
plice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add
isl
_
mu
l
ti
_
*
_
set_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
ad
d
i
sl_mul
t
i_*_range_
p
roduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
a
d
d is
l
_multi_*_add_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_mu
l
ti_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add is
l
_multi_
p
w_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_multi_aff_from_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
isl_multi_te
m
p
l
.
c
: rename
ali
g
n_params
_
m
u
l
t
i
_set_a
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
isl
_
multi_t
e
mpl
.
h: a
v
o
i
d reference to exp
l
icit
e
lement
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
is
l
_m
u
lti_*_r
e
s
e
t_space_and_domain: call isl
_
*_reset_domain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoola
e
ge
g
e
ne
r
alize isl_mu
l
ti_aff_flat_ran
g
e
_
pr
o
duc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_multi_aff
_
drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
gen
e
ralize is
l
_
m
u
l
ti_aff_set
_
dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
generalize isl_mu
l
ti_aff_
z
ero
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
generalize isl
_
multi_aff_id
e
n
t
i
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verd
o
o
laege
ad
d
isl_pw
_
af
f
_ze
r
o
_
on_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
add isl_pw_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
d
o
ola
e
ge
a
dd
isl_aff_var_o
n
_
d
o
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
rdoolaege
isl_input
.
c: obj
_
read_body: simplify error handling
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdoolaege
add isl_basic_set_drop
_
constr
a
ints_not_involv
i
ng
_
dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add
i
sl_{set,map}
_
drop_const
r
aints_involvin
g
_
di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven V
e
r
doo
l
aege
add
i
sl_set_u
n
shifted_simp
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_stream_read_union_m
a
p:
f
orce r
e
sult to be a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
r
d
oolaege
add isl_un
i
on_map_subtract_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaeg
e
isl_set
_
from_pw_multi_aff: hand
l
e NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Verdoolaege
isl_u
n
ion_map
.
c: pl
a
in_injective_on_rang
e
: si
l
e
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
v
e
n
Ver
d
oolaege
isl_t
r
ans
i
tive_clo
s
ure
.
c
: union_
c
omponents: a
v
oid invalid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoolaege
isl_r
a
nge
.
c
qpo
l
ynomial
_
bo
u
n
d
_o
n
_domai
n
_r
a
n
g
e: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
doolaege
isl_conve
x
_hull
.
c: initial_facet_constrain
t
:
avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next