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_dim_dump
2011-05-16
Sven Verdoolaege
export isl_qpolyn
o
mial_gist
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sve
n
V
erdo
o
laege
export
i
sl_set_eliminate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
isl/div
.
h
: drop depende
n
ce on is
l
/set
.
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
S
ven Verdoolaege
hide isl_div
inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verd
o
ola
e
ge
add isl_div_get_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven Verdoolaege
add
i
sl_mat_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-16
Sven V
e
r
doo
l
ae
g
e
do
c
: dr
o
p documentatio
n
f
or isl-polylib
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Ve
r
doolaege
add gmp flag
s
to
p
kg-config f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
Sve
n
Verdoola
e
ge
exp
l
icitly link in
gmp
i
n appl
i
cat
i
ons t
h
a
t
r
e
f
e
rence
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-15
S
ven Ver
d
oo
l
aege
configure
.
ac: don't depend on automake
1
.
11
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-09
Sven Ve
r
dool
a
ege
isl_pw_qpolynomial_invol
v
es_dims: al
s
o
check whe
t
h
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
add isl
_
union
_
map_plain_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
Verdoolaege
isl_ma
p
_
inte
r
sect_
r
ange: add special cas
e
for int
e
rsection
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sve
n
Verdoolaege
a
d
d
isl_vec
_
sort
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sv
e
n Verdoolaege
add is
l
_union_m
a
p_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
Sven
V
erdoolaege
rename *
_
fa
s
t
_
*
functions to *_plai
n
_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-05-05
S
v
en Verdoolae
g
e
Merge br
a
nch
'
maint'
commit
|
commitdiff
|
tree
2011-05-05
Sven Verdoolaege
isl_
m
ap_range: corr
e
ct
l
y handle ma
p
s with 0D d
o
mains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdoolaege
isl_
l
ist
.
h: allow inclusion from C++
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-30
S
v
en Verdo
o
laege
isl_tab_pip: d
o
n't
simpl
i
f
y
domain in isl_for_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Ve
r
doolaege
add isl
_
printer_pri
n
t_con
s
traint
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoo
l
aege
add isl_constraint_ge
t
_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
S
v
e
n Verd
o
olae
g
e
add isl_mat_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
r
e
n
ame isl_mat_
d
ump to isl_m
a
t_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
S
v
en Verdo
o
lae
g
e
add isl_constraint_
g
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoo
l
a
e
ge
M
erge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
isl_basic_map_affine_hu
l
l
: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-22
Sven
Verdoolaege
dataflow a
n
alysis: don't depend on wo
r
d size during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oolaege
add isl_union_
s
e
t_
c
omput
e
_schedul
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
add isl_
t
ab_ba
s
i
c
_
set_no
n
_neg_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
add isl_tab_basic_set_non_trivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
isl_tab
_
pip
.
c: add_lexmin
_
eq:
retur
n
int instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ver
d
oolaege
is
l
_tab_pip
.
c: restore_lexmi
n
: return
i
nt instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
l
_ta
b
_pip
.
c: add so
m
e deb
u
ggin
g
code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
isl_tab_pip
.
c: fix
typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
ege
ad
d
is
l
_
quicks
o
rt (co
p
ied from
glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl_p
r
inter_
p
r
i
nt
_
b
a
sic_set: also prin
t
inv
a
l
id
b
a
si
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
laeg
e
add isl_un
i
on_map_is_injective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
g
e
add isl_union_map
_
is_bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d isl_uni
o
n_map_is_single_v
a
lued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doolaege
add isl_mat_ad
d
_
ze
r
o_rows
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_blk: d
o
n't reuse overly large blocks for small
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_hma
p
_map_b
a
s
ic
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Ver
d
ool
a
e
ge
add isl_union_map_copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoo
l
aege
add i
s
l_union_map_contains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_basic
_
set_transfor
m
_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
la
e
ge
a
dd isl_
b
asic_set_
o
ffset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
erdoo
l
ae
g
e
c
ha
n
ge
i
s
l
_mat_sub_alloc prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
doolaege
make isl_mat_sub_* fu
n
ctions p
r
i
vate
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdoo
l
aeg
e
add isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
r
d
ool
a
ege
add isl_mat_in
i
tial_n
o
n_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
Verdoolaeg
e
add isl_mat_set_
e
l
ement_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolae
g
e
add isl_basic_set_add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaeg
e
ad
d
isl_dim_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
i
s
l_dim_map: a
l
l
o
w signed mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdo
o
lae
g
e
isl_dim
_
map:
extr
a
ct fr
o
m isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
o
ola
e
g
e
chang
e
proto
t
yp
e
of i
s
l_tab_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_ma
p
_
remo
v
e_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
do
c
: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoola
e
g
e
d
o
c: a
d
d a note o
n
the accuracy of our appro
x
imati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
olaege
add
isl_u
n
ion_set_coefficients an
d
isl_union_set_solutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
add isl_u
n
ion_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
r
doolaege
Mer
g
e branch
'm
a
i
n
t'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verd
o
olaege
isl_tab:
a
lway free saved
b
asis
undo
r
ecor
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
ve
n
Verdoolaege
make sure de
s
t
i
nation for GDB
m
o
d
ule exi
s
t
s before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolae
g
e
i
s
l_tab_pip
.
c
:
add_lexmin
_
eq: remov
e
misguid
e
d optimi
z
a
tio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Ver
d
o
o
laege
isl_ba
s
ic_m
a
p_lexmin:
t
urn off equal
i
t
y
detecti
o
n on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
use
s
i
l
ent
m
a
ke r
u
les
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
ol
a
ege
isl_stream_r
e
a
d_m
a
p: fix ha
n
dling of divs i
n
t
uples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolae
g
e
isl_mat_left_h
e
rm
i
te: plug
mem
o
ry leak
o
n error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
oolaege
p
l
ug m
e
mory leak in isl_mat_p
r
o
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdo
o
laeg
e
i
sl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
ol
a
ege
do
c
:
a
d
d some imp
l
emen
t
a
tion d
e
t
a
ils on
p
arametr
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl
_
lp
.
c: avoid cla
n
g warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoo
l
ae
g
e
isl_stre
a
m_read_map
:
accept floord and ceild express
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_strea
m
_read_map:
a
ccept min and max
e
xpressio
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
d
oolaege
isl_stream_read_ma
p
: p
r
operly rea
d
nested
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoola
e
ge
is
l
_st
r
eam_
r
e
a
d_map: treat
d
i
v
s
a
s
o
u
t
put variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coalesce: p
l
ug memo
r
y
leak on err
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
i
sl
_
mat_ext
e
nd: avoid memory leak when r
e
alloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Verdoolaeg
e
isl_basic_ma
p
_overly
i
ng_set: avoid memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_strea
m
_getc:
avoid me
m
o
r
y
l
eak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olae
g
e
rudimentary
suppor
t
for async
h
ronous
termi
n
ation
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide is
l
_ctx i
n
ternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
i
s
l
_vec_re
a
d_from_file:
drop in
p
u
t
_f
o
rmat argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_map
.
c: dr
o
p u
n
used er
r
o
r
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_input
.
c: drop unused error labe
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdool
a
ege
r
espect
D
ESTDIR w
h
en install
i
n
g isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
isl
_
stream: acc
e
p
t "$"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
V
erdoola
e
g
e
change is
l
_map_power i
n
terface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verd
o
olaege
add isl_unio
n
_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
add priva
t
e isl
_
b
asic_map_swap
_
vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdool
a
eg
e
a
dd isl_union_map_delt
a
s
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
ven V
e
rdoolaege
Merge b
r
a
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
isl
_
m
a
p
_
d
e
ltas:
d
on't
copy flags fro
m
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoolaege
isl_stream_r
e
ad
_
map:
a
ccept
c
onstant exp
r
ession
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
V
erdoolaege
isl_stream: accept "/\" a
n
d "\/" as alternatives fo
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
d
oolae
g
e
isl_
s
tream:
only
q
uot
e
ne
w
lin
e
u
sing
'
\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaeg
e
i
sl_stream: main
t
ain priva
t
e ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next