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_input.c: read_tuple: use isl_map_intersect_params where needed
2011-10-12
Sv
e
n Verdool
a
ege
i
s
l_i
n
put
.
c: read_tuple: use isl_map_i
n
t
ersec
t
_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven Ver
d
oolaeg
e
M
e
rge bra
n
ch 'ma
i
n
t
'
commit
|
commitdiff
|
tree
2011-10-08
S
v
en V
e
rd
o
olaege
isl_stream_r
e
ad_m
a
p: h
a
ndle
nested
parenthesize
d
exp
r
essio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
isl_bas
i
c_
{
set,ma
p
}_partial_l
e
x
{m
i
n,ma
x
}
_
p
w
_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdo
o
laeg
e
ad
d
is
l
_aff_
n
o
r
ma
l
ize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
V
erdoolae
g
e
add ext
r
act_interfac
e
for constructing interface
s
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
mark som
e
da
t
a structures
and
functions for
e
x
p
or
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Ver
d
oola
e
ge
a
dd isl_*_
t
o_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdo
o
laege
ad
d
isl_union
_
p
w
_qpolynomial
_
r
e
a
d_
f
rom_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdo
o
laege
add is
l
_multi_aff_l
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
ola
e
ge
add is
l
_local_sp
a
ce_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
erdoolaege
add isl_l
o
cal
_
space_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_loca
l
_space_intersec
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add
i
sl_
m
ulti_aff_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolaeg
e
add isl_pw_aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
ad
d
isl_a
f
f_read_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add isl_p
w
_multi
_
aff_read_fro
m
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add is
l
_pw_multi_aff
_
from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoola
e
ge
add isl_b
a
sic_map
_
le
x
m
in_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
pip: opti
o
nally use isl_basic_set_par
t
ial_lexmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add is
l
_b
a
sic_{set,ma
p
}_partial_lex{min,m
a
x}_pw
_
mult
i
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Verd
o
olaege
add isl_pw_multi_aff_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_se
t
_s
u
bstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add isl_local
_
space_substitu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_printer_print_pw_m
u
l
ti_aff: partial
su
p
port for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdo
o
laege
add
isl_pw_
m
ulti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_
g
et_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_pw
_
*_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
r
d
oola
e
ge
add isl_pw_*
_
has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_pw_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl_pw_*_get_
t
upl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add
i
sl_pw_*
_
g
e
t_tuple_nam
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_b
a
sic_map_fr
o
m_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoolaege
a
d
d
i
sl_mult
i
_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
ae
g
e
i
sl_pw_templ
.
c: ren
a
m
e align_pa
r
ams_pw_pw_and to
i
nclu
d
e
PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_m
a
p_dim_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
l
aege
priva
t
ely export isl_basic
_
map_foreac
h
_lex
o
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
ad
d
isl_basic_map_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
Me
r
ge branch 'maint
'
commit
|
commitdiff
|
tree
2011-10-01
S
v
e
n Verdool
a
ege
i
sl_basic_map
_
e
lim
i
nate_vars: gauss r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erd
o
olaege
add isl_aff_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_
l
ocal_space_set_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoola
e
ge
add isl_m
a
p_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
e
rdoolae
g
e
a
d
d
isl_space_find_dim_b
y
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
export is
l
_pw_a
f
f_
i
nter
s
ect_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdo
o
laege
export isl_pw_aff_pla
i
n_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven V
e
r
doolaege
add ge
n
eri
c
i
sl_p
w
_*
_
s
e
t_tup
l
e_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
i
s
l_set_intersect: properly handle intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolaege
isl_acc
e
s
s
_info_co
m
pute_
f
low: align
p
arameters of in
p
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
fix
i
sl_set_involves_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaeg
e
ad
d
isl_set_plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add
isl_se
t
_from_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
doolae
g
e
add isl_space_s
e
t_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolae
g
e
Merge
br
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
o
olaege
isl_qpolynomial
_
m
o
rph: proper
l
y ha
n
dle denomi
n
ators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
V
e
rdoolaege
a
dd is
l
_
m
a
t
_
diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verd
o
ola
e
ge
isl_tab_pi
p
.
c: sol_for_ad
d
:
c
orrectly set denom
i
nator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_tab
_
p
i
p
.
c: sol_map_add: fix double fr
e
e
on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en V
e
rdoolaege
is
l
_str
e
a
m: ac
c
ept "
=
=
"
tok
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
V
e
rd
o
olaege
add isl_union_pw
_
*
_
pla
i
n_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
a
dd i
s
l_pw_*_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdoola
e
ge
a
d
d isl_set_plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoo
l
aege
add isl_m
a
p
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ve
r
doo
l
aeg
e
isl
_
stream
_
next_to
k
en: treat
"
-0"
a
s two
t
okens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
d
r
op "nparam" argument from isl_{s
e
t,map}_read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven V
e
rdoolaege
do
c
: document *_move
_
di
m
s funct
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdoolaege
drop i
s
l_d
i
v
a
b
stra
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolaege
i
s
l_{in
,
}equa
l
ity
_
alloc: take
isl_lo
c
al
_
space intea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n
Verd
o
olaege
doc:
u
p
d
a
t
e
e
x
am
p
le code to cha
n
g
e
in
return type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoolaege
Merge bra
n
ch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-09
S
v
e
n Verdoola
e
ge
provi
d
e f
u
ll p
r
ototy
p
es for so
m
e
f
unctions with
n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoo
l
aege
doc:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
S
ven Verdoolaege
add isl_set_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
make i
s
l_pw_*
o
b
ject
live
in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add
i
sl_space_extend_doma
i
n_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
eg
e
add isl_
s
pace_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
o
l
aege
a
dd isl_lo
c
al_space_
i
s_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
a
d
d isl_loca
l
_sp
a
c
e_dom
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
implement isl_
c
onstraint on top of isl_ve
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdool
a
ege
add isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_aff
.
c: extract isl_l
o
cal_spac
e
_get
_
active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
i
s
l_out
p
ut
.
c: drop redundan
t
"se
t
" ar
g
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
isl_union_*
_
al
l
oc
:
proj
e
ct space on
t
o paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolae
g
e
explicitly di
f
fere
n
t
i
ate be
t
ween sp
a
c
e
s of maps, s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
al
l
ow isl_ids with
n
egative reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
e
r
dool
a
eg
e
p
r
o
per i
m
plementation of isl_union_map_from
_
r
a
nge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
i
s
l_m
a
p
_
from_domai
n
_
a
nd_range: dro
p
expl
i
ci
t
conve
r
sion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
isl_set_a
p
ply_pw_q
p
olynomial_fold:
drop ex
p
licit c
o
nversio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaeg
e
i
s
l
_
t
ab_basic_
s
e
t_
n
on_trivial_
l
exmin: drop e
x
p
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_
t
a
b_pip
.
c: fix whi
t
e
space issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
is
l
_set_read_from_*: coer
c
e set
-
lik
e
maps
i
nto sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
l
a
e
g
e
isl
_
input
.
c: map_read_polylib: co
n
vert
s
e
t-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_i
n
put
.
c:
obj_read: start
off from p
a
rameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
i
s
l_input
.
c
: repr
e
sent
n
ested tuple as
isl_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
isl_in
p
ut
.
c: obj_read_
p
oly_or_fold: rep
r
esent
d
omain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_basic_set_mul
t
iplicative_call: explicit
l
y
pro
j
ect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaeg
e
i
s
l_pw_qpolynomial_fol
d
_b
o
und: ex
p
licitly project on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
i
sl_qpo
l
ynomial_bound_on_doma
i
n_bernstein: explicitly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next