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_printer_print_aff: support printing in C format
2011-05-25
Sven Ve
r
doolae
g
e
isl_polynomial
.
c: avo
i
d
use o
f
an unitialized variable
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdoolaege
a
u
togen
.
sh: replace by call t
o
a
utoreco
n
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
c
o
n
f
igure
.
ac:
use non-
d
epr
e
cated f
o
rm of AM_
I
N
I
T_AUTOMAKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_f
o
ld
.
c: avo
i
d warning about control
reach
i
n
g
end
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
ola
e
ge
mark
some fu
n
ctions as (
p
ossibly)
unus
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
erdo
o
laege
isl
_
polynomia
l
.
c
:
use fl
e
x array member t
o
a
v
oid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_tab_pi
p
.
c: r
e
m
ov
e
un
u
s
e
d
context
_
lex_
e
xt
e
nd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
is
l
_m
a
p_
s
implify
.
c: remove u
n
used norm
a
lize_constraints_
i
n
_
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_
m
a
p_si
m
p
lif
y
.
c: remove
unuse
d
set_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
c
on
v
e
x
_hull
.
c: remove
u
nused set_pr
o
ject_out
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
is
l
_co
n
v
e
x
_hu
l
l
.
c:
r
emove un
u
se
d
s
w
ap_in
e
q
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdo
o
laege
isl_arg
.
c: fix typo affecting
argument parsi
n
g when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
is
l
_tran
s
itive_closure
.
c: remo
v
e un
u
sed var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
olaege
isl_union_map
.
c
: remove u
n
us
e
d variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
er
d
o
o
laege
isl_tab
.
c:
a
void warni
n
g about unhandled
enum
e
ration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l
_tab
.
c: remove
u
nused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n
Verdoolaege
i
s
l_tab_pip
.
c: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
olaege
isl_reorde
r
ing
.
c
: remove unu
s
ed va
r
i
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
oolaege
isl_output
.
c: remove un
u
sed
variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_arg
.
c: remove unus
e
d variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
m
ap
.
c remove unused isl_set
_
swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
i
sl
_
m
ap
.
c
:
remove unus
e
d v
a
ria
b
les
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rd
o
o
laege
isl_map_subtract
.
c: rem
o
ve unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
morph
.
c: remove
u
nused va
r
ia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Ver
d
oola
e
ge
i
s
l_
p
olynomial
.
c: remove unused
v
ariabl
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoola
e
ge
i
s
l_input
.
c
: remove unused varia
b
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
isl_ber
n
ste
i
n
.
c: remove unused va
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
i
sl_di
m
.
c: a
v
oid w
a
rnings abo
u
t
unha
n
dled enumer
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
V
erdoo
l
aege
isl_dim_
d
r
o
p: fix
botched up re
n
a
m
e of parameter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdoolaege
bound
.
c:
rem
o
ve unused var
i
ab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ver
d
oolaege
isl_local_sp
a
ce
.
c
:
r
e
move unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdo
o
lae
g
e
i
s
l_
p
w_templ
.
c: remove
unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_fold
.
c: f
i
x ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_
u
nion_
t
e
m
pl
.
c: remove unused var
i
able
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c: remove unused v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
a
d
d isl_basic_s
e
t_
m
ax
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
is
l
_qpolynomial_from_aff: creat
e
p
r
ivate copy of di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolae
g
e
isl_aff_expand_
d
i
v
s
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
r
d
oolaege
i
s
l
_aff_alloc:
c
h
eck t
h
at all d
i
vs
are kn
o
wn
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdool
a
ege
a
d
d
is
l
_
l
oca
l
_s
p
ace_d
i
v
s_kno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
lae
g
e
Merge
bran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoola
e
ge
is
l
_qpoly
n
omial_* cons
t
ructors:
c
heck
d
im
before accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
add
isl_qpolynomial_
f
rom_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en
V
erdool
a
ege
i
sl_q
p
olynomi
a
l
_
i
n
v
olves_d
i
ms: f
i
x typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Ver
d
oo
l
aege
i
sl_p
o
lynomial
.
c:
fix typ
o
in commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdo
o
la
e
ge
add isl
_
aff_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verd
o
olaege
isl_
b
a
s
i
c_ma
p
_from_local_spac
e
: don't fi
n
alize
r
e
sult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
add isl_set_add
_
constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdool
a
e
g
e
add
i
sl_e
q
uality_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
r
d
oolaege
add isl_
s
et_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
lae
g
e
a
d
d is
l
_constraint_g
e
t_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_{basic_,
}
map_ma
y
_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
d
o
olaege
add isl
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoola
e
ge
ad
d
isl
_
basic_set_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
isl_po
l
ynomial
.
c: move merg
e
_di
v
s to i
s
l_local_s
p
ace
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add i
s
l_l
o
cal_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
doolaege
isl
_
d
i
m_si
z
e: handle
i
sl
_
dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoolaege
add isl_constraint_involves_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoola
e
ge
i
s
l
_
printer
_
pri
n
t
_
qpolynomial: suppo
r
t p
r
op
e
r i
s
l output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n
Ver
d
o
o
l
aege
a
d
d
i
sl_qp
o
l
ynomial_align_param
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoola
e
ge
a
d
d
isl_map_align
_
par
a
ms
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Ve
r
doolae
g
e
e
x
p
ort isl_
b
a
sic
_
set_
r
emove_redundancie
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
e
n Ve
r
doolaege
export isl_qpolynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
expo
r
t isl_set
_
eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olae
g
e
isl
/
div
.
h:
d
ro
p
d
e
p
e
ndence
o
n
isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hide i
s
l_
d
i
v
intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolaege
add is
l
_div_get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
add isl_mat_
g
et_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
Verdoolaege
doc: drop
d
o
cumen
t
ati
o
n for isl-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdoo
l
aege
add gmp
flags to
p
kg-config fi
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ver
d
oolaege
explicitly link i
n
g
m
p
in applications that referenc
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Ve
r
doolaege
configure
.
ac: don't depend on a
u
t
omake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verd
o
o
l
aege
isl_pw_qpolynomia
l
_
i
nvolves_dims
:
al
s
o
check whethe
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoo
l
a
e
ge
add isl_union_map_plain_is_inje
c
tive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_
i
nt
e
rsect_range: add special case for
intersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
olae
g
e
add isl_
v
e
c_
s
ort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
add isl_union_map_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
renam
e
*
_
fast_* functions t
o
*_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Ver
d
oolaege
Merg
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_m
a
p_ran
g
e:
c
orrectly
h
and
l
e maps
with
0D doma
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n Verdoolaege
isl
_
list
.
h
: al
l
ow inclusion from
C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
S
ve
n
Verdo
o
laege
isl_tab_pip: don't simpli
f
y domain in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoolae
g
e
add isl_pri
n
t
er_
p
rint_constrai
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erd
o
ol
a
ege
add
isl_cons
t
raint_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Ve
r
doolaege
a
dd isl_mat
_
d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdoolaege
re
n
a
m
e is
l
_ma
t
_dump to isl_ma
t
_print_
i
nternal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolae
g
e
add isl_c
o
nstrain
t
_get_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
Mer
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Ve
r
doolaege
is
l
_basic_map_aff
i
ne_hull: finalize r
e
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
R
e
m
ove recently added
u
nused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias Grosser
A
dd
exte
r
n C declar
a
tion to schedule
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdoolaege
dat
a
flow analysis: don't
depend
o
n word size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doolaege
add
isl_union_set_compute_s
c
hedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_tab_basic_s
e
t_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add is
l
_tab_ba
s
ic_set
_
non_trivi
a
l_l
e
xmi
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl
_
t
a
b_pip
.
c: add
_
lexm
i
n_eq: retu
r
n i
n
t instead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
V
e
r
d
oolaege
isl_tab_pip
.
c: res
t
o
r
e
_l
e
xmin: retu
r
n int inst
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
ege
i
s
l_ta
b
_pi
p
.
c: add some debugging cod
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_tab_pip
.
c: fix
typo in
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_quicksort (copied fro
m
g
l
ibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next