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
Merge branch 'maint'
2011-06-04
Sven
V
erdoolaege
add *_l
i
st_get
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
add *list_copy
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven V
e
rdoolaege
g
e
nerali
z
e
is
l
_
basic_set_list to
g
e
n
e
ric lists
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-06-04
Sven
V
erdool
a
ege
isl
_
unio
n
_map_range_pro
d
uct: only consider pairs of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-04
Sv
e
n
V
erdoola
e
ge
is
l
_mat_scale_down: avoi
d
tr
a
mpli
n
g o
v
er aliase
d
mat
r
ices
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
S
ven Verdoolaege
add isl_aff_s
c
ale and isl_aff_scale_down
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdool
a
ege
add isl_aff_
a
d
d
and i
s
l
_
aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add i
s
l_inequalit
y
_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdool
a
ege
add
isl_
s
e
q
_addmul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaeg
e
isl_
v
ert
i
ces
.
c
: avoid use of u
n
it
i
a
l
ize
d
var
i
a
bles
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
transitive_closure
.
c:
a
void
u
s
e of an unitialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
o
laege
isl_polynomial
.
c: avoid use of an unitia
l
ized variabl
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
autogen
.
sh: replace by c
a
ll to autoreco
n
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolae
g
e
confi
g
ure
.
ac: use no
n
-deprecated form of AM_INIT_AUTOM
A
KE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaeg
e
isl_f
o
ld
.
c: avo
i
d warning abou
t
c
o
ntrol
r
ea
c
hing end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
mark some functions
as (possi
b
ly) unused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_po
l
ynomial
.
c:
u
se
f
lex array member to avoid ar
r
ay
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdool
a
ege
isl_tab_pip
.
c:
r
emove unused context
_
lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
map_
s
implify
.
c
:
remove unused norma
l
ize_constr
a
ints_in
_
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaeg
e
is
l
_map_si
m
plify
.
c: remove u
n
u
s
ed
s
et_swap_inequalit
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_convex_hull
.
c
: remo
v
e unuse
d
set_project_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
rdoola
e
g
e
i
sl_conve
x
_hull
.
c: re
m
ove u
n
used swap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
isl_arg
.
c: fix typ
o
affe
c
ting argument
parsing
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_transitive_closure
.
c: remo
v
e unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
i
s
l_union_ma
p
.
c: r
e
m
o
ve unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_tab
.
c
: avoid warni
n
g abou
t
unhandled enumerat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Ver
d
oo
l
aege
i
s
l_
t
a
b
.
c: r
e
move un
u
sed v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoo
l
a
e
ge
isl_tab
_
pi
p
.
c: remov
e
unuse
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
l
aege
i
s
l_
r
e
o
r
d
ering
.
c: r
e
move
unused varia
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_output
.
c: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
isl_arg
.
c: remove un
u
sed v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
olaege
isl_map
.
c remove unus
e
d isl_se
t
_swap_va
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map
.
c: remov
e
unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
i
s
l_map_subtract
.
c: remo
v
e unused
v
ariables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
oolaege
isl_morph
.
c: remov
e
unused v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_polyn
o
mial
.
c: remove
unu
s
e
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aeg
e
i
s
l_input
.
c: remov
e
u
nused va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_be
r
nst
e
in
.
c:
r
emove
u
nused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdool
a
ege
isl_dim
.
c:
avoid war
n
in
g
s
about unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ver
d
oolaege
isl
_
dim
_
d
rop: f
i
x botched up
r
ename
o
f parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c: remove unused
v
ar
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_l
o
cal_space
.
c:
r
emove
u
n
used variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoo
l
aege
isl_
p
w_tem
p
l
.
c:
r
emove
unused la
b
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_fold
.
c:
f
i
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
olaege
isl_union_templ
.
c: remove
u
nused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_fol
d
.
c: remove u
n
u
s
ed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
add isl_basic_se
t
_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n
Verdoo
l
aege
isl_qp
o
lyno
m
i
al_fr
o
m_aff: create private copy of divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_aff_expand_di
v
s: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
ven
Verd
o
ol
a
eg
e
isl_aff_alloc: che
c
k th
a
t all divs ar
e
k
nown
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add i
s
l
_local_spa
c
e
_
d
i
v
s_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdo
o
lae
g
e
Merge bra
n
ch 'mai
n
t
'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_q
p
olynomial
_
*
c
onstru
c
tors: check dim
b
ef
o
r
e accessin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven V
e
rdoolaege
a
dd isl
_
q
polynomial_
f
ro
m
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en
Verdo
o
laege
i
sl_qpolynomial
_
inv
o
lves_dims
:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_pol
y
nomial
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Verdoolae
g
e
add isl_aff_get_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
S
ven Verdoolaege
isl_basic_
m
a
p
_from_local_space: don't finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add
i
sl_set
_
add_
c
onstrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add isl_
e
q
u
a
l
ity_from_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdool
a
ege
add isl_constr
a
i
nt_g
e
t_bo
u
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdoolaege
add isl_{b
a
sic_,}ma
p
_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oolaege
add isl
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven V
e
rdoolaege
add is
l
_basic_set_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
isl_polyno
m
ial
.
c: move merge_divs to isl_local_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verd
o
olaeg
e
add i
s
l_local_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
isl_
d
im_size: handle isl
_
dim_a
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaeg
e
add isl_constraint_inv
o
lves_d
i
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ve
r
doolaege
i
s
l_
p
ri
n
ter_print_qpol
y
nomial:
s
upport proper i
s
l output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdo
o
lae
g
e
add isl_qpolynomial_align_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdool
a
e
ge
a
d
d
i
sl_map_al
i
gn_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
expor
t
isl_basic_set_remove_re
d
undanci
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
ol
a
e
ge
e
x
por
t
is
l
_q
p
oly
n
om
i
al
_
gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
export isl_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdool
a
ege
i
s
l
/
d
iv
.
h
:
drop depend
e
nce on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
olaege
hide isl_d
i
v
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
add
isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoo
l
a
e
ge
add isl_mat_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
ege
doc: drop do
c
u
me
n
tation for isl-pol
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
ge
ad
d
gmp flags to pkg
-
c
o
n
fi
g
fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdool
a
ege
expl
i
cit
l
y
link in gmp
in a
p
plic
a
t
i
o
n
s
t
hat reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
confi
g
ure
.
ac
:
d
on't depend on
a
u
t
o
m
a
k
e
1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven
V
erd
o
olae
g
e
isl_pw_qpol
y
nomi
a
l_involves_dims: also check wh
e
the
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
e
g
e
ad
d
isl_union_
m
a
p_p
l
a
i
n_is_inj
e
c
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl
_
map_inters
e
ct_ran
g
e: add
s
pec
i
al
c
ase f
o
r
i
ntersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
a
d
d is
l
_
vec_s
o
rt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add is
l
_union_map_univ
e
rse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoola
e
ge
rename
*
_fast_* functio
n
s to *_
p
lain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n Verdoolaege
M
er
g
e br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_ra
n
ge: co
r
r
ectly handle maps w
i
th 0D domain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdo
o
laeg
e
i
sl_li
s
t
.
h: allow inclusio
n
from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ve
r
doolaege
isl_tab_p
i
p:
d
o
n
'
t
simplif
y
domai
n
in i
s
l_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erd
o
olaege
add
i
sl_printer_prin
t
_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
ven Ver
d
o
o
laege
a
d
d isl_cons
t
raint_get_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Verdoolaege
add isl
_
mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en V
e
r
dool
a
ege
renam
e
i
s
l_mat_dump to
isl_mat_p
r
i
nt_inte
r
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verdoo
l
a
eg
e
add i
s
l_constraint_ge
t
_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
next