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
export isl_aff_add_coefficient
2011-05-25
S
v
e
n
Ver
d
oo
l
a
e
ge
isl_convex_hull
.
c:
r
e
move unu
s
ed swap_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_a
r
g
.
c:
fix typo a
f
fecting argu
m
e
nt
p
ars
i
n
g when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl
_
tran
s
i
ti
v
e_closure
.
c: remove
u
nus
e
d v
a
ri
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdool
a
ege
isl_union_map
.
c: remo
v
e u
n
used variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_tab
.
c: avoid warning ab
o
ut unhandl
e
d enu
m
eration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_
t
ab
.
c: r
e
move un
u
sed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
is
l
_t
a
b_pip
.
c: remove unuse
d
variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
erd
o
olaege
isl_reorderi
n
g
.
c:
r
emove
u
nused
v
ariab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
laege
isl_output
.
c
:
remove unused var
i
a
b
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdoolae
g
e
isl_arg
.
c: remove u
n
u
s
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
a
e
g
e
isl_map
.
c r
e
move unu
s
e
d is
l
_set_swap
_
v
ar
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
o
laege
isl
_
map
.
c: remove u
n
used
v
ar
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoo
l
aege
i
s
l_map_
s
ubtract
.
c: remov
e
unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ver
d
ool
a
e
ge
isl_mo
r
ph
.
c
: remove unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_polynomial
.
c: rem
o
ve unus
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_input
.
c: remove u
n
used variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
Verdoolaege
isl_ber
n
ste
i
n
.
c: rem
o
ve
unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl
_
dim
.
c: avoid
w
arnings about unhandled e
n
u
mera
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim_drop:
f
i
x botche
d
up renam
e
of paramet
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
ge
boun
d
.
c: remove unuse
d
varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
doo
l
aege
i
s
l_l
o
ca
l
_spa
c
e
.
c: remove unus
e
d varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_pw_
t
e
mpl
.
c
:
remov
e
unu
s
ed label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
ool
a
e
ge
isl_f
o
ld
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_union_templ
.
c: remov
e
unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c: remove u
n
used varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
r
d
oolaeg
e
add isl_basic
_
s
e
t
_
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Ve
r
doo
l
a
e
ge
isl_q
p
olynomial_from_af
f
: c
r
eate
private
c
o
p
y
o
f
divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaeg
e
i
s
l_aff
_
e
xpand_divs: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_aff
_
alloc
:
check that all divs are kno
w
n
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
a
d
d isl_l
o
cal
_
space
_
divs_k
n
o
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
Merge
b
ranch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verd
o
olaeg
e
isl
_
qp
o
lynomial_
*
c
o
nstr
u
ctors:
c
heck
dim befo
r
e accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ve
n
Verdoolaege
add isl_q
p
olynomi
a
l_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_qp
o
lyn
o
mi
a
l_involv
e
s_d
i
ms:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verdoolae
g
e
isl_polynomial
.
c:
fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
ad
d
isl_aff_g
e
t_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoolaege
isl_basic_
m
ap
_
from_lo
c
al_s
p
ace: d
o
n't fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
do
o
laege
a
d
d
i
sl_set_add_constra
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
add isl_equali
t
y_from_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
olaege
add
i
sl_
s
et_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
ool
a
ege
add isl_constra
i
nt_get_bo
u
nd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
add
isl_{basi
c
_,}map_ma
y
_be_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ola
e
ge
a
d
d
i
sl_af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoo
l
aege
a
dd isl_basic
_
set_expand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdoo
l
aege
isl_polynomia
l
.
c: mov
e
mer
g
e_di
v
s t
o
i
sl_loc
a
l_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_local_spac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
do
o
laege
isl_dim_size: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
add isl_constraint_
i
nvolv
e
s_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_printer_print_qpolynomial: suppo
r
t pro
p
er isl
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add isl_qpolynom
i
al_
a
lign_param
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ver
d
o
o
l
a
ege
add is
l
_map_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
export isl_basic_se
t
_
r
emove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
e
x
port isl_qp
o
lyno
m
ia
l
_gis
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
export
i
sl_s
e
t_elimina
t
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
isl/di
v
.
h: d
r
op dependence on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ve
r
doolaege
hide isl_div in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
add isl_div_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ver
d
oolaege
add isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop documenta
t
ion for isl-poly
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
l
aege
a
dd
gmp flag
s
to
pkg-config fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verdoolaege
e
xpli
c
it
l
y link in
gmp in applications that ref
e
renc
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
c
onfigure
.
ac: do
n
't dep
e
nd on a
u
tomake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sve
n
Verdoolaege
i
sl_pw_
q
p
o
lynomial_i
n
v
o
lves_dims: als
o
check wheth
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
add isl_uni
o
n_map_plain_i
s
_inje
c
tive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Ve
r
doolaege
isl_map_intersect_
r
ange: add spe
c
i
al
c
ase for
i
ntersec
t
i
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
add isl_v
e
c_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
e
rdo
o
laege
add isl_union_map_un
i
verse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
aege
rename *_fas
t
_*
fu
n
c
t
ions
to *
_
plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
M
e
rge branch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_
m
ap_rang
e
: c
o
rrectly handle maps w
i
th 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
V
erdool
a
ege
isl_li
s
t
.
h:
a
llo
w
inc
l
usion f
r
o
m C+
+
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven V
e
rdoolaege
isl_tab_pip: don't s
i
mplify domai
n
in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdo
o
l
aege
add isl_printer_
p
rint_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Ver
d
ool
a
ege
a
d
d
i
s
l_c
o
nstra
i
nt_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add is
l
_mat_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ver
d
oolaege
r
ename isl_mat_d
u
mp to isl_
m
a
t_print_intern
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verdo
o
la
e
ge
add isl_constraint_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
M
e
rge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verdoo
l
aege
isl
_
b
a
sic_map_affine
_
hull: finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
d
a
taf
l
ow
a
na
l
ysis:
d
o
n
't depend on
wo
r
d size durin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
o
o
laege
ad
d
isl_union_set_compute_sched
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_tab_bas
i
c_
s
et_non_neg_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
d
o
ol
a
eg
e
add isl_tab_bas
i
c_set_non_trivial_
l
e
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
i
sl_
t
ab_pi
p
.
c
: add
_
lexmin_eq:
return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
ge
isl_ta
b
_pip
.
c: restore_lexmin: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdool
a
eg
e
isl_
t
a
b_pip
.
c:
a
dd s
o
me debuggin
g
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
oolaege
isl_tab_pip
.
c: fix typo in
c
omment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_qu
i
ck
s
ort (copied from glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
isl_
p
r
i
nter_print
_
basi
c
_set:
a
l
s
o print invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
add isl_union_ma
p
_is
_
in
j
ective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
add isl
_
union_ma
p
_is_bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
o
laege
add i
s
l_u
n
io
n
_map_i
s
_
s
i
n
gle_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
d
d
_
ze
r
o_ro
w
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
isl_
b
lk: don't reu
s
e overly
l
arge blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
a
dd isl_hmap_map_
b
as
i
c_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoo
l
aeg
e
add isl_un
i
on
_
map_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_u
n
io
n
_map_
c
o
nt
a
ins
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
add isl_basi
c
_se
t
_
tran
s
form
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_basic_set
_
offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
change
i
s
l_mat
_
s
ub
_
a
l
loc pr
o
totype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next