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
Sv
e
n
V
e
rdoolae
g
e
isl_affi
n
e_hull
.
c: affine_hull_with_c
o
ne: plug
memory
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
change pro
t
o
type of isl_factorizer_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoo
l
aege
isl
_
tab_sample: perform greed
y
search befor
e
p
erforming
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verdoolaege
isl_tab_sample: extract
o
ut
comput
e
_
mi
n
a
n
d co
m
put
e
_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-20
Sven Verd
o
o
l
a
ege
isl_tab_samp
l
e: treat
emptiness
of tableau as er
r
or
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-16
Sv
e
n Verdool
a
ege
AST generation: f
i
x han
d
ling of separation classes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
er
d
oolaege
isl_pr
i
nter
_
print_{basic
_
,}{se
t
,
map
}
: don't start n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven Ve
r
doo
l
aege
isl_print
e
r_print_space: support
printing
i
n
"ome
g
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
er
d
oolaege
rename isl_basic_set_add to isl_basi
c
_
set_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_a
f
f
_
no
r
m
a
l
ize: plug in di
v
s
with u
n
it co
e
fficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
S
ven V
e
rdo
o
l
a
e
g
e
isl_local_sp
a
ce_s
u
bstitute_seq: take argu
m
ent for
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_floor: normali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oola
e
g
e
isl_aff_ceil
:
co
m
p
u
t
e
c
ei
l
(
e/m) as
f
loor((e
+
m
-
1)/m)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoo
l
aege
isl_af
f
_gist: a
d
d missing isl_vec_cow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
isl_union_set_com
p
ute_schedul
e
:
d
ouble
check tha
t
we
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-10
Sven V
e
rdoolaeg
e
i
sl_union_set_compu
t
e_sc
h
edule: ensure carr
y
_depen
d
enc
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ve
r
do
o
laeg
e
update for change in clang's Diagnos
t
icOptions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-14
Sv
e
n Verdoolaege
isl_map_plai
n
_is_disjo
i
nt: handl
e
inpu
t
s with differen
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-13
Sven V
e
r
doo
l
aege
add README
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdool
a
ege
isl_uni
o
n_set_compute
_
sch
e
du
l
e: handle
r
e
sult with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdoolaege
i
s
l_as
t
_
code
g
en
.
c: g
e
nera
t
e_domain: postpone single
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-05
Sven Ve
r
doo
l
ae
g
e
isl_ast_build_as
t
_fr
o
m_schedule: ma
k
e construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
isl_ast_
b
uild
_
ast_from_schedule
:
u
se "<" if upper bound
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
i
s
l_
a
s
t_expr
:
add i
s
l_ast_op_lt
and isl_a
s
t_o
p
_gt operations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-10-04
Sven
V
erdoolae
g
e
add isl
_
basic_set_
f
rom_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
dool
a
e
g
e
i
sl_
a
st_expr_from_aff: try harder to use isl_a
s
t_op_pd
i
v_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sve
n
Verdo
o
laege
isl_ast_bu
i
ld_expr
.
c:
s
ep
a
rate
out extra
c
t_mo
d
ulo fun
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
Sven
V
erdo
o
laege
is
l
_ast_build_exp
r
.
c: fix typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-29
S
ve
n
Verd
o
olaege
isl_ast_bui
l
d_expr
.
c: remov
e
remna
n
ts
o
f code
r
emoved
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-28
S
v
e
n
Ver
d
oolaege
a
dd ext
r
a AST ge
n
eration te
s
t c
a
se from CLooG
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en Verdo
o
laege
isl_printer_print_str
:
handle NULL
i
np
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
S
v
en
V
e
rdoolaege
isl
_
a
s
t_expr_m
o
d: per
f
or
m
missing mul
t
iplica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_i
d
_set_free_u
s
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
isl_printer
_
print_pw_aff: use isl_ast_exp
r
w
hen printing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add support for
generating ASTs
f
rom sched
u
le relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add ISL_CTX
_
{GET
,
SE
T
}_STR_DEF macros
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
doc: separate ou
t
polyhedral compilation functiona
l
ity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add isl_s
e
t_dim_has_
{
l
ow
e
r,upper}_boun
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaeg
e
isl_basi
c
_set_su
b
s
tit
u
te: check that
input affine
expression
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
isl_pw_multi_aff_
s
u
b
stitute: impr
o
ve er
r
or handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
i
sl_basic_ma
p
_alig
n
_divs: fix
p
otential
i
nval
i
d
access
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
oola
e
ge
isl_pw_mult
i
_aff
_
from_map: detect str
i
des in output
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoolaege
isl_pw_multi_aff_from
_
map: d
e
t
ect
e
a
s
y floors dire
c
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaeg
e
p
r
i
vately ex
p
or
t
is
l
_map_is_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
ge
add i
s
l_p
w
_*_pullback_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl
_
pw_*
_
pu
l
lback_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doolaege
add isl_mul
t
i_aff_p
u
llback_m
u
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
add isl_aff_pul
l
back_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl_local_space_preimage_m
u
lti
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_
s
et_pr
e
i
mage_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoola
e
ge
add isl_set_
p
reimage_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
add is
l
_basic_set_preimage_mu
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_stream_new_st
r
:
fail on NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
privately expo
r
t isl_multi_a
f
f_align_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
add isl_basi
c
_
s
e
t
_
a
dd
_
div_constr
a
i
nts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
r
doolaege
isl_map
_
is_subse
t
: support r
a
tiona
l
map
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_stream_read
_
map:
fix pa
r
s
i
ng o
f
Omega inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolae
g
e
is
l
_stream_rea
d
_map: add p
a
rtial
support for reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_pw
_
aff_nonneg
_
s
et: return a ra
t
ion
a
l
set
i
f the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
isl_
p
w_aff_ze
r
o_set: re
t
urn a ration
a
l set if
the input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoola
e
g
e
add isl_p
w
_aff_li
s
t_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rd
o
olaeg
e
ad
d
isl_pw_aff_set_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
V
erdoolaege
privately exp
o
rt isl_set_set
_
rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_s
e
t_has_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
r
eimplement isl_stream_read
_
a
f
f in terms of isl_s
t
ream_re
a
d_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
declar
e
isl
_
st
r
e
a
m_read_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_stream
_
read_multi_aff:
re
a
d tuples directly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ve
r
d
o
olaeg
e
i
sl_in
p
ut
.
c
:
chan
g
e tuple parsing
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
er
d
oolaege
a
d
d
isl_pw
_
multi_aff_range_produ
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add isl_mu
l
ti_*_spli
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doola
e
ge
a
dd
isl_
m
ulti_
*
_rang
e
_spli
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Ver
d
oolaege
a
dd isl_mu
l
ti_*_set_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
add
isl_m
u
lti_*_
r
ange_p
r
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
e
r
doolaege
add
isl_multi_*_add_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
a
dd isl_
m
ult
i
_*_inser
t
_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdo
o
l
aeg
e
add isl_multi_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add
i
sl_multi_aff_from_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
do
o
laege
isl_multi_tem
p
l
.
c: rename
a
lign_params_multi_s
e
t_and
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
isl_multi_templ
.
h: avoid r
e
ference to e
x
plicit element
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
is
l
_
m
u
lti_*_reset_space_a
n
d_domain: c
a
ll
i
sl_*_reset
_
doma
i
n_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generali
z
e isl_mu
l
t
i
_aff_fla
t
_ran
g
e
_p
r
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoolaege
g
e
neralize isl_multi_aff_drop_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
generalize is
l
_multi_aff_set_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
generalize is
l
_multi_a
f
f
_zero
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_multi_aff_identity
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
a
e
ge
add isl_pw_
a
ff_zer
o
_
o
n_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
add is
l
_pw_aff_v
a
r_on_d
o
main
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
ven V
e
rdoo
l
ae
g
e
add isl_af
f
_var_on_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_input
.
c: obj_read_body: s
i
mplify error handling
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
V
erdoolae
g
e
add isl_basic_se
t
_drop_cons
t
r
aints_n
o
t_involving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n
Verdo
o
la
e
ge
a
d
d isl_{set,map
}
_drop_constraints_i
n
volving_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
S
v
e
n Ve
r
doolaege
a
dd isl_set_unshifte
d
_sim
p
le_hu
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Ve
r
doolaeg
e
isl_strea
m
_r
e
ad_u
n
io
n
_ma
p
: force result to be a map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven
Verdoolaeg
e
add isl_union_map_subtract_r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_set_from_pw_multi_aff
:
handle N
U
LL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolae
g
e
i
s
l_union_map
.
c: pla
i
n
_injective_on_range: silence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven
Verdoolaege
i
sl_transitive_
c
losure
.
c:
u
n
i
on_components: a
v
oid inva
l
id
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n
Ver
d
oolaege
isl_range
.
c
qpolynomial_b
o
und_on_do
m
ain
_
r
ange:
a
void
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verdoolaeg
e
isl_conve
x
_
hull
.
c: initial_facet_
c
onstraint: avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoola
e
ge
is
l
_map_union: special case universal input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next