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_union_set_intersect: special case intersection with parameter domain
2011-10-16
Sven Ver
d
ool
a
e
g
e
isl_uni
o
n_se
t
_i
n
t
ersect:
special case intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven V
e
rdoola
e
ge
add i
s
l_union_map
_
inter
s
ect_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-16
Sven
V
e
r
d
o
olaege
add isl_union_set_is_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaeg
e
i
s
l_point_
g
et_coo
r
d
i
nate:
c
he
c
k validity of "pos" arg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdoolaege
i
n
terface/extract
_
i
n
t
erf
a
ce
.
c
c: adjust t
o
r
e
name of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Ve
r
doolaege
rename i
s
l_
p
w
_
a
f
f_add
t
o isl_pw_af
f
_
u
nion_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
S
ven Verdoolaege
rei
m
plement pw_aff_mul on t
o
p
o
f a generic isl_p
w
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
isl_map_int
e
rsect: requir
e
a
r
guments to l
i
ve in the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doola
e
ge
isl_input
.
c: re
a
d_tuple:
use
isl_map
_
i
n
terse
c
t_params
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-10-08
Sven Verdoolae
g
e
isl_s
t
ream_read_map
:
h
andle nested parenth
e
sized expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolae
g
e
isl_
b
asic_{
s
e
t
,m
a
p}_partial_lex{min,ma
x
}_pw_
m
ulti_af
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add is
l
_aff_n
o
rmalize
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add extract_in
t
e
r
fa
c
e for constru
c
ting i
n
t
e
rfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdool
a
ege
mark some data
st
r
uctures and functi
o
ns for expo
r
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoo
l
aege
add isl
_
*_to_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add isl_union_pw_qpol
y
nomia
l
_read
_
from_s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add
i
sl_multi_
a
ff_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl
_
local_space_lifting
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
erdo
o
laege
add isl_local_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdoola
e
g
e
a
dd isl_l
o
cal_space_intersect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolae
g
e
add
isl_
m
ulti_aff_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Verdool
a
ege
a
d
d isl_pw
_
aff
_
read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
erdoolaege
a
d
d
isl_aff_
r
ead_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdool
a
ege
a
d
d
i
sl
_
pw_mult
i
_aff_
r
ead_from_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoolaege
add isl_pw_multi
_
aff_fro
m
_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
a
d
d
isl_basic_map_lexm
i
n_pw
_
multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
pip: optio
n
al
l
y
u
se i
s
l_basic
_
set_partial_le
x
min_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdo
o
la
e
g
e
add
isl_basi
c
_{set,map}_partial_lex
{
m
in
,
max}_pw_
m
ulti_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
dd
i
sl_pw_mu
l
t
i
_aff_substitut
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ve
r
doolaege
a
d
d isl_set_
s
ub
s
titute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Ve
r
doolaege
add isl_lo
c
al_space_substi
t
ute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
isl_printer
_
print_pw_
m
ulti_aff: partial sup
p
ort
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolaege
add isl
_
p
w
_
multi_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d
i
sl_pw_*_
g
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
a
d
d isl_pw_*_g
e
t
_
dim
_
nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add
i
s
l_
p
w_*_has_
t
u
ple
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
a
d
d isl_p
w
_*_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaeg
e
add isl_pw_*_ge
t
_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
ad
d
is
l
_pw_*_get_tup
l
e_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doo
l
aege
ad
d
isl_basic_
m
ap_fro
m
_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d
isl_mul
t
i_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolae
g
e
isl_
p
w
_templ
.
c: rename align_p
a
rams_pw_pw_and to include PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_map_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
privately export
isl
_
b
a
sic_map_foreach_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
a
dd is
l
_
b
a
sic_map_elim
i
nate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basi
c
_map_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ve
r
d
o
olaege
M
erge branch 'maint
'
commit
|
commitdiff
|
tree
2011-10-01
Sve
n
Verdoolaege
is
l
_ba
s
ic_map_eliminate_vars: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
add isl_af
f
_s
e
t_di
m
_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add
i
sl_local
_
space_set_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rd
o
o
l
ae
g
e
a
d
d isl_map_find
_
d
i
m
_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoolaege
add isl_spac
e
_find_d
i
m_by_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verdoolaege
export isl_pw_aff_inte
r
s
e
ct_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolae
g
e
e
xport isl_p
w
_aff_pla
i
n_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoola
e
ge
add gener
i
c
isl_pw_*
_
set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
Verdo
o
laege
i
s
l_
s
et_intersect: p
r
op
e
rly
h
and
l
e intersect
i
on
w
ith
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en
Verdoolaege
isl_access_info_
c
omp
u
te_flow: align parameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
M
e
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven
Ve
r
doolaege
fix
isl_set_involv
e
s_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ven
V
e
rdoolaege
a
dd
i
sl_s
e
t_pl
a
in_
i
s_fi
x
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_set
_
from_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
add isl_spa
c
e_set
_
f
r
om_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge bra
n
c
h
'm
a
int'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_qpo
l
ynomial_morph: p
r
oper
l
y
h
an
d
le denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
d
d isl_mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl
_
tab_
p
ip
.
c: sol_f
o
r_add: correctly set d
e
no
m
inato
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
is
l
_
tab_pip
.
c:
sol_
m
ap_add: fix doubl
e
free
on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
er
d
oolaege
isl_stream: ac
c
ep
t
"==" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdo
o
l
a
ege
add isl
_
union_pw_*_plai
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoo
l
aege
a
dd isl_pw_*_pl
a
in_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
add is
l
_
set_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Ve
r
doolaege
a
d
d
isl_m
a
p_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl_str
e
a
m_next_token: treat
"-0" as two
t
o
kens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verd
o
ol
a
ege
dr
o
p "nparam" argume
n
t f
r
o
m
i
sl_{set,map}
_
read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven
Verdo
o
laege
doc:
d
o
c
ument *_move_dims
f
unct
i
on
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
d
r
op isl_div a
b
straction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolae
g
e
isl_{in
,
}equality
_
alloc: take
i
sl_loc
a
l
_
sp
a
ce intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoo
l
a
ege
doc: updat
e
examp
l
e code
t
o change in return type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
doolaege
provid
e
full prototypes
for
s
ome func
t
ions w
i
th
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaeg
e
do
c
:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n Verdoolaege
ad
d
isl_
s
et_gis
t
_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Verdoo
l
aege
make isl_pw_* object
l
i
v
e in a map
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolae
g
e
add isl_space_
e
xtend
_
domain_with_ran
g
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
ad
d
isl_space_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
add
i
sl_local_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
add isl_local_
s
pace_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
implement isl_constra
i
nt on
top o
f
isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
sl_
v
ec_
n
eg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
i
sl_aff
.
c:
e
x
tra
c
t isl_
l
ocal_space
_
ge
t
_activ
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolae
g
e
isl_output
.
c: drop
r
edundant
"
set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
o
l
a
e
ge
isl_union_*
_
alloc: pro
j
ect sp
a
ce onto parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
explicitly differe
n
tiate betwe
e
n spaces of
m
aps, s
e
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allow isl_ids
w
ith negativ
e
r
e
ference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
prop
e
r implem
e
ntation of isl_union_map_
f
rom_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoo
l
aege
isl_ma
p
_from_d
o
m
a
i
n_
a
n
d
_range: drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
erdoolaege
isl_set_appl
y
_pw_q
p
olynomial_fold: drop explicit con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_bas
i
c_se
t
_non_
t
rivial_l
e
x
m
in:
d
rop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdoolaege
isl_tab_pip
.
c: fix whitespace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next