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
add isl_aff_add and isl_aff_sub
2011-06-02
Sven Verdoolaege
add isl_aff
_
add and
i
sl_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
S
v
en
V
erdoolae
g
e
add is
l
_inequa
l
ity_fro
m
_
af
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
erdoolaege
a
d
d isl_seq_
a
ddmul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_v
e
r
t
ices
.
c: avoid use of unitialized variabl
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Ver
d
oolaege
isl_transiti
v
e_closure
.
c:
avoid use of an
u
nitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
g
e
isl_polynomi
a
l
.
c: a
v
oid use of a
n
u
n
itial
i
zed varia
b
l
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoola
e
ge
autogen
.
s
h
: replace by call t
o
autoreconf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
oolaege
conf
i
gure
.
ac:
u
se no
n
-dep
r
ecated for
m
of AM_I
N
IT_AUTOMAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaeg
e
is
l
_
fol
d
.
c
:
avoid warning
about co
n
trol reaching
e
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
doolaege
m
a
r
k som
e
f
u
nct
i
o
n
s
as
(
possibly) unused
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
i
s
l
_pol
y
no
m
ial
.
c: use fle
x
array member to av
o
id array
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
tab_pip
.
c: remo
v
e
unused context_lex_
e
x
t
end
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaeg
e
isl_m
a
p
_simplify
.
c
: re
m
o
ve unused normal
i
ze_constraints_i
n
_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaege
i
s
l_map_
s
impli
f
y
.
c:
r
emo
v
e u
n
used se
t
_swap_ineq
u
ality
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
d
o
olaege
isl_convex_hull
.
c: rem
o
ve
u
nused set_
p
roject_
o
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
i
s
l_conv
e
x
_
hull
.
c: remove unused swap_
i
neq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
i
s
l_arg
.
c: fix typo a
f
fecting argument pars
i
n
g
when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
rdoola
e
ge
i
s
l
_tr
a
nsit
i
ve_
c
losure
.
c: remov
e
unused
var
i
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
doolaeg
e
i
s
l_union_map
.
c: rem
o
ve
u
nused var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
dool
a
e
ge
i
s
l_tab
.
c: avoi
d
warning about unhandled en
u
m
e
ra
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
lae
g
e
isl_
t
ab
.
c
: remove un
u
sed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
tab_pip
.
c: rem
o
ve unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_reorde
r
ing
.
c
:
remo
v
e unused
vari
a
bles
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_output
.
c: remove unu
s
e
d var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
is
l
_
a
r
g
.
c: remove unus
e
d vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Verdo
o
laege
i
s
l_map
.
c
r
e
move unused isl_set_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoo
l
aege
isl_map
.
c: remove unused variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdo
o
l
a
ege
isl_m
a
p
_subtract
.
c: remove
unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_morp
h
.
c: r
e
m
o
ve unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
is
l
_po
l
yn
o
mial
.
c: remov
e
unus
e
d variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_input
.
c: remove u
n
used variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
erd
o
olaege
isl_be
r
nstein
.
c
:
remove unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdo
o
laege
isl_di
m
.
c
:
avoid warnings
a
bout u
n
h
a
ndled enu
m
eration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_dim
_
drop:
fix botched up r
e
name of par
a
meter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdool
a
ege
bound
.
c:
re
m
o
ve u
n
us
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdool
a
ege
isl_loc
a
l_space
.
c
: remove
unused
vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_pw_templ
.
c: remove unus
e
d
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
is
l
_fold
.
c:
fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
i
s
l_union_temp
l
.
c: r
e
m
ov
e
unused va
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_f
o
ld
.
c: remove u
n
used variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven
V
erdoo
l
aege
add isl_basic_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaeg
e
isl_qpo
l
ynomial
_
from_aff: create private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolaege
i
s
l_a
f
f_e
x
pand_divs:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoo
l
aege
isl_aff
_
alloc:
c
h
e
ck th
a
t a
l
l divs are known
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdo
o
laege
add isl_local_spac
e
_divs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
Me
r
ge bra
n
c
h 'maint'
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n Verdoolaeg
e
isl_qpoly
n
omial_* constr
u
ctors:
ch
e
ck dim be
f
o
r
e accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add
isl_qpolynomi
a
l
_
from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Verdoolaege
i
s
l_qpo
l
ynomial_involves_di
m
s
:
f
ix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
i
sl_pol
y
nomial
.
c: fix typo in
c
o
mm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en V
e
rdool
a
ege
add isl
_
a
f
f_get_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdoolaege
i
s
l_basic_ma
p
_fro
m
_l
o
cal_spa
c
e:
d
on't
f
ina
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doo
l
aege
add isl
_
set_add_c
o
nstra
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdool
a
eg
e
add isl_e
q
ual
i
ty_from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n V
e
rdoola
e
ge
add isl
_
set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoo
l
aege
add is
l
_
c
onstraint_get_boun
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add isl_{bas
i
c_,}map_may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
ad
d
isl
_
aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en V
e
r
dool
a
ege
add isl_basic_set_
e
xpand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
is
l
_polynomial
.
c
:
mov
e
merge_divs to isl_loca
l
_spac
e
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
r
doolaege
add isl_local_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolae
g
e
i
s
l_dim_size: handle isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add isl_co
n
straint_invol
v
e
s
_d
i
ms
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
o
o
l
aege
isl
_
printer_print_qp
o
ly
n
omial: support prope
r
i
s
l output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolaege
add isl_qpolynomial_
a
l
i
gn_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
olaege
a
d
d isl_map_al
i
gn_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
expo
r
t
isl_basic
_
set_remo
v
e_redund
a
n
cies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
e
g
e
export i
s
l_qpolynomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaeg
e
exp
o
rt isl_set_eli
m
inate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoola
e
ge
isl/div
.
h:
d
rop de
p
endence on isl/s
e
t
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
hide
i
sl_div inter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
er
d
ool
a
e
g
e
add isl_div_
g
et_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add
isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
d
oc:
drop documenta
t
ion f
o
r
isl-poly
l
ib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verdoolaege
add gmp flags to pkg-config fil
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdoolaege
explicitly
l
i
nk in gmp
i
n
applica
t
ions that reference
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
configure
.
ac: do
n
't depend
o
n automake
1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven V
e
rdoolaege
i
s
l_pw_
q
polynomial
_
involv
e
s_dims:
a
l
s
o c
h
eck whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdo
o
laege
add
isl_un
i
o
n_map_plai
n
_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaeg
e
i
s
l_map_int
e
rsec
t
_r
a
n
g
e: add sp
e
cial case for intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
o
o
laeg
e
add isl_vec_
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
V
erdoolaege
add is
l
_
u
nio
n
_
map_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaeg
e
rename *_fast_* fu
n
ctions to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n
Verdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_r
a
nge
:
correctly h
a
nd
l
e maps with 0D domains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoola
e
ge
i
s
l_list
.
h
:
a
llow
i
n
clusion
f
rom
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdool
a
eg
e
isl_tab_p
i
p: do
n
't
s
i
m
plify
do
m
ain in isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
S
v
en Ver
d
oolae
g
e
add
isl
_
p
r
i
nter_
p
rint
_
constrai
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl_c
o
nst
r
aint_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ver
d
ool
a
ege
add isl_mat_d
u
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
r
ename isl_mat_dump to isl_mat_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
a
d
d isl
_
co
n
straint_get_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdo
o
laege
Mer
g
e branch
'
maint'
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoolaege
isl_basic
_
map_affi
n
e
_
h
ull: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven
Verdoo
l
aeg
e
dataflow
analysis: don't depend o
n
wo
r
d siz
e
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add
i
sl_union_set_compute_sched
u
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaeg
e
add i
s
l_tab_basic
_
set
_
non_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
a
d
d isl_t
a
b_
b
a
sic_set_non_
t
rivial_lexmi
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl_t
a
b
_pip
.
c: add_
l
exmin_eq: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_tab_pip
.
c: r
e
store_lexmin:
r
e
turn int ins
t
ead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next