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_dim_map: allow signed mapping
2011-04-21
S
ven Verdoolaege
isl_dim_map: al
l
o
w signed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdo
o
laege
isl
_
dim
_
map:
e
xtr
a
ct from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
ch
a
nge prototype of isl_t
a
b_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
ad
d
isl_map_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n
V
er
d
ool
a
ege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verd
o
o
laege
doc: a
d
d
a note on the
a
c
curacy of our appr
o
ximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdool
a
ege
add is
l
_union_set_coefficients
a
n
d
is
l
_union_
s
et_s
o
lution
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
ge
a
dd
isl_union_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verd
o
o
laege
Merge
bra
n
ch
'
mai
n
t'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoo
l
ae
g
e
isl_tab: alway
fre
e
saved basis
u
ndo r
e
cord
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdo
o
lae
g
e
m
ake
s
ure d
e
stination for GDB modu
l
e exists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
S
v
e
n Verdoo
l
aege
isl_tab_pip
.
c: add_lexmin_eq: remove
m
isguided optimiz
a
t
i
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdo
o
la
e
ge
isl
_
b
asic_map_lexm
i
n: turn off eq
u
ality detecti
o
n
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Ver
d
oolaege
use silent make
r
ules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdo
o
laege
isl
_
s
t
ream_read_map: fix handling of div
s
i
n
t
uples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verd
o
olaege
is
l
_mat_left_herm
i
te: pl
u
g m
e
mory
leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaege
plug memor
y
l
e
a
k
in isl_mat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
doc:
add some impl
e
me
n
t
a
tion
details on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
oolaege
isl
_
l
p
.
c: avoid cl
a
ng warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdo
o
lae
g
e
isl_stream_re
a
d
_
map: a
c
cept fl
o
ord and ceild expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_read_map: accept min and m
a
x expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
aege
isl_strea
m
_read_map: properly read nested divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_r
e
ad
_
ma
p
:
t
rea
t
divs as
output v
a
r
i
ables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coale
s
c
e: plu
g
memory l
e
ak
on
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verdool
a
ege
isl
_
m
a
t_extend:
a
void memo
r
y lea
k
when realloc fa
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_basic_m
a
p
_overlyi
n
g_s
e
t: avoi
d
m
e
mory
l
eak
when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
sl
_
stream_getc:
a
void
m
e
m
ory l
e
ak when realloc fail
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verd
o
olaege
ru
d
im
e
ntary support for
asynchronous
termination of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoolae
g
e
hide isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ver
d
oolae
g
e
isl_
v
ec_
r
ead_fro
m
_file: d
r
op input
_
format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
d
oolae
g
e
isl_map
.
c: drop unuse
d
error la
b
el
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
g
e
isl_input
.
c: drop unused err
o
r labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
respec
t
DES
T
DIR when i
n
stal
l
ing i
s
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ver
d
oolae
g
e
isl_strea
m
: accep
t
"$"
token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add
i
s
l_union_map_pow
e
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
change isl_map_
p
ower interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oo
l
aeg
e
add isl_un
i
on_m
a
p_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaege
add private is
l
_basic_m
a
p
_
swap_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
add isl_u
n
ion_ma
p
_d
e
ltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaeg
e
Mer
g
e branch
'
maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_map
_
d
e
l
tas: don't copy f
l
ags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
V
e
rdoolaege
isl_strea
m
_
read_map:
a
c
cept constant expr
e
ssion
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaeg
e
isl_stream: acce
p
t
"
/\" and
"
\
/
"
a
s alterna
t
ives
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
ol
a
ege
isl_stre
a
m: only quote newline usi
n
g '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream
:
mainta
i
n priva
t
e ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
isl_se
t
_lif
t
ing: simpl
i
fy
a
nd finali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
doc: fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc
:
drop long outdated n
o
te
on transitiv
e
c
l
osures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
v
en Verdo
o
laege
a
d
d isl_basic
_
set_get_dim_
n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en V
e
rdoolaege
isl_map_i
d
entity:
take di
m
ens
i
on
s
pecificat
i
on of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
r
ename isl_dim_map to i
s
l
_di
m
_map_from
_
s
et
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolae
g
e
transitive closure: project out p
a
ram
e
ters when a
n
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
r
doo
l
ae
g
e
privately export isl_basic_set_
r
e
s
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
i
sl_set_lift: pre
s
er
v
e str
u
cture o
f
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
e
ge
isl_
p
w_qpolynomial_
b
oun
d
: han
d
le
combination of wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_
t
ab_pip
.
c: fix typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdoolaeg
e
isl_tab: c
h
ec
k
for obviously
empty tableaus
a
f
ter disc
o
verin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_basic_map_gi
s
t: prefer contraints without exis
t
entially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
S
v
e
n
V
erdool
a
e
ge
isl_basi
c
_
m
a
p
_s
o
rt_c
o
nstraints: change comp
a
rison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdoolaege
isl_tab_in
e
q_type: c
l
as
s
ify
more c
o
n
s
tra
i
nts as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaege
isl_map_c
o
alesce: be more relaxe
d
about multiple equaliti
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdoo
l
aege
add isl_basic_
m
ap_from_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
add isl_basic_
s
et_neg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
laege
add isl_basic_set_flat_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
e
x
port
isl_bas
i
c_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ve
r
do
o
la
e
g
e
add isl_basic_map_from_
q
poly
n
omial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream: support \<newline> lin
e
c
o
ntin
u
a
tion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
add isl_union_m
a
p_read_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olaege
isl_stream_read_ma
p
:
a
ccept 't
r
ue' and 'fa
l
se' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
sl_
s
tr
e
a
m
_read_ma
p
: a
l
low extra
'
;' at end of
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoo
l
aege
i
s
l_stream_read_map: allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolae
g
e
isl_
s
t
r
eam_read_map: allow existenti
a
l
q
uantification
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven V
e
rdoolaege
privately
e
xp
o
rt i
s
l_basic_map_ad
d
_div_
c
onst
r
aint
s
_
var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_morph_bas
i
c_se
t
: preser
v
e ratio
n
ality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaeg
e
add
isl
_
basic_set_is_rat
i
onal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoolaeg
e
isl_pri
n
t
e
r_print_bas
i
c_map: explicitly mark
r
atio
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
ven Ve
r
dool
a
ege
isl_stream_read_map: read ratio
n
al maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Ver
d
oo
l
aege
isl_basic
_
map_insert:
p
r
e
ser
v
e rati
o
nality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erdoolaege
ad
d
i
sl_basi
c
_map_set_rationa
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_basic_map_fast_cmp: d
i
ffere
n
tiate bet
w
een rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_ou
t
p
u
t
.
c: r
e
m
o
ve some code dupl
i
cation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
i
sl_p
r
int
e
r
_
print_basic_{set,m
a
p}: don't
s
tart new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
er
d
oolae
g
e
i
sl_stream
_
read_map:
a
ccep
t
'|' at start of cons
t
raints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
is
l
_s
t
r
e
a
m
:
keep track of textu
a
l representati
o
n of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
V
e
r
doola
e
ge
isl_inp
u
t
.
c: clean up re
a
d_
d
isjunc
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven V
e
rdo
o
l
aege
isl_stream_read
_
map: acc
e
pt
d
isjunctions withi
n
a conjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n V
e
r
doolaege
is
l
_convex
_
hull
.
c: explic
i
tl
y
ma
r
k w
r
apping lp pro
b
lem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven
Verd
o
olaege
is
l
_tab_min: micro
-
optim
i
zation
:
postpone taking into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge bran
c
h 'mai
n
t'
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
e
r
d
o
o
l
aege
isl_tab_add_ro
w
: a
d
d
f
urther explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
olaeg
e
isl_tab
.
c
: fix ty
p
os in c
o
mme
n
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ve
r
do
o
l
a
ege
isl_tab_pip
.
c: co
r
r
ectly detect non-neg
a
t
ivity
o
f divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaege
add
t
est
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test
b
oth context handling me
c
ha
n
i
s
ms of isl_pi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoola
e
ge
isl_tab_is_equality:
p
r
operly support "b
i
g paramet
e
r
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
o
o
l
aege
isl_tab
_
pip
.
c: fix ty
p
o in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
isl_affi
n
e_h
u
ll
.
c: f
i
x typos
in com
m
ents
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoola
e
g
e
isl
_
union_map
_
c
ompute_flow: return accesses
with no
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ve
n
Ver
d
oolaege
M
erge branch '
m
aint
'
commit
|
commitdiff
|
tree
next