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
Sv
e
n Verdool
a
ege
add
i
sl_space
_
find_di
m
_by_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sve
n
V
erdoo
l
aege
export
i
sl_pw_aff_intersec
t
_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-27
Sven Ver
d
oolae
g
e
expor
t
isl_pw_aff_plain
_
is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Ver
d
ool
a
e
ge
add generic i
s
l_pw_*_set_tuple
_
id
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-26
Sven Verdoolaege
isl_set_intersect: prop
e
r
ly handle intersecti
o
n
w
i
t
h
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-24
S
ven Verdoolaege
isl_access_inf
o
_
c
ompute_
f
low: align p
a
rameters o
f
i
n
put
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-09-23
Sven Verdo
o
laeg
e
fix
i
sl_set
_
invol
v
e
s
_
di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
S
v
en
Verd
o
o
l
aege
a
dd isl_set
_
plain_is_fixed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoo
l
a
eg
e
add
isl_set_from_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
a
d
d i
s
l_s
p
ace_set_from
_
pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdo
o
laege
Merg
e
branch 'maint'
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n Verdoola
e
ge
isl_qpolynomial_morph
:
properly hand
l
e de
n
ominators
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
add is
l
_mat_d
i
ag
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoo
l
aege
isl_tab_pip
.
c:
s
ol_for_
a
dd: corre
c
tly set denominator
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-22
Sv
e
n V
e
rdool
a
ege
isl_tab
_
pip
.
c
:
sol_
m
ap_
a
dd: fix double f
r
e
e on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
ven Verdoolaeg
e
isl_stream: accept "==" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_un
i
on_
p
w
_
*_plain_is_equa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
S
v
en
V
er
d
oolaege
add isl_pw_*_plain_is
_
equal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-18
Sven Ver
d
oolaege
a
d
d isl_
s
et_pl
a
in_cm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sv
e
n Verdool
a
ege
a
dd isl_
m
a
p_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdoolaege
isl_stream_next_
t
oken: treat "-0" as
tw
o
tok
e
ns '-
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
dro
p
"nparam" ar
g
ume
n
t fr
o
m isl_{set,map}_rea
d
_fro
m
_
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-14
Sven Verdoolaege
doc:
d
ocument *_move_dims functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
S
ven Verdoolae
g
e
drop isl_div abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-13
Sven
V
e
r
d
o
olaege
isl_{in,
}
equality_alloc
:
take isl_l
o
cal_space 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 return ty
p
e
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolae
g
e
Merge bra
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdo
o
laege
pr
o
v
i
de full prototypes
f
or some functions with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
d
oc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-07
Sve
n
Verdoolaege
add isl_set_gis
t
_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-04
Sven
Verdoola
e
ge
make is
l
_pw_* object
l
ive in a map s
p
a
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
olaege
add isl_space_extend_domain_
w
i
t
h_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oo
l
a
ege
a
dd isl_space_is_domain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_loca
l
_space
_
is_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
add
i
sl_local_space_do
m
ain
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
implem
e
n
t
isl_con
s
traint on top
of is
l
_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olae
g
e
a
d
d isl_vec_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl_aff
.
c: extract
isl_local_sp
a
c
e
_get_active
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_o
u
tput
.
c: drop red
u
ndant
"se
t
" argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_
u
n
i
on_*_alloc: p
r
oject space onto paramet
e
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
explici
t
ly
d
iffer
e
ntiate between spaces of maps,
s
e
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
allow isl_ids wit
h
negat
i
ve referen
c
e
count
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verd
o
olaege
proper implement
a
tion of isl_unio
n
_ma
p
_from_
r
ang
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
isl_map_from_domain_and_range
:
drop
explici
t
co
n
vers
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ve
r
do
o
laege
isl_set_
a
pply
_
pw_
q
polynomial_fold: dro
p
e
x
plici
t
conver
s
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
isl_tab_ba
s
i
c_set_n
o
n_trivial_
l
ex
m
in: d
r
op
e
x
p
l
icit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n
V
e
r
do
o
l
aege
isl_tab_pip
.
c:
fix whitespace issue
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aeg
e
isl_set_
r
ead_from_*: co
e
rce
set-like maps into sets
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
isl_input
.
c: map_re
a
d_po
l
yli
b
: convert set-like maps
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
isl_input
.
c: obj_read: sta
r
t
o
ff from
p
aram
e
ter space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rdoo
l
a
e
g
e
is
l
_input
.
c: represent nest
e
d tu
p
l
e
a
s
isl_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verdoolaege
isl
_
input
.
c: obj_read_po
l
y_or_
f
old: rep
r
esen
t
dom
a
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaeg
e
i
s
l_basic_set_multiplic
a
tive
_
cal
l
: explici
t
ly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoo
l
aege
isl_
p
w_qp
o
lynomi
a
l_fold_bound: explicitl
y
project on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Ver
d
oolaeg
e
isl_qpol
y
nomial_bound
_
on_domain_bernstein: explici
t
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
aege
isl_
q
polynomial_bound_on_doma
i
n
_range: expl
i
citly project
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoolaege
isl_union_map_fro
m
_ma
p
: explicitly
project on paramete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
u
nio
n
_map
_
align_params
:
exp
l
icitly pro
j
ect on par
a
mete
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l_polynomial
.
c: constant_on_domain:
e
xplicitly proje
c
t
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
basic_set_dim_max: explicitly project on param
e
ter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Ve
r
doolaege
isl_basic_
s
et_co
m
p
ute
_
v
ertic
e
s:
explicitly turn ch
a
m
b
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
boun
d
.
c: exp
l
icit
l
y
conv
e
r
t
context
into parameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
pip
.
c: explicitly convert
c
onte
x
t in
t
o pa
r
ameter set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_pw_qpolynomial
_
fo
l
d_project_domain_on_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
a
dd i
s
l_qpo
l
y
n
o
mial_project_dom
a
in_
o
n_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add is
l
_pw_qpolynomial_
p
r
o
ject_ou
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
add
i
sl_morph_{d
o
m
,ran}_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
Verdoolaege
add isl_basic_set_p
a
r
ams and isl_s
e
t_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
ad
d
isl_sp
a
c
e
_params_alloc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rd
o
olaege
isl_st
r
e
am_r
e
ad_set: acc
e
pt
parameter do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_pw_qpol
y
n
o
m
i
a
l
_f
o
ld_
b
ound:
sim
p
lify construct
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
is
l
_
t
est
.
c:
p
roperly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_map_range_map: fix
space
manipulation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
is
l
_map_range: construct correct spa
c
e for result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laege
isl_basic_set_alloc: crea
t
e
basic set
in
proper set
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_
s
pa
c
e_wrap:
p
r
operly create set space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
r
doolae
g
e
add isl_set_fro
m
_pw_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
rename PW_al
l
oc_
to PW_
a
lloc_size
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
isl
_
pw_*
_
add_disj
o
int:
try and ext
e
nd o
n
e of the pws
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_space_match: optimiz
e
trivial cases
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verd
o
olaege
add isl_map_flat_
d
o
m
a
i
n_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
i
s
l_
a
cc
e
ss_inf
o
_compute_flo
w
:
a
lign par
a
m
e
t
e
r
s of input
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
V
e
r
doolae
g
e
align paramet
e
r
s
of
argumen
t
s t
o
i
sl_map
_
{lexmin,
l
e
x
max
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolae
g
e
isl_space_ali
g
n_params: accept gen
e
ral isl_s
p
a
c
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolae
g
e
add isl_space_p
a
ram
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rdoolaege
rename isl_dim
to
i
sl_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdo
o
l
a
ege
docume
n
t
i
s
l_dim_move
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdoolaege
split of
f
d
eclar
a
tions from i
s
l_po
l
ynom
i
al
.
h to sepa
r
ate
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ver
d
oolaege
merg
e
i
s
l_*_dump functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add isl_set_dim
_
min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Ve
r
d
o
olaege
add i
s
l_basic_
s
et_f
o
reach_
l
exopt
commit
|
commitdiff
|
tree
2011-09-01
Sve
n
Verdo
o
laege
add is
l
_
p
w_aff_union_opt
commit
|
commitdiff
|
tree
2011-09-01
S
v
en Verdoo
l
a
e
ge
add
i
sl
_
p
w_a
f
f
_
unio
n
_min
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaeg
e
add
i
sl_aff_le_basic
_
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoolaeg
e
isl_
q
polyn
o
mial_
f
ree: return NULL
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdool
a
ege
Merge
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-08-31
Sven
V
erdool
a
ege
isl_
q
po
l
ynomial_rat_cst: han
d
le NULL space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-31
Sven Ver
d
oolaege
bernstein
_
coefficients_cell: handle NULL poly
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-08-27
S
v
en
V
er
d
oolaege
i
s
l_printer_to_str
:
intialize buffer to em
p
ty string
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next