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_tab_pip.c: remove unused context_lex_extend
2011-05-25
S
ve
n
Verd
o
olaege
isl
_
tab_pip
.
c: re
m
ove un
u
sed c
o
ntex
t
_lex_ex
t
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_map_simp
l
if
y
.
c
:
remove u
n
u
sed normalize_
c
o
nstraint
s
_in_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_map
_
s
i
mplify
.
c: rem
o
ve unused set_
s
wap_
i
nequal
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
o
olae
g
e
isl_convex_h
u
ll
.
c: re
m
ove unuse
d
set_pro
j
ect
_
o
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
V
erdoo
l
aege
isl_convex_hull
.
c:
remov
e
un
u
sed swap
_
ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_a
r
g
.
c:
f
ix t
y
p
o
affect
i
ng
a
rgument parsing when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tr
a
ns
i
tiv
e
_closure
.
c
:
remove u
n
used
v
ar
i
abl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl
_
union_map
.
c: remove unuse
d
variab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_tab
.
c
:
avoid
warning
a
bout un
h
andl
e
d enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaeg
e
i
sl_tab
.
c
:
remove unuse
d
v
a
ria
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verd
o
olaege
isl_tab_pip
.
c: remove unus
e
d
variab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_r
e
orderi
n
g
.
c: re
m
ove
unused var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
output
.
c: r
e
mov
e
unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
is
l
_a
r
g
.
c: remove unu
s
e
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
g
e
isl_map
.
c remove unused isl
_
set_
s
wap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl
_
m
ap
.
c: r
e
move un
u
sed v
a
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_map_su
b
t
ract
.
c: remove
u
nused varia
b
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Verdoolaege
isl_mo
r
ph
.
c: remo
v
e u
n
used
v
ari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_polynom
i
al
.
c: remove unused varia
b
le
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_inp
u
t
.
c: remov
e
unused vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_bernstein
.
c
:
remove unuse
d
variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdo
o
laege
isl
_
dim
.
c: avoid
w
arnings a
b
out
u
n
ha
n
dled
e
numeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_
d
im_drop: fix bot
c
hed u
p
renam
e
of p
a
rameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
rdoolae
g
e
bound
.
c
: remove unused
v
ariabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_local_s
p
ace
.
c
:
remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
doolaege
isl_pw_templ
.
c: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
o
laege
i
sl_fold
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
r
doolaege
isl_union_templ
.
c
: remove
unused
v
ari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_fold
.
c
:
r
e
mov
e
unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
a
d
d isl_basic_set_
m
ax
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaege
is
l
_qpolynomia
l
_
f
rom
_
aff:
cr
e
ate private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rd
o
olaege
isl_af
f
_
e
xpand
_
d
i
vs:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoolaege
isl_
a
ff_alloc: check that all divs are known
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verd
o
olaege
a
d
d isl_lo
c
al_sp
a
c
e
_divs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdool
a
eg
e
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
la
e
ge
isl_qp
o
lynomial_
*
constructo
r
s:
c
h
e
ck dim befo
r
e
accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Verdoolaege
a
d
d isl_qpol
y
nom
i
al_fro
m
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verd
o
olaege
isl_qp
o
ly
n
o
m
ial_involves_d
i
ms: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verd
o
ola
e
ge
isl_polynomia
l
.
c
:
f
i
x typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Verdoola
e
ge
add isl
_
aff_g
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdo
o
laeg
e
isl_basic_map_f
r
om_local_space:
d
on'
t
fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdo
o
laege
add isl
_
set_add_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
aege
add
i
sl_equal
i
ty_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doola
e
ge
add isl_se
t
_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd
i
sl_constraint_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_{basic_,}map
_
m
a
y_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
laege
add is
l
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd isl
_
basic_set_
e
x
p
and_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
isl_polynomia
l
.
c:
m
o
v
e
merge_di
v
s to isl_local_
s
pace
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_local_spa
c
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
is
l
_dim_size: handl
e
isl
_
d
i
m_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_c
o
n
str
a
in
t
_involves_dim
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
isl_prin
t
er_
p
ri
n
t_qpol
y
nomial: s
u
pport proper isl output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_
q
p
o
lynomial_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d isl
_
map_
a
lign_p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
export isl
_
b
a
sic_set_remov
e
_r
e
d
u
ndanci
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdool
a
ege
expor
t
isl_
q
polyno
m
i
a
l_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
a
e
g
e
e
x
p
o
rt isl_set
_
e
l
iminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/div
.
h: d
r
op dep
e
ndence on is
l
/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoolaeg
e
hide is
l
_div i
n
te
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
add
isl_
d
iv_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolae
g
e
a
d
d is
l
_m
a
t_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
do
c
: dro
p
do
c
umentatio
n
for
isl
-
p
o
lylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
add gm
p
flags
t
o
pkg
-
config fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en V
e
rdoolaege
expli
c
itly link
i
n
g
m
p in application
s
that reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sv
e
n Verdo
o
laege
configure
.
a
c
:
d
on
'
t depend on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoo
l
aeg
e
isl_pw_q
p
olynomi
a
l_in
v
o
l
ves
_
dims: also check
w
h
ether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_union_m
a
p_
p
lain_is_inject
i
ve
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven
V
erdoo
l
aege
isl_map_inters
e
ct_range: a
d
d sp
e
ci
a
l case for inte
r
sec
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoo
l
aege
add i
s
l
_union_map
_
un
i
vers
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
Verdool
a
e
ge
rename *_fast_* functions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laeg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
S
ven
Verdoolaege
i
sl_map_ran
g
e: correctly handle ma
p
s
with
0D d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
e
n Verdoolaege
isl_list
.
h
: a
l
low i
n
clusion
f
rom C
+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
i
sl_tab_pip: don't
simplify
d
omain in isl_
f
o
r_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sve
n
Verdoolaege
add isl_pri
n
ter_pri
n
t_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdool
a
e
ge
add isl_constraint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add isl
_
mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
laege
ren
a
m
e isl_ma
t
_
d
u
mp to isl_mat_pri
n
t_intern
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
laege
add isl_constra
i
nt_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
Merg
e
branch
'mai
n
t'
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
isl_ba
s
ic_map_
a
ff
i
ne_hul
l
: finalize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
T
obias Grosser
Remove
r
e
ce
n
tly adde
d
unuse
d
v
ariables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
G
rosser
Ad
d
extern C
declaration to sche
d
ule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven
Verdoolae
g
e
dataflow
an
a
lysis: don't depend on word si
z
e during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_
u
nion_s
e
t_compute_sche
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
add isl
_
tab_ba
s
ic
_
set_
n
o
n
_neg_lexmi
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
aege
ad
d
isl_tab_basic_
s
et_non_trivial_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaeg
e
isl_tab_pip
.
c: add_
l
ex
m
in_eq: return int ins
t
ead
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdo
o
laege
isl_tab_pip
.
c: restor
e
_lexm
i
n: re
t
urn in
t
ins
t
e
a
d of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
e
r
doolaege
is
l
_ta
b
_
pip
.
c: ad
d
som
e
debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
isl_tab_pi
p
.
c: fix
t
ypo in comm
e
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_qu
i
c
k
sort (cop
i
ed
f
rom glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaege
i
s
l_p
r
inter_print_b
a
sic_set: a
l
so print inva
l
id ba
s
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl_union_map_i
s
_injec
t
ive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add
isl_union_map_is_b
i
j
ective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_uni
o
n_map_is_sing
l
e_
v
a
l
ued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_mat_add_
z
e
ro
_
rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
isl_blk: don't reuse overly large blocks fo
r
small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next