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
avoid NULL pointer exception in isl_basic_map_n_*
2010-08-04
S
ven Verd
o
ola
e
ge
avoid NULL pointer exc
e
pt
i
on i
n
isl_basic_m
a
p_n_*
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolae
g
e
fix isl_pw_
q
poly
n
omi
a
l_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
S
ve
n
V
e
r
doolaeg
e
add
i
s
l_mat_add_r
o
ws
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n
V
e
rdoolaege
add isl_
m
at_add
_
zero_cols
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-03
Sven Verdoolaege
export isl_
b
a
s
i
c
_
map_move_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
V
e
rdoolae
g
e
h
i
d
e isl_dim internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verdoola
e
ge
add isl_dim_g
e
t
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n
V
erdoo
l
ae
g
e
isl_basic_map_
r
e
set_
d
im: fin
a
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verd
o
olae
g
e
isl_
t
ransitive_c
l
o
s
ure
.
c
: a
n
onymize
i
nput
m
a
p
during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdoolaege
is
l
_transitive_closure
.
c
:
keep
tra
c
k of do
m
ain
s
for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven
Verdo
o
lae
g
e
i
sl_di
m
_drop
:
alwa
y
s r
e
move tu
p
l
e
n
ame, eve
n
i
f
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoo
l
a
e
g
e
i
sl_di
m
_set_
t
uple_name: allo
w
explicit r
e
moval
o
f tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Ver
d
oolaege
a
d
d support for uni
o
n se
t
s and relations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doolaege
isl_transit
i
ve_closure
.
c:
e
xtract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add is
l
_pw_qp
o
lynomial_r
e
set_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdool
a
ege
add is
l
_map_has_equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add isl_d
i
m
_
get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n Ve
r
d
o
olaege
isl_dim: allow
specification of
t
uple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaeg
e
isl_map_from_domain_and
_
range: implem
e
n
t in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_ba
s
ic_
m
ap_domain: properly se
t
dimensi
o
n of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
pri
v
ately expor
t
isl_set
_
reset_dim and isl_map
_
reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_
m
ap_
r
ead: extract ou
t
read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoo
l
aege
i
s
l_ha
s
h_table
_
foreach
:
pas
s
pointer
to ent
r
y data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaeg
e
isl_ha
s
h_table_foreach
:
add us
e
r ar
g
ument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
r
d
oolae
g
e
i
s
l_transitive_
c
l
osure
.
c: fix double free o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ve
r
d
o
olaege
isl_
m
a
p
_
gist: use simpl
e
hull instead of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
i
sl
_
map
.
c: fix typ
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_cat: read generic o
b
ject
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_pr
i
nter: a
d
d NULL chec
k
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoola
e
ge
make
i
s
l_obj_none a con
s
tant ex
p
ression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdoo
l
a
ege
add isl_map_get_
c
tx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
i
sl_map_
f
ast_
i
s_universe: also detect redund
a
nt rep
r
esent
a
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
add isl_map_r
e
a
chin
g
_path_length
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
isl_ma
p
_p
o
wer: d
e
l
a
y equatin
g
path leng
t
hs to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
i
sl_
m
ap_power: apply Floyd-Warshall to compute p
o
wers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ve
r
d
o
olaege
i
sl_map_lex
m
ax:
produce
less cryp
t
i
c error messag
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
f
ix isl_b
a
sic_map_move_dims in presen
c
e of ex
i
stential
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl
_
test: drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl
_
transitive_
c
l
osure
.
c: fix t
y
po i
n
com
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven
V
e
rdoo
l
aege
fix isl_map_lex_
g
e and isl_map_lex_
l
e in the
zero-
d
imensio
n
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n
V
e
rdoolaege
i
s
l_prin
t
er_pr
i
nt_ma
p
:
r
eplace variable
by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
priv
a
tely
ex
p
ort isl_basic_m
a
p_fast_cmp and isl_basic_map_
f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
V
erdoolaege
isl
_
d
im_set_name: don't accept names
that l
o
o
k
lik
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
e
rdoolae
g
e
isl_convex_
h
u
l
l
.
c: av
o
id side
-
eff
e
cts in call
s
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verd
o
olae
g
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl_int_ge
t
_
str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verd
o
o
l
aege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doo
l
aege
isl
0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven
Ve
r
doolaege
Makefile
.
am: re
a
lly
i
nclude include/isl_
v
ertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven V
e
rdoolaege
add
isl_map_is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaeg
e
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
doc: drop dupli
c
ate
bookt
i
t
le
from Kelly1
9
96closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
d
oc
:
use more
e
xplicit notat
i
on to avoid c
o
nfusion
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
laege
a
dd
isl_constraint_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en V
e
rdoo
l
aege
isl_map_simplify
.
c: sep
a
rate out i
s
l_basic_ma
p
_i
s
_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic_ma
p
_from_constraint: keep all divs,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoola
e
ge
isl_basic_map_from_c
o
nstraint
:
only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
isl_const
r
aint_add_div: cor
r
ectly set line t
o
f
irst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ve
n
Verdoolae
g
e
i
sl_
p
ip: rename
p
i
p
_options to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_conve
x
_hull
.
c:
i
n
itia
l
_facet_constraint: fix e
r
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
d
oc: describe backward inc
o
mpatible chan
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
do
c
: m
e
ntion
d
iscussio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
rename
i
sl_basic_map
_
c
o
n
v
e
x_hull to isl_bas
i
c_map
_
remo
v
e_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_affine_hull
.
c: ou
t
side_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab_
r
o
l
lback: av
o
id double free on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_tab
.
c:
t
ab_
m
at_product
:
avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
isl_tab
_
extend_cons: avoid N
U
LL poi
n
ter
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
implem
e
nt anti
q
uated isl_b
a
sic
_
se
t
_n_* in terms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_con
v
e
x_hull:
avoid
N
ULL poin
t
er derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_ta
b
_add_vali
d
_
eq:
return int
i
nste
a
d
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine_hull
.
c: affine
_
h
ull_w
i
th_cone:
a
vo
i
d NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
dool
a
ege
is
l
_equ
a
lities
.
c: parameter_compre
s
sion_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basi
c
_map_project_out:
a
void
N
ULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
is
l
_coa
l
esce
.
c:
coal
e
sce_pair: avoid NULL po
i
nter
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl
_
conve
x
_hull
.
c: ex
t
end: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaeg
e
implement
a
ntiquated isl
_
set_n_* in terms of is
l
_set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_map_si
m
plif
y
.
c: normalize_divs: avoid N
U
LL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
i
nput
.
c: vars_
d
r
op: fix
error han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
c
o
nve
x
_hul
l
.
c:
u
set
_
c
o
nvex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_set_wrap
_
facet: fix
e
r
r
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
t
ab_min: avoid N
U
L
L poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hu
l
l
.
c
:
extend_
a
ffin
e
_h
u
ll: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_
b
asic_map_extend: pl
u
g memor
y
l
e
ak
on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
affine_hull
.
c: equalities_in
_
u
n
derlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
basic_set_prei
m
age: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_
tab_pi
p
.
c: no_
s
ol_in_strict: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
la
e
ge
isl_af
f
ine_hu
l
l
.
c: equalities_in_underlying_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine_hul
l
.
c: affine
_
hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_projec
t
_ou
t
: fi
x
e
r
r
o
r r
e
tu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_basic_map_i
n
terse
c
t_range:
a
void NULL poi
n
t
er d
e
refer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_ta
b
_
p
ip
.
c:
fi
n
d
_sol
u
t
ions:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basi
c
_map_
a
lloc_dim:
f
ix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
basic_map_
i
nter
s
ect: a
v
o
i
d
N
ULL
p
o
i
n
ter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
g
e
isl_tab_pip
.
c
:
sol_map_init: avoid NU
L
L po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p
_inters
e
ct_dom
a
in: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aege
isl_flow
.
c: co
m
pu
t
e_val_based_de
p
e
nden
c
es: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
f
low_allo
c
:
f
ix error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
l
aege
isl_
a
c
c
e
ss
_
i
n
f
o
_compute_flow: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
{
set,map}_fast_is
_
empty: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
f
lo
w
.
c
:
avoid accessing dim field dire
c
tly
commit
|
commitdiff
|
tree
next