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
V
e
rdoolaege
add isl_space
_
find_
d
im_
b
y_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
ve
n
V
erdoolaeg
e
export isl_pw_af
f
_inter
s
ect_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdoolaeg
e
exp
o
r
t isl_
p
w_
a
ff_
p
lain_is_equ
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ve
r
doolaege
add generic isl_pw
_
*_set
_
t
uple
_
id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sve
n
Verdoolaege
isl_se
t
_intersect:
pro
p
erly h
a
n
d
le intersec
t
ion w
i
t
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en Verdo
o
lae
g
e
is
l
_access_info_comput
e
_flo
w
: a
l
ig
n
parameters of
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Ve
r
doolaege
M
erge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
fix
isl_set_involves
_
di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
r
doolaege
add is
l
_set_plain_is_fixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_set_from_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add isl_space_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaege
isl_qpolynomial_morph: p
r
operly handle
d
enominator
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
er
d
ool
a
ege
a
dd is
l
_
m
at_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaeg
e
isl_tab_pip
.
c:
sol_for_add:
c
orrectly
s
et
denominat
o
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
isl_tab_pi
p
.
c: so
l
_ma
p
_add:
f
ix doub
l
e f
r
ee on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erdoolaege
isl_stream: accept "=="
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
add
isl_un
i
on_pw_*
_
p
l
ai
n
_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
a
dd i
s
l_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n
Verdoolaege
add isl
_
set_pl
a
i
n
_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
a
d
d isl_map_par
a
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n
Verdoolaege
isl_st
r
eam_next_token: treat "-0
"
a
s two tokens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdoola
e
ge
d
r
o
p
"nparam" argument
fr
o
m
i
s
l
_{set,map}_read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: docume
n
t *_move_dims functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
e
r
d
o
olaege
d
r
op isl_div abstracti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
d
o
o
laege
isl_{in,}equality_alloc: tak
e
isl_lo
c
al_sp
a
ce intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
S
ven
V
erdo
o
laege
doc: update example code to change
i
n r
e
turn type
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
ven Ve
r
doolaege
Merge br
a
nch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-09
Sve
n
Verdoolaege
provide full p
r
ototyp
e
s for s
o
me functions w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
doc:
fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n
V
erd
o
olaege
a
dd isl_set_gist_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
ma
k
e
isl_pw_* object live in
a
map spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
add isl_space_
e
xtend_domai
n
_with_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
a
d
d isl_
s
pace_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_loc
a
l_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
dd isl_local_space_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdo
o
laege
im
p
leme
n
t is
l
_con
s
traint on to
p
of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
ad
d
isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n V
e
r
d
oolaege
i
s
l_aff
.
c:
extract isl_local_space_get_a
c
t
ive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
erd
o
ol
a
ege
i
s
l_o
u
tput
.
c: drop redund
a
nt "set" argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdool
a
ege
i
sl_union_*_alloc: project space onto para
m
e
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
explicit
l
y differentiate betwee
n
spaces of
m
a
ps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
all
o
w
isl_ids with ne
g
ative ref
e
ren
c
e counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
prop
e
r im
p
lementat
i
o
n
of isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
isl_map
_
from
_
d
oma
i
n_and_range: dr
o
p ex
p
licit conver
s
io
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_set_
a
pply_pw_qpolyno
m
ial_fold: drop explic
i
t conversio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_ta
b
_basic_set_no
n
_tri
v
ial_lexm
i
n: drop expl
i
cit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_tab_pip
.
c
: fi
x
w
h
itespac
e
iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_se
t
_read_from_*: c
o
erce set
-
like
m
aps into sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
o
l
aege
i
sl_input
.
c: map
_
read_polyl
i
b: convert
set-like
m
aps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
ege
isl_
i
np
u
t
.
c
: obj_read:
s
t
a
rt off
from parameter
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verd
o
olaege
i
s
l_input
.
c:
r
epr
e
sent neste
d
tuple as isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_input
.
c:
obj_
r
ead_poly_or_fold: represent
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaeg
e
isl_basic
_
s
e
t_mu
l
t
iplicative_call
:
explicitly pro
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_pw_qpo
l
ynomial
_
fold_b
o
un
d
: ex
p
li
c
i
tl
y
project on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
i
sl
_
qpolyn
o
mial
_
bound_on_domai
n
_
b
ernstein: explicitl
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_
q
pol
y
nomi
a
l_bound_o
n
_
d
om
a
in_ra
n
ge:
explicitly pr
o
ject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
is
l
_union_ma
p
_from_map: expl
i
citly project on paramete
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laege
isl_union_map_align_params:
e
x
plicitly project
o
n
p
arameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
d
o
olaege
isl_po
l
ynomial
.
c: const
a
nt_on_domain: ex
p
l
icitly p
r
oject
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
basic
_
s
e
t_dim_
m
ax: e
x
plicitly project on
pa
r
ameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
doolaege
isl
_
basic
_
set
_
c
o
mpute_vertice
s
: explici
t
ly turn c
h
ambers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
bound
.
c: explicitly
c
onvert context into parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pip
.
c: explicitly con
v
ert context into parame
t
er set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add is
l
_pw
_
qp
o
lyn
o
mial_fold_proje
c
t
_
dom
a
in_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add isl
_
qpolynomial_proj
e
c
t
_do
m
ain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add isl_
p
w
_qpolynomial_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_m
o
rph_{dom,ran}_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
a
dd isl_
b
asic_set_params
a
nd isl
_
set_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
add isl_space_params
_
alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_st
r
eam_rea
d
_se
t
: accept parameter
d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
r
d
oolaege
isl_pw_qpoly
n
omial
_
fold_
b
ound: simplify construction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
is
l
_test
.
c: properly create set spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Verdo
o
laege
is
l
_map
_
range_
m
ap: fix s
p
ace manipulat
i
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Ver
d
oolaege
isl_map_r
a
nge
:
construct cor
r
ect
s
p
ace for result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
i
s
l_basic
_
set_alloc: creat
e
ba
s
i
c
set
i
n proper set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_space
_
wrap: p
r
o
perly cr
e
ate set s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
add isl
_
s
e
t_from_pw
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verd
o
olaege
rename PW_alloc_ t
o
PW_alloc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
i
s
l_pw_
*
_ad
d
_
dis
j
o
int: t
r
y
a
nd ext
e
nd one of the pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space
_
mat
c
h: op
t
im
i
z
e
trivi
a
l cas
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ve
r
doolaege
a
d
d i
s
l_map_flat_domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_access_info_c
o
mp
u
t
e_flow: a
l
i
g
n
para
m
ete
r
s o
f
input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
align parameters of ar
g
umen
t
s to
i
sl_map_
{
l
e
xmi
n
,lexmax}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
erd
o
ol
a
ege
isl_space_ali
g
n
_params:
accept general
i
sl_spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en
V
er
d
oo
l
ae
g
e
add isl_s
p
ace_pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename i
s
l_dim to isl_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
document
isl
_
dim_mo
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolae
g
e
split of
f
declarations from isl_
p
olynomial
.
h to s
e
parate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolae
g
e
merge
i
sl_*_d
u
m
p
functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoola
e
g
e
add isl_set_d
i
m_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add
i
sl_b
a
sic_set
_
foreach_l
e
xopt
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
add
i
sl_pw_aff_u
n
ion_
o
pt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoolaege
add isl_pw_af
f
_union_
m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
a
dd isl
_
aff_le_
b
a
s
i
c
_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
i
sl_qp
o
lynomial_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
M
e
rge branch 'maint
'
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdo
o
l
a
ege
i
sl_
q
polyn
o
m
ial_rat_cs
t
:
h
andle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven
Verdoolaege
bernstei
n
_co
e
fficients_cell: handl
e
NULL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
isl_printer_to_str: int
i
alize buffer to empty st
r
ing
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next