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 0.06
2011-03-18
Sven Verdoola
e
ge
i
s
l
0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
doc:
add s
o
me
i
mplementation details on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
Verdoolaege
isl_lp
.
c:
a
v
o
id
c
l
a
n
g warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
laege
i
s
l_stream_
r
ead_m
a
p: accept
f
loord
and ceild exp
r
ess
i
o
ns
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_
r
ead_map: accept m
i
n and max ex
p
ressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
i
sl_stream_rea
d
_ma
p
: properly read nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
ege
isl
_
stream_read_
m
ap:
t
r
e
at
divs
a
s output variab
l
es
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
isl_map_coalesce: p
l
ug memory l
e
ak on er
r
o
r path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaeg
e
isl
_
m
a
t_exte
n
d:
av
o
id mem
o
ry
leak when
r
ealloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl
_
basic_map_overl
y
ing_set: avoid mem
o
ry le
a
k when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
ae
g
e
isl_str
e
am_getc: avoid
memory leak
when
r
ealloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
r
u
dimentary support for asy
n
chron
o
us te
r
m
i
n
ation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hide isl_
c
t
x
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_v
e
c
_
read_fr
o
m_
f
ile: d
r
op
inp
u
t_format
a
rg
u
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl_map
.
c: d
r
o
p
unused error
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_input
.
c:
d
r
op unused
erro
r
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
res
p
ect DE
S
TDIR when installing
i
s
l
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
en Verdoo
l
a
e
ge
i
s
l_stre
a
m: accept
"
$
"
token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdo
o
laege
add
isl_union_map_pow
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
a
ege
change
i
s
l_m
a
p_powe
r
interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
add isl_union_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoo
l
aege
add private
i
sl_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Ve
r
d
oolaege
add i
s
l_unio
n
_
m
ap_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n
Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Ver
d
oola
e
ge
isl
_
ma
p
_
d
elt
a
s: don't copy flags
f
rom input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
r
d
oola
e
ge
isl
_
stream_read_map: accept
c
onstant expr
e
s
sions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_str
e
a
m:
a
c
cept "/\" and "\
/
" a
s
alternat
i
v
es
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream
:
only quote
newli
n
e u
s
ing '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
isl_str
e
am: maintain private unge
t
c buf
f
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Ver
d
o
olaege
isl_set_lifting: simplify
a
nd fin
a
l
i
ze result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
Verdoolae
g
e
doc: fix
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Ver
d
oolaege
doc: drop lo
n
g out
d
ated
n
o
te on transitive c
l
osures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven
V
erdoolaege
add isl
_
basic_se
t
_get_
d
im_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_identity
:
take dimen
s
ion specific
a
tion of
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdoolae
g
e
rename
i
s
l
_dim_
m
ap t
o
isl_dim_map_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaege
transitive closure: project out
parameters when an
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
p
riv
a
tely
exp
o
rt
isl_
b
asi
c
_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaeg
e
isl_set_lift: preserve stru
c
ture of space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
isl_pw_qpo
l
ynomi
a
l_bound: handle combinati
o
n of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
a
ege
isl_tab_pip
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdo
o
laege
isl_ta
b
: c
h
eck f
o
r o
b
viously empt
y
tableaus after di
s
c
overin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Ve
r
doolaege
isl_
b
asic_map_
g
ist: p
r
ef
e
r contraints without
e
xistentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
V
e
rdoolaege
isl_basic_m
a
p
_sort_co
n
s
tra
i
nts: change comparison routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n
V
erdoolaege
isl_tab_ine
q
_type: class
i
fy mor
e
co
n
stra
i
n
t
s
a
s
being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en V
e
rdoo
l
aege
isl_ma
p
_coalesce: b
e
m
or
e
rel
a
xed about multiple equa
l
ities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
add isl_b
a
sic_map_from_domain
_
and_rang
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdool
a
e
g
e
add isl_basic_set_ne
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_set_
f
lat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
export isl_basi
c
_map_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basic_
m
ap_f
r
om_qpolynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdoolaege
isl_strea
m
:
support \<newline> line cont
i
n
u
a
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verdool
a
ege
add i
s
l_uni
o
n_ma
p
_rea
d
_fr
o
m_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
r
doolaege
i
s
l_
s
t
r
eam_read_ma
p
:
a
ccept 'tru
e
' and
'
false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
Verdoolaege
isl_stream_read_map: allow extra
'
;' at
en
d
of ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolaege
isl_st
r
eam
_
read_map: a
l
low ne
g
ations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoola
e
ge
isl_str
e
am_read_map:
a
l
l
ow existent
i
al q
u
antificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privatel
y
export isl_
b
asic_map_add_div_constra
i
n
ts_
v
ar
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Verdoolaege
i
sl_morph_
b
asic_
s
et: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
a
d
d
isl_basic_s
e
t_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
sl_printer_prin
t
_b
a
sic_m
a
p
:
explicitly mark ratio
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoo
l
a
e
g
e
isl_stream
_
rea
d
_map
:
read
r
ation
a
l maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basi
c
_map_inse
r
t: p
r
eserve rationality o
f
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
add isl_b
a
sic_ma
p
_set_ration
a
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
isl_basic_ma
p
_fast_cmp: di
f
fer
e
nti
a
te between rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c:
r
e
m
ove some co
d
e
d
uplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
ola
e
ge
isl_printer_prin
t
_basic_{set,map}: d
o
n't star
t
new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n Verdoolaege
isl_stream_read_map: acce
p
t '
|
' at start
of con
s
t
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
e
n
Verdoolaege
isl_s
t
ream:
keep tr
a
ck of
t
extual representation
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en
Ver
d
o
o
laege
isl
_
input
.
c: clean u
p
read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
olaeg
e
isl_s
t
ream_re
a
d_map: accept
d
i
sjunctions within a conjunc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdo
o
laege
isl_conve
x
_hull
.
c: explicitly mark wrapping lp p
r
oblem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
do
o
laege
i
s
l_t
a
b_min: m
i
cro-optimiza
t
ion: postpone ta
k
ing into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verdoolaege
isl_tab_add_row: add furt
h
er exp
l
ana
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
sl_t
a
b
.
c: fix typos
i
n comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdool
a
ege
isl_tab_pip
.
c:
co
r
rectly
d
e
tect non-negativity
o
f
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
add test
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
dool
a
ege
tes
t
both con
t
ext handling me
c
hanisms
o
f isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aeg
e
i
sl_tab_is_equ
a
lity: properly support "big parameter
"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oolaeg
e
i
s
l
_
t
a
b_pip
.
c
:
fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaeg
e
isl_
a
ffine_hu
l
l
.
c: f
i
x typos
i
n
comment
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
eg
e
isl_union_map_compute_flow: return access
e
s
with no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdo
o
l
aege
Merge bra
n
ch 'm
a
int'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaeg
e
isl_unio
n
_map
.
c:
i
np
l
ace: pass data pointer
t
o
isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Verdoola
e
ge
isl_dim_move
:
updat
e
para
m
e
t
ers of neste
d
spa
c
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdo
o
laeg
e
add isl_map
_
na
t
_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up
i
sl_
s
et
_
from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoola
e
ge
merge
i
s
l_ba
s
ic_set/is
l
_basic_map and i
s
l_set/
i
sl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven V
e
rdoolaege
rena
m
e "omega"
t
r
ansiti
v
e c
l
o
s
u
r
e
t
o "box"
transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en V
e
rdo
o
l
a
ege
e
xp
o
rt isl_int_obj_
f
ree
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
is
l
_vertice
s
.
c
:
f
ix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoolaege
isl_unio
n
_
templ
.
c
:
f
i
x typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
eg
e
i
sl_
m
a
p_s
u
btract
.
c:
n_non_red
u
ndan
t
: propa
g
e isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verdoo
l
aege
isl_bernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
add isl_
u
n
i
on_pw
_
qpolynomial_
m
ul_is
l
_i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en V
e
rdoo
l
aege
i
s
l_stream
_
read_ob
j
: read int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
e
n
Verdoo
l
aege
add
i
nt objects for
use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaeg
e
isl_b
a
si
c
_map_remove_divs: fina
l
ize
r
esul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdool
a
e
ge
a
d
d
isl_ba
s
ic_set_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
Merge br
a
nch 'ma
i
nt'
commit
|
commitdiff
|
tree
next