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_fold.c: remove unused variable
2011-05-25
Sven Verdoolaege
isl
_
fold
.
c: remove unused vari
a
ble
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoolaege
ad
d
isl_basic_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
S
ven Verdoolaege
isl_qpolyno
m
i
a
l_from_aff: cre
a
te pri
v
ate copy
of
d
iv
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoola
e
ge
isl_aff_expand_divs: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sven V
e
rdoolaege
i
sl_
a
ff_all
o
c: che
c
k t
h
at all di
v
s are known
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdoo
l
aege
add isl_loc
a
l
_space_divs_known
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-20
Sve
n
Verdoolaeg
e
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2011-05-20
Sven Verdo
o
laege
is
l
_qpolynomi
a
l
_
*
c
onstruct
o
rs: check
d
im before accessing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sve
n
Verdoolaege
add isl_
q
polyn
o
mial_fro
m
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Ve
r
doolaege
isl_qpolynomial_involves_di
m
s:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdool
a
ege
is
l
_polynomial
.
c: fi
x
typo
i
n
com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-18
Sven Verdoo
l
a
ege
add isl_aff_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-17
Sven
V
erdoolaege
isl_basic_map
_
from_local_sp
a
ce: don't finaliz
e
resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Ve
r
doolae
g
e
add isl
_
set_add_con
s
traint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
add isl_
e
quality_
f
r
o
m_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdo
o
l
a
ege
add isl_set_max
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Ve
r
doolaege
add
i
sl_con
s
traint_get_bou
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoola
e
ge
add i
s
l
_
{
ba
s
ic_,}map_may_
b
e_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erd
o
olaege
add is
l
_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_bas
i
c_set_expand
_
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolae
g
e
isl_polynomial
.
c
:
move merge_divs to isl_lo
c
al
_
s
p
a
ce
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rdoola
e
g
e
a
d
d isl_local_spa
c
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
isl_dim_s
i
ze
:
h
a
ndle isl_di
m
_all
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
V
erdoolaege
add is
l
_constr
a
int_involves_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Ver
d
oolaege
isl_pri
n
t
er
_
print_qpolynomial:
s
upport
proper isl outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add isl_qp
o
lynomial_align_
p
arams
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_map_align_params
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
rd
o
olaege
export
isl_basic_se
t
_remove_
r
e
d
u
ndancies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven
Verdoolaege
exp
o
r
t
isl_qpolynomial_gist
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
ve
n
V
erdoola
e
ge
export i
s
l
_
set_elimi
n
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoo
l
aege
isl/
d
iv
.
h: drop depende
n
c
e on isl/set
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sv
e
n Verdo
o
l
aege
h
ide isl_di
v
internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en
V
e
rdoolaeg
e
add isl_div_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
S
v
en Verdoolaege
add isl_mat_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
do
c
: drop documentatio
n
for is
l
-polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven
V
erdo
o
laege
add g
m
p fl
a
gs to
p
kg-co
n
fig file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Verdoolaege
explicitly link in gmp in a
p
pl
i
cations that re
f
erence
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-15
Sven Ve
r
doolaeg
e
configure
.
ac: d
o
n't depend o
n
autom
a
ke 1
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-09
Sven
V
erdoolaege
isl_p
w
_
qpolynomial_involves_dims: also check whether
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdo
o
l
aege
add is
l
_un
i
on_m
a
p_pl
a
i
n_is_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n
Verdoolaege
i
s
l
_
map
_
intersect_range: add special case for i
n
tersection
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
e
rd
o
ol
a
ege
ad
d
is
l
_v
e
c_sort
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaeg
e
a
dd
i
s
l
_union_ma
p
_
u
n
iverse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
ven V
e
rdool
a
ege
re
n
a
me *_fas
t
_* functi
o
ns to *_plain_*
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
isl_ma
p
_
r
a
ng
e
: correctly handle
m
aps
w
ith 0D
do
m
ains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven
Verdoola
e
ge
isl_l
i
st
.
h:
allow inc
l
usion fr
o
m C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_
t
ab_p
i
p: don't simplify domain in isl_for_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verd
o
olaege
a
dd is
l
_printer_print_constraint
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ver
d
oolaege
add isl_constraint
_
get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
add isl_m
a
t
_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
v
en Verdoolaege
rename
isl_mat_dump
t
o
i
s
l_mat_pri
n
t
_
internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verd
o
ola
e
g
e
add i
s
l_const
r
ai
n
t_get_
d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-04-25
Sven
Verdoolaege
isl_basic_
m
ap_aff
i
ne_hull: f
i
n
alize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
T
obias Grosser
Remo
v
e recentl
y
added u
n
used variables
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Tobias
Gross
e
r
Add extern C declaration to
sch
e
d
u
le
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Verdo
o
la
e
ge
d
a
taflow
analysis: don't depend
o
n word size
d
uring
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add isl_u
n
ion_set_
c
ompute_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
sl_t
a
b_basic_set_non_neg_lex
m
in
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rd
o
o
la
e
ge
ad
d
isl_tab_ba
s
ic_set
_
non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pi
p
.
c
: add_lexm
i
n_eq:
r
etu
r
n int inste
a
d of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
V
er
d
oo
l
aege
i
s
l_tab_pip
.
c
:
restore_lex
m
in:
r
et
u
rn int
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aeg
e
isl_tab
_
pip
.
c: add some debugging
code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
d
o
olaege
i
sl_tab_pip
.
c:
f
ix typ
o
in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
ad
d
isl_
q
uicksort (copied from glibc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
l_printer
_
print_basic
_
set: also pri
n
t invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdo
o
lae
g
e
a
d
d
i
sl_unio
n
_m
a
p
_
is_inj
e
ctiv
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_union_map_is_bi
j
ec
t
ive
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
add isl_union_map_i
s
_single_valued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add is
l
_mat_add_zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_bl
k
:
don't re
u
se o
v
erly la
r
g
e
b
locks for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
dd isl_hmap_ma
p
_
b
asic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
a
dd isl
_
union_map_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_union_map_co
n
tains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_
b
asic_set_transform_dim
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdo
o
lae
g
e
a
dd isl_b
a
sic_set_offset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
c
hange isl_
m
at_sub_alloc pr
o
t
o
t
ype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
mak
e
isl_m
a
t_sub_*
f
unct
i
ons
p
riva
t
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
a
d
d isl_vec_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_mat_initial_
n
o
n
_
zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
add
isl_m
a
t_set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
r
d
oolaege
add isl_basi
c
_
set_add_c
o
nstraints_dim_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
ege
a
d
d isl_d
i
m
_
m
a
p_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
d
oo
l
aeg
e
isl_dim_ma
p
: allow si
g
ned ma
p
ping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
i
s
l_dim_map:
e
xtract from isl
_
map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
change prototype of i
s
l_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_map_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
ae
g
e
d
o
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
e
r
doolaege
doc: add
a
note on
the
accuracy
of our appr
o
xi
m
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdoo
l
a
ege
a
d
d
i
s
l_union_set_coeff
i
cients and isl_union
_
set_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
olaege
a
dd isl_union_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-19
S
v
en
V
erdoolaege
is
l
_
t
ab: alway
f
ree saved basis u
n
do record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdool
a
e
g
e
m
ake sure des
t
ination
for
GDB
module
exists bef
o
r
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoo
l
a
e
ge
i
s
l
_ta
b
_
pip
.
c: add_lexmin
_
e
q: remove
m
isguided opt
i
m
i
zatio
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
olaege
isl_b
a
sic_map_le
x
min: turn off equality detec
t
ion on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n Verdoolaege
use silent mak
e
rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verdoolaege
isl_stream_re
a
d_map: fix
handling of d
i
vs in tup
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_mat_le
f
t_hermi
t
e:
p
lug
memor
y
leak on error p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next