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_from_div
2011-05-25
Sven Verdoo
l
a
ege
isl
_
p
o
lynom
i
a
l
.
c: avoid use
o
f an un
i
ti
a
l
ized var
i
ab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verd
o
o
l
aege
a
u
togen
.
s
h
: rep
l
ace by call
to autore
c
onf
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ver
d
oolaege
configure
.
ac: use non-deprecated
form of
AM_INIT_AUTO
M
AKE
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
Verdool
a
e
ge
isl_fo
l
d
.
c:
avoid wa
r
ning about
c
ontrol reac
h
in
g
en
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ve
r
d
oolaege
m
ark some
f
unctions as (possibly) unused
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven Verdoo
l
aege
i
s
l_polynom
i
al
.
c
: use flex array
m
e
m
ber to avoid array
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Verdoo
l
aege
isl_tab_pip
.
c: remove unuse
d
context_lex_extend
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_ma
p
_
s
implify
.
c: rem
o
ve unused n
o
rmalize_const
r
aint
s
_
i
n_c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_map_simplify
.
c: remove un
u
s
e
d set_swap_inequality
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
V
e
r
doolaeg
e
isl_conv
e
x_hull
.
c
: remove unu
s
ed set
_
pro
j
e
c
t_
o
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdool
a
ege
i
sl_convex_hu
l
l
.
c:
r
emove
u
nused swap_ineq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
isl
_
a
rg
.
c: fix typo affectin
g
argument parsing w
h
en
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verdoolaege
i
s
l
_
tran
s
itive_closure
.
c
: rem
o
ve unus
e
d v
a
riable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
ege
isl_un
i
o
n_map
.
c:
r
emove unuse
d
vari
a
bles
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_tab
.
c: avoid warning
ab
o
ut unhan
d
led
e
numeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laeg
e
isl_tab
.
c
:
remove un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
V
erdo
o
l
a
ege
isl_tab_pip
.
c:
r
e
move unused variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Ver
d
oolae
g
e
isl_reordering
.
c: remove
unu
s
ed va
r
iables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Ve
r
doolaege
isl_output
.
c: remove
u
nused variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdoola
e
ge
i
sl
_
a
r
g
.
c: remove unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
Verd
o
olaeg
e
isl_map
.
c remove unused isl_set_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdo
o
laege
isl_m
a
p
.
c:
r
emove un
u
s
e
d variable
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl
_
m
ap_subtract
.
c: remov
e
unuse
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doolaege
isl_m
o
rph
.
c: remove unused
varia
b
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verd
o
olaege
isl_polyno
m
ial
.
c
: r
e
move unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en
Ver
d
ool
a
ege
i
sl_input
.
c: remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven V
e
rdoolaege
isl_bernstei
n
.
c: remov
e
un
u
sed variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
doola
e
g
e
isl_dim
.
c:
a
voi
d
warnings abo
u
t unhandled
enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
Verdoolaege
isl_dim_drop: fix botched up rename
o
f paramete
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
bound
.
c: remove
unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sv
e
n Verdoolaege
isl_loca
l
_spac
e
.
c
:
remove unused v
a
ria
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Ve
r
do
o
laeg
e
isl
_
pw_templ
.
c
: remove unu
s
ed la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Ve
r
d
o
olaege
i
sl_fold
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoo
l
aege
isl_union_templ
.
c:
remove unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
sl_fold
.
c: remo
v
e un
u
sed variable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdo
o
laege
a
dd isl
_
ba
s
ic_set_
m
a
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qp
o
lynomial_
f
rom_aff: crea
t
e private
c
op
y
of divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoolaege
isl
_
aff_expa
n
d_d
i
vs:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
V
erdoolaege
isl
_
aff_alloc: c
h
eck that al
l
di
v
s are known
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
add isl_local_sp
a
ce_divs_kno
w
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
Merge br
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
erdoolae
g
e
isl_qpoly
n
o
mial
_
*
constructors:
check
d
im before acces
s
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verd
o
olaege
a
dd isl
_
q
pol
y
nomial_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
S
v
en
V
e
r
doolaege
is
l
_qpolyno
m
ial_involves_di
m
s: fix
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaeg
e
isl_polyn
o
mial
.
c: fix typo
i
n commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdo
o
laege
add isl_aff_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Verdool
a
ege
isl_basic_map_
f
rom_local_space: don't finalize
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
olaege
a
d
d
isl
_
set_a
d
d_const
r
aint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
isl_equality_fr
o
m_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolae
g
e
a
d
d isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verd
o
o
laege
add isl_constraint_ge
t
_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
ad
d
isl_{basic
_
,
}
map_may_be
_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oolaege
add isl
_
aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
a
d
d isl
_
basic_se
t
_expand_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoo
l
aege
i
sl_polynomial
.
c: move
merge
_
divs to isl_local_
s
pac
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoola
e
ge
add i
s
l_local_
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven
Verdoolaege
i
sl_dim
_
siz
e
: handle isl_dim_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_constraint
_
involves_di
m
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_printer_pr
i
nt_qpolynomia
l
: sup
p
ort
p
rop
e
r isl
o
utpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
isl_qpolyn
o
mial_alig
n
_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_map_align
_
p
a
rams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
Verdoolaege
ex
p
o
r
t
i
s
l
_
b
a
s
i
c
_set_remo
v
e_redundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
V
e
rdoolaege
expor
t
isl_qpolynom
i
al
_
gis
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laeg
e
expor
t
is
l
_set_eliminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaeg
e
isl/div
.
h: drop dependence on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
hide isl_div
i
nternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
laege
ad
d
isl_
d
iv_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
l
aege
add is
l
_mat
_
get_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolae
g
e
doc:
drop do
c
umentation for isl-polyli
b
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
rdo
o
laege
add
g
mp flags
t
o pk
g
-config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdo
o
laege
explici
t
ly
l
ink
in gmp in applicatio
n
s
t
h
at referen
c
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
configur
e
.
ac
:
d
on'
t
depend on automake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdool
a
ege
isl_pw_qpo
l
ynomial_inv
o
lves_dims: also chec
k
w
hether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Ve
r
d
o
o
laege
a
dd
isl_union_map_
p
l
ain_i
s
_
i
njecti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
i
s
l
_
ma
p
_int
e
rsect_ra
n
ge:
a
dd special case for
interse
c
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolae
g
e
add isl_vec_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verd
o
o
l
a
e
ge
add isl_union_map_unive
r
se
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
rdoolaeg
e
ren
a
me *_fast
_
* function
s
to *_plai
n
_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolae
g
e
Merge branc
h
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Ve
r
do
o
laege
isl
_
map_
r
ange: corre
c
tly handle ma
p
s
with
0
D d
o
mains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sv
e
n
Verdoolaege
isl_list
.
h:
a
llow inc
l
usion from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven V
e
rdoolaege
isl
_
t
ab_
p
ip
:
don
'
t
simplify
d
o
m
ain in isl_
f
or_
a
d
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
V
erdoolae
g
e
add isl_prin
t
e
r
_
p
r
int_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sve
n
Verdool
a
ege
add isl_constra
i
nt_ge
t
_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoola
e
ge
a
dd isl
_
mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
oo
l
a
ege
rena
m
e is
l
_mat_dump to is
l
_mat_print_int
e
rnal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sv
e
n Verdoolaege
a
dd
is
l
_cons
t
raint_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verd
o
olaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
i
sl_basic_map_affine_
h
ull: fi
n
alize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven V
e
rdool
a
ege
dataflow analysis:
don't depend o
n
wo
r
d size during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
r
doolaege
a
dd
i
sl_
u
nio
n
_set_compute_sc
h
edule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab
_
basic_set_n
o
n_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab_basic_set_non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_tab_pip
.
c: add_lexmin_eq:
r
e
turn
i
n
t
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_
t
ab_pi
p
.
c
:
res
t
ore_lexmin: return int ins
t
e
ad of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
isl_tab_pip
.
c
:
add som
e
debugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oo
l
aege
isl_tab_pip
.
c: fix typ
o
in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
a
dd is
l
_quicksort (c
o
pied from g
l
ibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erd
o
olae
g
e
isl_printer_pr
i
nt_basic_set: al
s
o
pr
i
nt inval
i
d ba
s
ic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
ool
a
ege
a
d
d isl_union_map_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next