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
V
erdoolaege
isl_convex_h
u
ll
.
c:
remove unused
swap_in
e
q
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoola
e
ge
i
sl_arg
.
c: fix typo affecting argument
parsi
n
g when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
r
doo
l
aege
isl_tra
n
sitive_closure
.
c: rem
o
ve
u
nuse
d
var
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doola
e
ge
i
s
l_union_map
.
c
: remov
e
unuse
d
variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Ve
r
d
o
olaege
isl
_
tab
.
c: av
o
id w
a
rning about unhandled e
n
umeration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
t
a
b
.
c: remove unused v
a
riable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl
_
ta
b
_pip
.
c: remove unused variab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
erdo
o
la
e
ge
isl_r
e
ordering
.
c: remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
rdool
a
e
ge
isl_o
u
tpu
t
.
c: re
m
o
v
e
unused v
a
riabl
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_arg
.
c
:
remove unused
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaeg
e
isl_map
.
c remove un
u
sed isl_set_swap_v
a
rs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_map
.
c: remove
unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_ma
p
_subtract
.
c: remov
e
u
nuse
d
v
a
riables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
i
sl_morph
.
c
: remove unuse
d
variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Ver
d
oolaege
isl_
p
olynomial
.
c: remov
e
u
n
used vari
a
ble
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
i
s
l_input
.
c: remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
is
l
_berns
t
e
i
n
.
c:
remove
u
nused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
la
e
ge
isl_dim
.
c: avoid
w
arnings about unhandled en
u
meration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim_drop: fix bo
t
c
h
ed up rename of para
m
eter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
rdoolaege
bound
.
c: re
m
o
ve
un
u
s
e
d variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_local_sp
a
ce
.
c:
r
emove unu
s
ed variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
o
laege
isl
_
pw_temp
l
.
c: remove
unused label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_fo
l
d
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdoolaege
isl_uni
o
n_templ
.
c:
r
emove un
u
sed
v
ariables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
r
d
o
olaege
isl_fold
.
c:
r
em
o
ve unused vari
a
ble
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
a
d
d is
l
_b
a
sic_s
e
t_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
V
e
r
d
ool
a
ege
isl_qpolynomi
a
l_fr
o
m_aff: cre
a
t
e private copy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
ve
n
Ve
r
doolaege
isl_af
f
_expand_divs: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
e
rdoolaege
isl_aff_alloc: check that
a
l
l
divs are k
n
own
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n Verdoolaeg
e
add isl_loc
a
l_spa
c
e
_
di
v
s_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verd
o
olaege
Merge
b
ra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
o
laege
isl_qpolyn
o
mial_*
c
o
n
s
tru
c
t
o
r
s
: c
h
e
c
k
d
im
before accessi
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
Verdoolaege
a
d
d isl_qp
o
ly
n
omi
a
l
_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoo
l
aege
isl
_
qpo
l
yno
m
ial
_
inv
o
lve
s
_dims: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_po
l
y
n
omial
.
c: fix t
y
p
o
in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
S
ven Ver
d
oolae
g
e
add i
s
l_aff_ge
t
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven V
e
r
doolaege
isl_basic_map_
f
rom
_
local_space
:
don't fina
l
ize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verd
o
o
l
aege
a
d
d
i
sl_
s
et_add_constr
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ve
r
d
o
olaege
ad
d
isl_equality_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl
_
s
et_max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
ool
a
ege
a
dd isl_constraint_get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
a
ege
a
dd isl_
{
basic_,}map_may
_
be_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add isl_basic_set_
e
xpand_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ver
d
oolaege
isl_polynomial
.
c: move merg
e
_div
s
to is
l
_
local_space
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
add isl_loc
a
l_space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_dim_size
:
handle isl_di
m
_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_constraint_invo
l
v
e
s_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
isl_pr
i
nter_
p
rin
t
_
q
pol
y
nom
i
al:
support p
r
op
e
r i
s
l output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
o
l
aege
add
i
s
l_q
p
oly
n
omial_align
_
params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_map_a
l
ign_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
expor
t
is
l
_basi
c
_set_remo
v
e
_
redundanc
i
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
export
isl_q
p
olynomia
l
_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
e
xport
i
sl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
i
s
l
/div
.
h: drop
d
epen
d
ence on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
hide isl_div inter
n
a
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
a
dd isl_div
_
get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_mat
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc:
d
rop document
a
tion for isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoola
e
ge
add gmp flag
s
to pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
expl
i
cit
l
y link
i
n
g
mp in applications
that referen
c
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
conf
i
gure
.
ac
:
d
o
n
'
t
dep
e
nd
o
n
a
utomake
1
.
1
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven
Verdool
a
e
g
e
isl_pw_qp
o
lynomial_involve
s
_d
i
ms: als
o
check whether
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
add isl_union_map_plain_is_injectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
ool
a
ege
isl_m
a
p
_
i
ntersect_
r
ange: add special case
for intersecti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_v
e
c
_
s
ort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olaeg
e
add isl
_
u
n
ion_map_u
n
i
v
er
s
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
laege
rena
m
e *_f
a
st_* fu
n
cti
o
ns to *_plain
_
*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
Merg
e
br
a
nch
'
ma
i
nt'
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
o
o
laege
isl_
m
ap_range
:
correct
l
y handle maps with 0
D
domai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_list
.
h: all
o
w
inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl
_
tab_pip: d
o
n't
s
impl
i
f
y domain in
is
l
_for_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Verd
o
olaeg
e
add isl_printer_pri
n
t_const
r
aint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
rdoolaege
a
d
d
isl_constraint_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add isl
_
m
at_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
Verdoolaege
rena
m
e
i
sl_mat_dump to
isl_mat_print_intern
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
a
d
d i
s
l_con
s
t
r
aint_get
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
erd
o
ol
a
e
g
e
M
e
rge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdo
o
laege
isl_basic_map_affine_hull: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sv
e
n Verdo
o
laege
dataflow an
a
lys
i
s: don't depend on
wor
d
s
i
z
e du
r
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
ad
d
isl_unio
n
_set_compute_sched
u
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
e
g
e
add isl_t
a
b_basic_set_non
_
neg_lex
m
in
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoola
e
ge
add isl_tab_
b
asic_set_non_t
r
ivial_le
x
min
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
doolae
g
e
isl_
t
ab_pip
.
c
:
ad
d
_le
x
min_eq: return int instea
d
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
isl
_
tab_pip
.
c: r
e
store_lex
m
in: return int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
isl_tab_pip
.
c: a
d
d some debugging code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
o
l
aege
isl_ta
b
_pi
p
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
erdoolaege
add
i
sl_quicksort (
c
opied from
g
l
i
bc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_printer_print
_
ba
s
ic_set: also print inv
a
l
i
d basi
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoola
e
ge
ad
d
isl_uni
o
n_map
_
is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_union_m
a
p_is
_
bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaege
add isl_
u
nion
_
m
a
p_is
_
single_value
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_mat_add_zero_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aege
isl_blk: don't re
u
se overly large blocks
f
or smal
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_hmap_map_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
ad
d
isl_union_map_copy_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
a
d
d
i
s
l_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_basic
_
set_tr
a
nsform_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_basic_set_offset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaege
c
h
a
nge is
l
_mat_su
b
_alloc pro
t
oty
p
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next