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_union_map.c: remove unused variables
2011-05-25
Sven V
e
rdool
a
ege
isl_union_map
.
c:
remove unused variable
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolae
g
e
isl_t
a
b
.
c:
avoid wa
r
ning a
b
out u
n
han
d
led enumeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoo
l
aege
is
l
_tab
.
c
: remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
i
s
l_tab_pip
.
c:
remove
unused var
i
ables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
i
s
l_reo
r
dering
.
c
:
remove unused
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl
_
output
.
c
:
r
e
move unused var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_arg
.
c
:
rem
o
ve
unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_map
.
c remove
u
n
u
se
d
isl_set_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_map
.
c
:
remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
eg
e
isl_map_
s
ubtract
.
c: rem
o
v
e unused varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoo
l
aeg
e
isl_morp
h
.
c: remove u
n
used
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_pol
y
nomial
.
c: re
m
ov
e
unused
v
ariables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verd
o
olaege
isl_input
.
c
:
r
e
m
o
ve
u
n
used va
r
iables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl
_
b
ernste
i
n
.
c: remove unus
e
d vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
V
e
rdoolaege
isl_di
m
.
c: avoid warnings about unh
a
ndled enumerat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
l
aege
isl_dim_drop: fix
botched
u
p
rename of
p
arameter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c: remove unuse
d
var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdoolaege
isl_local_space
.
c: r
e
m
o
ve unused varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
do
o
laege
is
l
_pw_templ
.
c:
r
emove unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verd
o
olaege
isl_
f
old
.
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
is
l
_union
_
templ
.
c:
r
emove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_
f
old
.
c: rem
o
v
e unused
v
a
r
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Ver
d
o
o
laege
ad
d
isl_basic
_
set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
is
l
_q
p
olynomial_from_aff:
c
reate p
r
i
va
t
e
copy of di
v
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_aff_ex
p
a
nd_d
i
vs: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
s
l_aff_alloc: check that all
d
ivs are kn
o
wn
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
add
i
sl_loca
l
_spac
e
_divs_kno
w
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
Merge branch
'
maint
'
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
o
olaeg
e
is
l
_qp
o
l
y
nomial_* constructors: check dim bef
o
re accessin
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
V
e
rdoo
l
ae
g
e
add i
s
l_qpolynomial_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl
_
qpolynomial_in
v
olves_dims: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_polyno
m
ial
.
c:
f
ix t
y
p
o in
c
o
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en
Verdoolaege
add i
s
l_aff_
g
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
S
ven Verd
o
olaege
isl_basic_map_from_local_space: don't finalize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
lae
g
e
add isl_set_add_cons
t
raint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ver
d
oolaege
add i
s
l_equality_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_set_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
d
d isl_c
o
nstraint_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
s
l_{basic_,}map_may_be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
V
e
rdo
o
laege
ad
d
isl_a
f
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaeg
e
add i
s
l_basic_set_exp
a
nd_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Ver
d
o
o
lae
g
e
isl
_
polynomial
.
c: move merge_d
i
vs to isl_local
_
space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add
i
sl_lo
c
al_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
isl
_
d
i
m_si
z
e: handl
e
isl_dim_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl_
c
onstraint_inv
o
lves_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ve
r
doola
e
ge
isl_
p
r
i
n
te
r
_print_qpolynomi
a
l: support prope
r
isl output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oo
l
aege
add isl_qpolynomial_align_
p
a
r
ams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
add
isl_map_alig
n
_para
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
export isl_
b
asic_set_remove_redundancies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ex
p
or
t
isl
_
qpolynomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdoolaege
exp
o
rt
i
s
l_set_
e
l
iminat
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ve
r
do
o
l
a
e
g
e
i
sl/d
i
v
.
h:
d
rop dependence on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
hide i
s
l_div internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
V
e
rdo
o
laege
add isl_div_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdoolae
g
e
a
dd isl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolae
g
e
d
oc
:
d
rop doc
u
mentatio
n
for isl-pol
y
lib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Ver
d
o
o
la
e
ge
add gmp flags
t
o pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verdoolaege
exp
l
ic
i
tly li
n
k in
gmp
in
a
p
plicatio
n
s tha
t
refere
n
ce
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
configure
.
ac: don't depend
on automake 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
S
v
e
n Ver
d
ool
a
e
ge
is
l
_pw_qpoly
n
omial_involves_di
m
s:
a
lso check whet
h
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
add is
l
_unio
n
_m
a
p_
p
lain_is_inject
i
v
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaeg
e
isl_map_intersect_range: add s
p
ecial case for intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdool
a
e
g
e
a
dd isl_vec_sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add is
l
_
u
nio
n
_
map_univer
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
rename *_fast_*
f
unc
t
io
n
s to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_
m
ap_ra
n
ge:
c
orrectly han
d
le
m
aps with 0D do
m
ains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Ver
d
oolae
g
e
isl_list
.
h: allow inclusion from
C
++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven V
e
rdoola
e
ge
isl_tab_pip: don't s
i
m
pl
i
fy domain i
n
isl_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
e
r
doolae
g
e
ad
d
isl_pr
i
nt
e
r_print
_
con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
rdoolaege
ad
d
isl_co
n
strain
t
_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
a
dd isl_mat
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaeg
e
rena
m
e is
l
_mat_dump to i
s
l_mat_pr
i
nt
_
i
n
ternal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdo
o
l
a
ege
add isl
_
const
r
aint_
g
et_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Ve
r
d
o
olaege
Merge branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sven Ver
d
oolaege
isl_basic_map
_
affine_hull: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
S
v
e
n Ve
r
doolaege
datafl
o
w an
a
lysis:
don
'
t depend o
n
word size
d
uring
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_unio
n
_set_compute
_
sche
d
ule
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
doolaege
a
dd
i
sl_tab_basic_set_no
n
_
neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab_
b
asic_set_non_trivi
a
l_lex
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
isl_tab_pip
.
c: a
d
d_l
e
x
m
i
n
_
eq: retu
r
n
i
nt instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaeg
e
isl_ta
b
_pip
.
c: restore_lexmin: return i
n
t instead
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c: add some debug
g
ing code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en V
e
r
doola
e
ge
is
l
_tab_pip
.
c: fi
x
typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
add
isl
_
qui
c
ksort (cop
i
ed fr
o
m
glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oolaeg
e
i
s
l_prin
t
er_print_bas
i
c_
s
e
t
: also pri
n
t inval
i
d
b
a
sic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_
u
n
i
on_map_i
s
_
i
nj
e
ctive
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd
i
sl_unio
n
_map_is_bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl_union_m
a
p
_
is_s
i
ngle_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
a
dd isl_mat_
a
dd_
z
e
r
o_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rdoolaeg
e
isl_blk: don't re
u
se ov
e
rly l
a
rge blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_hmap_map_
b
asic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
Verd
o
olaege
ad
d
isl_union_ma
p
_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
erdoolaege
a
d
d isl_
u
nion_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolae
g
e
add isl_basic_set_tra
n
s
f
orm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaeg
e
c
h
a
n
ge isl_mat_sub_alloc
p
rotot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make isl_mat_sub_* functions
p
rivate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
a
dd
isl_vec_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
laege
a
d
d
isl
_
m
a
t_initial_non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next