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_map_simplify.c: remove unused normalize_constraints_in_compressed_space
2011-04-21
Sv
e
n V
e
rdoolaege
add isl_unio
n
_map
_
copy_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
add
isl_union_map_c
o
ntains
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
add isl_
b
asi
c
_set_transf
o
rm_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
en Verdoolaeg
e
add isl_b
a
sic_set_
o
ffs
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Ve
r
do
o
laege
change isl_ma
t
_sub_al
l
o
c
prototype
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verd
o
olaege
m
ake isl_mat_sub_* functions private
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoola
e
ge
a
d
d isl_vec_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
a
dd isl_mat_initial
_
non_zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdool
a
ege
add i
s
l_mat_set
_
elem
e
nt_si
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verd
o
olaege
add isl_basic_se
t
_add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
erd
o
olae
g
e
add isl_d
i
m_map_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
v
e
n
Verdoolaege
isl_dim_ma
p
:
allow
signed
mapping
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven Verdoolaege
isl
_
dim_map: extract from i
s
l_m
a
p
.
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
S
ven Ver
d
o
ola
e
g
e
c
h
a
nge pr
o
totype of isl_ta
b
_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sv
e
n Verdoolaeg
e
add isl_m
a
p
_remove_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sve
n
Verdoolaege
doc: fix
t
ypo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
V
er
d
o
o
laege
doc
:
ad
d
a note
o
n
the a
c
curacy of
o
ur ap
p
roximat
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-21
Sven
Verdoola
e
ge
add isl
_
union_set_coefficients and
i
sl_union_set_
s
o
luti
o
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Ve
r
doo
l
aege
add isl_union_set_lift
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sv
e
n
V
erdoolaege
M
erge branch 'm
a
int'
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
erd
o
olaeg
e
i
sl
_
tab: a
l
way free saved basis
undo record
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sven
V
e
rdoo
l
a
ege
ma
k
e sure de
s
tina
t
io
n
fo
r
GDB module exists before
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-19
Sve
n
Ve
r
do
o
laege
isl_tab_pip
.
c:
add_
l
e
x
m
i
n
_eq: remo
v
e mis
g
uided
optimiz
a
t
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven V
e
rdoola
e
ge
isl_basic_map_lexmin: turn off equality detection on
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sv
e
n Ve
r
doolaege
use silent make rul
e
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Verdoo
l
aeg
e
isl_stream_read_ma
p
: fix handling o
f
divs in t
u
p
l
es
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
S
ven Verd
o
o
laege
isl_mat_l
e
ft_he
r
mit
e
: plug m
e
mory lea
k
o
n
error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-04-11
Sven Ve
r
doolaege
p
l
ug memory leak in isl_mat_produc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verdo
o
l
a
ege
isl 0
.
06
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n
Verdoolae
g
e
doc: ad
d
s
ome imp
l
ementation details
on parametric
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
d
o
olaeg
e
isl_lp
.
c: avoid clang warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
erdoolaege
isl_stream_r
e
ad_map: accept floo
r
d a
n
d
c
eild
expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
Verdoolaege
i
s
l_stream_r
e
ad_ma
p
:
accept min
and max express
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n V
e
rdoolaege
isl_stream_read_
m
ap: proper
l
y rea
d
n
est
e
d
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoola
e
g
e
isl_stream_r
e
a
d
_
map: treat divs as out
p
ut vari
a
bles
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ver
d
oo
l
aege
i
sl
_
map_coalesce: plug memory lea
k
on error p
a
t
h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
e
n
V
erdoolaege
isl
_
mat_extend: a
v
o
id memory leak
w
h
en
r
e
all
o
c fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven
V
e
r
doolaeg
e
isl_basic_map_ove
r
l
ying_set: avoid memory
l
e
a
k when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stream_getc: avoid memory leak when realloc fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Ver
d
o
ol
a
ege
rudimentary
supp
o
rt for asynchronous termin
a
tio
n
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoolaege
h
i
de
i
s
l_ctx interna
l
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoola
e
ge
is
l
_vec_rea
d
_from_file:
drop input
_
f
o
r
m
at argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
V
erdoolaege
isl_map
.
c: drop unuse
d
error
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
S
ven Verdoolaege
isl_input
.
c: drop un
u
sed e
r
ror
l
abel
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdoolaege
r
e
spect DESTDIR
when ins
t
alling isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ver
d
oolaege
isl_stream
:
accept "
$
" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
V
er
d
oolaege
add i
s
l_union_map_po
w
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
cha
n
ge i
s
l_map_pow
e
r int
e
rf
a
ce
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
S
v
e
n
Ver
d
oola
e
ge
ad
d
isl_u
n
ion_ma
p
_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
e
g
e
ad
d
private i
s
l_basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
v
en Verd
o
ol
a
ege
add isl_u
n
ion_map_deltas_m
a
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
Verdoolae
g
e
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-03-10
Sve
n
V
e
r
d
oolae
g
e
isl_
m
a
p
_de
l
tas:
d
o
n't copy fl
a
gs fro
m
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolae
g
e
isl_stream_read_ma
p
: accept
c
o
n
stan
t
expre
s
s
i
ons
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Ver
d
oolaeg
e
isl_st
r
eam: accept "/\"
a
nd "\/
"
as alternatives
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
S
v
en Verdoolaege
isl_stream
:
only quote
n
e
wline usi
n
g
'
\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Ve
r
doolaege
isl_st
r
e
a
m: maintai
n
private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdoolaege
isl_set_liftin
g
: simplify and finaliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoolaege
doc
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n Verdool
a
e
ge
doc:
drop long outdated note on
t
ransitive closures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoolaege
add isl_b
a
s
i
c_set_get_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoolaeg
e
isl_map_iden
t
ity: t
a
ke dimension specifi
c
ation of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolae
g
e
rename i
s
l_dim_map
to
i
sl_dim_map_from
_
set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
Verdo
o
l
a
ege
transitiv
e
closure: pr
o
ject out parameters
w
hen any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
privately
e
xport isl_basi
c
_set
_
reset
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
isl_set_lift: preserve
structure
o
f space
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Ver
d
oolaege
isl_
p
w_qpo
l
ynomial_bo
u
nd: handle combination of
w
rapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdool
a
ege
i
s
l_ta
b
_pip
.
c:
f
ix typo in commen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdool
a
ege
isl_tab:
check
for obviously empty tab
l
eaus after disco
v
erin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
en Verdool
a
ege
isl_basic_ma
p
_gist: p
r
efer co
n
traints w
i
thout existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolae
g
e
isl_basic_m
a
p
_s
o
rt_constraints: change comparis
o
n ro
u
t
i
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven
V
erdoolaege
is
l
_
t
a
b_ineq_type: clas
s
ify more c
o
nstraints as
b
ein
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
ve
n
Verdoo
l
a
e
ge
isl_map_coalesce: be
m
ore relaxe
d
about
m
u
ltiple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_basi
c
_map_from_domain_
a
nd_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en Verdool
a
e
g
e
add isl_basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
ad
d
isl_basi
c
_set_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoola
e
ge
export
i
sl_bas
i
c_m
a
p_fl
a
tten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Ver
d
oo
l
aege
a
d
d isl_basic_map_from_qpolyn
o
m
ial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
s
l
_stream: support \
<
newline> line continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
a
d
d
isl_union_map_read_f
r
om_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
isl_strea
m
_read_map: accept 'true' an
d
'false'
c
ons
t
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_r
e
ad_
m
ap: allow ext
r
a
';
'
at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdool
a
ege
isl_stream_re
a
d
_map:
allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream
_
read_map: allow exi
s
tential quantif
i
cation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
privately export
isl
_
basic_map_add_div_
c
on
s
trai
n
ts_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_morph
_
basic
_
set
:
p
r
eserve
ra
t
i
o
n
ali
t
y of
input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Verdoola
e
ge
add isl_basic_set
_
is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaeg
e
isl_printer_print_basic_map:
e
x
pl
i
ci
t
ly ma
r
k rati
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n Verdoolaege
isl_strea
m
_read_m
a
p: re
a
d rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaege
isl_basic_map_insert: pre
s
erve ra
t
i
onality
o
f input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ve
n
Verdoolaege
add isl_b
a
sic_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
i
s
l_basic_map_fast_cmp:
d
ifferentiate between
r
ational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c: remove
s
ome code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolae
g
e
isl_printer_
p
rint_bas
i
c
_
{set,
m
ap}: do
n
't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
ege
isl_str
e
a
m_rea
d
_m
a
p: acce
p
t '|' a
t
start of constr
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven
V
erdoolae
g
e
isl_stream:
k
eep tra
c
k of tex
t
ual
r
epr
e
sentation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en
V
erdoo
l
a
e
g
e
isl_inpu
t
.
c: clean up read
_
disjunc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
ven Verdoolaege
isl_stream_read_map:
ac
c
ept disjunctions
w
it
h
in a con
j
unct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
doolaege
isl_con
v
ex_hul
l
.
c: explicitl
y
mark wrapping lp problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoo
l
aeg
e
i
sl_tab_
m
in: micro
-
o
p
t
imization
:
postpo
n
e taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next