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_basic_map_intersect: avoid NULL pointer dereference
2010-06-26
Sven Verdoo
l
ae
g
e
i
sl_
b
a
si
c
_map_inter
s
ect:
a
void NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl
_
tab_
p
ip
.
c:
sol_
m
ap_
i
nit: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_
b
a
sic_map_intersect_domain: avo
i
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
isl_f
l
ow
.
c: compu
t
e_val_bas
e
d_dependences:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
oolaeg
e
isl_flow_a
l
loc: fix error
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_compute
_
flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
{
set,
m
ap}_fast_is_empty
:
av
o
id NULL p
o
in
t
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_flow
.
c: avoid accessi
n
g
dim field
d
irectl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
access_info
_
co
m
pute_flow: avoid NULL pointer de
r
efer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oola
e
g
e
isl_input
.
c:
obj
_
read: avoid NULL pointe
r
dere
f
er
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
i
s
l_map
_
subt
r
ac
t
.
c: tab_add_c
o
nstraints: avoid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
tab
.
c: clo
s
e_row: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_
m
ap_simplify
.
c: remove_duplicat
e
_divs
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_
a
f
f
ine
_
hull:
av
o
id NULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_add_eq:
return int instead
o
f is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
laege
i
s
l_map_sim
p
l
i
fy
.
c: remove_dupli
c
a
t
e
_constraints: a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_sim
p
lify
.
c: eli
m
inate_di
v
s_ineq: av
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_
e
lim
i
nat
e
_v
a
rs
:
avoid N
U
LL
p
ointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: interval_sample:
a
void
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_samp
l
e
.
c: dr
o
p_const
r
ain
t
s_involving:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolae
g
e
isl_
s
tream_new: read_defined_var
_
l
is
t
:
a
v
oid dou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_intersec
t
: av
o
id NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_sample
.
c: gbr_s
a
mpl
e
: avoid NULL po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_test
.
c: avoi
d
NUL
L
pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_test: av
o
i
d
acces
s
ing bas
i
c
s
et
i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
i
sl_input
.
c: rea
d
_defined
_
var_list: avoid
d
o
uble fre
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
o
l
a
e
g
e
isl_map_conve
x
_hull:
a
void
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
lae
g
e
isl_basic_
m
ap
_
normali
z
e_c
o
nst
r
a
i
nt
s
:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
b
a
s
ic_map_tota
l
_
dim:
avoid
N
ULL p
o
inter derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdo
o
laege
isl_basic_
m
ap_ord
e
r_divs: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
is
l
_convex_hull
.
c: is
l
_b
a
sic_set_add_equa
l
ity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hul
l
.
c
: compu
t
e_fac
e
t:
avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_te
s
t
.
c: ma
p
_i
s
_equal:
check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
oolaege
isl_dim
.
c: copy_name
s
: c
h
eck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
dim_dup: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_ba
s
i
c
_m
a
p_co
w
:
check result of
a
llocat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_stream_n
e
w_
s
tr: chec
k
result of
a
lloc
a
t
io
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_str
e
am
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_tab_pip
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_tab
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdo
o
la
e
ge
i
s
l
_
p
olyno
m
i
a
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoola
e
ge
isl_vertic
e
s
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Ver
d
o
ol
a
ege
isl_mor
p
h
.
c:
fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoo
l
aege
isl_map
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoola
e
ge
isl_map_simplify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_i
n
put
.
c: a
c
cept more general affine expre
s
sions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
ege
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
add isl_vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
i
sl_set_is_
b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
doolaeg
e
add isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
r
doolaege
expor
t
isl_
q
poly
n
omial_involv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_ma
p
_tr
a
n
s
i
t
iv
e
_closure: c
h
eck whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdo
o
laege
add
i
s
l
_s
t
ream_flus
h
_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoola
e
ge
add i
s
l_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add rudime
n
ta
r
y error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add
i
s
l_vers
i
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
isl_p
o
in
t
_
al
l
oc: avoid
potential memory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
ool
a
eg
e
doc: docume
n
t isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoolaeg
e
isl_tab_p
i
p
.
c: compare a
l
l
coefficients
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l
_
pw_qpolynomial
{
,_f
o
ld}_
g
ist: use simple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
Verdoo
l
aege
add isl_stream_re
a
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n V
e
rdoolaege
doc:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
is
l
_qpolynomial_lif
t
: fix
lifting in ab
s
e
nce
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
optiona
l
ly (and by default) us
e
bernste
i
n expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export
i
sl_qpoly
n
omial_fold_fold_on_d
o
main
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
e
ge
a
d
d isl
_
pw_qp
o
ly
n
om
i
al_fo
l
d_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
parametr
i
c vertex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_m
o
rph_dom_d
i
m and
isl_mor
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
add isl_basic
_
m
ap_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
priva
t
e
l
y
export
isl_bas
i
c_set_
s
ort_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab_
d
etect_implic
i
t
_
equal
i
ties: also det
e
c
t
m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
ge
isl_tab: optionally only ma
r
k
s
trictly redunda
n
t
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
generalize is
l
_
pw_qpolynomial_bou
n
d to isl_pw_
q
polynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
extract out
gen
e
ri
c
part of isl_pw_q
p
olynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
i
s
l_pw_qpolyn
o
m
i
al_bou
n
d_range: also set ex
a
c
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add is
l
_basic_set_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
e
x
port isl_pw_q
p
olynomial
_
fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
e
x
p
ort i
s
l
_
qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomia
l
_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
a
d
d isl_qpol
y
nomia
l
_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
e
x
port
i
sl_qp
o
lynomial_add_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
a
dd isl_qp
o
lynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add
i
sl
_
qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpol
y
nom
i
al_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_ct
x
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
isl
_
tab_det
e
ct
_
implicit_eq
u
al
i
ti
e
s:
return int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laeg
e
add i
s
l_tab_sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab_sele
c
t_
f
acet: return int instead
o
f isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
a
d
d
isl_basic_set_ful
l
_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
privately export isl_p
w
_qpolyno
m
ial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qp
o
lynomial_fold_foreach_qpolyno
m
ia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add
i
sl_pw_
q
polyn
o
mial_fold
_
f
o
re
a
ch_
l
ifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export is
l
_pw_qpolynomial_fold_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
privately export isl
_
m
o
rph_
a
lloc and isl_morph_iden
t
i
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qp
o
lynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
expo
r
t isl_pw_qpolynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
next