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
rename isl_pw_aff_add to isl_pw_aff_union_add
2011-10-13
Sven Ve
r
doolaege
r
e
n
a
m
e
i
sl_pw_aff_ad
d
t
o
isl_pw_aff_union_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verd
o
ola
e
ge
r
e
i
mplement
p
w_
a
ff_mul on top of
a g
e
neric isl_pw_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ve
r
doolaege
isl_map_intersect: require arguments to live
in
the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolaeg
e
i
s
l_input
.
c: read_tuple: use
i
sl_m
a
p_
i
n
t
ersect_pa
r
ams
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
S
v
en Ver
d
oolaege
Me
r
g
e branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas
Kl
o
e
ckner
I
nser
t
missing
error check into isl_pw_*_inte
r
s
ec
t
_
d
oma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-10
Andreas
Kloe
c
kner
Run isl_basi
c
_ma
p
_fin
a
lize after
i
sl_{basic_,}map_elimi
n
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-08
Sv
e
n Verdool
a
ege
i
s
l
_stream_read_map: handle n
e
sted
parenthesized expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
S
ven V
e
rdool
a
ege
isl
_
basic_{s
e
t,map}_p
a
rtial_l
e
x
{
m
in
,
max}_pw_mult
i
_aff
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoolaege
add isl_aff_normal
i
ze
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoola
e
ge
add extra
c
t_in
t
er
f
a
ce for
c
onstructing interfaces to
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoo
l
aege
ma
r
k some
d
a
ta stru
c
tures and functions for
expor
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verd
o
olaege
add i
s
l_*_to_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-06
Sven
V
erdoolaege
a
dd isl_union_
p
w_qpolynom
i
a
l_
r
e
ad_from
_
s
tr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
m
ulti_
a
f
f_l
i
ft
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add is
l
_lo
c
al_s
p
ace_l
i
f
ti
n
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoola
e
ge
add
isl_local_space_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add
i
sl_lo
c
al_space_inter
s
ect
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add isl_
m
u
lti_aff_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add
i
s
l_pw_af
f
_
read_from
_
s
t
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_aff_read_f
r
om_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi_aff_r
e
ad_from
_
str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add i
s
l
_pw_multi_aff_from_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic_map_lex
m
i
n
_
pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
pip: optio
n
a
l
ly use isl_basic_set_p
a
rtia
l
_
l
exmin_
p
w_mul
t
i_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oola
e
g
e
a
dd isl_basic_{set
,
m
a
p}_parti
a
l_lex{m
i
n
,
m
ax}_pw_mult
i
_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d
i
sl_pw_mu
l
ti_aff_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_set_substit
u
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoola
e
ge
add i
s
l_loca
l
_space_
s
ub
s
titute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
olaege
isl_
p
rin
t
er_print
_
pw
_
mu
l
ti_aff: partial support
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add
isl_pw_multi_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add isl_
p
w_*_get
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdool
a
ege
add isl
_
pw_*_get_di
m
_n
a
me
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
add isl_pw_*_
h
as_tuple_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_*_set_
d
im_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
add isl_pw_*_ge
t
_t
u
ple
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Ve
r
doolaege
add i
s
l_pw_*_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verd
o
ol
a
ege
add is
l
_basic_map_fr
o
m_m
u
lti_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolaege
add isl_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en V
e
rdoolae
g
e
i
sl_pw_t
e
mpl
.
c: rename align_p
a
r
ams_pw_pw_and
to inc
l
ude PW
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
ad
d
isl_map_d
i
m_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
privately expo
r
t isl_basic_map_foreac
h
_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaeg
e
add isl_b
a
sic_map_e
l
iminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
er
d
oolaege
add isl_bas
i
c_map_h
a
s_d
i
m_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoolaege
isl_
b
a
s
ic_m
a
p_eliminat
e
_va
r
s
:
gauss res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdoolaege
add isl_aff_set_
d
i
m
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
d
o
olaege
add isl_local_sp
a
ce_set
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doolaege
add
i
s
l_map_find_
d
im
_
by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoola
e
ge
add isl_s
p
ac
e
_fi
n
d_dim_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rd
o
olae
g
e
exp
o
r
t
isl_pw_a
f
f_int
e
rsec
t
_dom
a
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdoolaeg
e
e
xport i
s
l_p
w
_af
f
_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
add generic i
s
l_pw_*_
s
et_
t
up
l
e_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verd
o
olaege
isl_
s
et
_
intersect: prope
r
ly handle i
n
tersection with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdool
a
ege
is
l
_acc
e
s
s_info_compute_fl
o
w
:
align param
e
ters of input
.
.
.
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
S
ven Verdoolaeg
e
fix
isl_set
_
involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
Verd
o
olaege
add isl_set_plain_is_fix
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoo
l
a
e
ge
add
i
sl
_
s
e
t_f
r
o
m_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_
s
p
a
ce_set_
f
rom_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
S
ven Ve
r
doo
l
aege
isl_qp
o
l
y
no
m
ial_morph: prop
e
rly handle denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdool
a
eg
e
add
isl_mat
_
diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
isl_t
a
b_pip
.
c: sol_for_add:
corr
e
ctly se
t
denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
er
d
o
o
l
a
ege
isl_tab_pi
p
.
c: sol_map_add:
f
ix
d
ouble
f
ree on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verdoolaege
isl_stream:
a
ccept "=
=
" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Ve
r
doolaege
add isl
_
u
n
ion_pw_*_
p
lai
n
_is
_
equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
rdoolaege
add isl_
p
w_*_plain
_
is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaeg
e
add isl_set
_
plain_
c
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
a
d
d
i
s
l_
m
a
p
_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oo
l
a
ege
isl_stream
_
n
e
xt_toke
n
: trea
t
"-0" a
s
two to
k
e
n
s '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
dr
o
p
"
npa
r
a
m
"
argument fr
o
m isl_{s
e
t,map}_read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: docume
n
t *_move_dims f
u
nctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Ve
r
d
o
olaege
drop isl_div
a
bstract
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl_{in,}equali
t
y_all
o
c: take isl_local_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
doc
:
update example code to change in ret
u
r
n
type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdool
a
e
g
e
Mer
g
e branc
h
'
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
ool
a
ege
provid
e
full
p
rototypes for some f
u
nctions
w
ith no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ver
d
oola
e
ge
doc: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
ad
d
isl_set_gist_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaege
make isl_pw
_
* object live in
a
m
ap space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
a
dd is
l
_space_extend_domain_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add isl_space
_
is_domai
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
add
i
sl_local_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
ad
d
isl_loca
l
_space_d
o
ma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
implement
i
sl_
c
on
s
traint on
top
of
i
sl
_
ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add isl_vec_n
e
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l
_aff
.
c: extract
isl_local_sp
a
ce_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_output
.
c: drop redun
d
ant "se
t
" a
r
gument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
isl_union_*
_
alloc: proje
c
t s
p
ace o
n
to
parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
explicit
l
y differe
n
ti
a
te betw
e
e
n
spaces o
f
maps, set
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
ool
a
ege
al
l
ow isl_id
s
with ne
g
ative refere
n
ce cou
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
proper implementatio
n
o
f isl_union_map_
f
rom_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_from_do
m
ain_an
d
_rang
e
: d
r
o
p
exp
l
icit convers
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l
_
set_apply_pw_qpoly
n
omi
a
l_fold: dr
o
p explicit conversio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_tab_ba
s
ic_s
e
t_non_trivial_lexmin: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_pip
.
c
: fix whites
p
a
ce
i
ssue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
lae
g
e
is
l
_set_read_from
_
*: coerce se
t
-like maps
into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
ege
isl_inp
u
t
.
c
: m
a
p_rea
d
_po
l
ylib:
c
o
n
vert
s
et-lik
e
maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_input
.
c: ob
j
_re
a
d: start
of
f
from par
a
m
e
t
e
r space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next