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_from_params
2011-09-22
Sven Verdoolaege
a
d
d isl_set_
f
rom_
p
aram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolaege
ad
d
isl_
s
pace_
s
et_from_params
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
Sv
e
n Verd
o
ola
e
ge
isl_qpolyn
o
mia
l
_morph:
pr
o
p
e
r
l
y hand
l
e denominators
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven
Verdoolaege
ad
d
is
l
_mat_diag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdoolae
g
e
is
l
_tab_pip
.
c: sol_
f
or_add: cor
r
e
c
t
ly set deno
m
inator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-22
Sven Verdool
a
ege
i
s
l
_tab_pip
.
c: sol_map
_
add: f
i
x double fr
e
e on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
isl_stre
a
m: a
c
cept "==
"
to
k
en
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolae
g
e
add isl_union
_
pw_*_plain_is_equa
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoo
l
aege
a
d
d
isl_pw_*
_
plain_i
s
_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-18
Sven Verdoolaege
add isl_set_plain_cmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
Sven Verdo
o
laege
add
i
s
l
_
map_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
ven Verdoolaege
i
s
l_stream
_
ne
x
t_to
k
en: treat "-0
"
as two
t
ok
e
ns '
-
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-15
S
v
e
n Verdoolaege
d
r
o
p "nparam" argument from isl_{set,map}_read_from_
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-14
S
v
en Ve
r
doo
l
a
e
ge
doc: d
o
cume
n
t *_move_
d
ims functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sve
n
Verdoolaeg
e
drop i
s
l_div abs
t
raction
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdo
o
l
a
ege
isl_{in,}equal
i
ty_all
o
c:
take isl_local_space intead
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-13
Sven Verdoolaege
d
oc:
u
pda
t
e example c
o
de to change in return typ
e
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-09-09
Sv
e
n V
e
r
d
o
o
laege
p
rovide full prototypes fo
r
some
f
unc
t
ions
with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-09
S
ve
n
V
e
rdoola
e
g
e
do
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-07
Sv
e
n
Verdoolaege
add
i
s
l_se
t
_gi
s
t_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-04
S
ven Ve
r
do
o
laege
make isl
_
pw_* object live in
a
m
a
p
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaege
add is
l
_space_
e
xtend_domain_with_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_s
p
ace_is_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdool
a
ege
a
dd isl_lo
c
al_space_is_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolae
g
e
add isl_
l
ocal_space_domain
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolaege
i
m
plement isl_constraint on top of isl_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Ver
d
oolaeg
e
add i
s
l_
v
ec_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Ver
d
oolaege
is
l
_a
f
f
.
c
: extra
c
t isl_local_s
p
ace_get_active
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erd
o
olaege
isl_output
.
c: drop redundant "set"
argumen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdo
o
laeg
e
isl_uni
o
n_*_alloc:
p
rojec
t
space
onto
parame
t
ers
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en V
e
rd
o
ola
e
ge
e
xplicitly dif
f
ere
n
tiate between space
s
of maps, sets
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
al
l
ow isl_id
s
wit
h
n
egative reference co
u
n
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
prope
r
i
mplementatio
n
of isl_uni
o
n_map_
f
rom
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
isl_map_fr
o
m_domai
n
_and_r
a
n
g
e:
d
rop explicit conversion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
sl_set_app
l
y_p
w
_qpolynomial_fold: drop explicit conver
s
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
sl_tab_
b
asic_set_non_trivial_
l
exmin: drop e
x
plicit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n Verdoolaeg
e
isl_tab_pi
p
.
c: fix wh
i
tespace issue
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_set_
r
ead_from_*: co
e
rce set-like maps into s
e
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
s
l_
i
nput
.
c
: map
_
read_polylib
:
co
n
vert
set-l
i
ke maps
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_in
p
ut
.
c
:
obj_read
:
s
tart off from p
a
ramet
e
r sp
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_i
n
p
u
t
.
c: represent nested tupl
e
as isl_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_in
p
ut
.
c
:
ob
j
_read_po
l
y
_
or_fold:
r
epresent domain
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_basic_set_multiplica
t
ive_call:
e
xplicit
l
y pr
o
je
c
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoola
e
ge
is
l
_
pw_qpo
l
ynomial_fold
_
bo
u
nd: explicitly p
r
oj
e
ct on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_qp
o
lynomial_bound_on_domain_b
e
rnstein: exp
l
i
c
itly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
erdoolaege
i
s
l_qpolynomial_bound_on_domain_ra
n
ge: expl
i
citly
p
ro
j
ect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ve
n
V
e
rdoolaege
isl_unio
n
_ma
p
_from_map: explicit
l
y project on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
ven Verdoolaege
isl_union_ma
p
_align_params: expl
i
citly project on par
a
met
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
Verdoo
l
aege
isl_po
l
y
nomial
.
c: co
n
stant_on_domain: ex
p
licit
l
y project
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verdoo
l
a
ege
ba
s
ic_s
e
t
_
dim_max: ex
p
l
ici
t
ly proje
c
t on parameter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
is
l
_basi
c
_
set_compute_vertices:
e
x
plicitly turn c
h
a
m
bers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdool
a
eg
e
bound
.
c: explicitly conv
e
rt context i
n
to parameter set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sv
e
n V
e
rd
o
olaeg
e
pip
.
c: explicitly conver
t
context into pa
r
ameter
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sve
n
Verd
o
o
l
a
e
ge
add isl_pw_qpolynomial_fo
l
d_
p
r
o
ject_domain_on_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verd
o
ola
e
ge
add isl
_
qp
o
ly
n
omial_p
r
oj
e
c
t
_domain_on_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoola
e
ge
add
i
sl_pw_qp
o
lynomial_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
r
doolaege
add
i
sl_mo
r
ph_{dom,ran}_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
add isl_b
a
sic_set_params a
n
d
isl_set
_
pa
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven
V
e
rdoolaege
add
isl_
s
pac
e
_params_all
o
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolae
g
e
isl_
s
trea
m
_
r
ea
d
_
s
e
t: ac
c
ept pa
r
ameter domain
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
i
s
l
_pw_q
p
o
l
yno
m
ial_
f
o
l
d
_bound: simplify cons
t
ruction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
doolae
g
e
isl_test
.
c: proper
l
y c
r
eate se
t
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
e
n Verd
o
o
l
aege
isl
_
m
a
p_range_map
:
fix space manipulation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolae
g
e
isl_map_range:
construct
co
r
rect
s
p
ace for re
s
ul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
oolaege
isl_basic_set
_
alloc: cr
e
ate ba
s
ic set in pro
p
e
r
set
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Ver
d
oolaege
i
sl_space_wra
p
: properly create set space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add i
s
l_set_from
_
pw_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ve
r
d
oolae
g
e
re
n
ame P
W
_alloc_ to P
W
_alloc_size
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdo
o
laege
isl_pw_*_a
d
d_disjo
i
nt: try and
extend
o
ne of the
pws
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Ver
d
o
o
la
e
ge
isl
_
space_match: optimiz
e
trivial cases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
add isl_map_flat
_
domain_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoolaege
isl_acc
e
ss_info_compute_flow: align
p
arameters of input
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven Verdoo
l
a
e
ge
a
l
i
g
n parameters of
argume
n
ts to isl_ma
p
_{lexmin,le
x
max}
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
Sven V
e
rdoolaege
isl_
s
pace_align_params: accept
general isl_sp
a
ce
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-03
S
v
en Verdoolaege
add isl_s
p
ace_params
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
S
ven V
e
rdool
a
ege
document isl_dim_mo
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
Verdoolaege
split
off declarations from is
l
_polynomial
.
h to separate
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaege
mer
g
e
isl_*_dump f
u
nc
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
erdoolaeg
e
add isl_set_dim_m
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Ve
r
do
o
laege
ad
d
isl
_
b
asic_set
_
foreach_lex
o
pt
commit
|
commitdiff
|
tree
2011-09-01
Sven Verdoola
e
ge
add isl_p
w
_aff_uni
o
n_opt
commit
|
commitdiff
|
tree
2011-09-01
Sven V
e
rdoolaeg
e
a
d
d isl_pw_aff_uni
o
n_min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sven
V
er
d
ool
a
e
ge
a
d
d isl_aff_
l
e_bas
i
c_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-09-01
Sv
e
n Verdoolaege
i
s
l_qpolynom
i
al_free: return NULL
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
M
e
rge
branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-08-31
Sven V
e
rdoolaege
isl_qpolynomial_rat_cs
t
: ha
n
dle NULL space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-31
Sven Verdoolaege
bernstein_
c
oefficients_cell: handle N
U
LL poly
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Verdoolaege
isl_printer_to
_
str: int
i
aliz
e
buffer to empty string
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven
V
e
r
doolaege
isl_map_ins
e
rt: properly handle named
o
r
nested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-27
Sven Ve
r
doola
e
ge
isl_set_f
l
at_product: c
a
ll
is
l
_
ma
p
_range_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Ver
d
oolaeg
e
add some isl_
m
ap_plain_is_fixed tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-23
Sven Verdo
o
l
aege
isl_basic
_
map_
n
eg: gauss
resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_di
m
_get_
t
up
l
e
_id:
complain if tu
p
l
e
h
as n
o
i
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdoolaege
isl_
d
i
m_get
_
d
im_id: complain
i
f dim has no id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sve
n
V
e
rdoolaege
add isl_*_
h
as_tup
l
e_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verdool
a
e
g
e
add i
s
l_*_h
a
s
_
dim_id
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-08-12
Sven Verd
o
o
laege
d
o
c: warn about the limited u
s
e of i
d
entifiers of i
n
dividual
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next