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
add isl_space_find_dim_by_name
2011-09-27
Sven Verdool
a
e
g
e
add isl_space_find_d
i
m_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoola
e
ge
ex
p
ort
isl
_
pw_aff_inter
s
ect
_
d
omain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ve
r
doolaege
e
xport isl_
p
w_a
f
f_pla
i
n_i
s
_
e
qual
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven Verdoolaege
a
dd gener
i
c
i
sl
_
pw_*_set_tu
p
le
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
ven
Verdoola
e
ge
isl_set_intersect: properly handl
e
inters
e
c
tion with
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
ven Verd
o
olaege
i
s
l_acce
s
s_i
n
fo_comp
u
te_
f
l
o
w: align parameters of
i
npu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sv
e
n Verdoo
l
aege
Merge bra
n
c
h
'
maint'
commit
|
commitdiff
|
tree
2011-09-23
S
v
en Verdoolaege
fix isl_set_
i
n
v
olves_
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
_
i
s_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
a
e
ge
a
d
d i
s
l_set_from
_
p
a
r
a
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add i
s
l
_space_
s
et_from_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdoolaege
Mer
g
e
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
g
e
isl_qp
o
lynomia
l
_
morph: pro
p
erly h
a
ndle
deno
m
inat
o
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
add isl
_
mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoola
e
ge
isl_tab
_
pip
.
c
:
so
l
_
f
or_add: corr
e
ctly set denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en Verdoolae
g
e
i
sl_t
a
b
_
pip
.
c
: sol_map_add: fix d
o
u
b
le free on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
isl_stream: acc
e
pt "==" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add
i
sl_union_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven V
e
rdoolaege
add i
s
l_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Ver
d
oo
l
aege
add isl_set_plain_c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaeg
e
add isl_map_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
is
l
_stream_n
e
xt_token: t
r
e
at "-0" a
s
two token
s
'-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sve
n
Verdoo
l
aege
drop
"
nparam" argument from
isl
_
{set,map}_r
e
a
d
_
f
r
o
m
_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven
Verdoo
l
aege
doc
:
document
*
_
m
ove_dims functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
laege
drop isl_div abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
e
rdoola
e
g
e
isl_{in,}
e
quality_alloc: ta
k
e
isl_loca
l
_s
p
ace intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaege
doc: update example code to change in retur
n
type of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoo
l
aege
Mer
g
e
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verd
o
olaege
prov
i
de full p
r
ot
o
typ
e
s
fo
r
some
f
unctions w
i
th
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
v
en Verdool
a
ege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl_set_gist_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdool
a
ege
make isl_
p
w_* object live
i
n a
map space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
g
e
add isl_space_ext
e
nd_domain_wit
h
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aege
add
isl_spac
e
_is_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolaege
a
dd isl_loc
a
l
_
spa
c
e
_
is_se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdool
a
ege
add i
s
l_local_space_doma
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdo
o
laege
implement isl
_
constraint on top
o
f
i
s
l_v
e
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
a
d
d
i
sl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Ver
d
oo
l
aege
i
sl_aff
.
c
:
extrac
t
isl_local_space_get
_
active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdo
o
laege
isl
_
output
.
c: dro
p
redundant "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_union_*_alloc
:
project space
o
nto parameters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
d
oola
e
ge
explicitly
differen
t
iate between s
p
ac
e
s
o
f
maps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
allow
i
sl_ids with negative r
e
ference
counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
p
r
oper im
p
l
e
m
en
t
ation of isl
_
union_map_from_ra
n
ge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_ma
p
_from_d
o
main_and_range:
drop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
i
s
l
_se
t
_app
l
y_pw_qp
o
lynomial_fold:
d
rop
e
xplicit con
v
ersion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oolaege
i
sl_t
a
b_
b
asic
_
set_non_trivi
a
l_le
x
m
in: drop explicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
i
s
l_tab_
p
ip
.
c: f
i
x whi
t
espace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_set_read_from_*: coer
c
e set-like maps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_input
.
c: map_read_
p
olylib: conve
r
t set
-
li
k
e
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
isl
_
i
n
p
u
t
.
c: o
b
j_re
a
d: start off fr
o
m paramete
r
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
V
erdoolaege
i
s
l_input
.
c
: r
e
present nested tuple
a
s isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
isl_inp
u
t
.
c
:
obj_read
_
poly
_
or_
f
old: repres
e
n
t d
o
main
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_basic
_
se
t
_mu
l
tipli
c
ativ
e
_cal
l
:
e
xplicitly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_pw_q
p
oly
n
omial_fo
l
d_
b
ound: e
x
plic
i
tly project on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
isl_q
p
o
l
ynomial_bound_on_domain_b
e
rnstein: explicit
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laeg
e
is
l
_qpoly
n
omial_bo
u
nd_on_domain_range: explicitly p
r
ojec
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_union_map_from_map: explicitly project on p
a
rameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_union_map_ali
g
n_params:
e
xplicitly project on pa
r
a
meter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
doo
l
aege
isl_polynom
i
al
.
c: co
n
stant_on
_
domain: expli
c
itly proj
e
ct
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
do
o
l
aege
basic_set_
d
im_max:
explicitl
y
project on
parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
isl
_
ba
s
ic
_
set_comput
e
_vertices: explicitly turn
cham
b
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaeg
e
bound
.
c: expl
i
ci
t
ly convert context into param
e
t
er set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
pip
.
c: exp
l
icitly convert con
t
e
xt into
param
e
ter se
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd isl_pw_qpolyn
o
mial_fold_project_domain
_
on_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
i
s
l_qpolynomial_project_domain_on_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_p
w
_
q
p
olyn
o
mial_p
r
ojec
t
_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_m
o
rph_{dom,ran}_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add
isl_bas
i
c_set_params
and isl
_
set_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
ool
a
e
ge
a
d
d
i
s
l_space_params_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_st
r
eam_read_
s
et: accept param
e
ter domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oo
l
aege
i
sl_pw_qpo
l
ynom
i
al_fold_
b
ound: simpl
i
fy constructi
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_test
.
c
: properl
y
c
reate set spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaeg
e
isl_map_range_map:
fix space
manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoo
l
aeg
e
isl_map_range: construct correct spa
c
e fo
r
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
a
ege
isl_basic_se
t
_alloc: create
basic se
t
in proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_space_wrap: properly
c
reate set s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
add
is
l
_set_from_p
w
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaeg
e
r
e
name PW_alloc
_
to
P
W_alloc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdool
a
e
ge
isl_
p
w_*_ad
d
_disjoint
:
t
r
y
and extend one of
the
pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
sl_spa
c
e_
m
atc
h
: optimize trivial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
add isl_map_flat_
d
omain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_a
c
cess_info
_
compu
t
e_flow
:
ali
g
n
para
m
e
t
ers of inpu
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaeg
e
align parameters of arg
u
ments to
isl_m
a
p_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaeg
e
isl_
s
p
ac
e
_align_p
a
rams: a
c
cept gen
e
ral
i
sl_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolae
g
e
add isl_space_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
rename isl
_
dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven
V
e
r
d
oolaege
documen
t
is
l
_
dim_move
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
split off declarati
o
ns
f
rom isl_polyn
o
mial
.
h to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
merge isl_*_dump func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Ve
r
doolaeg
e
add isl_set_
d
im_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Ve
r
do
o
laege
add
i
sl_basic_set_f
o
reach
_
lex
o
p
t
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
laeg
e
a
dd isl_pw_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
S
v
e
n
Verdoolaege
ad
d
isl
_
pw_aff_un
i
on_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verd
o
ol
a
e
g
e
add isl
_
a
f
f_le_b
a
si
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Ve
r
doolae
g
e
i
sl_
q
p
olynomial_free
:
re
t
urn NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sve
n
Ver
d
oo
l
aege
Merge
b
ra
n
ch
'
mai
n
t
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaeg
e
isl_qpolynomial_rat_
c
st: ha
n
dle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven
Verdoolaeg
e
ber
n
stei
n
_coefficien
t
s_c
e
ll:
h
andle NULL
poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolae
g
e
is
l
_
p
rinter_to_str: intial
i
z
e buf
f
er to
empty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next