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
Sv
e
n
Verdoolaege
isl_conv
e
x
_
hull
.
c
:
remove unus
e
d swap_ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoo
l
a
e
ge
isl_arg
.
c
: fix typo
affecting argument parsing when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
is
l
_transitiv
e
_c
l
osu
r
e
.
c: remove
u
nu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verd
o
olaege
isl_union_map
.
c
: remo
v
e u
n
u
s
e
d variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
o
ol
a
eg
e
i
sl_t
a
b
.
c: avoid
warnin
g
ab
o
ut unhandled enumeratio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl
_
tab
.
c: remo
v
e
unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolae
g
e
isl
_
t
ab_pip
.
c: r
e
m
o
ve
un
u
sed
v
ariabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
V
erdool
a
eg
e
is
l
_r
e
ordering
.
c: re
m
ove un
u
sed va
r
iab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_out
p
u
t
.
c: remove
unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
i
s
l_arg
.
c: rem
o
v
e
unused variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
o
o
laege
isl_map
.
c re
m
ove unused is
l
_s
e
t_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
i
s
l
_map
.
c:
rem
o
ve unu
s
e
d
var
i
a
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_m
a
p_s
u
btract
.
c: remo
v
e unused
v
a
r
ia
b
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_morph
.
c: remove
unused
v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_polynomi
a
l
.
c
:
rem
o
ve unu
s
ed varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_input
.
c: remo
v
e unused
v
ariable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Ve
r
doolaege
i
s
l
_bernstein
.
c:
r
emove
unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_dim
.
c: a
v
oid warnings a
b
out unha
n
dled en
u
meration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdool
a
e
g
e
isl_dim_drop
:
fix bot
c
hed u
p
ren
a
me of parame
t
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
doolaeg
e
bound
.
c: remove unu
s
ed var
i
ab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
laege
isl_local_space
.
c: remo
v
e unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdool
a
e
g
e
isl_
p
w_te
m
pl
.
c: remo
v
e
unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
i
sl_fold
.
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
laeg
e
isl_
u
nion_tem
p
l
.
c: rem
o
ve u
n
used vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
isl
_
fold
.
c
:
re
m
ove unused
vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verd
o
olaeg
e
add isl_
b
asic_set_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_qpolynomial_from_aff: creat
e
private
c
opy of
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl
_
aff_expand_divs: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdool
a
ege
isl_aff_
a
l
loc: che
c
k that
a
ll divs
a
re kno
w
n
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
a
dd isl_loca
l
_
space_divs
_
know
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoolaege
M
e
rge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_qpolynomial_* constructors
:
c
heck dim befor
e
acces
s
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
e
n
V
erdoolaege
add is
l
_
q
poly
n
omial_f
r
om_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_
q
p
o
l
yno
m
ial_invol
v
es_dims: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Verdo
o
laege
isl_p
o
ly
n
omial
.
c
: fi
x
t
y
po
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven V
e
r
dool
a
eg
e
add i
s
l_aff_get
_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sve
n
Verdoolaege
isl_basic_map_from_local_space: d
o
n't finalize
r
e
s
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add
i
s
l_set_add_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_
e
qu
a
lity_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ver
d
oolaege
add isl
_
se
t
_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
ool
a
ege
a
d
d
isl_constraint_get
_
bo
u
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoo
l
aege
a
dd isl_{
b
asic_,}map_may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
add i
s
l_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaeg
e
add isl
_
basic_set_exp
a
nd_di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
aeg
e
isl_polynomial
.
c:
m
o
v
e
m
e
rge_
d
ivs to
i
sl_local_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_local_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
i
s
l_dim_
s
ize: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
a
dd
i
sl_constraint_invol
v
e
s
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
isl_printer_print_qpolynomial: support pr
o
per i
s
l out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
a
d
d
isl_qpolynomial_align_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
er
d
ool
a
ege
a
d
d is
l
_map_ali
g
n_
p
arams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
e
x
p
o
r
t
isl_basic_set_remove_redundanci
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
V
erdoolaege
export isl_qpolynomia
l
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaeg
e
ex
p
ort isl_set_eli
m
i
n
ate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/div
.
h: drop dependen
c
e on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolaege
hide isl_
d
i
v
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Verdoolae
g
e
add isl
_
div
_
ge
t
_
ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
eg
e
a
dd isl_mat_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
d
oola
e
ge
doc: drop documentation fo
r
isl-polyli
b
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gmp flags to p
k
g-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
d
oolaege
explici
t
l
y
link in gmp in a
p
pli
c
ations
t
h
at refere
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
confi
g
ure
.
ac: don't de
p
e
n
d on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
S
v
en Ver
d
oolaege
is
l
_
pw_qpolynom
i
al_involves_dims: a
l
s
o
check whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_union_ma
p
_plain_i
s
_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
isl_map_in
t
erse
c
t_range:
a
dd spec
i
al case for i
n
t
ersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_vec_sor
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
r
doolaege
add isl_union_map
_
uni
v
erse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laege
rename *
_
fast_* functions t
o
*
_p
l
ain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n
Verdoo
l
a
eg
e
Merg
e
branch
'maint
'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
i
s
l_map_range: correctly handle maps
w
ith 0D d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
e
n
Verdoolaeg
e
i
sl_list
.
h: allow inclus
i
on f
r
om C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoolaege
i
s
l_tab_pip
:
do
n
't s
i
mplif
y
domain in isl
_
for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
a
dd i
s
l_
p
rinter_print
_
co
n
straint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoola
e
g
e
a
d
d isl_cons
t
raint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Verdoo
l
aeg
e
add isl_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
erdoolaege
rename isl_mat_du
m
p to isl_
m
at_print_i
n
te
r
n
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
ae
g
e
add isl_constraint_get_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en
V
erdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verd
o
olaege
isl_basi
c
_
map_affi
n
e_hull: fin
a
lize
re
s
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verd
o
olaege
data
f
l
o
w analys
i
s: don't depend on word size duri
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add i
s
l_uni
o
n_set_compute_sc
h
ed
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
rdoolaege
a
dd
isl_tab_bas
i
c_set
_
non_neg_lex
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_tab
_
basic_set_non_trivial
_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rdoolaege
isl_tab_p
i
p
.
c: add_lexmin_eq
:
return int instea
d
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
is
l
_
tab_pip
.
c: resto
r
e_lex
m
i
n
:
re
t
urn int in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
i
s
l_tab_pip
.
c: add some debu
g
ging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
isl_
t
ab_pip
.
c
:
f
ix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_quicksor
t
(copied from gl
i
b
c
)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
isl_printer_print_basic
_
set
:
also
print invalid basic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
a
d
d isl_un
i
on_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl
_
union_m
a
p_is_bijecti
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
add
i
s
l_
u
n
ion_map_is
_
sing
l
e
_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
ge
a
dd isl
_
mat_add_z
e
ro_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
sl_blk:
d
on
'
t reuse
o
v
erl
y
large blo
c
k
s
for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_
h
m
a
p_map_bas
i
c_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_union
_
map_copy_ma
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoola
e
ge
add isl_
u
nion_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoo
l
aege
a
d
d isl_
b
asic_
s
et_transform
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolaege
a
d
d isl_basic_set
_
o
ff
s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
r
doolaege
change isl_mat_sub
_
alloc
prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next