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: document *_move_dims functions
2011-09-14
Sven Verdoolaege
doc: document *
_
m
ove_dims func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven V
e
rd
o
o
l
a
e
ge
drop isl
_
div abs
t
r
a
c
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en Verdo
o
laege
isl_
{
i
n
,}equali
t
y_alloc:
take isl_local_space inte
a
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verd
o
olaege
doc: upda
t
e
example code to change
i
n
r
eturn type
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en V
e
rdoolaege
Merg
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
Verdoolaege
prov
i
de f
u
ll pro
t
otypes
f
or som
e
functions
w
ith no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaeg
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
ad
d
isl_set_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolaege
m
ake isl
_
pw_* o
b
ject li
v
e
i
n a map space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add
i
sl_space_extend_domain_w
i
th_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space
_
is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
ad
d
isl_local_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add isl
_
loca
l
_
s
pace_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolaeg
e
implement i
s
l_constraint on
to
p
of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl
_
vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_aff
.
c
: extrac
t
isl_lo
c
al_spac
e
_get
_
act
i
ve
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
isl
_
output
.
c:
drop
r
e
dundant "se
t
" arg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoola
e
ge
is
l
_un
i
on_*_alloc: pr
o
ject space onto
parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
ex
p
licitly d
i
f
ferentiate between s
p
aces of ma
p
s, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
allow i
s
l_ids wi
t
h negative reference co
u
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pro
p
er im
p
lementation of isl_union_map_from_
r
an
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
isl_m
a
p_from_dom
a
i
n_and_range: drop exp
l
icit con
v
e
rs
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
is
l
_set_apply_pw_qpolynomial_fold: drop expl
i
cit con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
olaege
isl_tab_basic_set_n
o
n_trivi
a
l_lexm
i
n: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Ve
r
dool
a
ege
isl_t
a
b_pip
.
c: fix whitespace iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
ege
isl_s
e
t_r
e
ad_fr
o
m_*:
coerce s
e
t-like maps
i
nto sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl_inpu
t
.
c: map_rea
d
_polylib
:
co
n
ve
r
t set-like map
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
i
sl_input
.
c:
obj_read: start off
from parameter
s
p
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_input
.
c: r
e
p
r
ese
n
t ne
s
ted 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
b
j_read_pol
y
_or_fold: represent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_bas
i
c_set
_
mult
i
p
licati
v
e_call: explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
isl_p
w
_qp
o
l
ynomial_fold_bound:
expli
c
itl
y
project
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
sl_qpoly
n
omial_boun
d
_on_domain_berns
t
ein: explic
i
tly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaeg
e
isl_qpolyn
o
m
ial_bound_on_domain_ra
n
ge: explicitl
y
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
isl_union_m
a
p_from_map: explici
t
ly project
on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
isl_unio
n
_map_alig
n
_params: explici
t
ly project on
par
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_polynomial
.
c: constant_on_domain: explicitly
project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolaege
basic_set_dim_m
a
x: exp
l
icitly project on
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_basic_set_
c
om
p
ute_ve
r
tices: expl
i
citly turn ch
a
mbe
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
bound
.
c:
e
xplicitly
convert context in
t
o
p
ar
a
meter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
pip
.
c: explicitly conv
e
rt context
i
nto paramete
r
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
add isl
_
pw_q
p
o
l
ynomial_fold_
p
roject_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add is
l
_qp
o
l
ynomi
a
l_project_domain_on
_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_pw_q
p
olynomial_pr
o
je
c
t_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add isl_morp
h
_{do
m
,ran}_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l
_
b
a
sic_
s
et_params and i
s
l_set_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add is
l
_
s
pace_p
a
rams_al
l
oc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_stream_re
a
d_set: accept parameter
d
omains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
ege
isl
_
pw_qpo
l
yn
o
mial_fold_bound: sim
p
l
i
fy construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_t
e
st
.
c:
p
roperly create set spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
is
l
_map_range_
m
ap: fix space manip
u
lation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
isl_map_range: constr
u
ct co
r
re
c
t
space for
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
ae
g
e
i
sl
_
basic_set_a
l
l
o
c
:
create ba
s
ic se
t
in
p
roper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_space_wra
p
: properly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdo
o
laege
add
i
sl
_
se
t
_from
_
p
w
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
r
e
name PW_alloc_ to
P
W_al
l
oc_siz
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
isl_p
w
_*_add_disj
o
int: try and extend one
of
t
he pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
isl_spac
e
_
match: o
p
t
i
mize trivial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_map_f
l
at_
d
omain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_access_inf
o
_compute_flow:
a
lig
n
par
a
meters of inpu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
olaege
al
i
gn parameters o
f
arg
u
men
t
s to isl_
m
ap_{lexmin,lexmax
}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_space_
a
lign_pa
r
ams: ac
c
ept genera
l
is
l
_sp
a
ces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
add isl_spac
e
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
rename isl
_
dim t
o
isl_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoo
l
aeg
e
document i
s
l_dim_m
o
ve
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
olaege
split off declarations
fr
o
m isl_pol
y
nomial
.
h
to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
merge isl_*_dump functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
add isl_set_
d
im
_
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
add isl_basic_set_foreac
h
_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laege
add isl_pw
_
a
ff
_
union_opt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
add isl_
p
w_aff_union_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n
Verdoolaege
add
i
sl_aff_le_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolaege
isl_
q
polynomial_fr
e
e:
retu
r
n NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Ver
d
oolaege
Merge bra
n
ch 'm
a
i
n
t'
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
erd
o
olaege
isl
_
qpolynomial_rat_c
s
t: han
d
le
N
ULL s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdo
o
la
e
ge
bernstein_coefficients_cell: handle NULL
p
oly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
S
v
e
n Verdoo
l
aege
isl_printer_
t
o_s
t
r: intialize
buffe
r
t
o
empty
s
tring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
i
s
l_map_insert
:
properl
y
handle n
a
med or nes
t
ed spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoo
l
aege
isl
_
set
_
flat_product: call isl_map_range_flat_
p
ro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sv
e
n Verdoola
e
ge
add some
i
sl_map
_
plain_is_fixed tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ve
r
d
o
o
la
e
ge
i
s
l_basic_map_neg: gauss re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
v
en
V
erdool
a
ege
isl_dim_get_tupl
e
_id: com
p
lain
i
f
tuple has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl
_
dim_get_dim_id: complain if dim has n
o
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven
Verdoolaege
add isl_*_has_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
add isl
_
*_has_dim
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
o
l
aege
doc: war
n
a
b
out the
l
imited
us
e
of identifiers o
f
individual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
Verdoolae
g
e
document isl_map_
d
im
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en
V
e
rdoolaege
rename is
l
_
map_insert to isl_set_insert_
d
ims a
n
d
a
dd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
doolaege
Mer
g
e bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
Sven Ve
r
doola
e
g
e
isl_
d
im_equal: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolaege
isl_dim_t
u
ple_matc
h
:
h
a
ndle NULL inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven
V
erd
o
olaege
i
s
l_map_is_subse
t
: a map ca
n
not be a
s
subset
o
f
a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
S
ve
n
Verdoola
e
g
e
document i
s
l_map
_
plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoola
e
ge
is
l
_set_prod
u
ct: call isl_map_
r
ange_pro
d
u
ct
i
nstead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Ver
d
oolaege
i
sl_basic_map_remove_di
m
s: properly handle named or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
i
sl_basic_map_drop: properly handle
nested
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sve
n
Verdoolaege
isl_access_i
n
fo_
c
o
mpute_f
l
ow:
p
lug memory le
a
k
o
n err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
S
v
e
n
Verdoolae
g
e
d
oc:
u
p
date prototy
p
e of
i
s
l_c
o
n
s
tr
a
int_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven Ver
d
o
o
laege
is
l
_
b
a
sic_map
_
remove_divs: handle NULL i
n
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next