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
document *lower_bound_si functions
2011-11-02
Sven Verdo
o
laege
document *lower_
b
ound_si functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Ve
r
doola
e
ge
isl_u
n
ion_pw_*_
g
is
t
: s
p
ecial case g
i
st
w
ith
respec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdo
o
laege
ad
d
i
sl_union_pw
_
*_gi
s
t_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
dd isl_
p
w_*_gist_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verdoolaege
export i
s
l_pw_mu
l
ti_aff_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n Ve
r
d
o
olaege
a
dd isl
_
multi_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en
V
erdoolae
g
e
add isl_qpolynom
i
al_gist
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
e
n
V
erdoolaege
add
isl_qp
o
lyno
m
ial_fold_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Ver
d
oolaege
export
i
sl_qpolynomial_fold_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add is
l
_aff_gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ven Verd
o
olaege
add
isl_set_g
i
st_par
a
ms_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
add isl_ba
s
ic_set_intersect
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
v
en Ve
r
doola
e
ge
isl_uni
o
n_pw_*_inters
e
ct_dom
a
in: speci
a
l case parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolae
g
e
add union_pw_
*
_
i
n
ter
s
e
ct
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
a
dd isl_pw_*_in
t
ersect_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven
Verdoolaege
ad
d
isl_union_map_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
S
ve
n
Verdoolaeg
e
doc: exp
l
ain
direction of dependenc
e
relations from
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_map_i
s
_
s
ubse
t
: align parame
t
ers i
f
nee
d
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-02
Sven Verdoolaege
isl_pw
_
*
_opt: us
e
c
orr
e
ct space in case of empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-11-01
Sven Ve
r
d
o
olae
g
e
isl_tab_pip
.
c: sol_p
m
a_add: add
missing finalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
Sven
V
erdoolaege
is
l
_id
_
alloc: a
l
low isl_id
s
with the same nam
e
b
ut
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-31
Sven V
e
rdoolaege
isl_union_set_g
i
st: special case
g
ist w
i
th respect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verdoolaege
isl_map_a
l
loc_space
:
fix memory leak on err
o
r
pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ve
n
V
e
rdoola
e
g
e
isl 0
.
0
8
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
Sven Verd
o
olaege
interface
/
Makefile
.
am: ap
p
end extra copy of CLANG_LD
F
LAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolaege
isl_tab_pip
.
c
: set
_
r
ow_cst_to_div
:
don't assu
m
e
coefficient
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
S
ven Verdoolaege
isl_t
a
b_pip
.
c
:
fix typo i
n
c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven
V
erdoolaege
r
em
o
ve undocumente
d
isl_bas
i
c_{
s
et,map}_for
e
ach
_
lex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdoo
l
aege
i
s
l_t
e
st: t
e
st isl_basic_map_lexmin_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdoolaege
add isl_union_ma
p
_g
i
st_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdo
o
laege
a
dd isl_map_gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdool
a
ege
a
d
d isl_union_map_g
i
st_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdool
a
ege
isl_union_
m
ap_i
n
tersec
t
_domain
:
special case
i
n
t
e
rsection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoola
e
ge
isl_union_set_intersect
:
speci
a
l case intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Ver
d
oolaege
ad
d
isl_union_map_inte
r
sect_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verd
o
olaege
add isl_union_set_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sv
e
n Ver
d
oolaege
isl_poin
t
_get_coordina
t
e:
c
heck validity of "pos" argume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoolaeg
e
interface
/
extract_interface
.
cc: adjust to rena
m
e of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoola
e
ge
r
ename i
s
l
_
pw_a
f
f
_
add to isl_p
w
_
aff
_
unio
n
_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdoolae
g
e
reim
p
lement pw_aff_m
u
l
on top of
a generic is
l
_
p
w
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Verdoolae
g
e
is
l
_map_intersect: requir
e
arguments t
o
live in
t
h
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
S
v
en Verdoolaege
isl_inp
u
t
.
c: read_t
u
ple: us
e
i
s
l_map_intersect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven
V
e
r
do
o
l
a
ege
Merge bran
c
h
'
maint'
commit
|
commitdiff
|
tree
2011-10-08
S
v
e
n Verdool
a
ege
i
sl_stream_read_map: handle
nes
t
ed p
a
re
n
thesized express
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rd
o
o
l
aege
isl_basic_{set,map}_p
a
rtial_
l
ex{min
,
max}_pw_m
u
lti_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
v
en Verdoolaege
add isl_aff_normalize
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoola
e
ge
add extra
c
t_interface for
c
onstructing inter
f
aces to
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven V
e
rdoola
e
ge
mark some
d
ata structures and
functions for export
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
add
is
l
_*_
t
o_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoolaege
a
d
d isl_uni
o
n_pw_qpolynomial_
r
ead_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doo
l
aege
add
i
sl_multi_aff_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_local
_
s
p
ace_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verd
o
olaege
a
dd
isl_local_space_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
g
e
ad
d
isl_local_s
p
ace
_
intersect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
e
r
doolaege
add isl_mult
i
_aff_read_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
e
rdoolaege
ad
d
isl
_
pw_af
f
_read_fro
m
_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
la
e
g
e
add is
l
_aff_read_f
r
om_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
ad
d
isl_
p
w_
m
u
lti_
a
ff_rea
d
_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoo
l
aege
add isl_pw_mu
l
ti_aff_
f
rom_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoolaege
a
d
d
i
s
l_basic_map
_
lexmin
_
pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Verdoo
l
a
ege
pip:
opti
o
n
al
l
y use isl_bas
i
c
_
set_p
a
rtial
_
lexmin_
p
w_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add
i
sl_ba
s
i
c_{set,m
a
p}_partial_lex{min,max}_p
w
_
multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
add
i
sl_pw_multi_af
f
_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoo
l
aege
add isl_set_su
b
stitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaeg
e
add is
l
_local_space_subs
t
itu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
eg
e
isl_printer_pr
i
nt_pw_mul
t
i_aff: par
t
ial supp
o
rt fo
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
d
d isl_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdoolaege
add isl_pw_*_get_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n Ver
d
o
olaege
add isl_pw_*_get_
d
im_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_p
w
_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ver
d
oolaege
add is
l
_pw_*
_
set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdo
o
l
ae
g
e
add isl_pw_*_get_
t
uple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ve
n
Verdoolaege
a
d
d is
l
_
pw_*_get_tuple
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
V
e
rdoolaeg
e
a
d
d
i
sl_basic_map_from
_
mu
l
ti_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_pw_
t
empl
.
c: rename align_params_pw_pw
_
and to i
n
clud
e
PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
a
e
ge
add isl_map_dim_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoo
l
aege
privately e
x
p
o
rt isl_basic_map_forea
c
h_lexo
p
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
is
l
_basic_
m
ap_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doo
l
aege
a
dd isl_basic_m
a
p
_
has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdool
a
e
ge
Me
r
ge
b
r
an
c
h '
m
aint'
commit
|
commitdiff
|
tree
2011-10-01
Sven V
e
r
doolaege
isl_basic_map_elim
i
na
t
e_vars: g
a
uss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
a
d
d isl_aff
_
set_
d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verdoolaeg
e
a
d
d is
l
_
l
o
c
al_sp
a
ce_se
t
_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n
V
erdoolaeg
e
add is
l
_ma
p
_find
_
di
m
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdo
o
lae
g
e
a
dd isl_space
_
fi
n
d_dim_by
_
name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
Verdoolaege
e
x
port i
s
l_pw_aff_intersect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdool
a
ege
export i
s
l_pw_aff_plain_is_eq
u
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
e
rdoola
e
g
e
add generic isl_pw
_
*
_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolae
g
e
isl_set_inter
s
e
ct: properly handle in
t
ersection
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Ve
r
doolaege
i
s
l_access_info_compu
t
e_f
l
o
w
: al
i
gn paramete
r
s
of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
S
v
en Verdoolaeg
e
M
e
rge branch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verd
o
olaege
fix isl_set_involves_d
i
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolaege
add isl_set_plain_is_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
add isl_se
t
_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Ver
d
oolaege
a
d
d is
l
_space_
s
et_
f
ro
m
_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
M
erge bra
n
ch
'
maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
is
l
_
q
polynomi
a
l_mo
r
ph
:
pr
o
pe
r
ly handle denominato
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laeg
e
ad
d
isl
_
mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Ve
r
doolaege
isl_ta
b
_pip
.
c: sol
_
for_add
:
corre
c
tl
y
s
et denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next