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
Merge branch 'maint'
2011-10-02
Sve
n
Ve
r
doolaege
M
er
g
e branch 'main
t
'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoolaege
is
l
_basic_m
a
p_e
l
iminate_va
r
s: gauss resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add isl_aff_set_di
m
_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
e
r
d
oolae
g
e
ad
d
is
l
_loca
l
_space_set_dim_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
v
en Verdo
o
laege
add isl_map_fin
d
_
dim_by
_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verd
o
olaege
add isl_space_
f
ind
_
dim_by_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
expor
t
i
s
l_pw_aff_int
e
rse
c
t_do
m
a
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Verdoo
l
aeg
e
ex
p
o
r
t isl_
p
w_aff_plain_is_equ
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
oolaege
add
generic is
l
_
p
w
_*_set_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_in
t
ersec
t
: p
r
operl
y
ha
n
d
le inters
e
c
tion wit
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
Sven Verdoolae
g
e
isl_a
c
cess_info_compute_flo
w
: ali
g
n p
a
r
a
meter
s
of i
n
p
u
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolae
g
e
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
fix
isl_
s
et_involve
s
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
add isl_se
t
_
p
lain_is_fi
x
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
dd isl_set_from_pa
r
am
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
Ver
d
o
o
l
a
ege
a
dd isl_space
_
set_from_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
i
sl_qpolyn
o
m
ial
_
mo
r
p
h
: properly handle den
o
minators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoolaege
add isl_mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
rdoolaege
isl_
t
a
b
_pip
.
c: so
l
_
for_add: correctly set den
o
minator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
a
e
ge
isl_tab_pip
.
c: sol_map_add: fix
d
ouble fre
e
on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaeg
e
isl_stream: acc
e
pt "=="
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_union_pw_*_plain_
i
s_e
q
ual
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add
i
sl_pw_*_plai
n
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sv
e
n Verdoolaege
add isl_set
_
plain_cmp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ver
d
oolaege
add
isl_map_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rdool
a
eg
e
isl_
s
tream_nex
t
_token: tre
a
t "-
0
" as
t
wo token
s
'-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Ve
r
dool
a
ege
dro
p
"n
p
aram" ar
g
ument
fr
o
m isl_{set,map}_read_from
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: document *
_
move_di
m
s functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sv
e
n Verdo
o
laege
dro
p
isl_div abstrac
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
isl
_
{in,}equ
a
lity_alloc
:
take
i
sl
_
local_space intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
v
en
V
erdoolae
g
e
d
oc:
u
pd
a
te exa
m
ple code to change i
n
r
e
t
urn
type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
dool
a
ege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven
V
erdoolae
g
e
pr
o
vide full p
r
ototypes for some functions with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaeg
e
d
oc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ver
d
oolaeg
e
a
d
d isl_set
_
gist_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven Verdoolaeg
e
ma
k
e is
l
_pw_* object live in a
map s
p
ac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_
s
pace_extend_domain_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
l
aege
add isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
Ver
d
o
o
la
e
ge
ad
d
i
s
l_local_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
a
dd isl_local_spa
c
e_dom
a
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
m
p
l
ement isl_constraint on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_aff
.
c: extract isl_loc
a
l
_
s
p
a
c
e_get_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_
o
utput
.
c: drop redun
d
a
n
t "set" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_union_*_alloc:
p
roject space
o
n
t
o parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
ex
p
licitl
y
differenti
a
t
e
between spaces o
f
maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
al
l
ow
i
sl_ids with negativ
e
re
f
erence counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoolaege
pr
o
per
impleme
n
tation of isl_uni
o
n_map_fro
m
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_from_domain_and_ran
g
e: d
r
o
p
expli
c
i
t
conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
isl_s
e
t_apply_p
w
_
qpolynomial_fold
:
drop e
x
plicit conversion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdool
a
ege
isl_ta
b
_basic
_
s
e
t_no
n
_trivial_l
e
x
min: drop exp
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oo
l
aege
isl_tab_pip
.
c: f
i
x
w
hitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
isl_s
e
t_read_from_*
:
coerce set-like ma
p
s
into
s
ets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_input
.
c: map_read_polylib: con
v
ert set
-
l
ike
maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
ae
g
e
isl_in
p
u
t
.
c:
obj_read: start off fro
m
parame
t
er space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_
i
nput
.
c: repres
e
nt nested tuple as isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
i
sl_input
.
c: obj_read_poly_or_fold: represent do
m
ain
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic
_
set_multi
p
licative_c
a
ll: explicitly proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_pw_qpolyno
m
i
a
l_fold_
b
ound: ex
p
lic
i
t
l
y project on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_qpolynomial_b
o
und_
o
n
_domain_bern
s
tein
:
expl
i
citly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_qp
o
ly
n
omi
a
l_bound_on_domain_range: expl
i
citly proj
e
ct
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
u
nion_map_from_map: explicitly project on para
m
eter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoo
l
aege
isl_union_map_align_params:
e
xpli
c
itly proj
e
ct on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdool
a
ege
i
s
l_po
l
ynomial
.
c: consta
n
t_on_domain
:
e
xplicitly pr
o
jec
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
b
a
sic_set_dim_max: e
x
plicitly project
o
n parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_b
a
sic_set_comp
u
te_vertices: ex
p
lici
t
ly turn chambers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaege
b
o
und
.
c: explicitly con
v
ert conte
x
t int
o
param
e
te
r
s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaeg
e
pip
.
c:
e
x
plicitly convert
c
o
n
text
in
t
o parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaeg
e
add
i
s
l_pw_
q
polyn
o
mia
l
_fold_project_domain
_
on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add
isl_qpolynomial_proj
e
ct_domain_
o
n
_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_p
w
_qp
o
lynomia
l
_p
r
oject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rd
o
olaege
add isl
_
m
orph_{dom,ran}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add i
s
l_ba
s
i
c_set_params and isl_set_p
a
ram
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_spac
e
_p
a
rams_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rd
o
o
laege
isl_strea
m
_read_set: accept parameter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_pw_qpolynomial_fold_boun
d
: simplify c
o
nstruction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
isl_test
.
c
: pr
o
perly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
isl_map
_
range_
m
ap: fi
x
space
manip
u
lation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_r
a
nge: c
o
n
s
tru
c
t correct s
p
a
ce f
o
r result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olae
g
e
is
l
_basic_set
_
allo
c
: create basic
s
e
t
in proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
isl_space_wrap: pro
p
er
l
y
create set
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
l
aege
add isl_set_from_pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
d
oolaege
r
ena
m
e PW_a
l
loc_ to PW_alloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
Verdoolaege
isl_pw_*_add_disjoint: try
and extend
o
ne
o
f
t
h
e p
w
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
isl_spa
c
e_match: opti
m
ize trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
l
ae
g
e
add
i
sl_map_fl
a
t
_
domain_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoola
e
ge
isl_access_
i
nfo_compute_flow:
align parameters of
input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
align par
a
meters of argum
e
nts to is
l
_m
a
p_{lexmin,lexmax}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_space
_
a
l
ign_params: a
c
cept general isl_spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_space_par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
rename isl_dim to isl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
V
er
d
o
olaege
d
o
cument is
l
_
dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaege
spli
t
off declara
t
ion
s
from isl_
p
olynomial
.
h
t
o separate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Ver
d
ool
a
ege
merge is
l
_*_dump
f
unctions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
S
ven Verdool
a
ege
add is
l
_set_
d
i
m_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaege
add isl_
b
asic_s
e
t_fo
r
eac
h
_le
x
opt
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
e
rd
o
olaege
add isl_pw
_
aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
do
o
l
a
e
ge
add isl
_
pw_aff_un
i
on_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
add isl_aff
_
le_bas
i
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next