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_map.c remove unused isl_set_swap_vars
2011-05-25
S
v
en Ver
d
o
o
laege
isl_
m
ap
.
c
re
m
ove unus
e
d isl_set_swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n Verdoolae
g
e
isl_map
.
c: r
e
move unu
s
e
d
variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_
m
ap_
s
ubtract
.
c:
r
e
move unused variab
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven
Verdool
a
e
ge
isl_m
o
r
ph
.
c
:
r
e
move unused variab
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ven
Verdoolaege
isl_pol
y
n
omia
l
.
c: remove unu
s
ed variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
i
s
l_inp
u
t
.
c: remove unused va
r
i
ables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdool
a
e
g
e
isl_bernste
i
n
.
c: re
m
ove unused varia
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_dim
.
c: avoid warni
n
gs ab
o
ut unhandled enumeration
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
ve
n
Verdool
a
ege
i
s
l_dim_drop: fix
b
o
tch
e
d up rename of par
a
meter
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
e
n
Verdoolaege
bound
.
c
:
re
m
ove unused
var
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdo
o
laege
isl_local_s
p
ace
.
c:
r
em
o
ve unus
e
d
variabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaeg
e
isl_
p
w_templ
.
c: remove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sven Verdoolaege
isl_fold
.
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
Sve
n
V
e
r
d
o
olaege
isl_
u
nion_
t
empl
.
c:
remove
unused variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-25
S
v
en Verdo
o
laege
isl_fol
d
.
c
:
remove unused
v
ar
i
able
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaege
add is
l
_basic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
isl_qpolynomial_from_
a
ff: create private co
p
y
of div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
V
e
r
d
oolaege
isl_aff_e
x
pand
_
divs: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven
Verdoolaege
isl_af
f
_all
o
c: check th
a
t all divs are known
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoo
l
aeg
e
add i
s
l_lo
c
al
_
spa
c
e_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
i
sl_qpolynomial_* co
n
s
t
ructors:
chec
k
dim
b
e
f
ore accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoolaege
a
d
d isl
_
qpolynomia
l
_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sv
e
n Verdoolaege
isl_
q
polyno
m
ial_involves_dims: fi
x
typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven
Verdo
o
laege
isl_polynomi
a
l
.
c: f
i
x
typo in comme
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
Verdoolaege
a
dd isl_aff_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven Ve
r
doolaege
isl_basic_map
_
from_loc
a
l
_s
p
ace
:
don't f
i
nalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
add isl_
s
et_
a
dd_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
Verdo
o
lae
g
e
add isl_equ
a
lity_from_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
a
dd isl_cons
t
raint_get_bound
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdo
o
laege
add
i
sl_{basic_,}map_may_be_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
add isl_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
ola
e
ge
add isl_ba
s
ic_set_expand_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdo
o
laege
isl_pol
y
n
o
m
i
al
.
c: m
o
ve merg
e
_divs to isl_
l
oca
l
_spa
c
e
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaege
ad
d
i
s
l_local_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
Verdoola
e
ge
isl_dim_size: handle isl
_
d
i
m
_al
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
o
la
e
g
e
ad
d
isl_constraint_involves_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
isl_printer_print_qpolyno
m
i
a
l: support proper
isl output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolae
g
e
a
d
d isl_
q
polynomial_ali
g
n_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdo
o
laege
add isl_map_
a
lign_pa
r
ams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oola
e
ge
export isl_basic_
s
et_remove_
r
edundancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n
V
erdoolaege
export
i
sl_qpolynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
expo
r
t isl_set_
e
liminate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
do
o
laege
isl
/
div
.
h: drop dependence on
i
sl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
hide isl_di
v
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoolaeg
e
ad
d
isl_mat_ge
t
_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
doc: drop doc
u
m
entation for isl-
p
oly
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
add gmp flags to pkg
-
config file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven V
e
r
doolaege
exp
l
ic
i
t
l
y link in gmp in ap
p
l
icatio
n
s that reference
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
S
v
en Verdo
o
laege
confi
g
ure
.
ac:
d
o
n
't de
p
end on
auto
m
ake 1
.
11
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven Verdoolaeg
e
isl_pw_qpoly
n
omial_involv
e
s_dims
:
a
l
so check
whet
h
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoola
e
g
e
a
dd is
l
_union_map_plain_is_inject
i
ve
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_map_intersect_range: add special case for inte
r
section
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
a
dd isl_ve
c
_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven V
e
r
doolaege
add isl_union_map_un
i
verse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdool
a
ege
rena
m
e *_fast_* functions to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoola
e
ge
i
s
l_m
a
p
_
range: correctly
h
and
l
e maps wi
t
h 0
D
do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven V
e
rdoolaege
isl_list
.
h: a
l
low i
n
clusion from C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sve
n
Verdoolaege
isl_tab
_
pi
p
: don't
simplify domain in
i
sl_for_
a
dd
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven
Ve
r
doolaege
add isl
_
printer_print_co
n
straint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdo
o
l
aege
add
i
sl_constraint_g
e
t_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Ver
d
ool
a
ege
add isl_
m
at_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdool
a
e
g
e
rename
i
sl
_
m
at_
d
ump to isl_mat_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Ve
r
dool
a
ege
add isl_constraint_g
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdool
a
ege
Merg
e
branch
'
m
aint'
commit
|
commitdiff
|
tree
2011-04-25
S
ven V
e
rdoolaege
i
s
l
_basic_map_affine_
h
u
l
l
:
finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdool
a
ege
dataflow analysi
s
:
don't depend
o
n
w
ord size d
u
ring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add i
s
l_
u
nion_set_c
o
m
pute
_
schedu
l
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaeg
e
ad
d
isl_tab_basic_
s
et
_
non_neg_l
e
xmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
erdoolae
g
e
add
isl_tab_bas
i
c_
s
et_
n
on
_
trivial_l
e
xm
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
i
s
l_t
a
b_pip
.
c: ad
d
_lexm
i
n_eq:
r
eturn int i
n
stead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoo
l
a
ege
is
l
_ta
b
_
p
i
p
.
c
:
restore_lexmin: return int
i
n
s
tead o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
isl_tab_pip
.
c: a
d
d s
o
me deb
u
gging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
i
s
l_tab
_
pip
.
c: fix typo
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_quicksort
(c
o
pied f
r
o
m g
l
ibc
)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_
p
r
i
n
ter_pr
i
nt_basic_set: also print invalid b
a
sic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
i
sl_
u
nion_m
a
p_is_in
j
ect
i
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolae
g
e
a
dd isl
_
unio
n
_ma
p
_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
isl_un
i
on_m
a
p_i
s
_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add isl_mat_add
_
zero_row
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
i
sl_blk: don't
reus
e
overl
y
large
blocks for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaeg
e
add
i
sl
_
hmap_map_
b
asi
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add i
s
l
_union_map_copy_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
rdoolaeg
e
add isl_union_map_
c
o
n
tains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verd
o
olaege
add isl_
b
asic_set_transfor
m
_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaeg
e
add is
l
_basic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
oolaege
chan
g
e isl_mat
_
sub_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
make isl_mat_sub_
*
f
u
n
ctions p
r
i
vat
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
d
oo
l
aege
add
i
sl_mat_ini
t
ial
_
non_z
e
ro_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
a
dd isl_
m
at_set_eleme
n
t_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
a
dd isl_basic_set_
a
dd_cons
t
r
a
i
nts_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolae
g
e
a
dd isl_dim_m
a
p_
r
ange
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
isl_d
i
m
_
map: allow signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl
_
dim_ma
p
: extr
a
ct from i
s
l_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
c
hange prototype of i
s
l_ta
b
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_
m
ap
_
rem
o
ve_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next