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_aff_scale and isl_aff_scale_down
2011-06-02
Sven V
e
rdo
o
laege
add isl_aff_sca
l
e
an
d
i
sl_aff_scale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoola
e
ge
a
d
d is
l
_aff_
a
dd
a
n
d
i
s
l_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
S
v
en
Verd
o
olaege
add isl_inequality_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add isl_se
q
_a
d
dmul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
olaege
isl_ve
r
tice
s
.
c: avo
i
d use
o
f
unitiali
z
ed variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Ve
r
d
o
olaege
isl
_
transitive_clos
u
re
.
c:
avoid use of
an unitialize
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdoolaege
isl_polynomial
.
c:
avoid u
s
e of an unitialize
d
v
a
riabl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
aege
autog
e
n
.
s
h: replace by call to a
u
torec
o
nf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaeg
e
configu
r
e
.
ac: u
s
e non-deprecated fo
r
m
o
f AM_INIT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
dool
a
eg
e
isl_fold
.
c: avoid war
n
ing about
control reach
i
n
g
end
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
mark some
f
unc
t
ions a
s
(
p
ossibly) u
n
u
se
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Ver
d
o
o
l
aege
isl_polyno
m
ial
.
c:
u
se flex array m
e
mber t
o
avoid array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tab_pip
.
c: remove u
n
use
d
con
t
ex
t
_lex
_
extend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
dool
a
ege
isl_ma
p
_sim
p
l
ify
.
c: r
e
m
o
ve unused normali
z
e
_
c
o
nstrain
t
s
_in_
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_ma
p
_
simplify
.
c
: r
e
move unused set
_
swap
_
i
nequality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_con
v
ex_hull
.
c: rem
o
ve
unused
set
_
project_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdool
a
ege
isl_co
n
v
ex_hull
.
c: remov
e
unused swap_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
is
l
_arg
.
c: fix typo
a
ffe
c
ting
a
rgument parsing when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl
_
transitive_closu
r
e
.
c: remov
e
u
nused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
olaege
i
s
l
_
u
n
i
on_
m
ap
.
c: remove unused
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdool
a
ege
isl_tab
.
c: avoid w
a
rn
i
n
g abou
t
unhandled enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l
_
tab
.
c: remove unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
ola
e
ge
isl_tab
_
pip
.
c:
remove unus
e
d
var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_
r
e
o
rdering
.
c: remove un
u
sed
v
a
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_output
.
c: r
e
m
o
ve u
n
used variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
i
sl_arg
.
c
:
rem
o
ve
u
n
used
v
ariabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_map
.
c remove unused i
s
l_
s
e
t_swap
_
va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_map
.
c:
r
emove unused
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_map_sub
t
ract
.
c: remove unused vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoo
l
aege
isl_morph
.
c: re
m
ove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_polynomial
.
c: remov
e
unused vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_input
.
c:
r
emove unused
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
i
sl_bern
s
tein
.
c: remove unu
s
ed vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_dim
.
c: avoid warning
s
ab
o
ut unhandled enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
i
s
l
_dim_drop
:
f
ix
b
otched up rename of p
a
rameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c
:
r
emove
u
nus
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaege
is
l
_local_space
.
c: remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
Verdoolae
g
e
isl_p
w
_tem
p
l
.
c:
remove
u
nused la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_fol
d
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
a
ege
isl_union_templ
.
c:
r
em
o
ve u
n
us
e
d var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdo
o
laege
isl_fold
.
c:
remove unus
e
d vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add isl_basic_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoolaege
isl_qpolynomial_fro
m
_aff: create private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
sl_aff_expand
_
divs: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
sl_aff_alloc: c
h
eck that all d
i
vs are
k
nown
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
olaege
add
i
sl_local_s
p
ace
_
d
i
vs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven V
e
rdoolaege
Merge
branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
g
e
isl_qpolynom
i
al_* c
o
nstructors: c
h
eck dim
befo
r
e accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verd
o
olaege
add is
l
_qpolynom
i
a
l
_from_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoola
e
ge
isl_
q
p
ol
y
nomial_inv
o
l
v
es_dims:
fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoola
e
ge
is
l
_
p
o
lynomial
.
c
:
f
ix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add i
s
l
_
aff_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
S
ven Ve
r
doolaege
isl_ba
s
i
c
_ma
p
_
f
rom_loc
a
l
_
sp
a
ce: don't
f
in
a
liz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add
i
sl
_
s
et_add
_
const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add i
s
l
_
equa
l
ity_from_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_s
e
t_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add i
s
l_co
n
straint_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add
isl_{basic_,}map_m
a
y_b
e
_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
rdoolaege
ad
d
isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add isl_b
a
s
i
c_
s
et_
e
xpand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verd
o
olaege
i
sl
_
polynomial
.
c: move
m
er
g
e_divs to isl
_
lo
c
al_spa
c
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d isl_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
doolaege
i
s
l
_dim_si
z
e: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdoolaege
add
isl_const
r
aint_involve
s
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
isl_printer_
p
rin
t
_qpolyno
m
i
a
l: support proper isl ou
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add
isl_qpolynomial_align_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdool
a
ege
ad
d
isl_map_align_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
g
e
ex
p
ort isl_basic_
s
et_remove_redu
n
danc
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdo
o
l
a
eg
e
export isl
_
qp
o
lynomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
o
laege
e
x
port isl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/div
.
h: drop de
p
endenc
e
on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoola
e
ge
hide
isl_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
l
aege
add isl_di
v
_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
d
oolaege
add isl_mat_
g
e
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
doc: drop documenta
t
ion for
i
sl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoola
e
g
e
a
dd
gmp
f
lags to pkg-co
n
fig
file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdoolaege
expli
c
itl
y
lin
k
in gm
p
in ap
p
l
i
ca
t
ions
t
h
at refere
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en
V
e
rdoolaege
configure
.
ac: don't depen
d
on automake
1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
isl_pw_qpolyn
o
mial_invo
l
v
e
s_di
m
s: also check whet
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
a
dd
isl_union_map_plain_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aeg
e
isl_map
_
intersect_range: add sp
e
cial case
for inter
s
ect
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
add isl_
v
ec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
add isl_union_map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
o
olaege
rename *_fa
s
t
_* funct
i
ons
t
o *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoo
l
aege
isl_map_ran
g
e: correctly
h
a
nd
l
e map
s
with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoolaege
is
l
_list
.
h:
a
l
low i
n
c
lusion from
C
++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't
s
implify domai
n
in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sv
e
n Verdoolaege
add
i
sl_printer
_
print_constrain
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Verdool
a
ege
add is
l
_constr
a
int_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Verdoo
l
ae
g
e
add isl_ma
t
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verd
o
o
laeg
e
rename i
s
l_mat_
d
ump to i
s
l_mat_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaeg
e
a
d
d
isl_constra
i
nt_get_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
aege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verdoo
l
aege
isl_basic_map_affine_hul
l
: fina
l
i
z
e r
e
s
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
R
e
move recently added
u
n
used va
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
To
b
i
as Grosser
Add extern C decla
r
ati
o
n to schedule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sv
e
n
Verdoolaege
dat
a
f
low analysi
s
: do
n
't depend o
n
wo
r
d s
i
ze duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
a
d
d isl_union
_
set_compu
t
e_
s
chedule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
e
g
e
add isl_tab
_
basic_se
t
_n
o
n_neg_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
