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_{in,}equality_alloc: take isl_local_space intead of isl_space
2011-09-13
Sven Ver
d
oolaege
isl_{in,}equal
i
t
y_
a
lloc: take isl_local_
s
pace in
t
e
ad
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdool
a
ege
doc
:
u
pdate example code to change in return
t
ype o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
Me
r
ge br
a
n
c
h '
m
aint'
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
Ver
d
o
o
la
e
ge
provide full pro
t
otypes for som
e
functions wi
t
h no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoo
l
aege
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl_set_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verd
o
ol
a
ege
make isl_pw
_
*
object live in a map
spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
add isl_space_exten
d
_domain
_
with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
add isl
_
spa
c
e_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoola
e
ge
add
isl_lo
c
al_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd isl_local
_
space_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
imple
m
ent isl_constr
a
int on top of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
add isl_vec_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
ege
isl_aff
.
c: ex
t
ract isl
_
local_space_get_act
i
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
oolaeg
e
isl_output
.
c:
d
rop
r
edundant "set"
a
r
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_unio
n
_*_alloc: p
r
oj
e
ct space onto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
ex
p
licitl
y
di
f
f
e
rentiate
betwee
n
spaces of map
s
,
s
ets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
all
o
w i
s
l_id
s
with negative
r
efer
e
nce counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
proper i
m
p
le
m
entatio
n
o
f is
l
_unio
n
_map_from_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
i
s
l_ma
p
_from_domain_
a
nd_range
:
dro
p
explicit con
v
e
rsion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_set
_
apply_pw_qpolynomia
l
_fold: drop expl
i
c
i
t
c
onversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_tab_basic
_
set_no
n
_
tri
v
ial_lexmin:
d
rop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
is
l
_
tab_pi
p
.
c: fix whitespace
issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
isl_set_
r
ead_from_*: coerce set-like maps in
t
o
s
e
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_inp
u
t
.
c: map
_
rea
d
_
p
olylib: convert se
t
-
l
ike maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_i
n
put
.
c:
obj_re
a
d:
s
tart off
fro
m
parame
t
er space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_input
.
c: represent nested tuple as isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_input
.
c:
o
bj_read_poly_or_f
o
l
d: represent doma
i
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_basic_set_
m
ultiplicative_c
a
ll: explic
i
tly pro
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
o
olaege
isl_pw_qpolynomial_fold_bound: explicitly
p
roject on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
isl_qpolynomial_b
o
und_on_domain_bernste
i
n
:
explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_qp
o
lyn
o
mi
a
l_bound_on_domain_r
a
nge:
e
xp
l
icitl
y
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verdoolaege
isl
_
union_map
_
f
rom_map: e
x
pli
c
itly project on
para
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
s
l
_
union_map
_
align_params: explicitly
project
o
n paramet
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l
_polynomial
.
c: con
s
tan
t
_on_domain: expli
c
i
tly pro
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdo
o
l
a
ege
ba
s
i
c
_set_dim_max: explicitly project o
n
pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoo
l
a
e
g
e
isl_ba
s
ic_se
t
_co
m
pute_
v
ertices
:
e
x
plicitl
y
t
u
rn chamb
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
bound
.
c: explic
i
tly
c
onver
t
c
ontext into
paramet
e
r set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pip
.
c: explicitly
con
v
ert conte
x
t into parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
ad
d
isl_pw_qpolynomial_fold_project_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
a
e
g
e
add isl_qpolyno
m
ial_pr
o
j
ect_domain_on_
p
ar
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdool
a
ege
add isl_pw_qpol
y
nomial_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_morph_
{
dom,ran}_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
add isl_bas
i
c
_
s
e
t_p
a
rams and isl_se
t
_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add isl_space_params_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolae
g
e
isl_stream_read_set: accep
t
parameter do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw
_
q
p
olynomial_fold_bound: simp
l
if
y
c
onstruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_test
.
c: properly cr
e
a
t
e set sp
a
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
i
s
l_
m
a
p
_range_map
:
fix spac
e
manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_map_range:
construct correct space for resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_basic_set_alloc: create basic se
t
in proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl
_
space_wrap: pro
p
erly crea
t
e set s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_set_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename PW_al
l
o
c
_
to PW_alloc_si
z
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Ve
r
do
o
laege
isl_
p
w_*
_
add_disjoint: t
r
y
and extend one of th
e
pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_space_match
:
op
t
imize trivial c
a
ses
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
r
d
oola
e
g
e
a
dd isl
_
map
_
flat
_
domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolae
g
e
isl_access_info_compute_
f
low: ali
g
n parameter
s
of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doo
l
aege
align parameters of argument
s
to isl_map_{lex
m
in,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
is
l
_space_a
l
ign_params: acce
p
t ge
n
eral isl_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add isl_spac
e
_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
rename isl
_
dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
e
n Verdoola
e
ge
d
ocument isl_di
m
_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oolaege
split off
declaration
s
from isl_po
l
ynomial
.
h
t
o separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoola
e
ge
mer
g
e
is
l
_*_
d
um
p
functio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
a
dd is
l
_
s
et_di
m
_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ve
n
Verdoo
l
aege
add isl_basi
c
_set_foreac
h
_
l
ex
o
p
t
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_p
w
_aff_uni
o
n_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
doolaeg
e
add isl_pw_aff_u
n
ion_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
add isl_aff_l
e
_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
isl_qpolynomial_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-08-31
S
v
en Verdoolaege
isl_qpolynomial_rat_cst: handle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdool
a
ege
bernstein_coefficients_cell
:
handle NULL
p
oly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven
V
erd
o
olaege
is
l
_printer_to_str: inti
a
l
i
ze buffer to e
m
pty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sve
n
Ve
r
d
o
olaege
isl_m
a
p_insert: properly handle na
m
ed or nest
e
d spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoo
l
aege
isl_set_fl
a
t_produc
t
:
c
all isl_map_
r
ange_fl
a
t_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ve
r
doolae
g
e
add some isl_map_plain_is_fixed
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ver
d
oolaege
isl_ba
s
ic_ma
p
_neg: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Ve
r
doolaege
isl_dim_get_t
u
pl
e
_id: complain if tuple has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_dim_ge
t
_d
i
m
_
id: compla
i
n if di
m
has no i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
a
d
d isl_*_has_tu
p
le_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
ege
add
isl_*_
h
as_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oolaege
doc: warn
a
bout the
l
i
m
ited use of i
d
entif
i
ers o
f
individua
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rd
o
ol
a
ege
document isl_
m
ap
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdo
o
laege
re
n
ame is
l
_map_inser
t
to isl_set_insert_dims and add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoolaege
Merge br
a
nch 'mai
n
t'
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdoo
l
aege
isl_di
m
_
e
qua
l
:
handle NU
L
L inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdoola
e
ge
i
s
l
_dim_tuple_mat
c
h: h
a
ndl
e
NULL
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
S
v
e
n Verdoolaeg
e
isl
_
ma
p
_is_subset: a map cannot be
as s
u
bset of a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sv
e
n V
e
r
d
oolaege
document isl_
m
ap_pl
a
i
n
_is_fi
x
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olaege
i
s
l
_
s
et_product
:
call
isl
_
m
a
p_ra
n
g
e
_p
r
o
duct
i
n
s
tead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_bas
i
c_map_r
e
m
ove_dims:
properly handle n
a
med or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdool
a
ege
isl
_
basic_map
_
drop: prope
r
ly handle n
e
sted spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
Verdoolaege
isl_access_in
f
o_compute
_
flow
:
p
lug memory leak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sebastian Pop
doc: remove "struct" in fro
n
t
of
is
l
_* types
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven
Verdoolaege
d
o
c: update prototype of isl_constraint_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven
V
erdoola
e
ge
i
sl_basic_map_remove_d
i
vs:
h
andle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
S
v
en Ver
d
oolaege
isl_sched
u
le
.
c: hand
l
e basic maps indivi
d
ually in setup_car
r
y_lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next