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
Sven
V
e
r
do
o
laege
isl_in
p
ut
.
c: read_tuple: us
e
isl_map_int
e
rsect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven Verdo
o
l
a
ege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-10-10
A
ndreas Klo
e
ckner
I
ns
e
rt mis
s
ing erro
r
c
heck into
isl_pw_*_
i
n
t
e
rsec
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
A
n
dreas Kloeck
n
e
r
Run isl_basic_map_
f
inalize after i
s
l_{
b
as
i
c_,}map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-08
S
ven Verdoolaege
i
sl_stre
a
m
_read_ma
p
: handle nested p
a
r
e
nt
h
esiz
e
d e
x
pressi
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doo
l
aege
i
sl_basic_
{
set,map
}
_partial_lex
{
m
i
n,max}_pw_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdo
o
laege
add isl_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ver
d
o
ola
e
ge
a
dd extract_interfa
c
e for con
s
t
r
ucting interfac
e
s to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
r
doolaege
mark some data s
t
ructures and functions for
e
xport
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven
Verdoolaege
ad
d
i
s
l
_*_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
e
n
Verdoo
l
aege
ad
d
isl_union
_
pw_qpoly
n
omial_r
e
ad_fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add isl_
m
ulti
_
aff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
a
d
d isl_local_
s
pace_
l
ifti
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
er
d
o
o
laege
a
dd isl_local_s
p
ace_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d
i
sl_local
_
s
p
ace_int
e
rsect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdool
a
ege
add isl_mul
t
i_aff
_
read
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoo
l
a
e
ge
add is
l
_p
w
_aff_
r
ead_from
_
str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
o
olaege
add
isl
_
aff
_
read_from_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
add
is
l
_
p
w_multi_a
f
f_read_fr
o
m_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
isl_pw_multi_a
f
f
_from_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdoolaege
add isl_basic_map_lexmin_pw_m
u
lti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
r
doolaege
pip: o
p
tionally use isl_ba
s
ic_set_partial_le
x
m
i
n
_pw_mu
l
t
i_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add
isl_basic_{set,
m
a
p
}_partial_le
x
{min,max}_pw_mu
l
ti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ve
r
d
o
olaege
ad
d
isl_pw_multi_aff_
s
u
b
stitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl_set_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoo
l
aege
add
is
l
_local_space_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdo
o
l
a
eg
e
isl_printer_p
r
int_pw_mult
i
_a
f
f:
p
artial support fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw
_
mul
t
i
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olae
g
e
add isl_pw
_
*
_
get_dim
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add i
s
l_p
w
_*_get_d
i
m
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
e
rdoola
e
ge
add isl_
p
w_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolae
g
e
add isl_pw_*
_
set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
ad
d
isl_pw_*_
g
et_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
dool
a
ege
add isl
_
p
w_
*
_
g
et_tuple
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
ad
d
isl_basic_map_from_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
add isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Ver
d
oo
l
aege
isl_pw_templ
.
c: rename align_params_pw_pw_and to inc
l
ude PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoola
e
ge
a
d
d isl_map_d
i
m_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdo
o
laege
pr
i
v
ately export
i
sl_basic
_
map_foreach_lex
o
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoola
e
g
e
add isl
_
bas
i
c_
m
ap_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl_
b
a
s
i
c
_ma
p
_h
a
s_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doo
l
aege
Merge bran
c
h 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-10-01
Sven
V
erdoolaege
isl_b
a
s
i
c
_
m
ap_elimina
t
e_vars: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoo
l
aege
add isl_aff_s
e
t_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add isl_lo
c
al_spac
e
_set_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven
V
erdo
o
laege
a
d
d is
l
_map_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdoolaege
add i
s
l_sp
a
c
e_find_dim_by_
n
am
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doolaeg
e
e
xport isl_pw_af
f
_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
export isl_
p
w_aff_plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
add g
e
neric isl_pw_*_set_tupl
e
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdo
o
laege
isl_set
_
inte
r
sec
t
: pr
o
perly handle i
n
t
ersectio
n
w
i
th
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sve
n
Verdoolaege
isl_access_info_compute_flow: ali
g
n p
a
r
a
meter
s
o
f input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdo
o
l
aege
Merge br
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven
Ver
d
oolaege
fix
i
sl_set_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoo
l
aege
add isl_
s
e
t_plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoo
l
a
ege
add isl_set_fro
m
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Ve
r
doolaege
add isl_space_set_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
i
s
l_qpolynomial_morph: p
r
operly
handle
d
enominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
is
l
_tab_pip
.
c: sol_
f
o
r
_a
d
d
: corr
e
ctly
s
et denominat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
isl_
t
ab
_
pip
.
c: sol_m
a
p_add: fix
d
ouble
f
ree on erro
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
isl_stream:
a
c
cept
"=
=
" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoola
e
ge
add isl_union_pw_*_pl
a
in_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
add isl_pw_*_pla
i
n_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Verdool
a
e
ge
a
d
d
i
sl_
s
et_
p
lain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven
Verdoolaege
a
d
d isl_map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl_str
e
a
m_next
_
t
oken
:
treat "-
0
" as two
tokens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoola
e
ge
drop
"n
p
aram" argument from
isl_{set,
m
ap
}
_
read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
S
v
e
n Verdoola
e
ge
doc: docume
n
t
*
_move_di
m
s functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoola
e
ge
drop
i
sl_div abstra
c
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl_{in
,
}equali
t
y_
a
lloc: take isl_local_space intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n
V
erdoolaege
doc: update
exam
p
le co
d
e to change in return typ
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven V
e
r
d
oolaege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Verdo
o
laege
p
rovide full proto
t
ypes for so
m
e funct
i
ons with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaege
doc: fix
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven
Ver
d
o
o
laege
add isl_se
t
_gist_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Ve
r
doolae
g
e
make isl_pw
_
* object li
v
e in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
ad
d
isl_space
_
extend_domain_w
i
th
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d
isl
_
space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add isl
_
local_s
p
ace
_
is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add isl_l
o
cal_sp
a
ce_doma
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
i
mplement isl_constraint on top of is
l
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl
_
vec
_
n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
is
l
_a
f
f
.
c: extract isl_l
o
cal
_
s
pace_get
_
activ
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
isl_output
.
c: drop redundant
"set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
isl_union_*_
a
l
loc: project sp
a
ce ont
o
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
explicitly differentiate between s
p
a
ces
o
f maps,
sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
allow isl_ids wi
t
h negativ
e
reference co
u
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
e
g
e
prop
e
r implementation of isl_union
_
m
ap
_
from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aege
i
sl_
m
a
p_from
_
d
omain_and_range:
d
rop explicit conversi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdoolaege
isl_s
e
t_a
p
pl
y
_pw_
q
pol
y
nomial
_
fold: drop explicit
c
onversi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_tab_basic_se
t
_non_tri
v
ial_lexmi
n
:
drop
e
xp
l
i
cit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Ver
d
o
o
laege
isl_tab_pip
.
c: fix whitespace iss
u
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
isl_set
_
rea
d
_from_*: c
o
e
r
c
e set-l
i
ke maps into
s
ets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_input
.
c: map_r
e
ad_poly
l
ib: convert set-like m
a
p
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erdo
o
laege
is
l
_input
.
c: obj_
r
ead: s
t
art off
from parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoola
e
g
e
isl_input
.
c: repres
e
nt nested tupl
e
as is
l
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
er
d
oolaege
i
sl_input
.
c: o
b
j
_
read_poly_or_fold: represent domain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
i
sl
_
basic_set_multi
p
licative_cal
l
: expl
i
citly
p
r
o
j
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next