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
S
v
en
V
erdoolaege
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdoola
e
ge
isl_u
n
i
o
n
_
m
ap_range_p
r
oduct
:
o
n
l
y
consider pairs
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
S
v
en Verdool
a
ege
isl_m
a
t_scale_down: avoid trampl
i
ng
o
ver al
i
ased m
a
trices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sv
e
n Verdo
o
laege
add isl_aff_sc
a
le and isl_aff
_
scal
e
_down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Ve
r
doo
l
a
e
ge
a
dd i
s
l
_
aff_add a
n
d isl_a
f
f_su
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
S
v
en
Verd
o
o
l
aege
add isl_
i
nequalit
y
_
fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
S
v
en Verdo
o
laege
add isl_se
q
_
a
ddmul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
is
l
_v
e
rti
c
e
s
.
c: avoid use
of
u
nitialize
d
v
a
riables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolae
g
e
isl_transiti
v
e_closure
.
c: avoid
use of an unitializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoola
e
ge
isl_poly
n
omial
.
c: a
v
o
i
d use of an uni
t
ia
l
ized variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaeg
e
autogen
.
s
h:
r
epla
c
e by ca
l
l t
o
autoreconf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
configure
.
ac: use
non-deprecated
form o
f
AM_INIT
_
AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verd
o
olaege
isl
_
f
o
ld
.
c: avoid warnin
g
a
b
out co
n
trol reac
h
ing end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
mark
som
e
functions as (
p
ossibly) unu
s
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdo
o
l
a
ege
isl_po
l
yno
m
ial
.
c: use
flex array member to av
o
id array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
i
sl_tab
_
pip
.
c: remove unused
context_lex_e
x
t
end
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en V
e
r
d
oolaege
isl_m
a
p_sim
p
l
ify
.
c: remov
e
unused no
r
malize_constraints_
i
n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
ge
i
s
l_map_s
i
m
pl
i
f
y
.
c: remove unused set_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_convex_hull
.
c: r
e
m
o
ve un
u
sed
s
et_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_convex_hull
.
c: remove u
n
u
s
ed swap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_
a
rg
.
c:
fix typo affecting argume
n
t
parsin
g
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
is
l
_transiti
v
e
_
closure
.
c:
remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
olaege
i
s
l_union_ma
p
.
c
:
remo
v
e
unused var
i
able
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoo
l
aege
isl_tab
.
c: a
v
oid warning about u
n
ha
n
dled enumer
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_tab
.
c
: remove unused
variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_t
a
b_pip
.
c: remo
v
e
u
nus
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_reordering
.
c: remove
unused varia
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaege
isl_output
.
c: remove unuse
d
vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_arg
.
c: remov
e
unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
g
e
isl_
m
a
p
.
c remove unused isl_set_
s
wap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_map
.
c: remove
unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
is
l
_map_subtract
.
c: remove unu
s
ed va
r
ia
b
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
doo
l
a
ege
isl_mor
p
h
.
c: re
m
ove
un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Ver
d
oolaege
isl_
p
olynomial
.
c
:
remove unu
s
e
d
v
ar
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
doola
e
g
e
isl_inp
u
t
.
c: remove unused vari
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
ol
a
e
g
e
i
s
l_bernstein
.
c: remove un
u
sed var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
r
doo
l
aege
isl_dim
.
c: avoid warnings about unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_di
m
_drop: fix
bot
c
hed up
r
ename o
f
paramet
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
b
o
u
nd
.
c
: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doo
l
aege
isl_local_space
.
c: remove unus
e
d var
i
a
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_p
w
_
tem
p
l
.
c:
r
emov
e
unuse
d
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Ver
d
ool
a
ege
isl_
f
ol
d
.
c: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
o
l
aege
i
s
l_unio
n
_te
m
pl
.
c
: remove unu
s
e
d variab
l
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaege
isl_
f
o
l
d
.
c: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add isl_b
a
sic_set_
m
ax
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
V
e
r
doolaege
i
sl_qpolynomial_from_aff:
create private copy of
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolae
g
e
isl_aff
_
expand_divs:
fix
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
isl_aff_allo
c
:
c
h
e
c
k
that all divs are known
commit
|
commitdiff
|
tree
2011-05-20
S
ven
V
e
rdo
o
laege
add isl_l
o
cal_spac
e
_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Ve
r
doolaege
Me
r
g
e
branch 'ma
i
n
t'
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n Verdoolaege
isl
_
q
polynomial_* c
o
nstr
u
c
tors: c
h
eck dim before accessin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add isl_qpo
l
ynomia
l
_from
_
a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoo
l
aeg
e
i
sl_q
p
ol
y
n
o
m
i
al_in
v
olves_dims: fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoola
e
ge
is
l
_polyno
m
i
a
l
.
c: fix typo i
n
c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
Verdoolaege
a
d
d
i
s
l_a
f
f_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoolaege
isl_basic_map_fro
m
_l
o
ca
l
_
s
pace: don't f
i
nalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
olaeg
e
a
d
d isl_set_add_constr
a
i
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_equalit
y
_from
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oo
l
aege
a
d
d isl_constra
i
nt_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add
isl_{basic
_
,}map_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add i
s
l_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoola
e
ge
add i
s
l_
b
asic_set_e
x
pa
n
d_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
i
sl_po
l
ynomia
l
.
c
:
move
m
erge_
d
ivs t
o
isl_loca
l
_s
p
ace
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
e
g
e
add
isl
_
local_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
doolaege
isl_dim_size: handle isl_di
m
_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
doolaege
add isl_constraint_involv
e
s_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdo
o
l
a
ege
isl_
p
rinter
_
p
r
in
t
_qpol
y
n
omial
:
support
proper isl
o
u
tp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
r
d
o
olae
g
e
add isl_qpolyn
o
mial
_
align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_map_align
_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdo
o
laege
expo
r
t isl_
b
a
s
ic_s
e
t_remove_redundanc
i
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
e
xpor
t
isl_qpolynomial
_
g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdool
a
ege
export isl_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdool
a
ege
i
sl/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
h
id
e
isl_div internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoo
l
ae
g
e
add is
l
_div_g
e
t_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ver
d
oola
e
ge
add isl_mat_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
doc: drop
d
o
cumentation for isl-
p
olyl
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoo
l
aege
add gmp flags to pkg-config f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
er
d
oolaege
explicitly
link in
g
m
p
i
n
applica
t
ions that reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
g
e
configure
.
ac: don
'
t depend on
a
utom
a
ke 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Ver
d
oo
l
aege
isl
_
pw_qpolynomial_involves_d
i
ms: al
s
o check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
eg
e
add isl_union_
m
ap_plain_
i
s_
i
nj
e
ctive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
i
sl_map
_
interse
c
t
_range:
a
dd spe
c
ial case for inter
s
ec
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
r
doolaege
a
d
d isl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
a
d
d isl_
u
nio
n
_map_univ
e
rse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
r
enam
e
*
_
fast_* func
t
ions to
*_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
S
ve
n
Verd
o
ol
a
ege
isl_
m
ap_
r
ange: correctly handle
m
aps with 0D
domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
v
e
n
Verdoo
l
aege
isl_list
.
h: allow in
c
lusi
o
n fr
o
m C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaeg
e
i
sl_
t
ab_pip: don't simpli
f
y
d
o
main in isl_for_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verd
o
olaege
add isl_printer_
p
rint_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
e
n
Verdool
a
eg
e
add isl_
c
onstraint_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
laeg
e
add
isl_ma
t
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdool
a
ege
rena
m
e isl
_
mat_dump to isl_m
a
t_
p
rint_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
ve
n
Verdo
o
laege
a
dd i
s
l
_
constraint_get
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
Verdoo
l
aege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
S
ven Ver
d
oo
l
a
ege
isl
_
basic_
m
ap_affine_hull
:
finaliz
e
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
dataflow analysis: don't dep
e
n
d on word size duri
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_
u
n
ion_set_compute_s
c
h
edule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next