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
ven V
e
rdo
o
la
e
g
e
Merge branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdo
o
l
aege
isl
_
un
i
on
_
map_r
a
n
g
e_
p
roduct: o
n
ly consi
d
e
r pair
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
S
v
en Ver
d
ool
a
ege
i
s
l
_
mat_s
c
ale_down: a
v
oid
t
ramp
l
in
g
over al
i
ased matrices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
S
ven Verdoola
e
ge
add i
s
l_a
f
f_scale and isl_aff_scale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdool
a
ege
add isl_a
f
f_add and isl_aff
_
su
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sv
e
n
V
e
rdoolaege
a
dd isl_inequality_fr
o
m_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
a
dd
i
sl_seq
_
a
ddm
u
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaege
i
s
l_verti
c
es
.
c: av
o
i
d
us
e
of u
n
i
t
i
aliz
e
d variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
a
ege
isl_
t
r
an
s
iti
v
e_
c
lo
s
ure
.
c: avoid use of an un
i
tia
l
ized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_pol
y
nomial
.
c
: avoid use of an
u
nitializ
e
d variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Ve
r
doolaege
autogen
.
sh:
repl
a
ce b
y
call
to autorec
o
nf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdool
a
eg
e
configure
.
a
c: use non-deprecated fo
r
m
o
f AM
_
INIT_AUT
O
MAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdo
o
laeg
e
is
l
_fold
.
c: avoid wa
r
n
i
ng about co
n
t
r
ol reaching end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdoo
l
aege
mark some func
t
ions as (possibl
y
)
u
nused
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
olaege
isl_polyno
m
i
al
.
c:
u
s
e flex array memb
e
r
t
o
avoid
a
rray
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: remove un
u
sed cont
e
xt
_
lex_exten
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_m
a
p_sim
p
lify
.
c
:
rem
o
ve
u
n
u
sed norma
l
ize_constrai
n
ts_in_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
oolaege
is
l
_map_simplify
.
c: remove unuse
d
set
_
s
wap_inequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
i
sl_
c
o
nvex_hull
.
c
: remove unused set
_
p
r
oject_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_conv
e
x_hull
.
c: remove
u
n
u
sed 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 t
y
po affec
t
ing argum
e
nt
p
ars
i
n
g
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
d
oolaeg
e
isl_tr
a
n
s
itive_closure
.
c: remove unused v
a
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
l
aege
i
s
l_union_map
.
c
:
remove unus
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tab
.
c: avoid
warni
n
g
about unhandled
e
numera
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_tab
.
c:
remove unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
i
s
l_tab_pip
.
c:
r
emove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdool
a
ege
isl_r
e
ordering
.
c: remove unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
g
e
isl_output
.
c: remove un
u
s
ed variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Ver
d
oo
l
aege
isl_arg
.
c
:
remove u
n
used
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_map
.
c
r
e
move unused isl_set_s
w
ap_va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_m
a
p
.
c: remove unuse
d
va
r
i
abl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map_sub
t
r
act
.
c: remove unu
s
ed variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdo
o
laege
isl_morph
.
c: remo
v
e u
n
used variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_polynomial
.
c: remove un
u
s
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoo
l
a
ege
isl_input
.
c: remo
v
e unused variab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_bernste
i
n
.
c: remove unu
s
e
d v
a
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdo
o
la
e
ge
is
l
_dim
.
c
: avoid
w
arnings ab
o
ut
u
nhandled enumerat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_dim_drop: fix botched up rename of par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
b
ound
.
c
:
remo
v
e unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_local
_
sp
a
ce
.
c: remove unu
s
e
d va
r
i
abl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdo
o
laege
isl_pw
_
templ
.
c: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdool
a
ege
isl
_
unio
n
_templ
.
c
: remove
unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_fold
.
c: remove unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n
V
erdoolaege
add
i
sl
_
b
a
si
c
_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
e
rdoolaege
isl_qpolyno
m
ial_from_aff:
c
reate private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
o
l
a
ege
isl_
a
ff
_
expand_divs: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
do
o
laege
isl_aff_alloc
:
check that
all divs are
k
nown
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Ver
d
oolaege
add isl
_
l
o
cal_spa
c
e
_
div
s
_k
n
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
doolaege
M
erg
e
bra
n
ch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
V
e
r
d
o
olaege
is
l
_
qpoly
n
o
m
ial_* const
r
uctors:
ch
e
ck
d
im b
e
fore
accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Verdoolae
g
e
add is
l
_qpolyno
m
i
a
l_
f
rom_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verd
o
olaege
isl
_
qpolynomial_in
v
olv
e
s_dims: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdool
a
ege
isl_polynomia
l
.
c
:
fix typo
in com
m
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
a
d
d
i
sl_aff_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoolaege
is
l
_basic_map_
f
rom_local_space: d
o
n't
f
i
naliz
e
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
o
l
a
e
ge
add i
s
l
_
set_add_cons
t
rai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
er
d
oolaege
add isl_equality_fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_se
t
_
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doola
e
ge
add isl
_
c
ons
t
rai
n
t_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_{b
a
s
i
c_,}map_may
_
be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
do
o
laege
a
d
d isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verd
o
olaege
a
dd isl_basic_set_e
x
pan
d
_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
olaege
isl_poly
n
omial
.
c: move mer
g
e
_
d
ivs to isl_loca
l
_spa
c
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
rdoolaege
add
i
s
l_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
i
sl
_
dim_size: handle isl_dim_al
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
i
sl
_
con
s
traint_i
n
volves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
isl_printer_print_qpolyn
o
mial: support proper isl output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoo
l
aege
add isl_qpol
y
nomial_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add is
l
_map_al
i
gn
_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
export
isl_
b
asic_set_rem
o
ve_re
d
u
n
dancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
export isl
_
qpoly
n
o
m
ial_
g
ist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export is
l
_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
isl/div
.
h: drop dep
e
n
dence on i
s
l/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
hide isl_
d
i
v
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add
isl_div_g
e
t
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
a
e
g
e
add isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop
d
oc
u
mentation for isl-poly
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
e
n
Verdoola
e
ge
add gmp flags to pkg-
c
onfig file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verdoolaege
e
x
p
l
icitly link i
n
gmp in a
p
plic
a
t
i
ons
that reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdoolaege
configure
.
ac:
d
on't de
p
e
n
d
on auto
m
ake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
i
sl
_
pw_qpo
l
ynomial_inv
o
lves_dims: also ch
e
ck whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
add
isl_union_map_plain_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
isl_map_interse
c
t_range: add specia
l
case f
o
r
inters
e
ction
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolae
g
e
add i
s
l_
v
ec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
add
i
sl_u
n
ion_
m
ap_univ
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Ve
r
d
oolaege
rename *_fast_* functions to *
_
plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ve
r
d
o
o
la
e
ge
i
sl_m
a
p_range: correctly handle maps wi
t
h 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdoo
l
aege
isl_li
s
t
.
h:
a
l
low in
c
lu
s
io
n
from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdool
a
eg
e
isl_t
a
b_pip: don
'
t simplif
y
domain in i
s
l_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n V
e
rdoolaege
add isl
_
p
r
i
nter_print
_
constr
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_constraint_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
e
rdoolaege
add
isl
_
mat_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven V
e
rdoolaeg
e
rename is
l
_mat_dump
t
o isl_mat_print_
i
nt
e
rn
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verd
o
olaege
add isl_constrain
t
_g
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdool
a
ege
M
e
rge branch
'
maint'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoola
e
ge
is
l
_
b
asi
c
_map_affine_hull: finalize
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ver
d
o
o
laege
datafl
o
w an
a
ly
s
is: don't depend on w
o
rd si
z
e du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
ola
e
ge
add isl_
u
nion_set
_
co
m
pute_schedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next