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_set_substitute
2011-10-02
S
ven Ve
r
doolaege
a
d
d
isl_set_su
b
s
titute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
a
dd
i
sl_local_space_substitute
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verd
o
olaege
isl_printer_
p
rint_pw_multi_af
f
: partial s
u
ppor
t
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add
i
sl_p
w
_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add is
l
_pw_*_get
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoo
l
aege
add isl_pw_*_get_dim_na
m
e
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 Ve
r
doola
e
ge
add i
s
l_
p
w_*_set_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Ver
d
oolaege
a
dd isl_pw_*_
g
et_tuple_i
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sve
n
Verdo
o
laeg
e
add i
s
l_pw_*_get_tupl
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add i
s
l_basic_map_from_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en
V
erdoolaege
add isl_multi_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
eg
e
isl_pw_tem
p
l
.
c
: rename align_params_pw_pw_and to
include PW
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doola
e
ge
add is
l
_map_d
i
m_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
S
v
en Verdo
o
laeg
e
privately export i
s
l_basic_map
_
f
oreach
_
le
x
o
pt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add is
l
_basic_map
_
eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n
Ve
r
doolaeg
e
a
d
d i
s
l_basic_map_has_dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verdool
a
ege
Mer
g
e branch '
m
aint'
commit
|
commitdiff
|
tree
2011-10-01
Sven Verdoo
l
a
e
ge
isl_ba
s
ic_
m
a
p
_
e
limin
a
te_vars: gauss result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdoolaege
add isl_aff_set_
d
im_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoo
l
a
e
ge
add
i
s
l_local_sp
a
ce_
s
et
_
dim_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
S
ven Ver
d
oolaege
ad
d
isl_map
_
fi
n
d_dim
_
by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolae
g
e
ad
d
isl_space_find_
d
im_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdo
o
laege
export isl_pw_aff_interse
c
t_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven
V
erdoolaeg
e
e
xport i
s
l_p
w
_
a
f
f_pla
i
n_
i
s_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
a
d
d
generi
c
isl_pw_*_s
e
t_tuple_id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en Verdoolaege
isl_
s
et_i
n
t
e
rsect: properly han
d
le intersec
t
ion with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
S
v
en Verd
o
olaege
i
sl_access_i
n
fo_compu
t
e_flow: align parameters of i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sve
n
Ve
r
d
o
o
laege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-09-23
Sven Ver
d
oolae
g
e
fix isl_s
e
t_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
ad
d
is
l
_set_plain_
i
s_fixe
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven V
e
r
d
oolaeg
e
add isl_set_from_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
erdoolaege
add isl
_
spa
c
e_
s
et_from_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Ve
r
doolaege
Merg
e
bra
n
ch '
m
ain
t
'
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
Verdoolaege
isl_qpolynomial
_
morph: properl
y
h
an
d
l
e den
o
m
i
n
ators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
add isl_mat_diag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven
V
e
rdoola
e
ge
i
sl
_
t
a
b_pip
.
c:
s
ol_f
o
r_add: c
o
rrectly
s
et deno
m
inator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
isl_t
a
b_pip
.
c
: so
l
_map_add: fix doubl
e
f
ree
o
n
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ve
r
doolaege
isl_stream: accept "=="
to
k
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven V
e
rdoolaege
add isl_u
n
ion_pw_*
_
plain_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdool
a
ege
add isl_pw_
*
_
plai
n
_is_equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven
V
erd
o
olaege
ad
d
isl_set_plain_c
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
S
v
en Verdoolaege
add i
s
l
_
map_p
a
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolae
g
e
i
s
l
_
stream_next_token: tr
e
at "-
0
" as t
w
o tokens
'-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven V
e
rd
o
olaege
drop "n
p
aram" arg
u
ment f
r
om i
s
l_{s
e
t,map}_re
a
d_from_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoo
l
aege
doc: document *_move
_
dims funct
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
erdoo
l
a
e
ge
dro
p
isl_div abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
doolaege
isl
_
{in,}equality_all
o
c:
take isl_local_space intead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaeg
e
doc:
update examp
l
e code to change i
n
r
e
turn type of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n Verdoolae
g
e
provide full protot
y
pes for some functio
n
s with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
S
ve
n
Verdoolaege
doc: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sven Verdoolaege
add isl_set_gis
t
_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
r
d
oolaege
make
isl_pw_* object live in a map space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
ege
add
isl_space_ex
t
end_
d
o
mai
n
_with_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
e
r
doolaege
add isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
a
dd isl_local_space_is_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdool
a
e
ge
a
dd
i
sl_lo
c
al_space_
d
omain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
olaege
imp
l
ement
i
s
l
_constraint on top of isl_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
add isl_v
e
c_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaege
isl_aff
.
c: extr
a
ct isl
_
local_space_get_a
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
o
o
laeg
e
i
s
l
_output
.
c: drop re
d
undan
t
"se
t
" argu
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verd
o
ola
e
ge
isl_union_*_
a
lloc:
project space ont
o
parameters
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
explicitl
y
differentiate betwee
n
s
p
a
ces of maps, sets
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
allow isl_ids with ne
g
ative reference counts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
proper implementation of
isl_union_m
a
p_fr
o
m_ra
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
isl_map_from
_
d
omain
_
and_
r
ange: dro
p
explicit co
n
version
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
isl_set_appl
y
_pw_qpolynomial_fo
l
d:
drop
explicit co
n
versi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoo
l
aege
isl
_
tab_b
a
s
ic_set_non
_
tr
i
vial
_
lexmin: drop exp
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_tab
_
pip
.
c: fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolaeg
e
isl_set_read_fr
o
m_*: coerce
set-like maps
in
t
o s
e
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_input
.
c: map_read_polylib
:
conv
e
rt set-
l
ike
maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_input
.
c: obj_read: st
a
rt off
f
r
om parameter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdo
o
laeg
e
isl_inp
u
t
.
c: repre
s
ent ne
s
t
ed tu
p
l
e as isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoo
l
a
e
ge
isl_input
.
c: obj_read_
p
oly_or_fold: represent
doma
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_basic_set_mul
t
iplicative
_
cal
l
: explic
i
t
l
y project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdoolaege
isl_pw_qpol
y
nomial_fold_b
o
und: explicitly pr
o
ject
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
rdoola
e
ge
isl_qpol
y
n
omial_bound_on_doma
i
n_bernstein: explic
i
tly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven V
e
rdoolae
g
e
isl_q
p
olynom
i
al_bo
u
nd_on_do
m
ain_range: explic
i
tl
y
project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
o
o
laege
isl_union_
m
ap_fro
m
_m
a
p:
expl
i
citly proj
e
ct
on parameter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oo
l
aege
i
s
l_u
n
ion_map
_
align_param
s
: ex
p
licitly project on
par
a
meter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl_polyn
o
m
i
a
l
.
c: constant_on_domain: ex
p
l
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
er
d
oolaege
b
a
s
i
c_
s
et_dim
_
max: explicitly project on parame
t
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
ae
g
e
is
l
_
ba
s
ic_set_compute_v
e
rt
i
ce
s
: ex
p
licitly
t
u
rn ch
a
m
bers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
g
e
bou
n
d
.
c: e
x
p
lici
t
ly
c
onvert
context i
n
to
parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
pip
.
c: explic
i
tly convert
c
ontext into p
a
rameter se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
ola
e
ge
add isl_p
w
_qpolynomia
l
_fold_projec
t
_domain_on_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add isl_qpoly
n
omia
l
_proje
c
t_doma
i
n_on
_
param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
er
d
oolaege
a
dd
isl_pw_qp
o
lynomial_pr
o
je
c
t_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
add i
s
l_morp
h
_{dom,ran}_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_basic_s
e
t_para
m
s
and isl_s
e
t
_p
a
r
a
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolaege
a
dd isl_space_para
m
s_allo
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
isl
_
stream_read
_
set: accept para
m
eter domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven
V
erdo
o
laege
isl_pw_qpolyn
o
mi
a
l_
f
old_
b
ound: sim
p
lify
c
onstr
u
ction
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_test
.
c: properly
cr
e
ate set spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
m
ap_range
_
map: fix space manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
i
s
l_map_range: c
o
nstruct c
o
r
r
ect space
for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_bas
i
c_se
t
_
all
o
c: create basic
s
et in
p
roper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_spa
c
e
_
w
r
ap: pr
o
perly creat
e
set spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
add isl_set
_
from_pw
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next