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_scale and isl_aff_scale_down
2011-06-02
Sven V
e
rdoolaege
add isl_aff_scale
and isl_aff_scale_
d
own
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add isl_aff_ad
d
and isl
_
aff_sub
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven Verdoolaege
add isl_in
e
q
ua
l
ity_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-06-02
Sven
V
erdoola
e
ge
add isl_seq_addmul
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_
v
er
t
ices
.
c: avoi
d
use
o
f unitialized v
a
ri
a
ble
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
is
l
_t
r
a
n
s
iti
v
e_closure
.
c:
a
v
o
id use of an
un
i
tialized
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolae
g
e
i
sl_polyno
m
ial
.
c: avoid
use
of an u
n
i
t
ia
l
i
zed variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
autogen
.
sh: replace by c
a
ll to a
u
toreco
n
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
co
n
figure
.
ac: use non-deprecated
form of
A
M_INIT_
A
U
T
OMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
is
l
_
f
old
.
c: avoi
d
w
a
r
n
ing about
control r
e
aching end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
oolae
g
e
ma
r
k some
functi
o
n
s
as (possibly)
u
n
u
s
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
e
rdoolaege
isl_polynomial
.
c: use fle
x
array membe
r
to avoid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
doo
l
a
e
g
e
isl_tab_pi
p
.
c: remove un
u
s
e
d context_lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_map_simp
l
i
f
y
.
c: remove unused n
o
r
m
alize_const
r
ain
t
s
_
in_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
V
e
rd
o
olaeg
e
isl
_
m
ap_
s
impl
i
fy
.
c: remove
u
nused s
e
t_swa
p
_inequali
t
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_conv
e
x_
h
u
ll
.
c
: r
e
move unused set_project_ou
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoola
e
ge
isl_conve
x
_h
u
ll
.
c: re
m
ove unused
s
wap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_arg
.
c:
fix typ
o
a
f
fect
i
ng argume
n
t parsing when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oola
e
ge
is
l
_transitiv
e
_
c
l
o
s
ure
.
c: remove
u
nused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
V
erdoolaeg
e
isl_union_map
.
c
: remove unus
e
d
v
a
r
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_tab
.
c:
a
v
o
i
d
warning about unhandl
e
d enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolae
g
e
isl_tab
.
c: rem
o
ve unused vari
a
bl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoolaege
is
l
_tab_
p
ip
.
c: remo
v
e unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdool
a
ege
isl_reorde
r
in
g
.
c: remo
v
e unused v
a
riables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_ou
t
put
.
c: remo
v
e unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
V
e
r
dool
a
eg
e
isl_ar
g
.
c: remov
e
unused v
a
ria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdool
a
ege
isl_
m
ap
.
c remo
v
e unus
e
d isl_
s
e
t_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_map
.
c: remove
un
u
sed variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
laege
isl_map
_
su
b
t
ra
c
t
.
c
: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erd
o
olaege
i
s
l_mor
p
h
.
c:
remove unus
e
d
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doo
l
a
ege
i
s
l_p
o
l
ynomi
a
l
.
c: remove un
u
sed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Ver
d
oolaege
isl_input
.
c
: remove unus
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolae
g
e
isl_bernstein
.
c: remove unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
dool
a
e
g
e
isl_dim
.
c: avoid wa
r
nings a
b
out unhandled
e
nu
m
erat
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_dim_drop: fix
b
otched up
rename o
f
parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoola
e
ge
boun
d
.
c:
remo
v
e
u
nused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoo
l
aege
i
s
l_local_spa
c
e
.
c: remove unused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verd
o
o
l
aege
isl_pw_
t
e
mpl
.
c:
re
m
o
v
e unus
e
d lab
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdool
a
ege
i
s
l_fold
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
e
rdoolaege
isl
_
u
nion
_
templ
.
c: remove unused vari
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoolae
g
e
isl
_
fol
d
.
c
:
r
e
m
ove unused vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rd
o
ol
a
ege
add isl_
b
asic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
oola
e
g
e
isl_qpoly
n
o
m
ial_f
r
om
_
aff:
c
reate priva
t
e c
o
p
y of d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
v
e
n V
e
rdoolaege
isl_aff_expand_div
s
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Ve
r
doo
l
aege
is
l
_aff_alloc: check that
a
ll
d
ivs are know
n
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolae
g
e
add is
l
_local_space_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sv
e
n
Ve
r
dool
a
ege
Merge branch 'main
t
'
commit
|
commitdiff
|
tree
2011-05-20
Sven Ver
d
oolaege
isl_qpolynomial_*
c
onstructor
s
: chec
k
d
im b
e
fore accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaeg
e
add isl_qpoly
n
omial_from_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
isl_qpo
l
ynomial_i
n
v
olves_
d
im
s
:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoo
l
aege
i
s
l
_polynomial
.
c:
f
ix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
e
n
Verdoolaege
a
dd isl_
a
ff_
g
et
_
di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdo
o
laege
i
s
l
_basic_map_from
_
local_sp
a
ce
:
don't fi
n
alize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoola
e
ge
add
isl_s
e
t_a
d
d_constrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoo
l
aege
add isl_equal
i
ty_from_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdoolaege
add
isl_
s
e
t_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_const
r
ai
n
t_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
ad
d
isl_{basic_,
}
map_m
a
y_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add isl
_
basic_set_e
x
p
a
nd_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaeg
e
isl_polynomi
a
l
.
c: move merge_d
i
vs to isl_loc
a
l_space
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
add isl_local_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
d
oolaege
isl
_
dim_size: handle is
l
_di
m
_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_constr
a
int_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
e
r
d
oo
l
a
ege
isl_printer_pri
n
t_qpolynomia
l
: support pro
p
er 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_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
add isl_map_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
export
isl_ba
s
ic_set_remove_redu
n
d
ancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdool
a
ege
ex
p
ort isl_qpolynomial_
g
ist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaeg
e
export isl_se
t
_
eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ola
e
ge
isl/div
.
h:
drop dependence on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdool
a
ege
hide isl
_
div inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
add isl_div_
g
e
t
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ol
a
e
g
e
add
i
sl_mat_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc:
drop doc
u
mentation fo
r
isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
add gmp
f
l
a
gs to pkg-
c
o
nfig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
er
d
oolaege
explicitly l
i
nk in gmp in app
l
i
cations th
a
t reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Verdool
a
e
g
e
con
f
igure
.
ac:
don't depend
o
n automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sv
e
n Ver
d
oolae
g
e
i
s
l_pw
_
qpol
y
nomial_
i
nvolv
e
s_dims: also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add is
l
_union_map_plain_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
isl_map_in
t
e
rsect_range: a
d
d
special
c
ase for intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoo
l
ae
g
e
add isl_v
e
c_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
o
laege
add isl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolae
g
e
re
n
ame *_fast_* fun
c
tions to *_
p
lain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaeg
e
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verd
o
o
l
aege
isl_ma
p
_range:
c
or
r
ectly handle maps
with 0D doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolae
g
e
isl_list
.
h: allow i
n
clusion fr
o
m
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolae
g
e
i
s
l_tab_pi
p
: d
o
n't simplify dom
a
in in isl_f
o
r_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
ven Verdoolaege
add is
l
_printer
_
p
r
i
nt_constrain
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven V
e
rdoolaege
add isl_constrain
t
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
Verdoolaege
add isl_mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven
V
erdoo
l
aege
rename
isl_mat_dump to i
s
l
_
mat_print_intern
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Ve
r
do
o
laege
add isl_constr
a
int_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
S
v
e
n Verdoolaege
Merge bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-04-25
S
ven Verdoolaege
isl_basic
_
map_affine_hull: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaeg
e
datafl
o
w analysis:
don
'
t
d
epe
n
d o
n
wor
d
size dur
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
a
d
d is
l
_un
i
on_s
e
t_com
p
u
t
e_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d i
s
l_tab
_
b
a
sic_se
t
_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
i
s
l_tab_basic_set_non_tri
v
i
a
l
_
l
ex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isl_tab_pip
.
c:
a
dd_lexm
i
n_eq: ret
u
rn
int in
s
tead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next