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
Merge branch 'maint'
2011-06-04
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-06-04
S
v
en Verdoolae
g
e
isl_unio
n
_map
_
range_produc
t
: only conside
r
pairs of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoo
l
aege
is
l
_mat_scale_do
w
n
:
a
v
oid trampli
n
g over aliased mat
r
ices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add isl_aff_scal
e
and isl_aff
_
scale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Ver
d
oolaege
add isl
_
aff_
a
dd and isl_aff_s
u
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
e
rdo
o
l
aeg
e
add isl
_
ine
q
u
al
i
ty_
f
rom_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
a
d
d
i
sl_seq_addmul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl
_
v
e
rtices
.
c
:
av
o
id
use of unitialized
varia
b
les
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en V
e
rdoolaege
isl_transitive_closure
.
c: avoid
use of an uni
t
ialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_p
o
lynomial
.
c: av
o
id use of an un
i
tial
i
zed v
a
riable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
o
olaege
autogen
.
sh: repl
a
ce
by call to autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
configure
.
a
c:
u
se non-depre
c
a
te
d
form o
f
AM_I
N
IT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdool
a
eg
e
isl_fold
.
c: a
v
oid warning about control reaching
end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
m
a
rk some functions as
(possibly) unused
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaeg
e
isl_poly
n
om
i
al
.
c: use flex array member to avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
l
a
ege
i
sl_tab_pip
.
c: remove unused context_lex_ex
t
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_map
_
simplify
.
c: re
m
ove
unused n
o
rmaliz
e
_constrain
t
s_in_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
aege
isl_map_sim
p
lify
.
c: remove unu
s
ed set_swap_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_co
n
vex_hull
.
c: remove unused set_project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
a
e
ge
isl_convex
_
h
u
l
l
.
c: remove
u
nused s
w
ap_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_ar
g
.
c: fix
typo aff
e
c
ting
a
rgument parsing
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_tra
n
s
i
ti
v
e_c
l
osure
.
c: remov
e
u
nu
s
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaeg
e
isl_uni
o
n_map
.
c: remove unu
s
e
d
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
erd
o
o
laege
isl_tab
.
c: avoi
d
warning a
b
out unhandled enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
d
o
olaeg
e
isl_tab
.
c:
remove unuse
d
v
a
ri
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tab_pip
.
c: rem
o
ve unu
s
ed
varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdool
a
ege
isl_reorderi
n
g
.
c: remove unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
erd
o
olaege
isl_output
.
c: remove unused
variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
i
sl_arg
.
c:
r
emove unus
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_map
.
c
r
emov
e
unused isl_set
_
s
w
ap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map
.
c
:
remove
unused
v
ariables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
o
l
aege
isl_map_su
b
tract
.
c: re
m
ove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_morph
.
c: remove unused variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erd
o
olaege
isl_po
l
yno
m
i
a
l
.
c: remove unu
s
ed variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_input
.
c: remove unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_bernste
i
n
.
c: remove u
n
used vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim
.
c: avo
i
d warnings abou
t
un
h
andled enume
r
a
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Verdoolaeg
e
isl_dim_dr
o
p: fix bo
t
ched up
r
e
n
ame of
p
arameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
r
doolaege
boun
d
.
c: remov
e
u
nuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_loca
l
_s
p
ace
.
c:
r
emove unus
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolae
g
e
isl_pw_templ
.
c: remove
unused
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
is
l
_
fold
.
c: fi
x
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_union_te
m
p
l
.
c:
remove unuse
d
variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoo
l
ae
g
e
isl_
f
o
l
d
.
c:
r
emove unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
doolaege
add isl_basic_set_
m
ax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qp
o
l
y
nomial_from_
a
ff: cr
e
ate pri
v
ate copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdool
a
e
ge
is
l
_aff
_
expand_di
v
s: fix
ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdool
a
ege
i
s
l_af
f
_alloc: chec
k
that all
divs are known
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n
Verdoolaege
add isl_local_spac
e
_
di
v
s_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
olaege
Mer
g
e branch 'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
o
l
aege
i
sl_qpolynomia
l
_* construct
o
r
s
: ch
e
c
k
dim before ac
c
ess
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add isl
_
qp
o
l
y
nomial_from_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Ver
d
oolaege
i
s
l_qpolynomial_invo
l
v
e
s_di
m
s: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Ve
r
d
oolaege
isl_polyno
m
ial
.
c: f
i
x typo in
c
omm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verdoolaege
a
d
d isl_a
f
f_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven
Verdoolaege
isl
_
b
a
sic_ma
p
_from_lo
c
a
l
_
s
pa
c
e: don't fi
n
alize re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdool
a
ege
add
i
sl_
s
et_add_cons
t
r
a
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolae
g
e
add isl_equality_fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdoolaege
a
dd isl_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add i
s
l
_constraint_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add isl_{basic_,}m
a
p
_
may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
doolae
g
e
add isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_b
a
sic_set_expand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
isl_polyn
o
mial
.
c:
move merg
e
_divs to
isl_local_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdo
o
l
a
e
g
e
add
i
sl_loca
l
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
er
d
oolaege
isl_dim_s
i
ze: h
a
n
dle isl
_
d
im_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoola
e
ge
add isl_
c
ons
t
ra
i
nt_inv
o
lves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_printer_print_qpol
y
nom
i
al:
support
pro
p
er isl output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add is
l
_qpol
y
nomial_a
l
ign_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_map_align
_
p
a
ram
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doola
e
ge
export
i
sl_basic_s
e
t_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ola
e
ge
expo
r
t isl_qpolynomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Ve
r
doo
l
aege
ex
p
ort is
l
_
s
et_elimina
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
rdoolaege
isl/div
.
h: drop dependence o
n
isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
hid
e
i
s
l_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaege
add isl_div_get_
c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_mat
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
doc: drop docum
e
ntation for
i
sl-polyl
i
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verdoolaege
add gmp f
l
ags to
pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
e
x
pl
i
citly
l
ink in gmp in app
l
ications
t
h
a
t refer
e
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en
V
e
rdoolaege
c
onfig
u
re
.
ac: don't depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_pw
_
qpolynomial
_
i
n
volves_di
m
s: also check
w
hether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
add i
s
l_union_m
a
p_plain_is_inje
c
tive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
i
s
l_map_
i
ntersect_ran
g
e:
add special cas
e
f
o
r intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
ol
a
ege
add
isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add
i
sl_union
_
m
a
p
_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
r
en
a
me *_fast_*
functions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
V
erdo
o
l
a
ege
Me
r
ge
b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaege
i
sl_
m
ap_range: correctly handle maps with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
V
erdoolaege
isl_list
.
h: al
l
ow inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verd
o
olaege
i
s
l_tab_pip: d
o
n't simplify domain in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
r
doo
l
a
ege
add isl_printer_print_cons
t
ra
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add
i
sl_
c
onstraint_ge
t
_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolae
g
e
add
i
s
l
_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ver
d
oolaege
re
n
ame isl_mat_dum
p
to isl_mat_
p
rint_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
add isl_constraint_get_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Ver
d
o
o
l
aege
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
laege
isl_
b
asic_map_affine_h
u
ll: fina
l
i
z
e
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoola
e
ge
d
ata
f
lo
w
analysis: don't depend
o
n wor
d
size during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolae
g
e
add isl_union_set
_
co
m
pute_s
c
hedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next