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_inequality_from_aff
2011-06-02
Sven Verdoolaeg
e
add isl_inequality_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdo
o
laege
add isl_seq
_
addmul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolae
g
e
i
sl_vert
i
c
e
s
.
c: avoi
d
us
e
of unitia
l
ized
variab
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
o
laege
isl_t
r
ansitive_closure
.
c: avoid use of an
u
nitializ
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoo
l
aege
isl_polynomial
.
c:
a
void use of an uniti
a
l
ized variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ver
d
ool
a
e
g
e
a
utogen
.
s
h
: replace
b
y call to autorec
o
nf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
l
a
ege
configure
.
a
c
: use non-depreca
t
ed
form
of AM_I
N
I
T_AUTOMA
K
E
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_fold
.
c:
avoid war
n
i
ng about control r
e
a
ching end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
m
a
rk some f
u
n
ctions as (poss
i
b
ly)
u
nus
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaege
isl_polynomi
a
l
.
c: use
f
lex a
r
ray m
e
mber t
o
avoid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdool
a
ege
isl
_
tab_pip
.
c:
remove unus
e
d
c
ontext_lex_e
x
tend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
oo
l
aege
isl_map_simplif
y
.
c
: r
e
m
o
ve
unused nor
m
aliz
e
_constrain
t
s_in_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
d
oolae
g
e
isl_
m
ap_simpl
i
f
y
.
c: remove unused set_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
erdool
a
ege
isl_co
n
vex_hul
l
.
c: remove u
n
u
sed set
_
project_ou
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en V
e
rdoolaeg
e
isl_convex_hu
l
l
.
c: remove unused sw
a
p_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_arg
.
c: fix typo affecti
n
g arg
u
ment pars
i
ng wh
e
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl_transitive_closure
.
c
:
remove u
n
used va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_unio
n
_map
.
c: rem
o
ve u
n
used variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_tab
.
c: av
o
id w
a
r
n
in
g
ab
o
ut u
n
h
a
n
dled enu
m
eration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Ve
r
doolaege
i
sl_tab
.
c: re
m
ove unus
e
d varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
eg
e
isl_tab_p
i
p
.
c: remov
e
u
n
u
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_reordering
.
c:
remove
u
nused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
i
s
l
_
output
.
c: remove unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_a
r
g
.
c
:
r
e
m
ove unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_map
.
c r
e
move
unused isl_set_swap
_
va
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
l
aege
isl_ma
p
.
c: re
m
ove u
n
used
v
ariables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaeg
e
i
sl_map_sub
t
ract
.
c
:
re
m
ove unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
Verd
o
olaege
isl_mor
p
h
.
c: remo
v
e unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_polyno
m
ia
l
.
c: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_inp
u
t
.
c:
r
emove unus
e
d vari
a
bl
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolaege
isl_berns
t
ein
.
c:
remove unused vari
a
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
d
im
.
c: a
v
oid wa
r
nings
a
bout unhandled e
n
umeratio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolae
g
e
isl
_
dim_drop:
f
ix
botched up rename of par
a
meter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
b
o
und
.
c: remo
v
e unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
a
e
ge
isl_local_
s
pace
.
c: remove unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_pw
_
templ
.
c: remove u
n
used label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fol
d
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
u
n
i
o
n_tem
p
l
.
c: re
m
o
v
e
u
nused va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdool
a
ege
isl_fold
.
c: re
m
ove u
n
used
var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
r
d
oolaege
add
i
s
l
_ba
s
ic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
ge
isl
_
q
polynomial_from_
a
ff: create private copy
o
f
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdool
a
ege
isl_
a
ff_expand_divs: fix
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
g
e
isl_aff_allo
c
:
c
h
e
c
k
that all divs
a
re known
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
doola
e
ge
add
isl_local_
s
pace_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
ve
n
Ver
d
o
ol
a
eg
e
Merge bra
n
ch
'
m
aint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qpolynomial_*
constructors
:
check dim before access
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add isl
_
qpo
l
ynomial_f
r
om_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_q
p
o
l
y
n
omial_involves_d
i
ms: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Ver
d
o
ol
a
ege
isl_po
l
yn
o
mial
.
c
: fix typo
i
n
c
o
mm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
V
erdoola
e
ge
add isl_aff
_
get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven V
e
rdoolaege
isl_basic_map_from_lo
c
al_space: do
n
't finali
z
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_set_a
d
d
_
cons
t
raint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
e
g
e
add is
l
_eq
u
ality_
f
rom_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Ve
r
doolaege
add
isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
add
i
sl_constraint_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl_{bas
i
c
_
,}map_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add
isl_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_b
a
sic_set_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_polyn
o
mial
.
c:
move merge_divs to isl_local_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oolaege
add is
l
_
l
ocal_space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_dim_
s
ize: ha
n
dle isl_dim_al
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add
i
s
l_con
s
trai
n
t_involv
e
s_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
doo
l
aege
isl_printer_print_qpolynomial: s
u
pport proper isl
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
a
d
d isl_qpolynomia
l
_alig
n
_para
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Ve
r
doolaege
add
i
s
l_map_align_p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
laege
e
x
port isl_basic_set
_
remove_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
ex
p
ort
isl_
q
polynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
V
e
r
doolaeg
e
exp
o
rt i
s
l_se
t
_e
l
iminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl/d
i
v
.
h: drop dependence on isl
/
set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven V
e
rdoolaege
h
i
de
i
s
l_div
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
rdo
o
laeg
e
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_mat
_
ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
er
d
oolaege
doc: d
r
o
p
document
a
tion
f
or isl
-
pol
y
l
i
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add
gmp flags to pkg
-
co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
Verdoolaege
expl
i
c
i
tly link in gmp in applications
that referenc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaeg
e
confi
g
ure
.
a
c
: d
o
n't
d
epend on automake
1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaege
i
s
l_pw_qpolynomial_invol
v
es_dims: also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl_union_map_plain_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
i
s
l_map_intersect
_
ran
g
e:
a
d
d
special case for intersectio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdool
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
Verdoolae
g
e
add i
s
l_union_
m
ap_univers
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ve
n
Verdoolaege
r
e
name *_fas
t
_* funct
i
on
s
to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
doolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Ver
d
o
olaege
isl_map_range: corre
c
tl
y
h
a
nd
l
e maps w
i
th 0D domains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Ve
r
doolaege
i
s
l
_list
.
h: allow
inclusion fro
m
C
+
+
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't simpli
f
y domain in isl
_
f
o
r_ad
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolaege
add isl
_
pr
i
nter
_
print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Verdoo
l
a
ege
add isl_constra
i
nt_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sve
n
V
e
rdoolaege
add isl_ma
t
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdo
o
laege
rena
m
e
i
sl_mat_dump to
isl_mat_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
olaege
add
i
sl_
c
onstraint_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ve
r
dool
a
e
g
e
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
isl_basic_map_affin
e
_hull: finalize res
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
o
bi
a
s
Gross
e
r
Remove recently ad
d
e
d un
u
se
d
variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
Grosser
Add extern
C declaration to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
S
ven Verdoolaege
d
a
taflow
ana
l
ysis: don't depend on word
size d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
oolae
g
e
add isl_union_set_compute_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_tab
_
bas
i
c_set_non
_
neg_
l
ex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdoolaege
add
i
sl_tab
_
basic_set_n
o
n_trivial_lexmi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
isl_tab_pip
.
c: add_
l
exmin_eq: retur
n
int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next