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 *list_get_*
2011-04-27
S
v
en Verdoolaege
rename i
s
l_mat_d
u
mp t
o
i
s
l
_
m
at
_
print_int
e
rnal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven
V
erdoolaege
add i
s
l_co
n
straint_
g
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolae
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sve
n
Verdoolaege
isl_basic_map_a
f
fin
e
_
h
ull: finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven Ve
r
doolaege
dat
a
flo
w
a
n
alysis: don't depend on word s
i
z
e
during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
ad
d
isl_union_se
t
_compute_sc
h
edule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_tab
_
bas
i
c_set_non_neg_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add isl_tab_bas
i
c_set_no
n
_trivia
l
_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
do
o
laege
isl_tab_pip
.
c
: add_lexmin_
e
q
:
r
et
u
rn int instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
i
s
l_tab_pip
.
c:
rest
o
r
e_lex
m
in: return i
n
t inst
e
a
d
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaege
isl_tab
_
pip
.
c: add some
d
ebugging code
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
aege
is
l
_tab_pip
.
c: fix ty
p
o
i
n
co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_qu
i
cksor
t
(copi
e
d from g
l
i
bc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
isl
_
pri
n
t
e
r_pr
i
nt_b
a
sic
_
s
e
t
: al
s
o pri
n
t invali
d
basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
a
dd isl
_
union_map_is
_
injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
ad
d
isl_
u
nion_
m
ap_is_bijective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_union
_
m
ap_is_singl
e
_val
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_mat_a
d
d
_z
e
ro_ro
w
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_blk: do
n
't reuse overly large blo
c
k
s for
s
mall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
add isl_hmap_map_ba
s
ic_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven V
e
rd
o
o
l
aege
add is
l
_union_map_cop
y
_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add
i
s
l_union
_
ma
p
_co
n
tains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
ad
d
i
s
l_basic_set_
t
r
a
n
s
fo
r
m_dims
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_basic_s
e
t_offse
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
chang
e
isl_mat_sub
_
a
lloc p
r
ototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
m
a
ke isl_m
a
t_sub_* functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_vec_
g
et
_
ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
a
d
d
isl_mat_initi
a
l
_
non_ze
r
o_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add i
s
l_mat_se
t
_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n V
e
rd
o
ol
a
eg
e
a
d
d
isl_basic_
s
et_add_const
r
a
ints_dim_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
a
dd isl_
d
im_ma
p
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolae
g
e
isl_dim_map: allow sign
e
d m
a
p
ping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdool
a
e
ge
isl_dim_
m
ap: ext
r
act from is
l
_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoola
e
ge
change protot
y
pe of isl_
t
ab_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add isl_map
_
r
emove_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
d
oc: fix
t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
doc: add a
n
ote
o
n
t
h
e
accuracy of our appr
o
ximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
olaege
a
dd i
s
l_un
i
on_set_coefficients and isl_u
n
i
on_set_solu
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add isl_
u
nion_set_l
i
ft
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaege
Mer
g
e
b
ranch 'maint
'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
o
l
aege
i
sl_
t
ab: alway free
s
aved bas
i
s un
d
o record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n
Verdoolaege
make sure de
s
tination for GDB
module e
x
ists be
f
ore
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdo
o
la
e
ge
i
sl_tab_p
i
p
.
c
: add_lex
m
i
n
_eq: re
m
ove
misguid
e
d optimiz
a
tions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
Ve
r
doolaege
isl
_
basic_map_lexmin:
t
urn off equality d
e
tection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdoo
l
aege
use silent make
rule
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_stream_read_map: fix ha
n
dling
o
f divs in
t
up
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
e
g
e
isl_mat_l
e
ft_hermite: pl
u
g
memory leak
o
n er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolaege
plug memory l
e
ak
i
n isl_ma
t
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
Ve
r
d
oolaege
do
c
: add some im
p
lementat
i
on deta
i
ls on parame
t
ric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verd
o
ol
a
ege
i
sl
_
lp
.
c:
av
o
id
clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_str
e
am_read_ma
p
: accept floord and cei
l
d expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_st
r
eam_read_map: accept
min an
d
max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_stream_read_ma
p
:
properly read neste
d
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
olaege
isl_stream_read_map
:
t
r
eat divs as outp
u
t
va
r
ia
b
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Ve
r
doolaege
isl_ma
p
_coalesce: plug memory l
e
ak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_mat_extend: avoid memory le
a
k when re
a
lloc fai
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
isl
_
basic_map_ove
r
lying_set:
avoi
d
memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
doolaege
i
s
l_stre
a
m_
g
etc: avoid me
m
o
ry
le
a
k when reallo
c
fa
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
lae
g
e
rud
i
mentary support for async
h
r
o
nous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hi
d
e
isl_ctx inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Ver
d
oola
e
g
e
isl_vec_read_
f
ro
m
_file: drop
input_format argum
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl_map
.
c:
d
r
op u
n
used
e
r
ror
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaege
isl_i
n
put
.
c: drop u
n
use
d
e
rror la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
Verdoolaege
respe
c
t DESTDIR whe
n
install
i
n
g
isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoola
e
ge
is
l
_stream: a
c
cept "$" t
o
ken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en
Verdoolaeg
e
add isl_union_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ver
d
o
ol
a
e
g
e
chan
g
e isl_map_powe
r
interf
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
add
i
sl_un
i
on_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
do
o
laege
add
private isl_
b
asic_map_swap_var
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
a
dd
isl
_
union_map_d
e
ltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge
branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolae
g
e
isl
_
map_del
t
as: don't
c
opy f
l
ags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
a
e
ge
i
s
l_stream_re
a
d_map: ac
c
ept constant
e
xpr
e
ssio
n
s of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoo
l
aege
i
s
l_stream: accept "/\" and
"\/" as alterna
t
ives
f
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
e
n
V
e
rdoolaege
i
s
l
_
strea
m
: on
l
y quote
n
e
w
line using '
\
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
isl_str
e
am: maintain
private ungetc b
u
f
fer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoola
e
ge
isl_set
_
li
f
ting: simp
l
ify and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n
V
e
r
doolae
g
e
d
oc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
d
oc: d
r
op lo
n
g outdated note on
transi
t
ive
c
lo
s
ure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
ven Ver
d
oolae
g
e
add isl_basic_s
e
t_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verd
o
olaege
isl_map_i
d
e
n
tity: tak
e
d
imension sp
e
cification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ve
r
doola
e
ge
rename isl_dim_map to
isl_dim_map_fro
m
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdool
a
ege
t
ransitive closure: proj
e
ct out parameters when
any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
erdoola
e
ge
privately ex
p
ort isl_basic_set
_
reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ve
n
Verdoolaege
i
sl_
s
et
_
lift:
p
rese
r
ve structure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
o
olae
g
e
isl_pw_qpolynomial_bo
u
nd: handle combinat
i
on of
wrappi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en
Ve
r
doolaege
isl_tab
_
pip
.
c
: fix
typo
i
n
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
is
l
_tab: check for obviously emp
t
y tableaus after
d
iscov
e
r
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
isl_bas
i
c_map_gist: prefer contraints
w
i
thout e
x
i
s
tentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
erd
o
ola
e
g
e
isl_basic_
m
ap
_
sort_c
o
nstraint
s
:
chan
g
e compar
i
s
o
n routi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
e
rdoolaege
i
sl_tab_
i
neq_type
:
classify m
o
re constrai
n
ts as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
i
s
l_map_coales
c
e: be
m
ore relaxed about multiple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolae
g
e
add isl_bas
i
c_map_f
r
om_do
m
ain
_
an
d
_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaeg
e
add isl_basic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdo
o
lae
g
e
add isl_basic_set_flat_p
r
o
d
uct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verd
o
olaege
expo
r
t isl_basic_map_
f
latt
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdo
o
laege
add
is
l
_b
a
s
i
c_map_fr
o
m_qp
o
lynomia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_s
t
ream: support \<
n
ew
l
ine> line continu
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven V
e
rdoolae
g
e
add isl_union_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next