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_map_simplify.c: remove unused normalize_constraints_in_compressed_space
2011-05-25
Sven
V
e
rdoolaege
isl_m
a
p_s
i
mplify
.
c:
r
emove unused normalize_constraints_
i
n_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map_simplify
.
c
: rem
o
ve unused set_s
w
ap_inequ
a
lity
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_convex_hull
.
c
:
remove un
u
sed
set_projec
t
_o
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_convex_hull
.
c: remove unused
swap_
i
neq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_arg
.
c: fix typo affectin
g
argument parsin
g
w
h
en
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_transitive_clo
s
ure
.
c
: remove unu
s
ed variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoola
e
ge
isl_union_map
.
c: remove un
u
sed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
is
l
_ta
b
.
c: avo
i
d warni
n
g about unh
a
ndled
e
n
umeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_t
a
b
.
c: remov
e
u
n
used v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdoolaege
isl_tab_pip
.
c
: remove un
u
sed vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_r
e
o
rdering
.
c:
remove unused v
a
r
iable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdo
o
laege
is
l
_output
.
c: r
e
m
o
ve
unused variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdo
o
lae
g
e
isl
_
arg
.
c: remo
v
e
u
n
u
sed va
r
i
ab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Verdoolaege
isl_map
.
c remove unu
s
ed isl
_
set_
s
wap
_
va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verd
o
o
l
ae
g
e
isl_map
.
c
: remove unused
v
ariab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_m
a
p_su
b
tract
.
c: remove unused
v
a
riable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
isl_morph
.
c: remove unuse
d
vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
is
l
_polynomial
.
c:
re
m
ove unus
e
d vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_input
.
c: remove unused
v
ariables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
do
o
laege
isl_
b
ernstein
.
c: remove unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolae
g
e
isl_dim
.
c: avoid warnin
g
s abo
u
t unhandled
enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erd
o
o
l
aege
isl
_
d
i
m_
d
r
op: fix botched up rename
of
parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdo
o
laege
bound
.
c:
rem
o
v
e unused var
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_local_spac
e
.
c: remove unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdool
a
ege
isl_pw_te
m
pl
.
c: remove unused la
b
el
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 Verdoolaege
isl_unio
n
_te
m
pl
.
c: rem
o
ve unus
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdo
o
laege
i
sl_
f
o
l
d
.
c
:
re
m
o
ve unus
e
d variabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
ge
add is
l
_
basic_s
e
t
_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rd
o
ol
a
ege
isl_qpoly
n
omial_from_aff:
create private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
s
l_
a
ff
_
expa
n
d_divs: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_af
f
_al
l
oc: check
that all d
i
vs
a
re
known
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
er
d
oo
l
a
e
ge
add isl_lo
c
a
l_space_di
v
s_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
s
l_qpolynomial_* constructors: che
c
k dim b
e
fore accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoo
l
a
e
g
e
ad
d
isl_qpolyn
o
mia
l
_from
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n V
e
rdo
o
laege
isl
_
qpolynomial
_
involves_dims: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
erdoolaeg
e
i
sl_poly
n
omial
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verdo
o
laege
add
i
sl_aff_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven V
e
rd
o
olaege
isl_basic_ma
p
_from_local_space: d
o
n't fina
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl_set_add_
c
o
nstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_equality_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
ad
d
is
l
_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
a
d
d
isl_constr
a
i
nt_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
add
i
sl
_
{basic_,}
m
ap_ma
y
_
be_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
doolaege
add
i
s
l_basic_set_exp
a
nd_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
i
s
l_
p
olyn
o
mial
.
c:
move
m
erge_d
i
vs to isl_local_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdo
o
laege
add isl_lo
c
a
l
_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
isl
_
d
im_size: handle isl_d
i
m
_
a
ll
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd
isl_constraint_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
rdoolaege
is
l
_
p
rinter
_
prin
t
_
q
polynom
i
al: support proper is
l
outp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdool
a
ege
add isl_qpolynomial_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add i
s
l_m
a
p_align_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
e
xport isl_basic_set_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
olaege
export isl_qpolyno
m
ial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoo
l
aege
export isl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
isl/div
.
h: drop dependence
on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ve
r
d
oolaeg
e
hi
d
e isl_div internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolae
g
e
add isl_di
v
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
ad
d
i
s
l_mat_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
doc: drop docum
e
nta
t
ion for isl-polyli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add g
m
p
f
lag
s
t
o pkg-config f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
ge
explicitly link
in
g
mp in
a
pplications
t
hat reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ve
n
Verdoolaege
c
onfigure
.
ac: do
n
't depend o
n
a
utomake 1
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven V
e
rdoolaege
isl_pw
_
q
p
olyno
m
i
al_
i
n
volves
_
dims: also che
c
k whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ve
r
doolaege
a
dd isl_union_map_plain_is_
i
njective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaeg
e
i
s
l_map_i
n
tersect_rang
e
: add s
p
ec
i
al case
f
or intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaeg
e
add i
s
l_vec_
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
add isl_u
n
ion_map_un
i
v
e
rs
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
r
e
n
ame *_fast_* funct
i
ons to *_pla
i
n
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
i
sl_m
a
p_ra
n
ge
:
correc
t
ly handle
maps with 0D dom
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Verdoolaege
i
s
l
_l
i
st
.
h: allow inclusion fro
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verd
o
olaege
isl_tab_pip
:
don't si
m
p
l
i
f
y domai
n
in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_printer_pr
i
nt_
c
onstraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolae
g
e
add isl_constraint_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ve
r
d
o
olaege
add isl_
m
at_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
e
n
Verdoo
l
aeg
e
rename isl_mat
_
dump to is
l
_mat_print_inte
r
nal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verdool
a
ege
add isl_constraint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Ve
r
do
o
laege
isl_ba
s
ic_ma
p
_aff
i
ne
_
hu
l
l: fi
n
al
i
ze
r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Gro
s
ser
Remove recently ad
d
ed u
n
used
v
aria
b
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
To
b
ias Gro
s
s
er
Add extern
C
declarat
i
on to sc
h
edu
l
e
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdo
o
la
e
ge
dataflow analysis: don't depend
o
n word size during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl_un
i
on_set_compute_sch
e
d
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_ta
b
_ba
s
ic_set_non_neg_lexm
i
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdool
a
ege
add i
s
l_tab
_
basic_set_non
_
t
r
ivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c
:
a
d
d_lexmin_eq
:
re
t
urn int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
i
sl_
t
ab_pip
.
c
: restore
_
lexmin: re
t
urn int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erd
o
olaege
isl_tab_pip
.
c:
a
d
d
some
debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
is
l
_tab_pip
.
c: fix t
y
po in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
add isl
_
quickso
r
t
(copied from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolaege
isl_
p
r
i
n
ter_prin
t
_ba
s
ic_set
:
also print invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoola
e
ge
ad
d
isl_un
i
o
n_map_
i
s_injectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add
isl_u
n
ion_ma
p
_is_bije
c
tive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_un
i
o
n_map
_
is_single_
v
alued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdoolaege
add isl_mat_ad
d
_ze
r
o_r
o
ws
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk: don't
r
euse
overly large blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
ge
add
i
sl_hmap_map_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next