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
add isl_mat_set_element_si
2011-04-21
S
v
en
Verd
o
olaege
add isl_mat
_
set_element_si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdool
a
ege
add
isl_
b
asic_set_add
_
constraints
_
dim_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oola
e
ge
add isl_dim_map_ran
g
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
V
e
rdool
a
ege
isl_dim_map: al
l
ow signed
mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
is
l
_dim_
m
ap
:
extract from isl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
change prototype of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_map_remov
e
_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
l
aege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdool
a
ege
doc: add a
note o
n
the accu
r
ac
y
of our approximation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_union_
s
et_coefficie
n
t
s
and isl_union_set_solutions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
d
oolaege
add isl_union
_
set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Verdoolaege
M
erge branch
'
maint'
commit
|
commitdiff
|
tree
2011-04-19
S
ven Verdoolaege
isl_tab: al
w
ay free save
d
basis u
n
do recor
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
g
e
m
a
k
e sure destination for GDB module ex
i
sts before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
er
d
oolaege
isl_tab_pip
.
c: add_lexmin_eq: rem
o
ve
misg
u
id
e
d op
t
im
i
zations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sve
n
Verdoolae
g
e
isl_basic_ma
p
_
lexmin:
t
u
r
n
off equality detect
i
o
n on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
oolaege
use
s
ilent make rul
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolae
g
e
i
s
l
_strea
m
_read_ma
p
: fix handling of
d
ivs in tuples
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaege
isl_mat_l
e
ft_
h
ermi
t
e: plug mem
o
r
y leak
on error
p
ath
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verdoolaege
p
lug memory l
e
ak in isl_
m
at
_
pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaeg
e
isl
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
g
e
doc: add some im
p
l
e
mentation details on parame
t
ri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
eg
e
isl
_
lp
.
c: avoid clang wa
r
ning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_stream_rea
d
_map: accept floord
and ceild ex
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_st
r
eam_read_map
:
a
c
cept min
and max ex
p
ressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_st
r
eam_read_
m
ap: pr
o
p
e
r
l
y
re
a
d nested
d
ivs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l_str
e
a
m
_read_map:
t
reat divs as
o
utput va
r
i
ables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
sl_map
_
coalesc
e
: plu
g
memory
leak on err
o
r path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
d
oolaege
isl
_
m
at_extend: avoid memory
l
eak when
realloc fa
i
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_basic_
m
a
p
_
overlyin
g
_set: avo
i
d memory
l
e
ak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
o
o
lae
g
e
i
sl_s
t
ream_get
c
: avoid memory lea
k
w
h
e
n real
l
oc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
rud
i
mentar
y
support for as
y
n
c
h
ronous ter
m
i
n
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verd
o
olaege
hide
i
sl_ctx i
n
ternals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_vec_read_from_file: drop
i
nput
_
format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
isl
_
map
.
c: drop unused
error label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
e
g
e
isl_input
.
c:
drop unused
e
rror labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
r
e
spect
D
ESTDIR when installing isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
isl_stream: acc
e
p
t "
$
" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
add isl_union_map_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
change i
s
l_map
_
powe
r
int
e
rface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rdoolaege
add isl_union_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Verdoolaege
add p
r
iv
a
t
e isl_basic_
m
a
p
_sw
a
p_var
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdo
o
la
e
ge
add isl_union_map_deltas_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
rdoolaege
M
e
rge branch 'maint
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
isl_
m
a
p_deltas: don't copy flags f
r
o
m input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdool
a
ege
isl_stream_r
e
a
d_map
:
ac
c
ept
constant expr
e
ssion
s
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
Ve
r
doolaeg
e
isl_stream: a
c
c
e
pt "/\" and "\/" as alternativ
e
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Ver
d
oo
l
ae
g
e
isl_s
t
ream: only quote
n
e
wline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoola
e
ge
isl_strea
m
:
maintain pri
v
a
te un
g
etc
b
uffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
laege
isl_set_lifti
n
g:
s
impli
f
y and fina
l
ize r
e
s
u
lt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
doc:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
S
v
en Verdoolaege
doc:
d
rop long outd
a
t
e
d note on transitive closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
r
d
o
o
laege
add is
l
_basic_se
t
_get_dim_
n
ame
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Ver
d
oolaege
isl_
m
ap_iden
t
i
ty: take dimension specificati
o
n o
f
m
ap
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
rename is
l
_dim_map to isl_dim
_
map
_
from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n Verdoolaege
transitiv
e
closu
r
e: project o
u
t p
a
r
ameters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
p
r
ivatel
y
exp
o
r
t
i
s
l_b
a
si
c
_
s
et_re
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoola
e
ge
isl_set_lift: preserve structure
o
f
space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
isl
_
pw
_
qpolynomial_bound: handle combination of
w
rap
p
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdoo
l
aege
isl_tab_pip
.
c: fi
x
typo in
co
m
men
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n
V
e
rdoolaege
i
sl_t
a
b: c
h
eck for
obviously empty
t
abl
e
aus after discoverin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
e
rdoolaege
isl_basic_map_gist: prefer contr
a
in
t
s wit
h
out ex
i
st
e
ntia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verd
o
o
l
aege
is
l
_
basic_map_sort_constraints: change comparison routin
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdoo
l
a
e
ge
isl_tab_ineq_type: classify
m
ore co
n
st
r
aints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoola
e
ge
isl_map_co
a
lesce: be
more relaxed
a
bo
u
t multiple e
q
ualitie
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoola
e
g
e
add isl_basi
c
_map_fr
o
m_domain_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
o
olae
g
e
ad
d
isl_basic_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoo
l
a
e
ge
a
d
d isl_basic
_
s
e
t
_
f
l
at_produc
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sv
e
n Verdool
a
ege
a
d
d isl_basic_m
a
p_from_qpoly
n
o
mial
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verd
o
olae
g
e
isl_stream
:
support \<newline>
l
in
e
continuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verd
o
ol
a
ege
ad
d
isl_
u
nion_map_read_from_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verd
o
olaege
isl_stream_read_map: accept 'true' and 'fa
l
se' constrain
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
V
e
rdoolaege
is
l
_st
r
eam
_
read_map
:
a
l
l
o
w extra ';' at e
n
d of
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erd
o
o
laege
isl_stream_read_map: all
o
w negati
o
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl
_
str
e
am_r
e
ad_map: al
l
ow existential quant
i
fication
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n Ver
d
o
o
l
a
ege
privately export isl_basi
c
_map_add_div_const
r
aints_va
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_morph_basic_set: pre
s
er
v
e
r
ationality o
f
input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven
V
erd
o
olaege
add isl_basic_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_p
r
inter_pr
i
nt_basic
_
map: explic
i
tly mark
r
a
tional
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_stream_re
a
d
_
ma
p
:
re
a
d ratio
n
al maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
rdoo
l
aege
isl_basic_map_insert: prese
r
ve ration
a
lity
of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
a
d
d
i
s
l
_basic
_
map_set_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
i
sl_
b
asi
c
_
m
ap_fast_cmp: differentiate betwee
n
rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en V
e
r
doolaeg
e
is
l
_output
.
c: remove some cod
e
d
u
plica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven V
e
rdool
a
e
g
e
isl_prin
t
er_print_basic_{se
t
,map}:
don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl_
s
t
r
e
am_read_map: accept
'
|' at start o
f
constrai
n
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
i
sl_stream: kee
p
track of textual representation o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Verdoolaege
isl_input
.
c
: c
l
e
a
n up re
a
d_disjuncts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoolaege
i
sl_st
r
eam_read_map:
a
ccept d
i
sj
u
n
c
tions within a
c
onjunct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sve
n
Verd
o
olaege
is
l
_convex_
h
ull
.
c:
e
xp
l
i
c
i
t
ly
mark wr
a
pping lp
p
r
oblem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
i
s
l_ta
b
_m
i
n: micro
-
optimi
z
a
tion: postpone t
a
kin
g
into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
ool
a
e
ge
Me
r
ge
b
ra
n
c
h 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
e
n
Verdool
a
ege
isl_tab_add_row: add further explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoolaege
i
sl_
t
ab
.
c
: fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Verdoo
l
a
eg
e
isl_tab_pip
.
c:
c
orrectly d
e
tect non-negat
i
v
i
ty of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
add test
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
e
rdoolaege
tes
t
both
cont
e
x
t handling
m
echani
s
ms of
i
sl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
d
oolaege
isl_tab_is_equal
i
t
y: p
r
operly support "big parameter"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoo
l
a
ege
isl_tab_
p
ip
.
c
:
f
i
x typo in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next