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_blk: don't reuse overly large blocks for small allocations
2011-04-21
S
ven Verdool
a
ege
isl_blk: don't r
e
u
se overly large b
l
o
cks
for sm
a
ll
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l
_hmap_
m
ap_basic_se
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
a
dd isl
_
u
n
ion_map_copy_ma
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add i
s
l_union_
m
ap_c
o
ntains
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d
i
sl
_
b
a
s
ic_set_transform_
d
ims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verd
o
o
l
aege
ad
d
isl_basic_set_off
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
dool
a
ege
change isl_ma
t
_
s
u
b
_alloc prototype
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
e
rdoolaege
make isl
_
mat_sub_*
functions private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_vec_ge
t
_ct
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en
Ver
d
o
ola
e
ge
add isl_mat_initial_non
_
zero_col
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
olaege
add isl_mat_
s
et_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_basi
c
_s
e
t
_
a
d
d_constraints_dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add is
l
_dim_map_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_dim_map:
allow signed mappin
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
d
o
olaege
i
s
l_dim_map: e
x
tract
fr
o
m
isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
cha
n
ge prototype
o
f
isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven
V
e
r
d
o
olaege
add isl_map_remov
e
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
do
c
: fix ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ver
d
oolaege
doc:
add a no
t
e o
n
the accuracy of our a
p
pr
o
x
imation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl
_
union_set_co
e
f
fi
c
ients and isl_union_set_
s
olut
i
ons
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
d
o
o
laege
add isl_
u
nion_
s
et
_
lif
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
Merge
b
ranch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolaege
i
sl_ta
b
: a
l
w
a
y
f
ree saved basis un
d
o record
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
m
ake sure dest
i
nation for G
D
B m
o
dule exists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven V
e
rdool
a
ege
isl_tab_pip
.
c: add_lexmin_eq: r
e
move misguided optimizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven
V
erdoolaege
isl_basic_map_lexmin:
t
ur
n
off equality de
t
ectio
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
use s
i
l
ent make rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaeg
e
isl_stream_
r
ead_
m
ap: fix h
a
ndli
n
g
of divs in t
u
ple
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdo
o
laege
isl_ma
t
_left_hermite: plu
g
memory l
e
ak on erro
r
path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolaege
p
l
ug memory leak in
i
s
l
_mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
ge
doc: add some
i
m
p
lementation det
a
il
s
on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
a
e
ge
i
sl_lp
.
c
: avoid clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Ver
d
o
olaege
isl_stream_
r
ead_m
a
p:
a
ccept floord and
c
e
ild express
i
ons
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_ma
p
:
accept mi
n
and max expressi
o
ns
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
rdoolae
g
e
is
l
_stream_read_map:
prop
e
rly read neste
d
divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_map: tr
e
at div
s
a
s output variables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
oola
e
ge
isl_
m
ap_coales
c
e: plug memory le
a
k on erro
r
pa
t
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdo
o
laege
is
l
_
mat_
e
xt
e
nd: avoid
m
e
mory leak wh
e
n realloc
f
ails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Ver
d
ool
a
ege
isl_basic_map_o
v
erlying_se
t
: avo
i
d memo
r
y lea
k
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_g
e
tc: av
o
id mem
o
ry
l
eak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
rudimentary
s
uppor
t
for asynchro
n
o
u
s termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verd
o
olaege
hid
e
isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
r
d
oolaege
isl_vec_read_from
_
file: drop input_format
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_
m
ap
.
c: dro
p
unused error
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
isl_inp
u
t
.
c: drop unuse
d
error la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n Verdoola
e
ge
r
esp
e
c
t
DESTDIR w
h
e
n
installing isl
.
p
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
d
o
olaege
isl_stream:
ac
c
ept "$" tok
e
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
ad
d
isl_union_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ve
r
doola
e
ge
change isl_map_power interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoo
l
aege
add is
l
_u
n
ion_map
_
z
ip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verd
o
ol
a
ege
add priv
a
te isl
_
basi
c
_map
_
swa
p
_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdool
a
e
g
e
add is
l
_
u
nion_
m
ap_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n
Verdoolae
g
e
Merge
b
r
anch '
m
aint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verdoolaege
is
l
_map_deltas: don't c
o
py
f
lags
from i
n
pu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
is
l
_stream_read_
m
ap:
accept cons
t
ant expres
s
ions o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
isl_stre
a
m:
a
ccept "
/
\" and "\/
"
as a
l
tern
a
t
i
ve
s
f
o
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_st
r
eam:
only quote new
l
ine using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
erdoo
l
aege
isl_stream: maintain private ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
isl_
s
et
_
lifting
:
simplify and fina
l
i
ze
r
esult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erdoolaege
doc: fix
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
d
o
c: drop long outd
a
ted note on tran
s
i
tive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Ver
d
oolaege
add isl_basic_set
_
get_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl_map_iden
t
ity: take dimension
specification of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaege
rename isl_dim_map to isl_dim_map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaeg
e
transit
i
ve closure: projec
t
out pa
r
ameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
pri
v
ately ex
p
ort isl_bas
i
c_set_res
e
t_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_
s
et_lift: pres
e
rve stru
c
ture
of
s
p
ace
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verd
o
olaege
isl_pw_q
p
olyn
o
mial_bound:
handle com
b
inat
i
on of
wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
isl_tab
_
pip
.
c:
f
ix typo
i
n comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdoolaege
is
l
_tab: check f
o
r
o
bviously em
p
ty
t
ableaus
af
t
er
discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
Verdoolaege
i
s
l_b
a
sic
_
map_gi
s
t:
p
refer contra
i
nts witho
u
t exist
e
ntially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
S
ven Verdoolaege
isl_b
a
sic_map_sort_con
s
traints: chang
e
compa
r
ison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Verdool
a
e
g
e
isl_tab_ine
q
_type: classify more
constrai
n
ts as
b
ei
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erd
o
olaeg
e
isl_map_
c
o
ales
c
e: b
e
more re
l
axe
d
abou
t
mu
l
tiple equal
i
ties
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add isl
_
ba
s
i
c_map_
f
rom_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
add isl_ba
s
ic_set_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_ba
s
ic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export i
s
l
_bas
i
c_map_flatte
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Ver
d
o
ola
e
g
e
add isl_
b
asic_m
a
p_from_qpolynomial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
Verd
o
ol
a
ege
i
s
l_stream: support
\
<newlin
e
> line continuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaege
add
i
sl_union_map_read_from_f
i
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolaeg
e
isl
_
strea
m
_read_map: ac
c
ept 'true' and 'fa
l
s
e
' co
n
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
Verdoolaeg
e
isl_stre
a
m_
r
ead_map:
a
llow extra ';' at end of
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Verdoo
l
ae
g
e
isl_stream_read_map:
a
llow nega
t
io
n
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl
_
stream_read_m
a
p: allow existential quantifica
t
ion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoo
l
aege
privately ex
p
ort isl_basic_map_ad
d
_div_const
r
aint
s
_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
is
l
_morph
_
basic_set:
preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
add isl_ba
s
ic_set_is_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoo
l
a
e
ge
isl_printer_prin
t
_basic_map: explici
t
ly mark rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Ver
d
oolaege
isl_stre
a
m
_read_m
a
p: r
e
ad rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
laege
isl_basic_m
a
p_insert: preserve ra
t
ionality of
i
nput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
V
erdoolaege
add isl_b
a
sic_m
a
p_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl
_
basic_map_fast_cmp: differentia
t
e between r
a
tional
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l_
o
utput
.
c
:
remove
some cod
e
duplication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_printer_pri
n
t
_
b
a
s
ic_{set,map}: don't sta
r
t n
e
w
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoola
e
ge
isl_stream_read_m
a
p: accept '|'
at start
o
f
const
r
aints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
s
l
_
st
r
eam: keep trac
k
o
f textual rep
r
esentation
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoo
l
aege
isl_input
.
c: clea
n
up read_
d
isjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoola
e
ge
isl_st
r
e
a
m_read_map:
a
ccept disjun
c
tions w
i
thin a c
o
njunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next