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_add_zero_rows
2011-04-21
Sven Ver
d
oolaege
add isl
_
ma
t
_add_zero_rows
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
isl_blk
:
don
'
t
reuse
overly large blocks for small
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoola
e
ge
add is
l
_
h
map_map_basic_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add is
l
_unio
n
_
m
ap_copy_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaege
add
isl_u
n
ion_map_conta
i
ns
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aege
add isl_basic_set_tr
a
nsf
o
rm_dims
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_ba
s
ic_set_of
f
set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
c
ha
n
ge isl_mat_sub_alloc pr
o
totyp
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
m
ake i
s
l_mat_sub_*
f
unction
s
private
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add i
s
l_vec_get_
c
tx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
doolaege
add is
l
_mat_initia
l
_non
_
zero_c
o
l
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verd
o
olaege
a
dd
i
sl_mat
_
set_element
_
si
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_basic_set_add_constraints
_
di
m
_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven V
e
rdoolaege
add isl_d
i
m
_map_r
a
n
ge
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
isl_di
m
_map: allo
w
sig
n
ed mapping
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
oolaege
isl_dim_m
a
p: extract from
i
sl_map
.
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoolaege
ch
a
n
ge proto
t
y
p
e of isl_tab_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add i
s
l
_map_remove_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
doc: add a note on the a
c
curac
y
of o
u
r
approxi
m
ation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoo
l
aege
ad
d
i
sl_uni
o
n_set_coefficie
n
ts and isl
_
unio
n
_
s
et_s
o
lu
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
add
i
s
l
_union_set_lift
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
Merge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Ver
d
oolaege
isl_tab: alway free saved bas
i
s undo reco
r
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
make
sure de
s
tin
a
t
i
on
f
or GDB
mo
d
ule exists before
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoola
e
ge
isl_tab_pip
.
c: add_
l
e
x
min
_
eq: remove misguid
e
d optimizations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
S
ve
n
Verdo
o
laege
isl_bas
i
c_map_lex
m
in: tur
n
off equality detection on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
d
oolaege
use silent
m
ake rules
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoolaeg
e
isl_
s
tream_read_ma
p
: fix handling
o
f div
s
in tup
l
es
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdool
a
ege
i
sl
_
mat_l
e
ft_hermit
e
: plug
m
emory leak on error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolae
g
e
plug me
m
ory
leak in isl_mat_p
r
od
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
isl 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n Verdoolaege
doc: add so
m
e implementation
d
e
t
ails on parametric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c
:
a
void clang warning
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl_stream_re
a
d
_map: ac
c
e
p
t floord and ceild expressi
o
n
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
ool
a
ege
isl_str
e
am
_
read_map: accept min and max expressions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaege
i
s
l
_
st
r
e
a
m_read_m
a
p: p
r
op
e
r
l
y
r
e
a
d nested di
v
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdool
a
e
ge
i
sl_stream_read_map
:
t
r
eat d
i
v
s as outpu
t
v
a
r
iables
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoo
l
aege
isl_map_coa
l
esce:
plu
g
memory leak o
n
error path
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_m
a
t_ext
e
nd:
avo
i
d me
m
o
r
y leak when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
isl_basic_ma
p
_overlying_se
t
:
av
o
id memory leak when
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
ool
a
ege
isl_st
r
eam
_
getc: avoid
m
emory leak
when realloc fails
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdool
a
eg
e
rudimentar
y
suppor
t
for a
s
ynchronous termination
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoo
l
aege
hi
d
e
isl_ctx in
t
ern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Verdoo
l
aeg
e
isl_vec_read_from_file: drop inpu
t
_f
o
rmat a
r
g
u
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
a
ege
isl_map
.
c
:
dr
o
p
unused e
r
r
o
r
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoo
l
aege
isl_input
.
c: dro
p
unused err
o
r
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
r
espect
D
ESTD
I
R when installing
isl
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
o
l
aege
isl_stream: accept
"$" to
k
en
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven
V
e
rd
o
olaege
add isl_union_map_
p
ower
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
change isl_
m
ap_po
w
er interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdo
o
laege
add isl_u
n
ion_map_zip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdo
o
laeg
e
add
p
rivate isl_
b
asi
c
_map_swap_v
a
r
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoolaege
a
d
d
isl_union_map_deltas_
m
ap
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaege
Merge br
a
nch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n
Ve
r
doolaege
isl_map_deltas
:
do
n
't c
o
py flags from input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoolaege
isl_stre
a
m_r
e
ad_map: accept c
o
nstant e
x
pressi
o
ns of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdo
o
laege
isl_stream:
accept
"
/
\" and
"
\/" a
s
alternatives for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verdoola
e
ge
isl_st
r
eam: onl
y
q
u
o
te newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_s
t
ream: main
t
ain pr
i
vate ungetc buffe
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaeg
e
isl_set_lifting: s
i
m
p
lify and finalize
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoolaege
doc: f
i
x ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Ve
r
doolaege
doc: d
r
op long outdated note on transitiv
e
closure
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdo
o
laege
add
i
sl_
b
asic_set_ge
t
_dim_n
a
me
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
isl
_
map_identi
t
y: take dime
n
sio
n
specifica
t
ion of map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Verdoolaege
re
n
ame isl_dim_map to
i
sl_dim_map_from_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
transit
i
ve cl
o
sure: proje
c
t out parameter
s
when an
y
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
erdool
a
ege
privately export isl_basic
_
se
t
_
r
eset_di
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
isl_set_li
f
t: pr
e
s
erve str
u
cture of sp
a
ce
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
eg
e
isl_pw_qpo
l
y
n
omial
_
bound: handle
c
o
mbination
o
f
wrapping
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c: fix t
y
po in comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
laege
i
sl_tab:
ch
e
ck for
obviously
emp
t
y ta
b
leaus a
f
t
er d
i
s
co
v
erin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sv
e
n Verdoolae
g
e
isl_ba
s
ic_ma
p
_gist: prefer con
t
r
aints without
existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sv
e
n Ve
r
doo
l
aege
isl_basi
c
_map_sort
_
cons
t
rai
n
ts: change com
p
arison routine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolaeg
e
i
s
l
_tab_ineq_type:
classi
f
y more constra
i
nt
s
as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdoolaege
isl_map_coale
s
ce: be more
relaxed about multiple e
q
u
alities
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add i
s
l_basic
_
map_from_d
o
main_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Ver
d
oolaege
add i
s
l_b
a
sic_set_
n
eg
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolaege
add isl_basic
_
set
_
flat_
p
r
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl_basic_map_fl
a
tten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Ver
d
oolaege
a
dd isl_basic_map_from_qpolynom
i
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoo
l
aege
i
sl_stream:
s
upp
o
rt \<newline> line
c
ontinuation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolaege
a
d
d
i
sl_union_map_read_from_
f
ile
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verd
o
olae
g
e
isl
_
stream_read_map: accept 't
r
ue' and 'false
'
cons
t
r
a
ints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow extra
';' at end o
f
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
erdoolaege
isl
_
stream_read
_
map: allow
negation
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoola
e
g
e
is
l
_stream_read_map: allow
e
xistenti
a
l qu
a
ntific
a
tion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
p
r
iva
t
ely
ex
p
ort is
l
_
bas
i
c_map_add
_
div_
c
onstr
a
ints_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
V
e
rdoolaege
i
s
l_morph_basic_set: preserve ratio
n
ality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoola
e
ge
add isl_b
a
sic_set_
i
s_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_p
r
inter_
p
rint_basic_
m
ap: ex
p
lic
i
tly mark
rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
isl_stream_re
a
d_ma
p
: read rational maps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdo
o
laege
isl_basi
c
_
m
ap_
i
nsert: preserve rationality of input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
a
d
d isl
_
basic_map_set_rati
o
nal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_ba
s
ic_map_fas
t
_
cmp: d
i
fferentiat
e
between rat
i
onal
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaeg
e
isl_ou
t
p
u
t
.
c: remove so
m
e code dup
l
ication
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdool
a
e
ge
i
s
l_p
r
in
t
er_print_basic
_
{set,map}: don't s
t
art new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaeg
e
i
sl_stream
_
r
e
ad_map: accept '|'
at sta
r
t
o
f c
o
nstraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoola
e
ge
isl
_
st
r
eam: keep trac
k
of t
e
xtual repres
e
n
t
ation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolaege
isl_inpu
t
.
c: clean u
p
read_disjunct
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next