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
Merge branch 'maint'
2011-04-21
Sven Verdoo
l
aege
a
dd isl_tab_basic_set_non_neg_
l
exmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
l
a
ege
add
isl_tab_ba
s
ic_set
_
non_
t
rivial_lexmin
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Ve
r
d
oolaege
i
s
l_ta
b
_
p
ip
.
c
:
a
dd
_
lexmin_
e
q
: return
i
n
t instead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoola
e
ge
isl_tab_pip
.
c:
r
estore
_
lexmin: return int in
s
tead of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_ta
b
_
p
ip
.
c
:
add some
debugging c
o
de
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl_tab_pip
.
c: fix typo
i
n
co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
d
d isl_qui
c
ksort (copied fro
m
glibc)
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n V
e
rdoolaege
isl_printer_print_basic_s
e
t: also
p
rint
i
nvalid ba
s
ic
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
add isl_
u
nion
_
ma
p
_i
s
_injectiv
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verd
o
o
l
aege
add isl_union_m
a
p
_is_bijective
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ve
r
d
oo
l
a
e
g
e
add i
s
l_union
_
map_is
_
single_valu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
aege
add isl_
m
at_add_zero_ro
w
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoo
l
aege
isl_blk: don'
t
reus
e
overly
l
a
rge blocks for sm
a
ll
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolaege
add
isl_
h
map_map_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdool
a
ege
ad
d
isl_union_map_copy
_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add isl_
u
ni
o
n
_
map_contai
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add
i
sl_basic_set
_
trans
f
orm_di
m
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ver
d
o
o
laeg
e
add isl_basic_set_
o
ffset
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoo
l
a
ege
change isl_mat_sub_
a
lloc protot
y
pe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Verdoo
l
aege
make i
s
l_mat_sub_* functions priv
a
te
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_v
e
c_get_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_mat
_
initia
l
_non_z
e
ro_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Ve
r
doolaege
ad
d
i
sl_m
a
t
_set_element_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaege
add isl
_
b
a
sic_set_add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erdoolaege
add isl_d
i
m_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Ve
r
doolae
g
e
i
s
l_di
m
_map: all
o
w signed mappin
g
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
is
l
_
dim_ma
p
: extrac
t
from isl_map
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
laege
cha
n
ge prototype of
i
sl_ta
b
_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdo
o
laege
add isl_map_
r
emove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdo
o
lae
g
e
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Ver
d
oola
e
ge
doc:
a
dd
a note on th
e
accuracy of our approxi
m
ation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
eg
e
a
dd
i
sl
_
unio
n
_set_coefficients and
i
sl_union_set_s
o
lutions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n Ver
d
oola
e
ge
add isl_union_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaeg
e
Merge b
r
anc
h
'maint'
commit
|
commitdiff
|
tree
2011-04-19
Sven Verdoolaege
isl_ta
b
: alway free saved ba
s
is un
d
o record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven Ve
r
doolaege
make sure d
e
s
ti
n
a
t
ion
f
o
r
G
DB
m
odule exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
S
v
en Verdoolaege
i
s
l_tab
_
pip
.
c
:
ad
d
_lexmin_eq: remove
misguid
e
d
o
ptimizations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaeg
e
isl_
b
asi
c
_map_lexmi
n
: t
u
rn off equal
i
ty detec
t
ion on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ver
d
oolae
g
e
use
s
i
lent ma
k
e
rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoolaege
isl_st
r
eam_read_map: fix
handling of divs i
n
tuples
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aege
isl_mat_left_hermite: p
l
ug
memo
r
y
l
eak on
e
r
ror path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
v
en Verdool
a
ege
plug memory le
a
k in isl_mat_pro
d
u
ct
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 Verdoolaege
doc: add som
e
implement
a
tion details on paramet
r
i
c
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_lp
.
c: avoid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdoolaeg
e
isl_stream_read_map
:
acce
p
t floord a
n
d
c
ei
l
d expres
s
ions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
o
l
aege
isl_stream_read_ma
p
:
a
ccept mi
n
and max expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaege
isl_stream_read
_
map: properly read ne
s
ted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Verdoolaege
isl_str
e
a
m_read
_
map:
trea
t
divs as output variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_map_coalesce:
plug memory
l
ea
k
on e
r
ror
pa
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
ool
a
ege
isl_mat_e
x
tend:
avoid memory
l
ea
k
w
hen realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sve
n
Verd
o
olaege
isl_b
a
sic_map_overlying_set:
avoid memory leak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven V
e
rdoolaege
isl_s
t
r
e
a
m_g
e
tc: avoid memory
l
eak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolae
g
e
rudimentar
y
support for asynchronous terminatio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoolaege
hi
d
e i
s
l
_
c
tx inte
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
i
s
l_vec_read_from_
f
ile: drop
i
nput_format
argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
isl_map
.
c: dro
p
u
nused
e
rror label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolae
g
e
i
s
l
_input
.
c: drop
unused error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolae
g
e
respec
t
DESTDI
R
when insta
l
l
i
ng isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
isl_
s
tream: acce
p
t "$
"
t
oken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
eg
e
add isl_un
i
on_ma
p
_pow
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoola
e
ge
change isl_map_po
w
er interface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
add
isl_union_
m
a
p_zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolaege
add p
r
ivate isl_basic_map_sw
a
p
_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolae
g
e
add
isl_union_ma
p
_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
V
erdoolaege
Mer
g
e
branch
'mai
n
t'
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Ver
d
oolaege
isl_m
a
p_deltas: don't cop
y
flag
s
from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven V
e
rdoo
l
aeg
e
is
l
_strea
m
_read_map: accept constant exp
r
e
s
sions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n
Verd
o
olaege
isl_strea
m
: acce
p
t "/
\
" and "\/" as
a
l
ternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_stream: only quote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_
s
tream: maint
a
i
n
priv
a
t
e
u
ngetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdool
a
ege
isl_set
_
lifting:
s
i
mplify and
f
inaliz
e
result
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
Sven Verdoolaege
doc: dr
o
p
l
o
ng outdated no
t
e on transitive clo
s
ur
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verd
o
ola
e
ge
a
dd isl_basic_s
e
t_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
ven Verdoo
l
aege
i
sl_
m
a
p_identity: take d
i
m
e
nsion
s
p
ec
i
fi
c
ati
o
n
o
f
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n
V
e
rdoolaege
r
e
n
a
me isl_
d
im_map to isl_dim_ma
p
_from_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sv
e
n
V
e
rdoolaege
tr
a
nsitive closure
:
project out parameters wh
e
n
any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ve
r
dool
a
e
ge
privately e
x
p
o
rt is
l
_
b
a
sic_set_r
e
set_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolaege
i
s
l_set_lift: preserve
s
truc
t
ure o
f
space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven V
e
r
doolae
g
e
isl_p
w
_qpolynomial_bound: handle
c
om
b
ination of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
r
d
oola
e
g
e
i
sl_t
a
b_pip
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdo
o
l
aege
isl_ta
b
:
c
hec
k
for
o
bviously empty
t
abl
e
a
us after dis
c
overi
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ver
d
oolaege
i
s
l_basi
c
_ma
p
_gist: prefer contraints without ex
i
stentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
i
s
l_basic_map
_
s
o
rt_con
s
traints: ch
a
nge c
o
mpariso
n
routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verd
o
olaege
isl
_
tab_ineq_type: clas
s
i
fy more co
n
straints a
s
b
e
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdo
o
laege
isl_map_coalesce: be more relaxed abo
u
t
multiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add
isl_basic
_
map_from_domain
_
and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
a
dd isl_basi
c
_s
e
t_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven
V
erdool
a
e
ge
add is
l
_basic_set_f
l
at_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verdoolae
g
e
expo
r
t
isl_basic
_
m
a
p
_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
olaege
add isl_ba
s
ic_map_from_qpolynomia
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven V
e
rdoolaege
isl_stream: su
p
port \<newline> lin
e
c
onti
n
ua
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaeg
e
add
i
s
l_u
n
ion_map_re
a
d_f
r
o
m_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
isl_st
r
eam
_
r
ead
_
map: accep
t
'true' and '
f
alse'
c
o
nstra
i
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
V
erd
o
olaege
isl_stream_read_map:
a
llow ext
r
a
'
;'
a
t end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Ve
r
doola
e
ge
isl_str
e
am_read_map: allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ve
r
doolaege
isl_stream_
r
ead_ma
p
:
all
o
w e
x
istential quantificat
i
on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
p
rivat
e
ly expo
r
t
isl_basic_map
_
add_div_constraints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
e
ge
isl_morph_ba
s
ic_set: pre
s
erve ra
t
ionality of
i
np
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next