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
add isl_space_extend_domain_with_range
2011-09-03
Sven Verdoola
e
ge
a
d
d isl
_
space_ext
e
nd_domain_with_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aege
add isl_space_is
_
d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oolaege
add i
s
l_
l
o
cal_space_i
s
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
laeg
e
a
d
d isl
_
local_space_do
m
ain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
mplemen
t
isl_
c
onstrain
t
on t
o
p of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
a
dd isl_vec
_
neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_aff
.
c
: e
x
tract isl
_
local_s
p
ace_get
_
active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_output
.
c:
d
rop redun
d
an
t
"set" arg
u
me
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
i
s
l_union_*_a
l
loc:
p
r
oj
e
ct space o
n
to paramete
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explicitl
y
differentiate between
sp
a
ces of maps,
sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
allow
isl_ids
w
ith n
e
gativ
e
r
e
ference c
o
u
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
laege
proper implementation
o
f
isl_un
i
on_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_map_from_domain_and_range: drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
is
l
_
s
et_ap
p
ly_pw_qpolynomi
a
l_
f
old: drop ex
p
l
i
c
it conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_basic_set_non_triv
i
al_l
e
xmin: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl_tab_pip
.
c: fix white
s
p
ac
e
issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_set_read_from_
*
: co
e
rce se
t
-like maps into s
e
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl
_
inpu
t
.
c:
map_r
e
ad_polylib: convert
set-like maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_input
.
c: obj
_
read: start off from par
a
meter
spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoola
e
g
e
isl
_
inpu
t
.
c: repres
e
nt neste
d
t
u
p
l
e as isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_input
.
c:
o
bj_read
_
poly_or
_
fold
:
r
e
present domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolaege
isl
_
b
a
s
ic_se
t
_multiplicative_c
a
l
l: explicitly
projec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_
p
w_qpolynomial_
f
old_boun
d
:
explicitly project on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qp
o
lynomi
a
l_
b
ou
n
d_on_domain_
b
ernstein: expli
c
it
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qpolynomi
a
l_bound_o
n
_domain_
r
ange
:
exp
l
i
citly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
i
sl_union
_
map_f
r
om_map: explicitly
p
r
oject on pa
r
ame
t
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_union_map_align_params
:
exp
l
icitl
y
project on para
m
et
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_polynomial
.
c:
c
onsta
n
t
_
on
_
do
m
ain
:
explicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
ola
e
ge
basic_set_dim
_
max: e
x
plicitly proje
c
t on p
a
ra
m
eter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
isl_basi
c
_se
t
_
c
o
mpute_vertices: explic
i
tly turn chambe
r
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
bound
.
c: explicitly convert context into
parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pip
.
c: explic
i
tly
convert context in
t
o
par
a
meter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
add isl_pw_qp
o
l
y
nomial_fold_project_domain_
o
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add isl_q
p
olynomial_pr
o
jec
t
_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_pw_qpolynomial_
p
r
oject_ou
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoola
e
g
e
a
d
d isl_morph_
{
d
om,ran}_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
o
o
l
a
ege
a
d
d isl_b
a
sic_set_params
and
i
sl_set_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
add isl_space_
p
arams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_stream_
r
ead_set:
accept parameter domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_p
w
_qpolynomial_f
o
ld_bound: simplify
c
on
s
truction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_test
.
c: pro
p
erly
c
reate
set
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_map_ra
n
ge_map: f
i
x spac
e
manipulati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
isl_map_ra
n
ge: construct co
r
rect s
p
ace for r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
b
a
sic_set_alloc: create b
a
sic
set i
n
proper
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
is
l
_space_wrap: properly create se
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
add isl_s
e
t_fr
o
m_pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
rename PW_alloc_ to PW
_
al
l
oc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
d
o
o
laeg
e
i
sl_pw
_
*_add_disjoi
n
t: t
r
y
and extend
one of
t
h
e
p
w
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_sp
a
ce_match: optimize trivia
l
cas
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
add i
s
l_map_
f
lat_domain_
p
ro
d
u
ct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ve
r
dool
a
e
ge
isl_access_info_co
m
p
u
te_fl
o
w
:
align parameters of
inp
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
align para
m
eter
s
of arguments
to
isl_map_{le
x
m
i
n,l
e
xmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_sp
a
ce
_
al
i
gn
_
p
ar
a
m
s
: accept g
e
ner
a
l i
s
l_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doo
l
aege
a
d
d isl_space
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename isl_di
m
to
isl_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oolaege
d
ocument isl_dim_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
split off declara
t
ions from isl_polynomi
a
l
.
h to s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolae
g
e
merge
isl_*_dump f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
g
e
add isl_set_dim_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
add isl_basic_set_forea
c
h_lexopt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Ve
r
doo
l
aege
add
i
s
l_pw_aff
_
union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaeg
e
add isl_pw_aff_unio
n
_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
l
aege
a
d
d
isl_aff_le_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
isl_qpolynomial_free: ret
u
rn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolae
g
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdoolaege
isl_qpol
y
nomial_r
a
t_cst: handle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
er
d
oolaege
b
e
r
nstein_coef
f
icien
t
s_cell:
handle NU
L
L poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sv
e
n
Verdoolaege
isl
_
printer_to_str: intialize buffer t
o
empty s
t
ring
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdo
o
laege
i
s
l_map_ins
e
rt: prope
r
ly
h
and
l
e named
o
r nested spac
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven V
e
rdoolaege
i
s
l_set_flat_pro
d
uct: call isl
_
map_r
a
nge_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
S
ven Ve
r
doolaege
add so
m
e
i
s
l
_map_plain_is_
f
ixed te
s
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolaeg
e
isl_basic_map_neg: g
a
uss resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_di
m
_
g
et_tuple_id: compl
a
in if t
u
ple
has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
S
ven Verdoolaeg
e
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
Sven Verdool
a
e
ge
a
dd isl_*
_
has_tu
p
le
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
ol
a
ege
add
i
sl_*_h
a
s_
d
i
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolaege
doc: warn about t
h
e limited
u
se of iden
t
ifiers of individual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven
V
erdoolae
g
e
document
isl_map
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
S
ven Verdoolaege
rename is
l
_map_insert to isl
_
set_inse
r
t_di
m
s and ad
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sve
n
Verdoo
l
aege
Mer
g
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-08-11
S
v
en
Ve
r
d
o
olaege
is
l
_dim_
e
qual: han
d
l
e
NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-11
Sven Ver
d
o
olaege
isl_d
i
m
_
tuple_matc
h
: h
a
ndle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-10
Sven Ver
d
oolaege
isl_map_is_sub
s
et: a map
c
annot be as sub
s
et of a map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-06
Sven Verdoolaege
docu
m
ent
i
sl_map_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolae
g
e
Mer
g
e branch 'm
a
i
n
t'
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaeg
e
isl
_
set_product: call
isl_map_range_product instead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
S
v
en Verdoolaege
isl_basic_map_remov
e
_dims: prop
e
rly handle nam
e
d or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
o
l
a
e
g
e
isl
_
basic_
m
ap_drop:
p
roperl
y
handle nest
e
d spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-05
Sven
V
er
d
ool
a
ege
isl_acce
s
s_i
n
fo_
c
ompu
t
e_flow: plug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
doc: update pro
t
otype of isl_constraint_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-04
Sv
e
n Verd
o
olaege
isl_basic_map_r
e
move_divs: handle NUL
L
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sv
e
n Verdoola
e
ge
isl_sc
h
edule
.
c: handl
e
basic
maps individually
i
n setup_carry_lp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdoolaege
add isl_set_res
e
t_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
Sve
n
Ver
d
oolaege
Me
r
ge bra
n
c
h
'maint'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdool
a
ege
isl_dim_ran
g
e_
p
roduct: dim
e
nsi
o
n
names
o
f domai
n
s
d
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-03
S
ven
V
erdool
a
e
ge
isl_
a
f
f
.
c
:
fix
u
p copyright
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-31
Sven Verdo
o
laege
is
l
_aff_flo
o
r
:
r
edu
c
e coefficien
t
s of
n
ewly c
r
eat
e
d
di
v
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
add isl_aff_mod
an
d
isl_pw_aff_mod
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ver
d
oola
e
ge
a
d
d isl_int_mul
_
2
exp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-07-29
Sve
n
Ve
r
d
o
olae
g
e
export isl_pw_a
f
f_fo
r
each_piece
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next