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
mark some functions as (possibly) unused
2011-05-25
Sven Verd
o
olaege
mark some fun
c
tions as (po
s
s
ibly) unused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_polynomial
.
c: use flex array membe
r
t
o avoid arr
a
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
i
sl_ta
b
_
pip
.
c: r
e
m
o
ve unused co
n
text_lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_map
_
simpl
i
fy
.
c:
r
emove unused normalize_constr
a
ints_i
n
_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Ve
r
doolaege
isl_
m
ap_simpli
f
y
.
c: remove un
u
sed set_swap_inequali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Ve
r
doolaege
isl_convex_hull
.
c: remove unused set_pro
j
ect_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
i
sl_convex_
h
ull
.
c
: r
e
m
o
ve unus
e
d swap_in
e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolae
g
e
isl
_
ar
g
.
c
:
f
ix typo affecting argument
pa
r
sing
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
g
e
isl_transitive_closure
.
c: remov
e
unused var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
rd
o
olaeg
e
i
s
l_union_map
.
c: r
e
move
un
u
s
ed varia
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tab
.
c: avoi
d
warning ab
o
u
t unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_t
a
b
.
c: r
e
m
o
v
e
un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_ta
b
_pip
.
c
:
r
emove
u
nused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_reor
d
ering
.
c: remove unu
s
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_output
.
c
:
r
e
move unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
isl_arg
.
c: remove unused
variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
la
e
ge
isl_map
.
c
remove unused is
l
_s
e
t_s
w
ap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_map
.
c: remove un
u
sed variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
doola
e
g
e
isl_map_
s
u
b
tract
.
c:
re
m
ove u
n
used variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdo
o
la
e
ge
i
sl
_
morph
.
c
:
remove un
u
sed
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
lae
g
e
i
sl_po
l
ynom
i
al
.
c: rem
o
v
e unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_input
.
c: remove
u
nused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
r
doolaeg
e
isl_bernstei
n
.
c: r
e
move unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
isl_dim
.
c: avoid wa
r
n
in
g
s
a
bout unhan
d
l
ed enume
r
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim_
d
rop: fix botched up re
n
ame of p
a
rameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
bo
u
nd
.
c: remove unused
v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
o
o
l
a
e
g
e
isl_
l
ocal_sp
a
ce
.
c:
r
emove u
n
used va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
laege
isl_pw_templ
.
c
:
remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_f
o
ld
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolae
g
e
i
sl_union_templ
.
c: remove
unuse
d
varia
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoo
l
aege
isl_fo
l
d
.
c: r
e
move u
n
u
sed va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add
isl_basic_set_ma
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n
Verdoolaege
isl_qpolynomia
l
_fro
m
_aff: create private copy of divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoolaege
is
l
_aff_expand_divs: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
is
l
_a
f
f_
a
lloc: c
h
e
ck that
all divs are known
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Ver
d
oo
l
aege
add
isl_local_s
p
ace_di
v
s_
k
nown
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
Merge bra
n
ch '
m
ain
t
'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
isl_qpolynomial
_
* constructors: check dim bef
o
r
e
a
ccessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolae
g
e
a
d
d i
s
l
_qp
o
l
yno
m
ial_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en Verdo
o
l
aege
i
sl_qpo
l
ynomial_involves_dim
s
: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Verdoola
e
g
e
i
s
l
_polynomial
.
c: fix
t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
Verdoolaege
a
dd
isl_aff_
g
et_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoo
l
aege
isl_
b
asic_map_from_lo
c
al_s
p
ace: d
o
n
'
t
f
inalize r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolae
g
e
a
dd
i
sl
_
set_add_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oola
e
g
e
add isl_equality_f
r
om_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaeg
e
add
isl
_
set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdool
a
ege
add isl_co
n
straint_
g
et_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl
_
{basic_,}map_may_
b
e_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oolaege
add isl_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_basic_set_expand_d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoo
l
aege
isl_
p
o
l
ynomial
.
c: move
me
r
ge_d
i
vs to isl_l
o
cal_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl_local_spac
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
is
l
_
dim
_
size: handle isl_di
m
_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Ve
r
doolaege
a
d
d isl
_
constraint_in
v
olves_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
is
l
_printer_print
_
q
pol
y
n
omial:
support proper is
l
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoola
e
ge
add isl_qpolynomial
_
ali
g
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdool
a
ege
add
i
s
l_map
_
al
i
gn_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
ex
p
ort
isl
_
basic_set_remove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
d
o
olaege
e
x
port isl_
q
polynomial_
g
i
st
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
e
xport isl_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
isl/di
v
.
h
:
d
r
o
p dep
e
ndence on isl/se
t
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
hide i
s
l_div in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoo
l
aeg
e
ad
d
i
s
l
_
div_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
rdoolaege
add isl_mat_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
r
d
oo
l
ae
g
e
doc
:
drop doc
u
mentatio
n
for isl-polyli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verd
o
olaege
add gmp flags to pkg-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
expli
c
itly l
i
nk in gmp in appli
c
a
t
i
o
ns that reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verdoolaege
c
o
nfigure
.
ac: don't depend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven
V
e
rdo
o
laege
isl_pw_qpolynomial_
i
n
volves_dims: also
c
he
c
k whethe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
add isl_union_map_plai
n
_is_injecti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verd
o
olaege
isl_
m
ap_in
t
ersec
t
_range: ad
d
special
c
ase for int
e
rsection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
ool
a
ege
add isl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n
Verdo
o
laege
add isl_union
_
map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaeg
e
r
e
name *_fast_* functions to *_plain
_
*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
i
sl_map
_
ra
n
ge: corr
e
ctly handle maps with 0D
d
omains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sve
n
V
erdoola
e
ge
i
s
l_list
.
h: allow i
n
clusion
f
rom C+
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoola
e
ge
isl
_
tab_pip
:
don't
simplify domain in is
l
_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ver
d
o
o
laege
a
d
d
i
s
l
_p
r
i
nter_print_constra
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Ver
d
oolaeg
e
add i
s
l_
c
onstraint_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoo
l
aege
add isl_
m
at_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
l
a
ege
rename i
s
l
_mat
_
dump to isl_mat_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
ool
a
e
g
e
add isl_co
n
straint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n
V
er
d
o
o
laege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
e
rdoolaege
isl
_
basic_map_affine_hull: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bi
a
s Grosser
Remove recently added unused va
r
iable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bias G
r
osser
Add
ext
e
rn C dec
l
ar
a
tion
t
o schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
S
v
en Verdoolaege
da
t
a
f
low
anal
y
sis:
don't
d
epend on word size
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_set_
c
ompute_sc
h
edule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oo
l
aege
a
d
d isl_tab_ba
s
ic_
s
e
t
_non_neg_le
x
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oola
e
ge
add is
l
_tab_
b
asic
_
se
t
_non_t
r
ivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
isl_tab_pip
.
c: add_lexm
i
n
_eq:
r
eturn i
n
t
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaege
i
s
l_tab
_
pip
.
c:
restore_
l
exmin
:
return
int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aeg
e
i
s
l
_tab_pi
p
.
c:
add some debugging co
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
isl
_
t
a
b_pip
.
c
: fix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add is
l
_quick
s
ort (copie
d
from gl
i
bc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
o
laege
isl_pri
n
ter_print_basic_s
e
t
:
also
p
ri
n
t in
v
ali
d
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaeg
e
a
dd isl_union
_
map_is_
i
n
jective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_u
n
i
on_map_i
s
_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_union_map_is_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next