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
Sv
e
n V
e
rdoo
l
aege
isl_map_simplify
.
c: remove unused
n
ormalize_c
o
n
s
tr
a
ints_in_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_map_simpl
i
fy
.
c: remove
unused
s
e
t
_swap_inequal
i
ty
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_con
v
e
x
_hull
.
c: r
e
move unuse
d
s
e
t_project_ou
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doo
l
aege
isl_convex_hull
.
c:
r
emove unused swap_ine
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
doolaege
isl_arg
.
c
:
fix t
y
po affe
c
ting argument parsi
n
g
wh
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_tran
s
itive_closure
.
c: remove unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
ool
a
e
g
e
isl_union_map
.
c:
remove unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_tab
.
c: avoi
d
warni
n
g about unhandled enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdool
a
ege
isl_tab
.
c:
remov
e
unused
v
ariab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oola
e
ge
isl_t
a
b_
p
ip
.
c: remove u
n
used var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
r
eorder
i
ng
.
c: r
e
move unus
e
d variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_outp
u
t
.
c: remove unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verd
o
olae
g
e
is
l
_arg
.
c
:
remove
u
nused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdo
o
laege
isl_map
.
c re
m
ove unused isl_set_s
w
ap_va
r
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Ver
d
oolaege
i
sl_m
a
p
.
c: remove
u
nused v
a
riables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaeg
e
i
sl_map_subtract
.
c: remo
v
e unu
s
ed variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_morp
h
.
c
: rem
o
ve unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
ola
e
ge
i
sl_polynomial
.
c: remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
in
p
ut
.
c: r
e
move un
u
s
ed va
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
ae
g
e
isl_ber
n
stein
.
c: remove
u
n
used variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
l
aege
isl_dim
.
c: a
v
oid warnings abo
u
t unhandled en
u
m
eration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
o
ola
e
ge
isl_dim_drop: fix botched up rename of parameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
dool
a
e
ge
boun
d
.
c: remo
v
e unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoola
e
ge
isl_local_space
.
c: r
e
move unu
s
ed variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaeg
e
i
s
l_pw_templ
.
c: remove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_fold
.
c: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
e
r
do
o
laege
isl_
u
ni
o
n
_
t
e
mpl
.
c: remove
u
n
used variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl
_
fo
l
d
.
c: rem
o
ve unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n
Verdoolaege
add isl_basic
_
set_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qpoly
n
omial_from_
a
ff: create
private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
isl_aff
_
expand_di
v
s: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rd
o
ola
e
ge
isl_aff_alloc: check that
a
ll
d
i
v
s are known
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verdoolaege
add
i
sl_local_sp
a
ce_divs
_
k
n
own
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaeg
e
isl_qp
o
lynomial_* con
s
truct
o
r
s
: ch
e
ck dim before accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Verd
o
olaege
add isl_qpolyno
m
ial_fro
m
_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl
_
qpolynomial_involves_dims: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_poly
n
omial
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ven
Verdoo
l
aege
add isl_aff_get
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven
V
erdoolaege
isl_ba
s
i
c
_map_from_local_space: do
n
't
finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add is
l
_s
e
t_
a
dd_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add i
s
l_e
q
ual
i
t
y
_
from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add isl_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
add isl
_
constrain
t
_
ge
t
_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdool
a
ege
a
dd isl_{b
a
s
ic_
,
}
m
a
p_may_
b
e_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
o
laege
add i
s
l
_
a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
rdoo
l
aege
add isl_basi
c
_set_expand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
isl
_
pol
y
nomia
l
.
c: move merge_divs t
o
is
l
_local_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
olaege
add isl_local
_
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
is
l
_
d
im_
s
iz
e
:
h
andle i
s
l
_
d
im_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
la
e
g
e
ad
d
isl_
c
onstraint_involves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_printer
_
p
rint_qpolynomial:
support proper isl out
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Ver
d
oolae
g
e
add isl_qp
o
ly
n
omial_align
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
olaege
add isl_map_a
l
ign_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export is
l
_bas
i
c_set_remo
v
e_redund
a
ncies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
o
laege
export
isl_qpol
y
nomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaeg
e
export is
l
_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
doo
l
aeg
e
isl/div
.
h: drop depen
d
ence on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
rdoolaege
hid
e
isl_div interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
olaege
a
dd
i
sl_d
i
v
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdo
o
laege
add
i
sl_
m
at_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdoolaege
do
c
:
drop documentation for isl-
p
olylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gm
p
flags to pkg-co
n
fig fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
explicitly link in
g
m
p in application
s
tha
t
re
f
er
e
nce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verdoola
e
ge
configure
.
ac:
d
on't
dep
e
n
d
on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdo
o
laege
i
s
l
_pw_qpo
l
ynomial_involves_dims: also che
c
k whethe
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoo
l
ae
g
e
add isl_union_map_pla
i
n
_
is_injecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map
_
int
e
rsec
t
_range: add special ca
s
e
for in
t
erse
c
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
a
dd isl_ve
c
_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
ad
d
isl_u
n
i
on_map_un
i
v
e
rse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
ren
a
me *_fast_* funct
i
ons to
*_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n V
e
rdoola
e
ge
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
isl_
m
a
p
_range: correctly handle maps with 0D domai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en Verdoolaege
isl_list
.
h: al
l
o
w
inclusion from
C
+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Ve
r
doolae
g
e
is
l
_tab_p
i
p: don't simplify doma
i
n
in
i
sl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sve
n
Ve
r
doo
l
aege
ad
d
isl_printer_print_
c
on
s
train
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erdool
a
e
g
e
add isl_c
o
nstraint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdool
a
ege
add isl_
m
at_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdoolaege
r
e
n
a
m
e
isl_m
a
t_dump to isl
_
m
a
t_print_interna
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Ver
d
oolaege
ad
d
isl_co
n
straint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Ve
r
doolaege
Merge branch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoolaege
isl_basic_map_affine_hull: fina
l
ize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
Remove recentl
y
added u
n
used variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
T
obias Grosse
r
A
d
d extern C de
c
la
r
ation
to
s
c
hedule
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
d
ataflow
analysis: don't depend on word siz
e
d
u
ring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
add isl_union_se
t
_compute_
s
ched
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
add is
l
_tab_b
a
sic_set_non_neg_l
e
xmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
doolaege
ad
d
isl_tab_basic_set_non_trivi
a
l_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
ool
a
ege
i
sl_tab_pip
.
c: add_lexm
i
n_eq: return in
t
in
s
t
ea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
sl_tab_pip
.
c: restore_lexmin: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_
t
ab
_
pip
.
c: add some debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
i
s
l_tab_pip
.
c
: fix typo
in com
m
en
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
add isl_qui
c
ksort (copied from
g
libc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
is
l
_print
e
r_print_
b
asic_s
e
t: also print inva
l
i
d
basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add
isl_union_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
i
sl_union_map_
i
s_bijectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoola
e
ge
a
dd isl_u
n
ion
_
map_is_single_
v
alued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
aege
add
i
sl_
m
at
_
add_
z
ero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
is
l
_blk
:
d
on'
t
r
e
use
o
verly la
r
g
e blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_hm
a
p_
m
ap_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next