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 0.08
2011-10-21
Sven Verdoo
l
a
e
ge
i
s
l 0
.
08
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-21
S
ven Ve
r
d
o
olaege
interface/M
a
kefile
.
a
m: append extra copy of CLANG_LDFLAGS
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdo
o
laege
isl_ta
b
_pip
.
c
: set_row_cst_
t
o_div: don't a
s
su
m
e coeffic
i
ent
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-20
Sven Verdoolaege
isl_tab
_
pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verd
o
ol
a
ege
re
m
o
ve und
o
cumente
d
isl_basic_{set,map}_
f
or
e
ac
h
_lex
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-19
Sven Verdool
a
ege
isl_
t
est: test is
l
_basic_map_lexmin_pw_
m
ulti_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoola
e
g
e
a
dd
i
sl_union_map_gi
s
t_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en V
e
r
d
oolaege
add isl_map
_
gist_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sv
e
n
Verdoolaege
add isl_un
i
on_ma
p
_gist_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sve
n
Verdo
o
lae
g
e
isl_union_m
a
p_
i
nter
s
ect
_
do
m
a
i
n: spe
c
i
al case intersec
t
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
S
v
en Verdoolaege
isl_
u
nion_set_inte
r
sect: sp
e
cial case i
n
tersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoolaege
ad
d
i
s
l_un
i
on_m
a
p_inters
e
ct_pa
r
am
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-16
Sven Verdoola
e
ge
add isl_
u
nion_
s
et_is_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-14
Sven Verdoolaege
is
l
_point_
g
et_
c
o
o
rdinate: check vali
d
ity of "p
o
s" a
r
gument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven Verdo
o
lae
g
e
interface/
e
xtract_i
n
terface
.
cc: a
d
j
ust to rename
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
S
v
en Verdoo
l
aege
rename isl_
p
w
_
aff_a
d
d
to
i
sl_pw_aff_un
i
on_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-13
Sven
V
erdoolaege
reimplement pw_aff_mul on
top of a gene
r
ic
i
sl_pw_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven Ver
d
oolaege
is
l
_map_intersect:
r
e
quire
ar
g
um
e
nts to live in the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-12
Sven
Verdool
a
ege
isl_i
n
put
.
c: read_tuple:
u
s
e
isl
_
map_intersect_params
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-10
Sven
V
erdool
a
ege
M
e
r
g
e bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-10-08
Sven Ver
d
oolaege
isl_strea
m
_read
_
map: handle
n
ested paren
t
hesized expre
s
s
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n Verdoolaege
isl_basic_{s
e
t,
m
ap
}
_
par
t
ial_lex{min,max}_pw_multi_aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Ve
r
doolaege
add i
s
l_af
f
_nor
m
aliz
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sv
e
n
Verd
o
olaege
add extract_
i
nter
f
ace for constructing interface
s
t
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
V
erdoo
l
aege
mark som
e
data structures and fun
c
tions for e
x
port
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
S
ven
Ve
r
doolaege
add isl
_
*_t
o
_
s
tr
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-06
Sven Verdoo
l
aege
a
d
d isl_u
n
ion_pw_
q
p
olyno
m
i
al_read_from_s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
add isl_
m
ulti_a
f
f
_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven
V
erdoolaege
add i
s
l_local_space_lifting
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n V
e
rdoolaeg
e
add isl_loca
l
_space_lif
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
a
d
d isl_local_space_inte
r
sect
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
ad
d
isl_multi_
a
ff_read_fro
m
_
s
t
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
a
ege
ad
d
isl
_
pw_aff_read
_
from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
a
dd i
s
l_aff_read_from_st
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doo
l
aege
a
dd is
l
_pw
_
multi_aff_read_from_str
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdo
o
laege
add isl
_
pw_multi_af
f
_f
r
om_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rd
o
olaeg
e
add i
s
l
_
basic_map_lex
m
in_pw_multi_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoo
l
a
e
g
e
pip: optionally use
i
s
l
_basic_set_pa
r
t
i
a
l_lexmin_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
ad
d
isl_
b
a
s
ic_{set,map}_par
t
ial_lex{min,max}_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd isl_pw_multi_aff_s
u
bstitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdoo
l
aeg
e
add isl_set_sub
s
titu
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_lo
c
al_spac
e
_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdoo
l
aege
isl_printer_p
r
int_pw_multi_aff: p
a
rtial
s
upport f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_pw_multi
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoola
e
ge
add
i
sl_pw_*_get_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
rdool
a
ege
add i
s
l_pw_*_has_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaeg
e
ad
d
is
l
_pw_*_
s
et_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add
isl_pw_*_get_tup
l
e_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verd
o
olaege
add isl_pw_*_get_tup
l
e_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdool
a
ege
add
i
sl_basic_map_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add is
l
_m
u
lti_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
isl_p
w
_templ
.
c: rena
m
e ali
g
n_params_pw_pw
_
and
to
i
nclu
d
e PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
V
erd
o
olaege
a
dd isl_map_di
m
_m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoolaege
p
r
ivately export
i
sl_basic
_
map_fo
r
e
a
ch_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basi
c
_
map_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_basic
_
map_has_dim_
i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
V
erdoolaege
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdool
a
e
g
e
isl_basic_map_el
i
m
i
nat
e
_v
a
rs:
g
auss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erd
o
olaege
add is
l
_aff_set_d
i
m_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add isl_local_space_
s
et_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolae
g
e
add isl_map_fin
d
_d
i
m
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
Verdo
o
laege
add
i
sl_space_find_dim_b
y
_na
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oolaege
ex
p
ort isl_pw_aff_inter
s
ect_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
export isl_pw_a
f
f_plain_is_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdool
a
ege
add generic isl_pw_*_set_tu
p
le_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sv
e
n V
e
r
dool
a
ege
isl_set_inter
s
e
c
t: properly handle i
n
t
e
r
secti
o
n with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven V
e
rdoolaege
isl
_
a
c
cess_info
_
compute_flow:
a
l
ign
p
aramet
e
rs of i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven
Verdoolaege
M
e
rge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
o
o
laege
fix isl_set_involve
s
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
V
erdoolaege
a
d
d i
s
l_set_pl
a
in_is
_
fi
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Ve
r
doolaege
a
d
d isl_
s
et_from
_
params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olae
g
e
add isl_spac
e
_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Me
r
ge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n V
e
rdoolaege
is
l
_qpol
y
nomial_mo
r
ph: properly
handle denomin
a
to
r
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ve
n
Verdo
o
laege
add isl
_
mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdo
o
laege
isl
_
tab_pi
p
.
c: sol_for_add: correctly
s
et de
n
o
m
inator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
ven Verdoo
l
a
e
ge
isl
_
tab_pip
.
c: sol_map_add:
f
ix double free on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
V
e
rdoolaeg
e
i
s
l_
s
t
r
ea
m
: accept "==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
a
ege
add isl_union_pw_*_plain
_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
Verdoolaege
ad
d
i
sl_pw_*_
p
lain_is_e
q
u
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en Verd
o
olaege
add isl_set_p
l
a
i
n_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
add isl_map
_
pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaeg
e
is
l
_s
t
ream_nex
t
_token
:
treat "-0" as
two
t
o
kens '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n V
e
rdoolaege
dro
p
"npara
m
" argumen
t
from isl_{set,map}
_
read_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
S
ven Verdoo
l
aege
doc: doc
u
ment
*_mo
v
e_dims functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoo
l
ae
g
e
drop isl
_
div
abs
t
r
act
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
V
e
r
do
o
l
a
e
ge
is
l
_
{in,
}
equality_alloc: take isl_l
o
cal_sp
a
ce intea
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ver
d
oolaege
doc: updat
e
example code to change in
r
eturn type
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Ver
d
o
o
laege
Merg
e
branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-09
Sven
Verdoo
l
aege
pr
o
vi
d
e full proto
t
ypes
f
o
r some functions with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
doc
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdo
o
laeg
e
add
i
s
l_set_gist
_
param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoo
l
a
ege
make is
l
_pw_* object live in
a map
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
o
o
lae
g
e
add isl_space_ex
t
e
n
d_domain_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
add isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
a
dd isl_l
o
ca
l
_spac
e
_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
a
dd isl_loc
a
l_space_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
l
aeg
e
im
p
lemen
t
isl_constraint
on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next