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
use silent make rules
2011-04-11
Sven Verdoolaege
use
s
i
l
ent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
r
doolaege
isl_st
r
eam_r
e
ad_map: f
i
x ha
n
dling
o
f divs
in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
v
e
n
V
e
r
doolae
g
e
is
l
_mat_left_he
r
mit
e
:
plug
memory lea
k
on
error pat
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
er
d
oolaege
plug memo
r
y le
a
k
in isl
_
mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaeg
e
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolae
g
e
doc
:
add some
implementation details on par
a
metr
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_
l
p
.
c
:
avo
i
d clang warni
n
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
is
l
_
stre
a
m_read
_
map: accept floord and
c
eil
d
expression
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoo
l
a
e
ge
isl_stream_read_map:
accept min and max
e
xpressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
isl_stream_read_map
:
properly rea
d
n
e
sted div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoola
e
ge
isl_stream_read_
m
ap: treat divs as outp
u
t
variabl
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdoolae
g
e
isl_m
a
p_
c
oalesc
e
: plug memory leak on erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
isl_mat
_
extend: avoid memo
r
y lea
k
when r
e
a
l
loc f
a
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_basi
c
_map_overlying
_
set
:
avoid me
m
ory leak
w
he
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_g
e
tc: avoid memo
r
y l
e
a
k
w
h
en realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
V
er
d
oolaege
r
u
d
imentary
su
p
po
r
t for asynchrono
u
s
termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Ver
d
oolaege
hide
i
sl_ctx inter
n
al
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Ve
r
doolae
g
e
i
s
l_vec
_
read_from_f
i
le: dro
p
input_format arg
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdo
o
l
aege
isl_map
.
c
:
drop un
u
sed erro
r
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl
_
inpu
t
.
c: d
r
o
p un
u
sed er
r
or la
b
e
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
respect DESTDIR when insta
l
li
n
g
i
sl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaeg
e
isl
_
stre
a
m: accept "$"
t
oken
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdool
a
ege
add
isl_union_ma
p
_p
o
wer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
e
rdoolaeg
e
change isl_m
a
p_
p
ower inte
r
f
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add is
l
_un
i
on
_
map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
er
d
oolaege
add private isl_
b
as
i
c_map_
s
w
a
p_var
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Ve
r
doola
e
ge
add
i
sl_union_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
Merge br
a
n
c
h 'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoolaege
isl_map_deltas: don't
copy flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ver
d
oolaege
isl_str
e
am_read_map:
acce
p
t consta
n
t
e
x
p
r
essions of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream: accept "/\" and "\/" a
s
alternatives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoolaege
i
s
l
_stream: only quote newline
usin
g
'\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolaege
isl_stream: maint
a
in private unge
t
c buf
f
er
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
i
sl_set_li
f
t
i
ng: simpli
f
y
and
fin
a
li
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc: drop long outdated n
o
te on transitive
c
losures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ve
r
doolaege
add isl_basic_s
e
t_get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_identity:
t
ake dimension specifica
t
ion of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven V
e
rdoolae
g
e
r
ename isl_dim_map
t
o isl_dim_map_
f
r
om_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdoolaege
t
r
a
nsitive c
l
osure:
p
r
oject out paramet
e
rs when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
privatel
y
export isl_basic_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
isl_set_lift: preserve structure
of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_pw
_
q
p
olynomial_bound: handle combina
t
io
n
of wra
p
ping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_t
a
b_pip
.
c: fix typo in
commen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl
_
tab: check
f
or obviou
s
ly emp
t
y
tabl
e
au
s
a
f
ter di
s
coveri
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolae
g
e
isl_basi
c
_map
_
gi
s
t: prefer contr
a
in
t
s without existent
i
a
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven V
e
rdoo
l
aege
i
sl_basic_map
_
s
o
rt_constraints: chan
g
e
comparison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
e
r
doolaege
isl_tab_i
n
eq_type: classify more con
s
traints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Ve
r
doo
l
aege
isl
_
map_coale
s
c
e: be
m
o
re relaxe
d
about multi
p
le equalit
i
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add
isl_basic_map_from_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
add i
s
l
_
basic_
s
et_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
doolaege
a
d
d
isl
_
basic_set_fla
t
_p
r
oduct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n
Verdoolaege
export
is
l
_basic_m
a
p_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
aege
add i
s
l_b
a
s
i
c
_
map_from_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdool
a
e
ge
isl_s
t
ream: support \<newline>
li
n
e contin
u
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
add isl_union_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
isl_stream_re
a
d_map
:
accept 'true'
and 'false' constr
a
i
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_str
e
a
m
_read_
m
ap:
a
l
low
e
x
tr
a
';
'
a
t
e
nd of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdo
o
laege
isl
_
stream_re
a
d_map: a
l
low negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_stream_read_map: allow ex
i
sten
t
i
al quantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
p
r
i
v
ately
export
i
sl_basic_
m
ap_add_div_constrai
n
ts_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laeg
e
i
s
l_
m
orph_ba
s
ic_
s
et
:
p
reserve ra
t
i
o
nality of inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven
Verd
o
o
l
aege
add isl_basic_s
e
t_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_
p
ri
n
t_basic_
m
ap: e
x
pl
i
citly mark
r
ation
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_stream_read_map: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
isl_basi
c
_map_insert: preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
add
i
sl_basic
_
map
_
set_r
a
tional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aeg
e
isl_basic_map_fast_cmp:
dif
f
ere
n
tiate betwee
n
rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c: rem
o
ve so
m
e
c
od
e
duplicati
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_printer_print_
b
asic_{set,map}:
don't
s
tart
new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_stream_read_map: accept '|' at start of constra
i
nt
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolaege
isl
_
strea
m
:
keep t
r
a
ck o
f
text
u
al repre
s
entati
o
n
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdool
a
ege
isl_input
.
c: c
l
ean up rea
d
_dis
j
u
ncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdool
a
ege
isl_st
r
ea
m
_read
_
map:
a
ccept disjun
c
t
i
o
ns within a c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_convex_hull
.
c: exp
l
icitly mark wrappi
n
g lp pr
o
blem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n Verdo
o
laege
isl_tab_min: micro-opti
m
ization: postpon
e
taking
i
nt
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge branc
h
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdo
o
laege
isl_tab_add_row: add
fu
r
ther
explanat
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
i
s
l_tab
.
c: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Ve
r
d
oolaege
isl_
t
ab_pi
p
.
c
:
correctly dete
c
t
n
on-negativi
t
y of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
a
dd test
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erd
o
olaege
test bo
t
h context han
d
l
i
n
g
mechanisms
of isl
_
p
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_ta
b
_is_equality
:
properly support
"b
i
g
param
e
t
er"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
isl_t
a
b_pip
.
c: fix
typo in comm
e
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoo
l
aege
isl
_
affine_hu
l
l
.
c
: fix typos
i
n comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
dool
a
eg
e
isl_union
_
map_
c
ompu
t
e_flow:
r
e
t
urn acces
s
e
s
with
no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ver
d
oolaeg
e
M
e
rge branch 'm
a
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_union
_
map
.
c
:
i
nplace: pass data poi
n
ter t
o
isl_hash_
t
a
b
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
is
l
_dim_mov
e
: update p
a
r
ameters of
nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
add isl_
m
ap_nat_universe
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
clean up isl_set_from_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoola
e
ge
m
e
r
ge isl_basic_se
t
/
isl_basic_map and i
s
l_
s
e
t/i
s
l_m
a
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "o
m
ega" transitive closu
r
e to "box" tr
a
nsitiv
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n
Verdoolaege
export isl_int_obj_fre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_vertic
e
s
.
c: fix typos
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oolaeg
e
isl_union_templ
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
isl_map_
s
ubtract
.
c: n_non_red
u
n
dant
:
propage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
aege
isl_bernstein
.
c
:
fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
add isl_union_pw_qpolynom
i
al_mul_
i
sl
_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
ven
V
er
d
ool
a
ege
i
sl_stream_r
e
ad_o
b
j: read int objec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next