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
change prototype of isl_factorizer_dump
2012-11-20
Sv
e
n Verd
o
ol
a
ege
change pro
t
o
t
y
p
e of i
s
l
_f
a
ctorizer_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven Ver
d
oolaege
isl_tab_s
a
mple: perform g
r
eedy search bef
o
r
e pe
r
for
m
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sv
e
n Verdoolaege
isl_ta
b
_sample: ex
t
r
a
ct out compu
t
e_min and compu
t
e_m
a
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en
V
erd
o
o
laege
isl_
t
ab_s
a
mple: treat e
m
ptiness of tab
l
eau as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sv
e
n
V
erdoolaege
A
S
T gen
e
rat
i
on: fix handlin
g
of
s
eparation classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_printer_p
r
int_{bas
i
c_,}{
s
et,
m
ap
}
:
d
on't
s
tart new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
V
erdo
o
laege
isl_printer
_
prin
t
_space: support p
r
inting in "omega
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
r
e
n
ame isl_basic_set_add to isl_
b
asic_s
e
t_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
en
V
erdoolaege
isl_aff_normalize
:
plug in divs with
unit coef
f
icient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
V
er
d
oolaeg
e
i
s
l_local_space_su
b
stitu
t
e_seq: take argument for
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven
Verdoolaege
isl_aff_floor: normalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
isl_aff_
c
eil: co
m
pute ceil(e
/
m
)
as
floor((
e
+ m - 1)/m
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
Sven Verdoola
e
g
e
i
sl_aff_gist: add mi
s
sing isl
_
vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sve
n
V
e
r
doolaeg
e
i
sl_union
_
set_com
p
ute_schedule: do
u
ble
c
heck t
h
at
we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven Verdoo
l
ae
g
e
isl_union_set_comp
u
te
_
schedu
l
e: ensure
c
a
rry_d
e
pendences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sven Ver
d
oolaege
update for
c
hange in clang's Diagnost
i
cOptions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolaege
isl_map_plain_is
_
disjoint: handle inputs with
d
i
f
ferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Ver
d
oolaege
add READM
E
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Verdoo
l
aege
i
sl_un
i
on_set_comput
e
_
s
chedule: handle result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Ver
d
oolaege
isl_a
s
t_codegen
.
c
:
g
e
nerate_domain: p
o
stpone single
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoo
l
a
ege
isl_ast_build_
a
st_from_sch
e
dule: make construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolae
g
e
isl_ast_build_ast_from_schedul
e
: use "<"
i
f
upper
bound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sv
e
n Verdoolaege
i
sl_ast_ex
p
r: add isl_ast_op_lt and isl_as
t
_op
_
gt o
p
eratio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoolaege
ad
d
isl_basic_set_f
r
om_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ver
d
oolaege
i
sl_a
s
t_expr_from_aff: try harder to use
i
sl_
a
st_o
p
_pdiv
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sv
e
n Verdoolaege
i
s
l_ast_build_expr
.
c: sep
a
ra
t
e
o
ut ext
r
act_modulo fun
c
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
S
v
e
n
Verdo
o
l
a
ege
isl_ast_bui
l
d_expr
.
c: fix typo in
commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaeg
e
isl
_
ast_build_expr
.
c: remove remnants of co
d
e remo
v
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
S
v
en Verdoolaege
add ex
t
ra
AST gen
e
ration test
c
ase from
C
LooG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoo
l
aeg
e
isl_printer_prin
t
_str:
h
andle
N
ULL i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
isl_as
t
_expr_mod: perform missing multiplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl_id_set_free_u
s
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoo
l
aege
i
s
l
_printer_print_pw_aff
:
us
e
isl_ast_expr when
printing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verd
o
o
laege
add support for generating ASTs
f
rom schedule relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
laege
add I
S
L_CTX_{GET,SET
}
_STR_D
E
F macros
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
doc: separate out polyhedral c
o
m
p
ilati
o
n
f
unctional
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdo
o
laege
add isl_s
e
t_di
m
_
has_{lo
w
er,upper}_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
sl_basic_set_substitute: c
h
e
c
k that in
p
ut
a
ffine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_pw_multi_aff_s
u
bstitute: impr
o
ve error
h
and
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Verdoolaege
isl_ba
s
i
c_ma
p
_align_di
v
s: fix
p
o
tential inva
l
id a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
isl_pw_mult
i
_
aff_from_map: detect
s
tr
i
des in
out
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolaege
isl_pw_mul
t
i_aff_f
r
om_
m
ap: det
e
ct easy
f
loo
r
s
dir
e
ct
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
p
r
ivately export
is
l
_ma
p
_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
ad
d
isl
_
pw_*_pullback_pw_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
add
i
s
l_pw
_
*_pullback_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdoolaeg
e
ad
d
isl
_
multi_aff_
p
ullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Verdoo
l
a
ege
add isl_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add isl_
l
o
c
al_spac
e
_
preimage_
m
ult
i
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aege
add
i
sl_s
e
t_
p
re
i
m
age_pw
_
multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
do
o
laeg
e
a
d
d isl_set_preimage_multi_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_basi
c
_set_
p
reima
g
e_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_stream_new_st
r
:
fail on NU
L
L inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export i
s
l
_
mult
i
_aff_align_d
i
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add
i
s
l_basic_
s
et_add_d
i
v_constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
isl_map_i
s
_subset: support ration
a
l
m
ap
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n V
e
r
d
oola
e
ge
isl_stream
_
read_map: fix parsing
o
f Omega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
isl_stream_read_ma
p
: add partial
s
upport for reading
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
a
ege
isl_pw_aff_n
o
n
ne
g
_s
e
t: return a rational set if
t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Verdo
o
l
aege
isl_pw_aff_zero_se
t
: return
a rational
s
et if the in
p
ut
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verd
o
olaege
add i
s
l_pw_af
f
_l
i
st_s
e
t_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdool
a
ege
add isl_
p
w_
a
ff_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolae
g
e
priva
t
ely expo
r
t isl_set_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Verdoo
l
aege
add isl_se
t
_
h
as_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
V
erdoolaege
reimplement isl_stream_read_a
f
f
in terms
of i
s
l
_
stream_read_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
V
erdoolaege
declare isl_stream
_
read_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
is
l
_str
e
a
m
_
r
e
ad_multi_aff: read
tuples directl
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aeg
e
isl_
i
n
put
.
c
: change tuple
p
arsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
add isl_pw_multi_af
f
_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add i
s
l_mult
i
_*_s
p
lice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdo
o
laege
add isl_mul
t
i_*
_
rang
e
_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n Verdoolaege
add i
s
l_multi_*_set_tup
l
e_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven
Ve
r
doolaege
add is
l
_mult
i
_*_
r
a
n
ge_pr
o
d
u
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
a
d
d
i
sl_multi_*_
a
d
d_
d
ims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdool
a
ege
add i
s
l_multi_*_
i
nse
r
t_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_m
u
l
ti_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoola
e
g
e
add i
s
l_mu
l
ti_
a
ff
_
from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdoolaeg
e
isl_multi_tem
p
l
.
c
: r
e
name a
l
ign_pa
r
ams_multi
_
s
et_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
d
oolaege
isl_mu
l
ti_t
e
mpl
.
h: a
v
o
i
d reference t
o
expl
i
c
it eleme
n
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
d
o
olae
g
e
i
s
l_mu
l
ti_*_reset
_
sp
a
c
e
_and_domain:
call isl_*_reset_do
m
a
i
n_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
generalize is
l
_multi_aff_fla
t
_
r
ange_produ
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
ge
n
eralize isl_multi_aff_drop
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erdoolae
g
e
generalize isl_multi_aff_set_dim_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdo
o
laege
gen
e
raliz
e
isl_m
u
lti
_
aff_ze
r
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laege
generaliz
e
isl_multi_aff
_
identity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
o
l
aege
add
i
sl_pw_
a
ff_z
e
r
o
_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
d
d isl
_
pw_aff_var_
o
n
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verdool
a
e
g
e
add isl_aff_var_on_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
isl_
i
nput
.
c:
o
b
j
_
read_body: simplify error h
a
nd
l
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl_ba
s
ic_set_
d
rop_constraints_no
t
_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdool
a
ege
add isl
_
{set,m
a
p}_drop_co
n
strai
n
ts_invol
v
ing_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolae
g
e
add isl_set_un
s
hifted_si
m
ple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
e
r
doolae
g
e
isl_
s
tream_read
_
union_ma
p
:
force
result to be
a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdo
o
laege
add
i
sl_union_map
_
subtract_
r
an
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven
V
erdoolaege
is
l
_set_
f
r
om_pw_mul
t
i_aff:
h
andle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sve
n
Verdoolaege
i
sl_union_map
.
c: plain_injecti
v
e_on_range: si
l
ence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven V
e
rdoo
l
a
ege
is
l
_transitive_closure
.
c:
union_com
p
onents: avoid in
v
alid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ver
d
oolaege
i
sl_range
.
c
q
pol
y
nomial_bound_on_domain_ra
n
ge: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sv
e
n Verdoo
l
aege
isl_conv
e
x_h
u
ll
.
c: initial_fac
e
t_constraint: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
V
erdoolaege
isl_map_union
:
s
pecial case universal input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven
Verdoolaeg
e
isl_map_gist: special case universal and equa
l
inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next