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_basic_{set,map}_partial_lex{min,max}_pw_multi_aff
2011-10-02
S
ve
n
V
erdoola
e
ge
add isl
_
b
asic_
{
se
t
,map}_partial_lex
{
min,max}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
v
e
n
Verdo
o
laege
add isl_pw_multi
_
aff_s
u
bstitu
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven
Verd
o
o
laege
add
isl_
s
et_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_l
o
c
a
l
_space_substitute
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sv
e
n Verdoo
l
aege
isl_printer_print_pw_multi_aff: partia
l
su
p
port for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
laege
add isl_pw_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl
_
pw_*_get_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdool
a
eg
e
add isl_pw_*
_
get
_
di
m
_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven V
e
rdoolaege
add isl_pw_*_has
_
tu
p
le_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaeg
e
add isl_pw_*
_
s
et_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_pw_*_get_
t
uple_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdo
o
l
a
e
g
e
add isl_pw_*
_
get_tu
p
le_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
add isl_basic_m
a
p_fr
o
m_
m
ult
i
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_multi_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoo
l
aege
is
l
_pw_templ
.
c: rena
m
e alig
n
_
p
arams_p
w
_pw_a
n
d to i
n
clude
P
W
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
add isl_ma
p
_dim_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
S
ven Verdoolaege
p
ri
v
ately export isl_basic
_
map_foreach_
l
exopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Ve
r
doolaege
add i
s
l_basic_map_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolae
g
e
add
i
sl_b
a
sic
_
ma
p
_has_dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-10-02
Sven Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-10-01
Sv
e
n Verdoolaege
isl_basic_m
a
p_
e
li
m
inate_v
a
rs: gauss result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdoola
e
ge
add isl_aff_set_dim
_
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sv
e
n Verdoolaeg
e
add isl_local
_
spa
c
e_s
e
t_dim_i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven V
e
rdool
a
ege
a
d
d isl_map
_
f
ind_
d
im_by_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoolaege
add i
s
l_sp
a
ce_find_dim_by_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
S
v
e
n
Verdo
o
laege
exp
o
rt isl_pw_aff_inter
s
ec
t
_d
o
main
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-27
Sven Verdoola
e
ge
expor
t
isl_p
w
_aff_p
l
ain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
Sven
V
erdoolaege
add generic isl_pw_*_set_tuple_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-26
S
v
en
Ve
r
dool
a
ege
is
l
_set_inters
e
ct: properly handle intersecti
o
n wit
h
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-24
S
v
e
n Verdoola
e
g
e
i
s
l_access_info_compute_flow: align parameters
o
f input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-23
Sven Ve
r
doolaeg
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
S
v
e
n
V
erdoolaege
fi
x
isl
_
s
e
t_involves_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
a
d
d isl_set_plain_
i
s_
f
ixed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
Verdoolaeg
e
ad
d
isl_set_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
add isl_space_
s
et_from_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verd
o
olaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sven Ver
d
oolaege
i
sl_qpolynom
i
al_morph: properly handle denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
S
v
e
n Verdo
o
laeg
e
add is
l
_m
a
t_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
i
s
l
_tab_pip
.
c: sol
_
f
o
r_add: correctly set denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sve
n
V
e
rdoolae
g
e
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
Sven Verdoolaege
isl_s
t
ream: ac
c
ept "=
=
"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Ver
d
oolaege
add isl
_
union_
p
w
_
*_p
l
a
in_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Ve
r
doo
l
aege
add isl_pw_*_plain_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sve
n
Ve
r
doolaege
add isl_set
_
pl
a
i
n_c
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Ver
d
oolaege
add i
s
l_
m
ap_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
isl_
s
tream_nex
t
_
t
o
k
en: treat "-
0
"
as two to
k
ens '-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ve
n
Verdoolaege
dr
o
p
"npar
a
m" argument from isl_{set,m
a
p}_read_fr
o
m_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc: doc
u
ment
*_move_dims func
t
ions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Ve
r
do
o
l
aege
dr
o
p isl_d
i
v
abstraction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoo
l
ae
g
e
isl
_
{in,}equality_a
l
l
o
c: take isl_local_spac
e
intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Ve
r
d
o
o
laege
doc: up
d
ate examp
l
e c
o
de
t
o change in retur
n
type o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Ve
r
doolae
g
e
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
provide f
u
ll
prot
o
t
y
pes for
s
ome
f
unctions w
i
th no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaeg
e
doc: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sven Ve
r
doolae
g
e
add isl_s
e
t_gist_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
Sven V
e
rdoola
e
g
e
ma
k
e i
s
l
_
pw_* o
b
ject liv
e
in a map spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
isl_sp
a
ce_extend_do
m
ain_wit
h
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
a
dd isl_
s
pace_
i
s_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
e
ge
add isl_local_spac
e
_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolae
g
e
add isl_local_space_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoola
e
ge
implement isl_constraint on
t
op of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n
Verdoolaege
add
isl_vec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
i
sl_
a
ff
.
c: extract i
s
l_local
_
s
p
ace_
g
et_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
isl_
o
utput
.
c
: drop redunda
n
t "set" argum
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ve
r
d
o
olaeg
e
isl_union_*_alloc
:
project space onto
p
ar
a
meters
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
expl
i
citl
y
differentia
t
e between s
p
aces
of
maps,
s
e
ts
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rd
o
olae
g
e
allow isl_ids with n
e
gati
v
e
r
eference counts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
proper imple
m
enta
t
ion of isl_union_
m
ap_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_
m
ap_from_dom
a
in_a
n
d_range:
drop expli
c
it conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_set_apply
_
pw_qpolyno
m
ial_fo
l
d: drop explicit conversio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_tab_
b
asic_set_non_trivial_lexmin: drop explici
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
l
a
e
ge
isl_
t
ab_pip
.
c:
fi
x
whites
p
ace iss
u
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
s
l_set
_
read_from
_
*: coerce set-like maps i
n
to sets
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
is
l
_inp
u
t
.
c: map_re
a
d_polylib: conv
e
rt set
-
l
ike m
a
p
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdool
a
ege
isl_input
.
c: obj_read: start
off fr
o
m parameter space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl
_
input
.
c:
r
epresent nested tuple a
s
isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoolaege
isl_i
n
put
.
c:
obj_rea
d
_poly_or_fold:
rep
r
esent
d
omain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doo
l
aege
is
l
_basic_set
_
mult
i
plicative_call: explicitly
p
r
o
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
g
e
isl_pw_qpolynomial
_
fold_bound: explicitly
p
roject on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
isl_qpol
y
nomial_
b
ound_on_domain_bernstei
n
:
exp
l
icitly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl
_
qpolynomial_
b
ound_on_domain_range: explici
t
ly project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdo
o
l
a
e
g
e
isl_union_ma
p
_fro
m
_m
a
p: explicitly pro
j
ect on param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
i
s
l
_union_map_align_params: explicitly project on param
e
ter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_polynomial
.
c: c
o
n
s
t
ant_on_domain: expl
i
citly
p
roje
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
basic_set_dim_max:
e
xplicitly project on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
olaege
isl_b
a
s
i
c
_
s
e
t
_
com
p
ute_vertice
s
: explicitly
t
urn ch
a
mbers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdo
o
laege
bound
.
c: exp
l
icitly convert context
into parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ve
r
doo
l
aege
pip
.
c: expl
i
citly conver
t
co
n
text
i
n
to parameter
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_fold_
p
roject_domain
_
on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add
isl_qpolynomial_
p
roje
c
t_domain_on_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
add isl_pw_qp
o
lynomial
_
project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ve
r
doolaeg
e
add
i
sl_morph_{dom,ran}_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
add isl_bas
i
c_set_param
s
and isl_set_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoo
l
aege
add isl_
s
pace_
p
arams_alloc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_stream_read_se
t
: ac
c
ept paramete
r
dom
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl
_
pw_qpolynomial_fold_bou
n
d: simpli
f
y
c
o
ns
t
r
u
c
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verd
o
o
l
aege
isl_
t
e
st
.
c: properly create set s
p
ace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolae
g
e
isl_map_ran
g
e_map: fix space
manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
isl_map_range: constr
u
ct c
o
rrect spac
e
for resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
i
s
l_basic_
s
e
t
_alloc: create basic
set
in pr
o
per set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next