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
isl_local_space_get_div: check that the div has a known expression
2011-06-04
S
v
en
V
erdoolaege
i
s
l_unio
n
_map_range_produc
t
: only consider pair
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
S
v
en
V
erdoolaege
is
l
_mat
_
sca
l
e_down: avoid trampling over
aliased matr
i
ces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
a
d
d
is
l
_
aff_
s
cale and
isl_a
f
f_scale_dow
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven V
e
rdoolaege
add
i
sl_aff_add
a
nd isl_aff_s
u
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdool
a
ege
add isl
_
inequality_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
er
d
oola
e
ge
add isl_seq_addmul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
i
s
l_vert
i
ce
s
.
c: avoi
d
use
of unitialized variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_tra
n
sitive_closur
e
.
c: avoid use
o
f
a
n
unitiali
z
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_polynomi
a
l
.
c: avoid use of
a
n un
i
tialized va
r
iable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Ve
r
doolaege
autogen
.
sh: replace
b
y
call to a
u
t
o
rec
o
nf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
l
a
ege
co
n
f
i
gure
.
ac
:
use non-deprecated form o
f
A
M
_
INIT_AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c: avoid war
n
i
n
g about contro
l
reach
i
ng
e
nd
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
mark some func
t
ion
s
as (
p
ossibly) unused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdoolaege
i
sl_polyn
o
mial
.
c: u
s
e
f
lex arr
a
y
membe
r
to avoid a
r
ra
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven V
e
rd
o
olae
g
e
isl_ta
b
_pip
.
c: r
e
move unused context_lex_ext
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
i
s
l_map_simp
l
ify
.
c: remove unused normalize_
c
onstrai
n
ts
_
i
n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
map_simplify
.
c: remov
e
unus
e
d
s
e
t
_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl
_
c
on
v
ex_h
u
ll
.
c:
r
emove
unused s
e
t_project_o
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olae
g
e
is
l
_con
v
ex_hull
.
c: re
m
ove unused swap
_
ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
i
sl_arg
.
c: fix
typo affecting ar
g
ument parsin
g
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdoolaege
i
s
l_tr
a
nsi
t
ive_closure
.
c
:
re
m
ove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdoo
l
a
e
ge
isl_union_ma
p
.
c
:
remove u
n
used
v
ariables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoola
e
ge
is
l
_tab
.
c: avoid wa
r
n
in
g
about u
n
handled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
r
doolaege
isl
_
tab
.
c
: re
m
o
v
e unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_tab_pi
p
.
c
:
r
emove unuse
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_r
e
o
rdering
.
c
: rem
o
ve
u
n
us
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_ou
t
put
.
c:
remove unused
varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_arg
.
c: re
m
o
v
e unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
m
ap
.
c
r
e
move unused
i
s
l_se
t
_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_map
.
c: remove unused va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
erd
o
olaege
isl_
m
ap_subtrac
t
.
c: re
m
ove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolae
g
e
isl_
m
orph
.
c: remo
v
e unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_polynomial
.
c:
r
em
o
ve unused va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_input
.
c
: remove unus
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaeg
e
isl_be
r
nst
e
in
.
c: remove unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaeg
e
isl_dim
.
c: avo
i
d
war
n
i
n
g
s abo
u
t
u
nhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_dim_drop
:
fix botched up rena
m
e of parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ver
d
o
o
laege
bound
.
c
:
remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_local_
s
p
ace
.
c: remov
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdool
a
eg
e
isl
_
pw_templ
.
c: remove unused lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl
_
f
o
l
d
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
isl_union_templ
.
c
: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_fo
l
d
.
c
:
r
e
move unused
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add isl_ba
s
ic_
s
e
t
_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaege
isl_qp
o
l
yn
o
mial_from
_
aff: create private copy of d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_aff_expand_di
v
s: f
i
x ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Ver
d
oo
l
aege
isl_aff_
a
lloc: check
t
h
at all divs are kno
w
n
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolae
g
e
ad
d
isl
_
local_sp
a
c
e
_divs_k
n
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
s
l
_qpoly
n
omial_* co
n
structors: ch
e
ck dim before access
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
erdoolae
g
e
a
d
d isl_qpol
y
n
omial_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdo
o
la
e
ge
i
sl_qpoly
n
omial
_
involves_dim
s
: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_polyno
m
i
al
.
c: f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdool
a
ege
add isl_
a
ff_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven V
e
rdoolae
g
e
is
l
_basic
_
map_from
_
lo
c
a
l
_space: don't fin
a
lize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
d
o
ol
a
ege
add isl_set_add_constr
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add isl_equ
a
l
ity_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
a
d
d isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add
isl_constraint_get_
b
ound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
ege
add is
l
_{bas
i
c_
,
}m
a
p_may_be_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
a
dd isl_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd
isl_basic_s
e
t_ex
p
and_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
is
l
_polynomial
.
c: move
merge
_
divs to isl_local_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdo
o
laege
add isl_local_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
is
l
_dim_siz
e
: handle isl_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add isl_c
o
nstraint_invol
v
es_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
isl
_
pr
i
nter_print_qpolynomial: support
p
r
oper isl output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
a
d
d isl_qpo
l
ynomial_a
l
ign_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaeg
e
add isl_ma
p
_
a
lign_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
aege
e
x
port isl_basic_set_r
e
move_redunda
n
cies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
e
g
e
export isl
_
q
polynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
expor
t
isl_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
ol
a
ege
isl/div
.
h
:
drop dependence on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
a
eg
e
h
ide isl_div inter
n
als
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_div_get_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoo
l
a
e
ge
add
isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdo
o
laege
d
o
c
:
drop docu
m
entation for is
l
-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gmp flags
to pkg-
c
on
f
ig
file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
ex
p
lici
t
ly
li
n
k in
g
mp in ap
p
li
c
ations that reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
ge
config
u
re
.
ac: don't depend on au
t
omake
1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_p
w
_qpoly
n
omia
l
_
i
nvolves_dims: a
l
s
o check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
a
d
d
isl_un
i
on
_
map_plain_is_
i
njective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_ma
p
_intersect
_
r
a
nge: add special case for
i
ntersect
i
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Ve
r
doolaege
add isl_
v
ec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
add isl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
r
ename *_
f
ast_* functions to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
M
erge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ver
d
oolaege
isl_map_range: correctly handle maps with 0D
d
oma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Verd
o
olae
g
e
isl_list
.
h:
allow inc
l
usion from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Verdoolaege
isl_
t
ab_p
i
p: don
'
t simpli
f
y
domain in is
l
_for_ad
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n Verdoolaeg
e
add i
s
l_printer_
p
rint_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdool
a
ege
add
isl_cons
t
rai
n
t
_get
_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven V
e
rd
o
olaege
add isl
_
mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Verdoolaege
rename isl_m
a
t
_dump
to is
l
_mat_print_inte
r
na
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Verdoolaege
add
i
sl_constraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
a
ege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
o
o
la
e
ge
isl_basic_
m
a
p
_affine_
h
ull
:
finalize r
e
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobi
a
s Gr
o
ss
e
r
Remo
v
e recently added unus
e
d v
a
riables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
rosser
A
dd
e
xte
r
n C
d
eclaration
to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rdoolaege
d
a
taflow analysi
s
:
d
o
n
't depend
o
n word
s
ize during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next