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
interface/extract_interface.cc: adjust to rename of Diagnostic in clang
2011-10-13
Sven
Ver
d
oo
l
aege
int
e
rfa
c
e/extract_interface
.
c
c: adjust
to renam
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verd
o
olaege
r
ena
m
e isl_pw_aff_add to isl_pw_
a
ff_
u
nion_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sve
n
Verdool
a
ege
reimplement p
w
_aff_mul on
t
op o
f
a generi
c
isl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sv
e
n V
e
rdoolaege
isl_map_intersec
t
: requir
e
arguments to live in
the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
V
erdo
o
laege
i
s
l_inpu
t
.
c
:
r
ead_tuple: use isl_map_intersect_
p
arams
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
S
ven
V
erdoo
l
aege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-10-10
Andreas Kloeckner
I
n
se
r
t missing err
o
r
chec
k
i
nto isl_pw_*_intersect_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
And
r
eas
K
loe
c
kner
Run isl_basic_map_
f
inalize aft
e
r isl_{
b
asic_,}map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-08
S
ven Verdoolaege
isl_stream_read_map
:
ha
n
dle nested parenthesized
e
xpress
i
o
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ve
n
Verdoolaege
isl_basic_
{
se
t
,map}_part
i
al_lex{m
i
n
,max}_pw_mu
l
t
i
_
aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sve
n
Verdoolaege
add isl_aff_
n
ormalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
lae
g
e
add
e
xt
r
act_
i
nterf
a
c
e
for constr
u
cting interfa
c
e
s
to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven Verdoo
l
aege
mark
s
ome data
str
u
c
tures and funct
i
ons
for ex
p
ort
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdo
o
laege
add isl_*_to_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add is
l
_un
i
on_pw_qpo
l
yn
o
mial_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d is
l
_multi_aff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
erd
o
o
laege
a
d
d isl_local_space_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdo
o
lae
g
e
a
d
d
isl_local_s
p
ace_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add isl
_
l
o
c
a
l_
s
pace_intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
ege
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
V
erdoolaege
add isl_pw_aff_read_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_
a
f
f_
r
ead_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Verdoolaege
a
dd isl_pw_
m
ulti_aff_r
e
ad
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_
p
w
_
mult
i
_
aff_from_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_basic_map_lexmin_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
pip:
o
ptionally
u
se i
s
l_ba
s
ic_set_partial_lexmin_
p
w_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erdoolaege
add isl_basic_{set,map
}
_
partia
l
_l
e
x{min,max}_pw_m
u
lti
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
Verdoolaege
add i
s
l
_pw_
m
ulti_aff_s
u
bstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
o
la
e
ge
add is
l
_s
e
t_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoolaege
add
i
sl_local_space_s
u
b
s
t
itute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
isl_printer_
p
ri
n
t_p
w
_multi_a
f
f: part
i
al support f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add i
s
l
_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
i
sl_pw
_
*_get_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoola
e
g
e
ad
d
i
s
l_pw_*_get_di
m
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaeg
e
add is
l
_pw_*_
h
as_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoo
l
ae
g
e
add isl_pw_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
a
d
d isl
_
p
w
_*_get_tup
l
e_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Ver
d
o
o
laege
add isl_pw_*_get_tuple_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verd
o
o
laege
ad
d
i
s
l
_basi
c
_ma
p
_from_multi_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
r
dool
a
eg
e
add
isl_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
o
olaege
i
s
l
_
p
w_tem
p
l
.
c: rena
m
e
a
lign_params_pw_p
w
_and to include PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_map
_
dim_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erd
o
o
l
aege
priv
a
tely
e
xport isl_bas
i
c_map
_
f
o
reach_lexo
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
d
oo
l
aege
add isl_basi
c
_
map_eli
m
inate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdool
a
e
g
e
add isl_
b
asic_
m
ap_
h
as_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
Mer
g
e b
r
an
c
h 'maint'
commit
|
commitdiff
|
tree
2011-10-01
Sven
V
erd
o
ol
a
e
g
e
isl_basic_
m
ap_eliminate_va
r
s: gaus
s
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n
Ve
r
doola
e
g
e
a
d
d isl_a
f
f_set_dim
_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdo
o
l
aege
a
d
d isl_l
o
cal_spa
c
e_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdo
o
l
a
ege
add isl_ma
p
_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doo
l
aege
add
isl_space_find_dim_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doolaege
e
x
port isl_pw
_
a
f
f_intersect
_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
e
x
port
i
sl_pw_aff_plain_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoola
e
ge
add ge
n
eric isl_pw_*_set
_
tu
p
le_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
isl_
s
et_i
n
t
e
rsect: properly handl
e
intersection with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven V
e
rdoolaege
i
s
l_
a
cc
e
ss_info_compute_flo
w
: align parameters o
f
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven V
e
rdoolaege
Merge br
a
nc
h
'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
fi
x
isl_set_invol
v
es
_
dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verd
o
olaege
add
isl_set
_
p
l
a
in_is
_
f
ixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
add
i
sl_spa
c
e_set_f
r
om_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
Me
r
ge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_qpol
y
nom
i
al
_
morp
h
: properly handle de
n
om
i
nato
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
o
o
laege
add
i
sl_mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
isl_
t
ab_pip
.
c: sol
_
fo
r
_
add: co
r
rectl
y
set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdool
a
e
g
e
isl_tab_pip
.
c: sol_map_add: fix
d
ouble free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en
V
erdoolaege
is
l
_stream: accept "==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoo
l
aege
add isl_union_pw_*
_
plain_is_
e
qual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
e
rd
o
olaege
add isl_pw
_
*_pla
i
n_
i
s_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
a
dd 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 i
s
l_map_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdo
o
laege
isl_stream_next_token: treat "-0"
a
s t
w
o
tokens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoola
e
g
e
drop
"
n
p
aram" argument from
isl_{set,map}_read_
f
rom_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdool
a
ege
doc: document *
_
move_dims functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
d
r
op is
l
_div a
b
straction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
e
n Verdoolaege
isl
_
{in,}equality_alloc:
t
a
ke isl_local_s
p
ace inte
a
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
d
oolaege
d
o
c: up
d
ate
e
xample code to change in return typ
e
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Verdoola
e
ge
Merge b
r
a
nch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n
V
er
d
oola
e
ge
provide full pro
t
o
t
ypes for some function
s
wi
t
h no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolae
g
e
add isl
_
set_gi
s
t_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoolaege
make i
s
l_pw_*
o
bject live in a ma
p
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verd
o
olaege
add isl_spac
e
_
e
xt
e
nd
_
domain_wi
t
h_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolae
g
e
add isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d i
s
l_local_spac
e
_i
s
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
a
d
d
isl_local_space_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
implemen
t
isl
_
const
r
aint on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
ge
add isl_vec
_
neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
is
l
_aff
.
c: e
x
tract isl_local_spac
e
_get_acti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
isl_output
.
c
:
drop redu
n
dant "set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
doolae
g
e
isl_union_
*
_al
l
o
c: pro
j
ect
space ont
o
par
a
meters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
ex
p
l
icitly differ
e
nti
a
te bet
w
een spaces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
e
rdoolaege
all
o
w isl_ids with n
e
gat
i
ve reference c
o
u
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
proper
i
mple
m
entat
i
on of isl
_
union_ma
p
_from_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
do
o
laege
isl_map_from_
d
oma
i
n_and_range: drop expl
i
cit conversi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_set_apply_pw_qpolynomi
a
l_fold: drop
explicit conversio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rd
o
ola
e
ge
isl_tab_basic_set_non_
t
rivial_le
x
m
in: drop expli
c
it
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aege
isl
_
tab_pi
p
.
c: fix
w
hitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verd
o
olaege
isl_se
t
_read_from_*: coerce set
-
lik
e
m
aps into sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
d
oo
l
a
e
ge
isl_in
p
ut
.
c: map_read_po
l
ylib: convert set-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next