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 Verdool
a
ege
is
l
_ast
_
buil
d
_
e
li
m
ina
t
e_divs: remove
u
nknown d
i
v
s
bef
o
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoolaege
isl_affine_
h
ull
.
c: affin
e
_
h
u
ll_with_cone: plug mem
o
ry
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
c
hange prototy
p
e of isl_
f
actorizer_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven V
e
rdool
a
ege
isl_tab_sa
m
ple:
p
e
r
form
g
reedy search before
p
erforming
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdo
o
laege
i
sl_tab_sample: extract out co
m
pute_min and compute
_
max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven
Verdoolaege
isl_t
a
b_sample:
t
re
a
t emptiness of tab
l
eau as error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdool
a
ege
AST generation: fix handling of separati
o
n
classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
isl_print
e
r_print_{
b
asic_,}{set,map}: don't s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdo
o
laege
isl_printer_
p
rint_
s
pace
:
support printing in "omega
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verdoolaege
re
n
ame isl_b
a
sic_set
_
add to isl_basic_set_ad
d
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven V
e
rdoola
e
ge
isl_aff_normalize: plug in
divs with unit coefficien
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
isl_local_space_subst
i
t
u
t
e
_seq: t
a
k
e argument for the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Verd
o
o
laege
isl_aff_floo
r
: normalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verd
o
o
la
e
g
e
is
l
_
a
ff_ceil:
compute ceil(e/m) as floor((e
+ m -
1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven
V
erdoolaege
isl_aff_gist: add m
i
s
s
i
n
g
i
s
l
_
v
e
c
_c
o
w
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven V
e
rdoo
l
aege
isl_u
n
ion_se
t
_compute_schedule: double check that w
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sve
n
Verdoolaege
isl
_
union
_
set_compute
_
schedule:
e
nsure
carry_de
p
ende
n
ces
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Verdoolaege
update for cha
n
ge in
clang's Diagnos
t
icOptio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
S
v
en Verdoolaege
isl_map_plain_is_dis
j
oint: handle
i
np
u
ts with different
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoolaege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoolae
g
e
i
s
l
_
u
nion_set_c
o
mpute_
s
chedule: handle re
s
ult with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
isl_as
t
_
cod
e
gen
.
c: gener
a
te_domain
:
postpone
singl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
S
v
en Verdoolaege
isl_ast_buil
d
_
ast_from_s
c
hedule: make con
s
truct
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoola
e
ge
isl_ast_build_a
s
t_
f
rom_schedule: use "<"
if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven V
e
rdoola
e
ge
is
l
_a
s
t
_expr: add
isl_ast_op_lt a
n
d isl_ast_
o
p_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
S
ven Verd
o
olaege
add isl
_
basic_
s
et_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdo
o
laege
i
sl_
a
st_expr_from_aff: t
r
y har
d
er t
o
use isl_ast_o
p
_
p
d
i
v_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
doola
e
ge
isl
_
ast_
b
uild_expr
.
c: separate out extra
c
t_mo
d
ulo fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
i
sl_ast
_
build_expr
.
c: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_
a
s
t
_bui
l
d_expr
.
c: remove remnan
t
s of code removed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
Sven Verdoolaeg
e
ad
d
e
xtra AST ge
n
eration t
e
s
t
case from CL
o
o
G
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_
p
r
inte
r
_print_str
:
ha
n
d
le N
U
LL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven
Verdoolae
g
e
isl_as
t
_expr_m
o
d: perfo
r
m m
i
ssing multiplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add
i
sl
_
id_set_
f
ree_user
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
isl
_
print
e
r
_
print_p
w
_
aff: use
isl_ast_expr when printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
add support for
g
en
e
rating ASTs fr
o
m
s
che
d
ule re
l
at
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
add ISL_CT
X
_{GET,SET}_S
T
R_DEF
m
acr
o
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
doc:
s
e
parate o
u
t
polyhedral comp
i
lation functionality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ver
d
o
olaege
a
d
d i
s
l_s
e
t_dim_has_{lower
,
upper}_boun
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
olaege
isl_basic
_
se
t
_substitute: check that input affine expre
s
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
i
s
l
_pw_multi_aff_substi
t
ute: improve error handli
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
is
l
_basic_
m
ap
_
a
lign
_
divs: fix pot
e
n
tial
inval
i
d access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
o
lae
g
e
isl_pw_mult
i
_aff_from_map: dete
c
t s
t
rides in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
is
l
_pw
_
mul
t
i_aff_
f
rom_ma
p
: detect easy f
l
oo
r
s
d
irectly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl_map_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add
i
s
l
_pw_*_pullback_pw
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
a
d
d
isl_pw_*_pullback_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
olaege
add isl_multi_aff_pullback_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
o
laege
a
dd
i
sl_aff_p
u
llb
a
ck_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdool
a
ege
a
dd isl_loc
a
l_s
p
ace_preimage_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
lae
g
e
add
isl_set_preimage_pw_multi_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
e
g
e
add isl_set_
p
rei
m
a
ge_m
u
l
t
i_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add
isl_ba
s
ic_set
_
p
r
eimage_m
u
lti
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
olaege
isl_stream_new_str: fail
o
n
NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
private
l
y
export isl
_
m
u
l
t
i
_aff_
a
lign_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_basic_set_add_div_
c
onstraint
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rdoolaege
isl_map_
i
s
_subset: support r
a
t
i
ona
l
maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
d
oolaeg
e
isl_
s
tre
a
m_read_map: fix
p
a
r
sing
o
f O
m
ega input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Ve
r
doolaege
isl_stream_read_map:
add parti
a
l support
for rea
d
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_
p
w_aff
_
nonneg_set
:
return
a
rational set if the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_aff_zero_set:
r
eturn a rat
i
o
n
al set if the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
add isl
_
pw_a
f
f_list_
s
et_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ola
e
ge
add isl_pw_aff_set
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
privately expo
r
t
i
sl_
s
et_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
is
l
_s
e
t_has_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
reim
p
lement isl_stream
_
rea
d
_aff in te
r
ms o
f
isl_
s
tream_read_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
decla
r
e isl_
s
tream_read_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
s
l_stream_
r
ead_multi_aff: re
a
d tupl
e
s
direc
t
l
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
isl_input
.
c:
c
h
ange tuple parsin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
i
sl_pw_multi_aff_r
a
nge_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
a
d
d isl
_
mult
i
_
*
_
splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laeg
e
add isl_
m
ulti
_
*
_
range_splice
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
i
sl_multi_*_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_m
u
lti_*_range_
p
rod
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
o
olaege
add
isl_multi_*_a
d
d_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add is
l
_
m
ul
t
i_*_insert_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
a
dd isl_multi_aff_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_multi
_
t
e
mpl
.
c
:
rename align_
p
a
r
ams_multi_set_an
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
is
l
_multi_templ
.
h: avoi
d
refer
e
nce to e
x
pl
i
cit
element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaeg
e
isl_multi_*
_
reset_space_and_
d
om
a
in
:
call isl_*_
r
es
e
t_domain_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaege
generalize isl_multi_a
f
f
_
f
l
at_
r
a
n
g
e_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoo
l
a
ege
generalize isl_multi_aff_drop
_
d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
g
e
neralize isl_multi_a
f
f_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
gene
r
alize isl_mult
i
_af
f
_z
e
r
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl
_
multi_aff_i
d
entity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
doolaege
add isl_pw
_
a
f
f_zero
_
on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add isl
_
pw_aff_var_on_
d
oma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add isl_aff_v
a
r_on_do
m
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verd
o
olaege
isl_input
.
c: o
b
j
_
read_b
o
dy
:
simplify
e
r
r
or handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doolaege
add isl_b
a
sic_set_
d
rop_constra
i
nts_not_in
v
olving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_{set,map}_drop_constraints_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdool
a
ege
a
d
d i
s
l
_set_unshifted_sim
p
le_hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
en
Ve
r
do
o
l
aeg
e
isl_s
t
ream_rea
d
_un
i
o
n
_m
a
p: force resu
l
t to be a
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Verdoo
l
aege
add
isl_un
i
o
n
_map_subt
r
a
ct_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_set_from_pw_multi_af
f
: handle NULL inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
S
ven Ver
d
oolaege
isl_union_map
.
c:
pl
a
in_injec
t
ive_on_range: sil
e
nce
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaege
i
s
l_transitive_closure
.
c: union_com
p
o
nents: avo
i
d invalid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
Verdoolae
g
e
isl_range
.
c
qpo
l
ynomial_
b
ound_on
_
domain_
r
ange: avoi
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
doo
l
a
e
ge
i
s
l_convex
_
h
u
l
l
.
c:
initial_facet
_
constraint: avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next