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 Verdoolaege
a
dd isl_space_extend_dom
a
in_with
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add isl_space_is_domai
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add
is
l
_loc
a
l_space_i
s
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
a
ege
add isl_local_space_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaeg
e
im
p
lement isl_constraint on top
o
f isl_
v
ec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdool
a
ege
add isl_vec
_
neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
is
l
_aff
.
c
: e
x
trac
t
isl_
l
oca
l
_sp
a
ce_get_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_outp
u
t
.
c
: drop redundant
"
se
t
"
a
r
g
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl_union_
*
_alloc: project s
p
ace onto parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
o
l
aeg
e
explici
t
ly dif
f
e
r
entiate between spaces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaege
al
l
ow isl_ids with
nega
t
ive refere
n
ce count
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
proper imp
l
e
m
entation of isl_unio
n
_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
isl_ma
p
_f
r
om_domain_and_range: dro
p
ex
p
licit
c
onversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
i
sl_se
t
_apply_pw_qpolynomi
a
l
_
fold: drop explicit con
v
ersion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
e
rd
o
o
la
e
g
e
isl_tab_basi
c
_set_non_trivi
a
l_lexmin: drop
e
xplici
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoolaege
i
s
l_ta
b
_pip
.
c
:
f
ix whitespac
e
issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aeg
e
isl_set_read_from_*: coerce set-
l
ik
e
m
a
ps
i
nto sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
input
.
c: m
a
p
_
read_polylib: co
n
vert s
e
t-like m
a
ps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
i
npu
t
.
c: obj_read: st
a
rt off from parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl
_
input
.
c:
r
epres
e
n
t
nested tupl
e
a
s isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_input
.
c: obj_rea
d
_poly_o
r
_fold: repr
e
sent domai
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
Verd
o
o
laege
isl_
b
a
s
ic
_
set_multiplicative_
c
all:
e
x
p
l
i
c
itl
y
project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_pw_
q
polynomial_fold_bound: expli
c
itly pro
j
e
c
t on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
olaege
isl_qpolynomial_boun
d
_on
_
domain_bernstein: e
x
plicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
sl
_
qpo
l
ynomia
l
_boun
d
_on_domain_range: explicitly proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaeg
e
isl_union_m
a
p_f
r
o
m_map: explicitly project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_uni
o
n_map
_
align_params: explicitly
project on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
i
s
l_polynom
i
al
.
c: constant_on_domain: explicitly
proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
ba
s
ic
_
set_di
m
_
m
a
x
: expl
i
citly project on param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_compute_vertices: explicitly tu
r
n chambe
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
bound
.
c: expl
i
c
i
tly convert c
o
nt
e
xt int
o
param
e
ter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ver
d
oolaege
pip
.
c: explicitly conv
e
rt c
o
ntext int
o
para
m
eter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
add
i
sl_pw_qpolynomial_fold_pro
j
ect_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
add isl_qpol
y
nomial_pr
o
je
c
t
_
d
oma
i
n_on_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add i
s
l
_pw_qpolyno
m
ial_proj
e
ct_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
add
i
sl_morph_{
d
o
m,
r
an}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
ool
a
ege
add
i
sl_
b
asic_
s
e
t
_params an
d
isl_set_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l
_s
p
ace_para
m
s_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
isl
_
stream_read_set: acc
e
pt
p
aramet
e
r d
o
mai
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_p
w
_qpolynomial_fold_bo
u
nd
:
simplify construction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
e
g
e
isl_t
e
st
.
c
:
prope
r
ly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_m
a
p_
r
ange
_
m
a
p:
fix space mani
p
ulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
isl_map_range: construct correct
sp
a
ce fo
r
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdo
o
l
aege
isl_basi
c
_set_all
o
c: create basic set in p
r
oper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
o
lae
g
e
isl_space_wrap:
p
r
operl
y
create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
a
dd i
s
l_set_fr
o
m
_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
ool
a
e
g
e
rename PW_a
l
loc
_
to PW_alloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl
_
pw_*_add_disj
o
in
t
: try
a
nd extend one of the pw
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space_match: optimize trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add
isl_map_flat_
d
omain_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_access_info_comp
u
te_flow: align
parameters o
f
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
l
aege
align parameters
o
f arguments to i
s
l_map_{l
e
xmin,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_space_align_para
m
s: accept gene
r
a
l
isl_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
add isl_space_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
rename isl_dim to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ve
n
V
erdoolaeg
e
d
o
cum
e
n
t isl_di
m
_mov
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Ver
d
o
o
laege
split
o
f
f
de
c
l
arations fr
o
m
isl_polynomial
.
h
to
separa
t
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
r
d
o
o
laege
m
e
r
g
e is
l
_*_
d
ump functio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Ver
d
oolaege
add isl_set_dim_mi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en V
e
rdoolaege
ad
d
isl
_
basic_set_f
o
reach_lexopt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolae
g
e
ad
d
isl
_
pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
S
ven Ve
r
doolaege
ad
d
isl_pw_aff_union
_
mi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Ver
d
oolaege
a
d
d isl
_
aff
_
le_bas
i
c
_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
isl_q
p
o
l
y
nomial_free: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven
Verdoolaege
Merge branc
h
'm
a
i
n
t'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdo
o
laege
isl_qpolynomial_rat_cst: hand
l
e NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sve
n
Verdoolaege
bernstein_
c
oefficients
_
c
ell:
handl
e
NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ver
d
ool
a
ege
isl_printer
_
to
_
s
t
r
: intialize buffer t
o
empty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
v
en Verdoolaege
isl_map_insert:
properly handle named o
r
n
ested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verd
o
olaege
isl_s
e
t_flat
_
prod
u
ct:
call isl_map_range_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
S
v
e
n
Verdoolaeg
e
add
some isl_map_plai
n
_is_
f
ixed tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdoolae
g
e
isl_ba
s
ic_map_neg: gauss
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
is
l
_dim_get_tup
l
e_id: complain if tuple has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven
Verdoolae
g
e
isl_dim_get_dim_id: compla
i
n if dim has no id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
ad
d
isl_*_h
a
s_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
ege
add isl
_
*_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-12
Sven Ver
d
oolaege
doc: warn about the limited use of
i
dentifiers of ind
i
vidual
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
e
n
V
erdoolae
g
e
document isl
_
ma
p
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
S
v
en
V
e
r
doo
l
aege
re
n
ame isl_m
a
p
_insert to i
s
l_set_insert_dims and add
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sve
n
Verdoolaege
Merge
b
ranc
h
'maint'
commit
|
commitdiff
|
tree
2011-08-11
Sven Verdo
o
laege
isl_dim_equal: handle NULL input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-11
Sv
e
n
V
erd
o
ol
a
ege
isl_d
i
m_
t
uple_
m
atch: ha
n
dle NU
L
L
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-10
Sven Verdoolaege
isl_map_is_subset: a map cannot
b
e
as sub
s
e
t of a
ma
p
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-06
S
v
en Verdoolae
g
e
d
o
cument i
s
l_map_plain_is_
f
i
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven
Verdool
a
eg
e
Mer
g
e
b
ra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-08-05
Sven
Verd
o
olaege
isl_set_
p
roduct: call isl_map_range_produc
t
instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven V
e
r
doolae
g
e
i
s
l_basic_map_remove
_
dims
:
prop
e
rl
y
ha
n
dle name
d
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verd
o
olae
g
e
isl_basic_map_drop: prop
e
rl
y
handle nested
s
pac
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-05
Sven Verdoolaege
isl_access_info_
c
ompute_flow:
plug
m
emor
y
leak
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Verdoolaege
doc:
u
p
date prototype of isl_constraint_fre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-04
Sven Ver
d
oolaege
i
s
l_basic
_
map_
r
e
m
ove_div
s
: handle NULL
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
ven Verdo
o
laege
isl_schedule
.
c: handle basic maps individually in setup_carry_lp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
ven Ve
r
doolaege
ad
d
isl_set_reset_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
Sven Ve
r
do
o
l
a
ege
Merge
b
ra
n
ch 'maint
'
commit
|
commitdiff
|
tree
2011-08-03
Sven Verdool
a
ege
isl_di
m
_ra
n
ge_pro
d
uct:
dimension
n
a
m
es of domains don
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-03
S
ven Verd
o
ol
a
eg
e
isl_aff
.
c: fix up copyright
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-31
Sv
e
n
Verdoolaege
isl_aff_floo
r
: reduce coefficient
s
o
f
newly created d
i
v
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Ve
r
d
o
olaege
add isl_af
f
_mod and
isl_pw_aff
_
mo
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-30
Sven Verdoo
l
aege
a
d
d isl_int_mul_2exp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-07-29
Sven Verdoolaege
exp
o
rt isl_pw_af
f
_foreach_p
i
ec
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next