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_polynomial.c: avoid use of an unitialized variable on an error path
2011-04-21
Sven Verdoolae
g
e
add isl
_
u
n
i
on_map_is_bijecti
v
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
Verdoolaege
add isl_union_map_
i
s
_
single_valu
e
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
e
g
e
add i
s
l_mat_add_zer
o
_
rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdoolaege
isl_blk: don't
reuse overly large b
l
ocks for
s
mall
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doola
e
ge
add isl_hmap_map_basi
c
_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdo
o
lae
g
e
ad
d
isl_union_map_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_union_
m
ap_contains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoolaege
a
d
d isl
_
basi
c
_set_tran
s
form_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erd
o
olaege
add i
s
l_basic_set_offs
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolae
g
e
chang
e
i
s
l_ma
t
_su
b
_
all
o
c prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ve
n
Verdoolaege
make isl_
m
at_sub
_
* fun
c
tions pri
v
ate
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
add isl_
v
e
c
_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
dd is
l
_mat_initi
a
l_non_zero_cols
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoola
e
ge
add
isl
_
mat_
s
et_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_basic_set_add
_
constraints_
d
im_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
ool
a
e
ge
a
dd isl_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoo
l
aege
i
sl
_
dim_
m
a
p
: allow signed ma
p
p
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim
_
map
:
extra
c
t from isl_
m
ap
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
change prototype of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add isl_m
a
p
_
r
emove_div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
doc: ad
d
a
no
t
e on the
a
ccura
c
y of our
a
pproxima
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaeg
e
a
d
d
i
s
l_uni
o
n_s
e
t_coefficients an
d
isl_union_set_so
l
ution
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ver
d
oolaeg
e
add
isl_union_
s
et_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erdoolae
g
e
Mer
g
e
branch '
m
aint'
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Ve
r
doo
l
aeg
e
i
sl_t
a
b
:
alway free saved
b
asis undo
r
ecord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
r
doolaege
ma
k
e sure dest
i
nation for GDB module exists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verd
o
o
l
aeg
e
i
sl_ta
b
_pip
.
c
:
a
d
d
_lexmin_eq: remove misguided opt
i
mizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Verdoolaege
isl_bas
i
c_m
a
p_lexmin: turn off equa
l
ity detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
e
rdoolae
g
e
use silent
make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n
Ver
d
oolaege
isl_stream_read_map:
fix handling of divs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolaege
i
s
l_
m
at_
l
eft_her
m
ite: plug memory leak
o
n e
r
ror path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
Verdoolaege
plug
m
emory leak
i
n isl_mat_pr
o
d
uc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
ge
is
l
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
d
o
c: add s
o
me implement
a
tion de
t
ails
on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolaege
isl_lp
.
c: avoi
d
clang warn
i
ng
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven
V
erdoolaege
isl_s
t
ream_read
_
map: accept
f
loord
a
n
d
ceild ex
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
i
sl_s
t
ream_read_map: accept min
and max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaeg
e
i
s
l_
s
tream_read_map: properly read ne
s
ted divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdo
o
laege
isl_stre
a
m
_
read_map:
t
r
eat divs as
o
utput variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en V
e
r
doolaeg
e
isl_map_coalesc
e
:
p
l
ug memo
r
y leak on er
r
or path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_mat_ex
t
e
nd: avoid me
m
ory leak w
h
en
r
e
a
l
l
oc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_
b
asic_map
_
overlying
_
set
:
avoid memor
y
leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdo
o
laege
isl_stream_getc: avoid memory leak when
r
e
alloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
rud
i
mentary sup
p
or
t
for asynchronous ter
m
ination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_ctx i
n
ternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
V
erdoolaege
is
l
_vec_r
e
ad_from_file: d
r
op
input_
f
ormat argum
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_map
.
c:
d
rop unu
s
ed er
r
or la
b
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoolaege
isl
_
i
n
put
.
c: drop unu
s
ed
e
rror label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoola
e
ge
r
espect D
E
STDIR when inst
a
l
ling isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoolaege
i
s
l
_
stream
:
accept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoo
l
aege
a
dd
i
s
l
_uni
o
n_map
_
p
o
w
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
V
er
d
oolae
g
e
chan
g
e is
l
_m
a
p_pow
e
r interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
a
d
d isl_union_map_zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
er
d
oolaege
a
d
d private isl_
b
asic_m
a
p_swap_
v
ars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add
i
sl_union_map_deltas_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en
Verdool
a
e
g
e
Merge branc
h
'ma
i
nt
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verd
o
olaege
isl_map
_
deltas: don't copy flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_
s
tream_rea
d
_map: accep
t
consta
n
t expressions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
Verdoolaege
isl_stream:
accept "/
\
" and "\/" as
alte
r
na
t
ives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_st
r
eam: only
quote newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
do
o
laege
isl
_
stre
a
m:
maintain p
r
ivate un
g
e
t
c
b
uffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolae
g
e
i
s
l_set_lifting: simplify
and fin
a
li
z
e resul
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
doc
:
fix t
y
po
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
do
c
: drop long outdated note on transi
t
ive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add isl
_
bas
i
c_set_
g
et
_
dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdo
o
laege
i
sl_map_identity
:
t
ake dimension sp
e
cifica
t
i
on of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
r
doolaege
rena
m
e isl_dim
_
map to isl_
d
i
m_m
a
p_
f
r
om_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
transitiv
e
closure:
p
roje
c
t
out parameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately export isl_
b
asic_set_reset
_
dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n V
e
rdoo
l
a
ege
isl_se
t
_
l
ift: preserve
stru
c
t
u
re of
s
pace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
is
l
_pw_qpolyno
m
ial_
b
o
u
nd: hand
l
e combina
t
ion of
w
r
apping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
i
s
l
_
tab_pi
p
.
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 for obviously empty tablea
u
s 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
a
e
g
e
isl_basic_ma
p
_gist: prefer contraints without ex
i
stentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Ve
r
doolae
g
e
i
sl_basi
c
_m
a
p_sor
t
_constr
a
ints: chang
e
comp
a
ris
o
n
routi
n
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
ven
Verdoolaege
isl_tab_i
n
e
q
_
type
:
c
lassify more const
r
aints
a
s being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
Verdoolaege
isl_
m
ap_coalesce:
b
e
m
o
re relaxed about mul
t
iple equalities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
e
n Verdoolaege
add isl_basic_map_f
r
o
m_
d
omain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoolaege
add isl_bas
i
c_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verd
o
ol
a
ege
a
d
d
i
s
l
_basic_set_flat
_
produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erdoolaege
ex
p
ort
isl_basic_map
_
flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verd
o
o
laege
add isl_basic
_
map_from_
q
poly
n
omia
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
isl_stream: support \<newline> line con
t
inuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
add isl_union_m
a
p_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
is
l
_
s
tream_read_map: accept '
t
rue' and 'false' constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ver
d
oolaege
isl_strea
m
_read_
m
a
p
: allo
w
extra '
;
' at end of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolae
g
e
isl
_
stream_re
a
d_map:
allow n
e
gations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_
s
t
r
eam_
r
ead_map: allow existential quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
priv
a
tely
e
xport isl_basic_map_ad
d
_div
_
cons
t
r
a
i
nts_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
i
s
l_morph_basic
_
set: preserv
e
r
ationali
t
y of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
a
dd isl_basi
c
_set_is_
r
ati
o
na
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
is
l
_printer_print_basic
_
map: expli
c
itly ma
r
k rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoo
l
aeg
e
i
sl_stream_read_map:
r
e
ad rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
e
rdoo
l
aege
isl_basic_map_insert: preserve
r
ational
i
ty of i
n
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add isl_basi
c
_map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
Verdool
a
eg
e
isl_basic
_
map_
f
ast_cmp
:
dif
f
erentia
t
e between ratio
n
al
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_outp
u
t
.
c: remo
v
e
some code
d
uplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoo
l
a
ege
isl
_
p
r
i
nter_p
r
int_b
a
sic_{set,map}:
don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olaege
isl_stream_re
a
d
_ma
p
: acce
p
t '
|
' at
st
a
r
t
of co
n
straints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next