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
Merge branch 'maint'
2011-05-05
Sven Verdool
a
eg
e
M
er
g
e
bra
n
ch
'
m
a
int'
commit
|
commitdiff
|
tree
2011-05-05
S
ven Verdoolaege
i
s
l
_map
_
range: correctly handle maps w
i
th 0D do
m
a
in
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verd
o
ola
e
ge
i
s
l_list
.
h: allow inclus
i
o
n
fr
o
m C++
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-30
Sven Verdo
o
laege
is
l
_tab_p
i
p:
don't simplify do
m
ain i
n
isl
_
for_a
d
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
Sven Verdoo
l
aege
add isl_pri
n
ter_prin
t
_const
r
a
int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-29
S
v
e
n Verd
o
olaege
add i
s
l_constrain
t
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
S
ven Verdoolaege
a
d
d
isl
_
mat_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-27
Sven Verdoolaege
renam
e
isl_mat_dump
to isl_mat_print_internal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaege
add isl_constr
a
int_get_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-25
Sven V
e
rdoolaege
M
erge
b
r
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-04-25
Sven Verdoolaeg
e
isl_basic_map_affine_hu
l
l
:
fi
n
alize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-22
Sven
V
e
rdoolaeg
e
data
f
low an
a
lysis: don't d
e
pend
o
n
w
o
rd
s
i
ze durin
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
ae
g
e
add isl_union_s
e
t_compute_sched
u
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
i
s
l_tab_basic_set_non_neg_lexm
i
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
d
d isl_tab_basic_set_non_trivial_lexmin
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
isl_tab_pip
.
c: ad
d
_lexm
i
n_eq
:
retu
r
n in
t
instead
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaeg
e
isl_tab_pip
.
c:
restor
e
_
l
exmin: return int
instead of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
is
l
_t
a
b_pip
.
c: add
s
ome debugging
c
o
d
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_ta
b
_pip
.
c
:
f
i
x typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
erdoolaege
a
d
d isl_quick
s
ort (cop
i
ed
f
rom
gl
i
bc)
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ver
d
oolaege
isl_pri
n
ter_p
r
int_b
a
sic_s
e
t
:
al
s
o print invalid basic
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_uni
o
n_map_i
s
_injective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_union_map_is_b
i
j
ective
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaeg
e
add i
s
l_union_map_is_single_val
u
ed
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add
isl_ma
t
_
a
dd_zero_
r
ows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
isl_blk: don't reuse overly large bl
o
cks for sma
l
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oola
e
g
e
a
dd isl_hmap_map_basi
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
ad
d
isl_union_map_cop
y
_
map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add
i
s
l_u
n
ion_map_contain
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laeg
e
add isl_b
a
sic_set_tran
s
form_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
add isl_basi
c
_set_o
f
fset
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
c
h
a
nge isl_mat_sub_alloc
prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
make isl_mat_s
u
b_*
func
t
ions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d isl_vec_
g
e
t
_
ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ve
r
doolae
g
e
add isl_ma
t
_initial_non_
z
er
o
_
c
ols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add i
s
l_mat_se
t
_el
e
ment_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
ad
d
isl_basi
c
_se
t
_a
d
d_co
n
straints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
add isl_dim_m
a
p
_
range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
isl
_
di
m
_map: allow signe
d
mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map: extr
a
ct from isl
_
m
a
p
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Ve
r
doolaeg
e
c
hange prototype of isl_
t
ab_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add i
s
l
_map_
r
emov
e
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoola
e
g
e
do
c
: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
doc: add
a note o
n
t
h
e accuracy of our approximat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n Verdoolaege
a
d
d isl_u
n
io
n
_
set_coe
f
ficie
n
ts and isl_union_set_so
l
u
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add isl_union_set
_
l
ift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdool
a
ege
M
e
rg
e
b
ran
c
h 'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Ver
d
o
olaege
i
sl_tab
:
alwa
y
fr
e
e sa
v
e
d
b
as
i
s undo record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
m
a
ke sure destination for
G
D
B
m
od
u
le exists bef
o
re
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdool
a
ege
isl_
t
ab_
p
ip
.
c: add_
l
ex
m
in_eq: r
e
move
misguided optimization
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Ver
d
o
ola
e
ge
i
s
l_basic_ma
p
_l
e
xm
i
n
:
turn off equ
a
lit
y
d
etection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolaege
use
s
ilent make rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
V
e
rdoolaege
i
s
l_s
t
ream_r
e
ad_map: fix handli
n
g
of divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoola
e
ge
isl_mat_left_hermit
e
:
plug mem
o
ry
leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
o
ol
a
ege
p
l
u
g
memory lea
k
in isl_mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
is
l
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
do
c
: add some implementation de
t
ails
o
n para
m
etric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c: avoid clan
g
w
arning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
V
erd
o
ol
a
e
ge
isl_str
e
am_read_map:
accept floord and ceild expre
s
s
io
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl
_
stream_read
_
map: accept
m
in an
d
max expre
s
sio
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
V
e
rdoolaege
isl_stream_read_map: properly read neste
d
d
i
vs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ve
n
Verdoolaege
isl_stream_read
_
map: treat
d
ivs as o
u
tpu
t
variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
erdoolaege
i
sl_map_coa
l
esce: plug memo
r
y
l
e
a
k
o
n e
r
ror
p
a
th
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en
Verdoo
l
aege
i
sl_ma
t
_exte
n
d:
a
void memory leak whe
n
rea
l
loc fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
i
s
l_basi
c
_map_overlying_set: avoi
d
memory lea
k
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
erdoo
l
aege
isl_stre
a
m_getc: avoid memory leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolaege
ru
d
imentary support fo
r
a
s
ynchro
n
ous termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoolaege
hide
isl_ctx i
n
te
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Ve
r
doo
l
aege
isl_vec_rea
d
_from_file: drop input_f
o
rmat ar
g
ume
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_map
.
c:
d
rop unu
s
ed err
o
r labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdo
o
laege
isl_in
p
ut
.
c: dr
o
p
u
nuse
d
error
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
respe
c
t DESTDIR
when inst
a
lling
i
sl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
r
doolaege
isl_stre
a
m: accept "$" tok
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en
Verdoo
l
ae
g
e
add
i
s
l
_un
i
on_map_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
change isl_map_powe
r
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
o
o
l
aege
add isl_u
n
ion_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en V
e
rd
o
olae
g
e
add priva
t
e i
s
l_basic_map_sw
a
p_va
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
a
dd isl_union_map_delta
s
_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdool
a
ege
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
ven Verd
o
olaege
i
sl_map_del
t
as: don't copy
flags fro
m
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
isl_st
r
eam_read_map: accept constan
t
exp
r
essions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolaege
isl
_
stream: accept "/\" and "\/
"
as alte
r
natives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
ae
g
e
isl_stre
a
m:
o
nly
q
uot
e
n
e
wline usin
g
'\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream: mai
n
tain
private
ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoo
l
a
e
ge
isl_s
e
t
_lifting: simpli
f
y and finalize result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc:
d
rop
lo
n
g out
d
ate
d
no
t
e on
transitive c
l
osur
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add isl_
b
asic_set_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoola
e
ge
isl_m
a
p_identity
:
take dimension
specif
i
cation of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
r
d
oolaege
rename isl_
d
i
m
_map to isl
_
d
im_map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaege
tr
a
nsi
t
ive closu
r
e
: p
r
oject out parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
privately export is
l
_b
a
s
i
c_set_reset_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_set
_
lift: preserve stru
c
ture of
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
i
sl_pw_qpolynomial_bound: handle
c
ombination of wrap
p
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_t
a
b_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoolaege
isl_tab: check f
o
r ob
v
iously
em
p
ty tableaus aft
e
r discove
r
in
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
o
l
aege
i
sl_bas
i
c_ma
p
_gist: prefer contrain
t
s with
o
ut existent
i
a
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven V
e
rd
o
o
l
aege
i
s
l_
b
asic_map_s
o
r
t
_constra
i
nts: change c
o
mparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
oolaege
isl
_
tab_
i
neq_type: cla
s
sify m
o
re cons
t
raint
s
as
b
ei
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ver
d
o
o
l
a
ege
isl_map_coalesce: be m
o
re relaxed about multi
p
le
equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next