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_convex_hull.c: remove unused swap_ineq
2011-05-25
Sven V
e
rdoolaeg
e
i
s
l_conve
x
_hull
.
c: remove
u
nused swap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_ar
g
.
c: fix typ
o
affecting argument parsin
g
w
h
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
dool
a
ege
isl_transitive
_
closur
e
.
c
:
remove unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
d
oolaege
i
s
l
_
unio
n
_
m
a
p
.
c: remove unu
s
ed v
a
riables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
i
sl_
t
ab
.
c: avoid war
n
ing about
unh
a
nd
l
ed enume
r
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
ola
e
ge
isl
_
tab
.
c: remo
v
e
unused vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Ver
d
oola
e
ge
isl_
t
a
b_pip
.
c
: remov
e
unused v
a
riables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_
r
eord
e
ring
.
c: re
m
ove unused variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verd
o
olaege
i
s
l_output
.
c:
r
e
m
ove
u
nused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
i
sl_arg
.
c: remove
u
nu
s
e
d
v
a
ria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoola
e
ge
isl_map
.
c remove
unused isl_set_swap_v
a
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdool
a
ege
isl_map
.
c: re
m
o
ve unused vari
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en V
e
rdoo
l
aege
isl_map_s
u
btract
.
c:
remove
u
nused variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_
m
orph
.
c: rem
o
v
e
unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_p
o
lynomial
.
c: remove
u
n
u
s
e
d
va
r
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoo
l
aege
is
l
_input
.
c: remove unus
e
d v
a
riables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
e
rdoolaege
i
s
l_bernstein
.
c: remove unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
isl_dim
.
c
:
avoid warnings abou
t
unhan
d
led enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doola
e
ge
isl
_
dim_
d
rop: fix botched up r
e
name of p
a
r
a
m
e
t
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bou
n
d
.
c: remov
e
unuse
d
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_local_spac
e
.
c:
re
m
ove u
n
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
i
s
l
_pw_templ
.
c: remove
un
u
sed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_fold
.
c: fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
i
s
l
_
unio
n
_templ
.
c: re
m
ove unused vari
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c: r
e
move unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolaeg
e
add isl_basi
c
_set_ma
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoo
l
a
e
ge
isl_qp
o
l
yn
o
m
ial_from
_
af
f
: create private cop
y
o
f d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
o
laege
isl_aff_expand_divs: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
oolaege
isl_aff_alloc: ch
e
ck that a
l
l divs are known
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Ve
r
doo
l
aege
add isl_loc
a
l_space_divs
_
known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
oolaege
Merge
b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qpolynomial_* const
r
uctors:
c
heck dim before a
c
c
e
ssin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
e
rdoo
l
aege
a
d
d
i
sl_qpolynomial_from
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven V
e
rdo
o
laege
isl_qpolynomial_involv
e
s_dims:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
ven
Verdoolaege
isl_polynom
i
al
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add isl_a
f
f_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
S
v
en Verdoo
l
a
e
ge
isl_basic_map_from_
l
o
c
al_space: d
o
n't
f
inalize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
rdoo
l
aege
add isl_
s
e
t_add_cons
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdo
o
laege
add i
s
l_
e
qualit
y
_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
dool
a
ege
add
isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
dool
a
ege
ad
d
isl_cons
t
raint_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_{basic_,}m
a
p_ma
y
_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdo
o
l
a
ege
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
i
s
l
_basic_se
t
_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaege
i
sl_p
o
l
y
n
omial
.
c: move me
r
ge_divs to isl
_
loc
a
l_spa
c
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_loc
a
l_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolae
g
e
is
l
_
dim
_
size: hand
l
e i
s
l_dim_
a
ll
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ver
d
o
o
laege
ad
d
isl_const
r
a
int_inv
o
lves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
olaeg
e
isl_
p
rinter_pr
i
nt_qpolynomial: support proper i
s
l output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolae
g
e
add isl_qpolynomi
a
l
_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoo
l
ae
g
e
add isl
_
map_align_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
exp
o
r
t
i
s
l
_
basic_s
e
t_remov
e
_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdool
a
e
ge
export isl_qpoly
n
omial_gist
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
Sven Verdool
a
e
ge
isl/di
v
.
h:
drop
depend
e
nce
o
n isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
r
dool
a
ege
h
ide is
l
_div
internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add isl_div_g
e
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add isl_m
a
t_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
d
o
c
: drop d
o
cumentat
i
on for isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gmp flags to
pkg-c
o
nfig
f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
e
xp
l
icitly link
i
n gm
p
in
applications that refe
r
en
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdoolaege
configure
.
a
c
: don't depend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
S
ven Verdoolaeg
e
is
l
_pw
_
qpolynomial_involves_dims:
a
l
so check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verd
o
olaege
a
d
d
i
s
l
_u
n
ion_map_plain_is
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Ver
d
oolaege
isl_map_
i
ntersect_range:
a
dd special case for intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
ad
d
isl_
v
ec_so
r
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdool
a
e
g
e
ad
d
isl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aege
rename *_fas
t
_* functions to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-05-05
S
v
en V
e
r
doolaege
i
s
l_map_range:
c
orrectly handle maps with 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolae
g
e
isl_list
.
h:
al
l
ow inclusion fr
o
m C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoo
l
aeg
e
isl
_
t
a
b_pip:
d
o
n
't simplify do
m
a
i
n in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_
p
rinter_print_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolae
g
e
a
dd isl_constrain
t
_
get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add isl_m
a
t_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Verdoolaege
re
n
ame i
s
l
_
mat_dump to i
s
l_mat_print_int
e
rnal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Ve
r
dool
a
e
g
e
add
i
sl_c
o
n
str
a
int_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Ve
r
doo
l
aege
Merge branch
'
maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdool
a
ege
i
s
l_basic_map_affine
_
hull: fi
n
aliz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ver
d
o
o
laege
dataflow analysis: do
n
't depend on word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoolae
g
e
a
d
d isl_
u
ni
o
n
_set_c
o
mput
e
_
schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_
t
ab_basic_set_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
a
dd is
l
_tab_basic_s
e
t_non
_
trivial_lexm
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_tab_pip
.
c:
ad
d
_lexmi
n
_eq:
return in
t
instead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
i
sl_tab_pip
.
c: restore_lexm
i
n: return
int ins
t
e
ad
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
o
o
lae
g
e
isl_tab_pip
.
c: add
s
ome debuggin
g
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
isl_t
a
b_pip
.
c: fix typ
o
in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
a
dd isl
_
quick
s
ort
(
copi
e
d f
r
om
g
l
ibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
is
l
_pri
n
ter_print_ba
s
ic_set: also print inva
l
id basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
a
dd isl_union
_
map_is
_
injectiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
a
d
d is
l
_u
n
ion_m
a
p_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_
u
nion_map_i
s
_
sin
g
l
e
_
val
u
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add
isl_mat_
a
dd_zero
_
r
ows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk:
d
on'
t
r
euse overly lar
g
e blocks
f
or s
m
all
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolae
g
e
add is
l
_h
m
ap_map_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
add
i
sl_un
i
on_map_copy
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
a
e
ge
add isl_union
_
map_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_
b
asic_set_tr
a
nsfor
m
_
dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Ve
r
doolaege
add isl_basic_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
change isl_mat
_
sub_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next