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 *_list_foreach
2011-06-04
S
v
en Verdoolaege
add
*
_list_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
add *_list_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven
Verd
o
olaege
ad
d
*list_
c
op
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
S
v
en Ve
r
d
oola
e
ge
generalize isl_
b
asic_set_list to generic lis
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
M
e
r
g
e b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-06-04
Sv
e
n Verdoolaege
i
s
l
_uni
o
n_m
a
p
_range_product: only consid
e
r pa
i
rs
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-04
Sven Verdoolaege
isl_m
a
t_scale_down:
a
void
t
ramplin
g
over aliased matrices
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoola
e
ge
add is
l
_
a
ff_scale and isl_aff_scale_down
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Ver
d
oolaege
add i
s
l_
a
ff_ad
d
and is
l
_aff_sub
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven
Ve
r
d
o
olaege
add isl
_
inequality_from_
a
ff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaeg
e
add
i
sl_seq_
a
d
d
mul
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
i
sl_vert
i
ces
.
c:
a
void use of
u
nitia
l
ize
d
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
i
sl_
t
ransit
i
ve_closu
r
e
.
c: avoid
u
se
o
f an unitialized
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
o
o
laege
isl_polynom
i
al
.
c: avoid use of
a
n unitialized
variable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
autogen
.
sh: re
p
lace by
call to auto
r
econf
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
conf
i
gure
.
ac: u
s
e non-deprecated fo
r
m of
A
M_INIT_AUT
O
MAKE
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_fold
.
c: av
o
id
w
arning about c
o
ntrol
reaching
e
nd
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
mar
k
some functions as (po
s
si
b
ly) unused
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
r
doolaege
isl_polynomial
.
c
: use flex
arr
a
y
m
ember to avoi
d
a
rr
a
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_tab_pip
.
c:
re
m
ove unu
s
ed context_lex_e
x
tend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
dool
a
ege
isl_map_simplify
.
c: remove unuse
d
normalize_constraints_in_c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map_
s
implify
.
c:
r
emove unus
e
d s
e
t_swap_inequal
i
t
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
lae
g
e
isl_convex
_
h
u
ll
.
c: remove unus
e
d set_p
r
oject_out
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdoo
l
aege
i
s
l_c
o
nvex_hull
.
c: remove unused s
w
a
p
_
ineq
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
r
doolaege
isl_
a
rg
.
c: fi
x
typo affecting argument parsing when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_tr
a
nsiti
v
e_closur
e
.
c:
r
emove unu
s
ed varia
b
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
is
l
_union_map
.
c: remove un
u
sed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
l
a
e
ge
i
s
l
_ta
b
.
c: avoid warning ab
o
ut unhandled enumerati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_
t
ab
.
c: remove unused va
r
iable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_tab_pip
.
c: re
m
ove
u
nused variab
l
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_reor
d
ering
.
c: remove unu
s
ed variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_output
.
c: remo
v
e u
n
used variab
l
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_arg
.
c: remove unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_
m
ap
.
c remove unuse
d
isl_set_
s
wap_var
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erd
o
olaege
isl_map
.
c
:
r
emo
v
e unuse
d
v
a
riables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl
_
map_subtract
.
c: remove unused variables
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolae
g
e
isl_morph
.
c: remove unused
v
ar
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n V
e
rdoolaege
is
l
_polynomial
.
c: remove unus
e
d variab
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_in
p
u
t
.
c: remove un
u
sed varia
b
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdool
a
ege
isl_bernstei
n
.
c: remov
e
unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_dim
.
c: avoi
d
warning
s
a
bout un
h
andled en
u
m
e
ration
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoolaege
isl_dim_dr
o
p:
f
ix b
o
tch
e
d
up rena
m
e
o
f paramet
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c: re
m
o
ve unused
v
ariable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
i
s
l_loc
a
l_space
.
c
:
re
m
o
v
e unused va
r
i
able
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
r
doolaege
i
sl_pw_templ
.
c
:
rem
o
v
e unused l
a
bel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoola
e
ge
isl
_
fold
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdool
a
e
ge
isl_u
n
i
o
n_templ
.
c: remove unused variabl
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_fold
.
c
:
re
m
ove
unused variable
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
S
v
en Verdoola
e
g
e
a
d
d isl_basi
c
_set
_
max
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n
V
erdoolaege
isl_qpolynomial_fr
o
m_aff
:
create pr
i
v
a
te
c
opy of divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n
Verdool
a
ege
isl_aff_exp
a
nd_divs: f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
r
d
oolaege
isl_aff_alloc:
check that all
divs ar
e
known
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
doolaege
add isl_local_space_divs_known
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdo
o
lae
g
e
M
e
rge
b
r
a
nch
'
maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verd
o
olaege
isl_
q
p
ol
y
nomial_* cons
t
r
uctors: check dim before accessing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolae
g
e
a
dd i
s
l_qpolynomia
l
_from_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_qpolynomial_involves_dims:
f
ix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl
_
polynomi
a
l
.
c:
f
ix ty
p
o in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
erdoolaege
add isl_aff_get
_
d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-17
Sven V
e
rdo
o
lae
g
e
i
s
l
_b
a
sic_
m
ap_from
_
local_sp
a
ce: don't fina
l
ize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
a
d
d
isl_set_add_con
s
t
r
a
int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
ege
a
d
d isl_equality_f
r
om_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
r
d
oolaege
a
dd isl_set_ma
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ver
d
oolae
g
e
add isl_constraint
_
get_bound
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoo
l
aege
add i
s
l_{basic_,
}
map_m
a
y_
b
e_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verd
o
o
laege
a
d
d
i
s
l
_aff
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoo
l
aeg
e
a
d
d isl_b
a
sic_set_expand_div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
isl_p
o
l
yno
m
ial
.
c: move merge_divs to isl_
l
ocal_s
p
ace
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaeg
e
add isl_local
_
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_dim
_
size: handle
i
sl_d
i
m_all
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
r
doolaege
add
isl
_
constrai
n
t_involves
_
dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
is
l
_printer_print_qpolyn
o
mia
l
: support proper isl output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Verdoolaeg
e
ad
d
isl_qpolyn
o
mial_
a
l
i
g
n_params
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ver
d
oolaege
add isl_map_a
l
ign
_
p
a
rams
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
l
aege
export is
l
_basic_se
t
_remove_redund
a
n
cies
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolae
g
e
ex
p
ort is
l
_qpolynomial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
e
x
p
ort isl_set_e
l
iminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdool
a
ege
isl/d
i
v
.
h: drop depen
d
enc
e
on isl/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
do
o
l
a
ege
hide isl_div
i
nt
e
rnals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_d
i
v_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Verdo
o
laege
add isl_m
a
t_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop do
c
umentation f
o
r isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
l
aege
add gm
p
f
l
ags
to pkg-config file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
expli
c
itly link in gmp
in app
l
ications tha
t
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
o
n
aut
o
make 1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
S
ven Verdoolaege
i
sl_pw_qpolynomial
_
i
nvolv
e
s_dims: a
l
so check w
h
e
t
her
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
a
d
d
isl_union_map_pl
a
in_
i
s
_
injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
e
n Verdo
o
laege
is
l
_ma
p
_
int
e
rsect_range:
add sp
e
c
ial case for intersection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdo
o
l
a
ege
add isl_vec_s
o
rt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
ve
n
Ver
d
oola
e
ge
add
isl_unio
n
_
m
ap
_
universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaeg
e
re
n
ame *_f
a
s
t
_
* fun
c
t
i
o
ns to *_plain_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaege
M
e
r
ge
br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
i
s
l_map_range:
c
o
rrectly handle maps with
0
D
d
omains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en
V
erdoolaege
isl_list
.
h: a
l
low inclusion fro
m
C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en
Ver
d
oolaege
isl_tab_pip:
d
on't simpl
i
fy domain in isl_
f
o
r
_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdo
o
l
a
ege
add isl_
p
rint
e
r_print_constraint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoola
e
ge
add isl_constraint_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
o
olaege
ad
d
isl_mat_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ve
r
d
o
o
l
aege
rename isl_ma
t
_
dump
to isl_m
a
t_pri
n
t_in
t
ernal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
ven
Ver
d
oolaege
add isl_constraint_get_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
