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
doc: fix typo
2011-09-09
Sven Verdoolaege
d
o
c:
fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
S
ven Verdool
a
ege
add is
l
_set_
g
i
st
_
par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
v
e
n Verdoolaege
ma
k
e
isl_pw_* obj
e
ct liv
e
in
a
map sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
add
i
sl
_
space_extend_dom
a
in_with_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
add
isl_space_is_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_local
_
sp
a
ce_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdool
a
ege
a
d
d i
s
l_local_
s
pace_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoola
e
ge
impl
e
ment
i
sl_constraint on top
o
f
i
sl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add i
s
l_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
isl_aff
.
c: e
x
tract isl_local_space
_
g
e
t
_
a
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
isl
_
output
.
c: drop redun
d
ant "set
"
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
r
doo
l
a
e
g
e
isl_union_*_alloc: project space onto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
explic
i
tly diffe
r
en
t
iate
b
e
t
ween spaces of maps, set
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
all
o
w isl_ids with n
e
ga
t
ive reference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
proper implementat
i
on of isl_union_map_from_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_map_from_domain_and_range: drop explicit
c
onve
r
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doo
l
aege
isl_set_
a
pply_pw_qpol
y
nomial_fold: drop explicit conversi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
rdoolaege
isl_
t
ab_basic_set_non_trivial_
l
e
xmin: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_tab_pip
.
c:
f
ix w
h
itespace issu
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_set_read_from_*: coerce set-like maps int
o
sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: map_read_polyl
i
b: co
n
ver
t
set-like
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_input
.
c
:
obj
_
r
e
ad: star
t
off fro
m
parameter
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
ol
a
ege
isl_input
.
c: r
e
present ne
s
ted t
u
ple as
isl_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_input
.
c: o
b
j_
r
ead_poly_or_fold: r
e
prese
n
t domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
isl
_
b
a
si
c
_set_multiplicative_call: expl
i
ci
t
ly p
r
oje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
i
s
l_pw_qpoly
n
omial_fold_bound: exp
l
icitly
p
roject
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_
q
polynomial_b
o
und
_
on_domain_bernstein: explicitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolae
g
e
i
sl
_
qpo
l
ynomial_boun
d
_on_domain_range
:
e
xplicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_unio
n
_map_from_map: explicitly
p
roject on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_union_m
a
p_
a
lign_par
a
ms: explicitly project on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_polynomial
.
c: con
s
tant_on_d
o
main: explicitly
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
basic_
s
et_dim_max: e
x
plicitly project on p
a
rame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_
b
a
s
i
c_set
_
compute_ve
r
tices: explic
i
tly turn
cha
m
bers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
b
ound
.
c:
e
xplicitly convert c
o
nte
x
t i
n
to parame
t
er s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
pip
.
c: e
x
p
licitly conv
e
r
t co
n
tex
t
into p
a
rameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
add i
s
l
_pw_
q
polynomial_fold_project_domain_
o
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
add
i
sl_qpolynom
i
al_project_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoo
l
aege
add isl_pw_q
p
olynomia
l
_
p
roject_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
r
do
o
laege
add
i
s
l
_mor
p
h
_
{dom,ran}_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add isl_b
a
sic_
s
et_pa
r
ams a
n
d i
s
l
_
set_par
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space
_
params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_stream_read_set: accept parameter domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
i
s
l
_
p
w_qpolyn
o
mial_fo
l
d_bound: simplify constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoolaege
isl
_
test
.
c: pr
o
p
e
rly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
ool
a
ege
i
s
l_ma
p
_
r
ange_ma
p
: fix s
p
ace manipulat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
i
s
l_map
_
range: construct correct space for
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_
b
asi
c
_set_
a
ll
o
c
: cre
a
te ba
s
i
c
set in proper
s
et
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
ge
isl
_
space
_
w
r
a
p
:
p
r
operly crea
t
e set
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
add isl_set_from_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename PW_alloc
_
to
PW
_
a
lloc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_pw_*_
a
dd_disjoint: try
a
nd
e
xtend one of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_
s
pace_match
:
optimiz
e
trivial ca
s
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add
i
sl_map_flat_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_acc
e
ss_info_comput
e
_f
l
ow: align parameters of i
n
put
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoola
e
ge
alig
n
p
a
rameters of arguments to isl_ma
p
_
{
le
x
min,l
e
xmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_space_align_params: accept general isl_spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
a
e
ge
add isl_space_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_
d
im to isl
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaeg
e
document isl_dim_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdoolaege
split off d
e
clarat
i
ons from isl_polynomial
.
h
to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdool
a
ege
merge isl_*
_
d
ump fu
n
ct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
a
dd isl_s
e
t_dim_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
a
d
d isl_
b
as
i
c_set_foreac
h
_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_pw_af
f
_un
i
on_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add i
s
l_pw_a
f
f_union_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
add isl_aff_le_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdo
o
laege
isl_qpolynomial_fre
e
: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
S
ven
Verdoolaeg
e
Me
r
ge bran
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-08-31
S
ven Ve
r
doola
e
g
e
isl_qpolynomial
_
rat_cst: handle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
bernstein_co
e
fficients_cell: han
d
l
e
NULL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
ven Verd
o
o
l
aege
isl_printer_to_str: i
n
t
i
alize
buffer to empty
s
tring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
ve
n
Verd
o
olaege
isl_map_inser
t
:
p
roperly handle named or nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ver
d
oolaege
isl_set_flat_prod
u
ct: call
isl
_
ma
p
_range_
f
lat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ver
d
o
olaeg
e
add some
isl_map_plain_is
_
fixed
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
S
ven Verdoolaege
isl_basic_m
a
p_
n
eg: gau
s
s result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven V
e
rdoolae
g
e
isl_dim_get_t
u
p
l
e_id:
c
omplain if tuple has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ve
r
doolaege
isl
_
d
i
m
_get_dim_i
d
: c
o
mplain i
f
dim has no
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
o
l
a
eg
e
add is
l
_
*_has_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
eg
e
ad
d
isl_*_ha
s
_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
d
o
c
:
warn abou
t
the limited us
e
of identifiers o
f
indi
v
i
d
u
al
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
o
olaege
d
o
c
u
m
ent isl_map_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolaege
rename isl_map_in
s
ert to isl_set_
i
nsert_dims and add
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en Verdoola
e
g
e
Merge b
r
an
c
h '
m
aint'
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
o
olaege
isl_dim_e
q
ual: handl
e
NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven V
e
rdoolaege
isl_dim_tuple_match: ha
n
dle NU
L
L
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaege
isl_map_is_sub
s
e
t
: a
map cannot be as su
b
se
t
of
a
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdoolaege
document isl_map_p
l
ain_is_
f
ix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Ve
r
doola
e
ge
Merge branch
'
ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_set_prod
u
ct:
c
all isl_m
a
p_range_pr
o
duct
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_basic_map_remove_dims:
properly
handle n
a
med o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_basic
_
ma
p
_
d
rop: prop
e
r
ly
ha
n
dle nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
erdoolaege
isl_access_in
f
o
_compute_fl
o
w
:
plug memory leak o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven
Verdoola
e
ge
doc: upd
a
te
protot
y
pe of is
l
_constraint_fr
e
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
v
e
n
Verdoo
l
ae
g
e
isl
_
bas
i
c_map_remove_
d
i
v
s: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
S
ven
V
erdoolaege
isl_sch
e
d
u
l
e
.
c:
h
andle
basic maps individuall
y
in se
t
up_ca
r
r
y
_lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven
V
e
rdoolaege
add isl_set_reset_
t
uple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verd
o
ol
a
eg
e
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-08-03
S
ven V
e
rdoolaege
isl
_
dim_range_prod
u
ct: dimensi
o
n
n
ames of domains don
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sv
e
n Verdoolaege
isl_aff
.
c: fix up copy
r
i
gh
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
S
ven Verdoolaege
is
l
_
a
ff_floor: reduce coeff
i
cients of n
e
w
l
y created div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next