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
S
ven
V
e
rdoolae
g
e
c
h
an
g
e prototype o
f
i
sl
_
f
a
c
t
or
i
zer_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
S
v
en Verdool
a
ege
isl_tab_samp
l
e
:
perform
greedy sear
c
h before performin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdo
o
laege
i
sl_tab_sample:
e
xtract out compute_min and com
p
ute_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-20
Sven
V
erdoolaege
i
sl_
t
ab_samp
l
e
:
treat emptiness of tabl
e
au
as error
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-16
Sven Verdoolaege
AST generation: fix
h
a
ndling of se
p
a
r
a
tion classes
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdool
a
e
ge
isl_p
r
inter_pri
n
t_{bas
i
c_,}{set,map}:
d
on't st
a
rt n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoolaege
is
l
_
p
rinter_p
r
int_space: supp
o
rt printing in "omeg
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Verdoo
l
aege
rename isl_basic_se
t
_add
to isl_basic_
s
e
t
_add_d
i
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sv
e
n Verdo
o
laeg
e
isl_aff_normalize
:
pl
u
g in divs wi
t
h unit co
e
f
f
icient
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sven Ver
d
oolaege
i
s
l_local_sp
a
ce_substitute_
s
eq:
t
ake ar
g
u
ment for the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
S
v
e
n V
e
rdoolaege
isl
_
aff_floor: norm
a
lize r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-13
Sve
n
Verdoolaege
isl_aff_ceil:
c
ompute cei
l
(e/m) as floor((e + m - 1)/m)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-12
S
v
en Verdoolaege
isl_aff
_
gist: add miss
i
n
g
isl_vec_cow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-11
Sven Verdoolaege
isl_union_
s
et_compute
_
s
c
he
d
ule
:
d
o
ubl
e
ch
e
c
k
tha
t
we
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-10
Sven
V
er
d
oolaege
isl_u
n
i
o
n_set_
c
ompute_sche
d
ule: e
n
s
ure carry_dependences
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-11-04
Sv
e
n Verdoola
e
ge
u
p
d
ate for change in
clang's Diagn
o
sticO
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-14
Sven Verdoolae
g
e
i
s
l_map_plai
n
_is_disjoi
n
t: handle input
s
with di
f
ferent
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-13
Sven Verdoola
e
ge
add README
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-10
Sven Ve
r
doolaege
isl_union_
s
et_co
m
pute_schedule: handle result with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-07
Sven Verdo
o
lae
g
e
i
s
l_ast_code
g
en
.
c: gener
a
te_domain: postp
o
ne
s
ingl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-05
Sven Verdoolaege
isl_ast_build_as
t
_from
_
sc
h
e
dule: make construc
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en
V
erdoolaeg
e
isl_ast_build_ast_from_schedu
l
e: us
e
"<" i
f
u
p
per
b
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
Sven Verdoola
e
g
e
i
s
l_ast_exp
r
:
add isl_a
s
t_op_lt and isl_ast_op_gt operati
o
ns
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-10-04
S
v
en Verdoolaege
add isl_basi
c
_set
_
from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Ve
r
d
oolaeg
e
i
sl
_
ast_e
x
pr_from
_
af
f
: try
harder to use isl_ast_op_pdiv_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaeg
e
isl
_
ast_build
_
expr
.
c: separ
a
te out extract_modulo functi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoola
e
ge
isl_ast_b
u
ild_expr
.
c: f
i
x typo i
n
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-29
Sven Verdoolaege
isl_ast_build_ex
p
r
.
c: rem
o
v
e r
e
mnants of code removed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-28
Sv
e
n Verdool
a
e
ge
add extra AST gener
a
ti
o
n
te
s
t
case from
CL
o
oG
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
Sven Ver
d
o
ol
a
e
ge
isl
_
p
r
inter_print_str:
handle
NULL in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-22
S
ven
V
erdoolaege
i
sl_
a
st_expr_mod
:
pe
r
for
m
missing
multipl
i
c
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
add isl
_
id_se
t
_fre
e
_user
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
ege
isl_printer_
p
rint_pw_af
f
: use
isl_ast_expr
when pri
n
ting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoolaege
a
dd support
f
o
r
generating ASTs from schedule
r
elations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
l
a
ege
ad
d
ISL_CTX_{GET,SET}_STR_DEF mac
r
os
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
la
e
ge
d
o
c: separate out
p
o
lyhedral c
o
mpila
t
ion functionality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdo
o
laeg
e
add isl_set
_
dim_has_{
l
o
w
er,upper}
_
bou
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
isl
_
ba
s
ic_s
e
t
_substitute: check that
input affine expression
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ve
r
doo
l
aege
isl_pw_multi_aff_substitute:
improve error handli
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
a
e
ge
isl_basic_map
_
align_divs: fix pot
e
ntial i
n
valid a
c
cess
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
e
rdo
o
laege
isl_pw_mul
t
i_a
f
f
_from_map:
det
e
c
t
strides in
outp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaege
i
s
l_pw_multi
_
aff_
f
rom_map
:
detect easy floors direc
t
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sve
n
Verdoolaege
pri
v
ately e
x
port isl_ma
p
_is_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add
isl_pw_*_pullback_pw_
m
u
l
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
e
g
e
add isl_p
w
_*_pullba
c
k_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
o
o
l
aege
ad
d
isl_multi_a
f
f_pullback_multi
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
a
d
d isl_aff_pullback_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en
V
erdoolaege
add is
l
_local_s
p
ace_preim
a
ge
_
m
u
lti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
rdoolaege
add isl_set_preimage_pw_mult
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaeg
e
add
isl_set_
p
reimage_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
add isl
_
basic_se
t
_preimage_
m
ult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
isl_
s
tream
_
new
_
str: f
a
il on NULL inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolae
g
e
pr
i
vately
export is
l
_m
u
lti_
a
ff_align_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
ad
d
i
s
l_basic_
s
et
_
add_div_constrain
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_m
a
p_is_subset: support rational m
a
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
e
n
Verdoolaege
i
sl_stream_
r
ead
_
ma
p
: fix parsing of Omega input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdool
a
ege
i
sl_strea
m
_read_m
a
p: add p
a
rt
i
al s
u
pport for re
a
d
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_p
w
_aff_no
n
neg_
s
et: return a rational set
if t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oo
l
aege
isl_pw_aff_
z
ero_se
t
: return
a rational
set if the input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
Ve
r
doolaege
add isl_
p
w_aff_list_set_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
ge
ad
d
isl_pw_aff_s
e
t_ratio
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
privately export isl_set_
s
et_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Ver
d
oolaege
add isl_set_has_rat
i
ona
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
re
i
mplement isl_stream_re
a
d_aff in terms of is
l
_s
t
ream_
r
ead_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verdoo
l
aege
d
e
clare is
l
_
str
e
a
m
_read_mult
i
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
ol
a
e
ge
isl_stream
_
r
e
ad_mult
i
_aff: read
t
uples
d
i
rectly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
isl_input
.
c: change tuple parsing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en V
e
rd
o
olaege
a
dd isl_p
w
_multi
_
a
f
f
_range_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoola
e
g
e
add isl_multi_*_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Verd
o
olaeg
e
add isl_m
u
l
ti_*_range_splice
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add
is
l
_mu
l
ti_*_set_tu
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven V
e
rdoolaeg
e
add isl_multi_
*
_
r
ange_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n
Ver
d
oolaege
a
dd isl_multi_*_add_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaege
add isl_multi_*_insert_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoo
l
aege
add
i
sl_mult
i
_pw_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sv
e
n Verdoolaeg
e
ad
d
isl_mul
t
i_
a
f
f_
f
rom_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven V
e
r
dool
a
ege
isl_multi_t
e
mpl
.
c
:
rename align_p
a
rams_multi_set_and
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
v
en Ve
r
d
oo
l
aege
i
s
l_multi_templ
.
h
: avoid
r
e
ference to explicit element
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
S
ven Ver
d
o
ol
a
ege
isl_multi_*_reset_space
_
and
_
domai
n
: call isl_*_reset_
d
omain_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verd
o
olaege
general
i
z
e
isl
_
mu
l
t
i_aff_flat_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
generalize isl_
m
ulti_aff_drop_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven
V
erd
o
olaege
genera
l
ize i
s
l_multi_af
f
_
set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Ver
d
oolaeg
e
gener
a
lize
i
sl_multi_aff_zer
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
gener
a
l
i
z
e
isl_
m
ulti_
a
ff_ident
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
add isl_pw_aff_z
e
ro_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-18
Sven Verdoolaege
a
dd isl_pw_aff_var_on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
S
ven Verd
o
ola
e
ge
add isl_af
f
_var
_
on_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Ve
r
doola
e
ge
isl_i
n
put
.
c: o
b
j_read
_
body: sim
p
lify error han
d
l
i
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sv
e
n Verdoolaege
add isl_
b
a
sic_s
e
t_drop_constr
a
ints_not_involving
_
di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
V
e
rdoolaege
add isl_{
s
et,map}_drop_co
n
strain
t
s_involv
i
ng_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sve
n
Ver
d
oolaege
add
i
sl_
s
et_unshifted_simple
_
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verd
o
olaege
isl_stream_r
e
ad_union_ma
p
:
f
orce
resul
t
t
o
be
a map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
add isl
_
union_map_su
b
tr
a
c
t_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-17
Sven Verdoolaege
i
s
l_set_from_pw_mul
t
i_aff: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ve
r
doolaege
isl_unio
n
_ma
p
.
c: plain_
i
n
jective_
o
n_range: si
l
enc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
S
ve
n
V
e
rdoo
l
aege
isl_tra
n
si
t
ive_closure
.
c: union_com
p
onents: avoid
inval
i
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Ver
d
o
o
laeg
e
i
s
l_range
.
c
q
poly
n
o
mial_bound_on_do
m
ain_r
a
nge: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-15
Sven Verd
o
olaege
isl_convex_hull
.
c: in
i
tial_facet_constrai
n
t: avoid
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sven Verdoolaege
isl_map_uni
o
n:
special case universal in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2012-09-14
Sv
e
n Verdoolaege
isl_m
a
p
_gi
s
t: spec
i
al case universal a
n
d equal inputs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next