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_coalesce.c: coalesce_pair: avoid NULL pointer dereference
2010-06-26
Sve
n
Verdoolaege
i
sl_coalesce
.
c:
c
o
a
lesce_pair: a
v
oid NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hul
l
.
c
:
extend: f
i
x error
h
an
d
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ola
e
g
e
impl
e
ment antiq
u
ated isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_ma
p
_sim
p
lify
.
c: normalize_divs
:
avoid N
U
LL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
input
.
c:
vars
_
d
rop: fi
x
e
r
r
or ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_convex_hull
.
c:
u
set_conv
e
x_hull_wrap
_
bo
u
nd
e
d
:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_set_wrap_face
t
: fix er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_m
i
n: avoid
N
ULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_af
f
ine
_
h
ull
.
c:
e
xtend_affin
e
_hull:
a
void NULL
po
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
is
l
_b
a
s
i
c
_
map_exte
n
d: plug mem
o
r
y
l
eak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_affine_
h
ull
.
c
:
equalities_i
n
_
underlyi
n
g_
s
et: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage
:
a
v
o
id NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_tab_pip
.
c
:
no_sol_in_strict
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
do
o
laeg
e
isl_affine_hu
l
l
.
c
:
equalitie
s
_in
_
underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_af
f
ine_hull
.
c: affi
n
e_hull:
f
ix e
r
r
o handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
is
l
_
map_
p
r
oject_out: fix e
r
ror return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basi
c
_m
a
p
_intersect_r
a
nge: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
i
sl_tab_pip
.
c: find_soluti
o
n
s: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_b
a
sic_
m
ap_alloc_dim:
fix
e
r
r
or h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_inters
e
ct: avoid NULL poin
t
er dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab_pip
.
c: sol_map
_
init:
avoid
N
ULL pointer de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_ba
s
i
c_map_in
t
ersect_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_flow
.
c: compute_val_base
d
_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaeg
e
isl_access_info_compute_flow:
fix error h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdool
a
ege
isl
_
{set,
m
ap
}
_
fast_is_
e
mpty: avoid NU
L
L pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl
_
f
l
ow
.
c: avo
i
d acces
s
ing dim
fie
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_access
_
info_compute_flo
w
: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c
:
obj_read: avoid NU
L
L poi
n
t
er der
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_
m
ap_subtract
.
c: tab_add_c
o
nstr
a
ints: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
ae
g
e
isl_t
a
b
.
c: clo
s
e_row: f
i
x
e
rro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_map_
s
implify
.
c: remove_duplicat
e
_divs:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_ba
s
ic
_
map_aff
i
ne_hul
l
: av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq
:
return int instea
d
of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c:
remove_duplicate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
is
l
_ma
p
_sim
p
li
f
y
.
c: eliminate_divs_ineq
:
avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_ma
p
_eliminate_v
a
rs: avoid NUL
L
pointer
de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
aege
isl_sa
m
ple
.
c: interval_sample: av
o
i
d NULL pointer
d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_sa
m
ple
.
c: dro
p
_constraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_str
e
am_new
:
read_defi
n
ed_v
a
r_l
i
st: av
o
id double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
eg
e
i
s
l_b
a
s
ic
_
map_intersect: avoid NULL pointer der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_sample
.
c: gbr
_
sample: avoid NULL
p
oin
t
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_test
.
c: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_test:
a
void accessing basi
c
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_input
.
c: read_defined_v
a
r_l
i
st: avoid d
o
u
b
l
e f
r
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_map_convex_hull: avoid NULL
po
i
nter dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
n
ormalize_co
n
straints:
a
vo
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_basic_map_total
_
dim: avoid NU
L
L point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
ege
i
sl
_
b
asic_map_order_di
v
s:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_hull
.
c: isl_basic_set_
a
dd_
e
qual
i
ty: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_convex_hull
.
c
: c
o
m
p
ute_face
t
:
a
void NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: map_is_equal: check inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_d
i
m
.
c
:
co
p
y_names: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_dim_dup:
c
heck input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolae
g
e
isl_basic_map_cow: check result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_stream_
n
ew_str
:
check r
e
sul
t
o
f
allocat
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
ae
g
e
isl_stream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaege
is
l
_
tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_tab
.
c:
f
ix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_morph
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_map
.
c: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_m
a
p_sim
p
lify
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_in
p
ut
.
c: acc
e
pt
more
gen
e
ral aff
i
n
e
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
add isl
_
vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
i
sl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
add isl_se
t
_
i
s_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoolaege
add
isl_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdo
o
laege
e
x
por
t
isl
_
qpolynomial_involv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
V
e
rdoolaege
isl_polynomial
.
c
: ad
d
miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_map_transi
t
i
ve_closure: check wh
e
ther deco
m
posit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add is
l
_stream_
f
lush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
erdoolae
g
e
a
d
d
i
s
l
_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoola
e
g
e
add rudimentary
e
r
r
or reportin
g
mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
isl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
isl_p
o
int_a
l
loc:
avoid potential
memory
l
eak on e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
V
erdoo
l
aege
doc: document isl_m
a
p_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_tab_pip
.
c
: compa
r
e all coeffi
c
ien
t
s whe
n
chec
k
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Ve
r
dool
a
ege
i
s
l_
p
w_qpolynomia
l
{
,_
f
old}_gist:
use s
i
mple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
rdoolaeg
e
add isl_set_
s
et_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add i
s
l
_
s
t
re
a
m
_
r
ead
_
s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_qpoly
n
omial_lift: fi
x
lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optiona
l
ly (
a
nd by defa
u
lt) use berns
t
ein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
priva
t
ely export i
s
l_qpolynomial
_
fold_f
o
ld_o
n
_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_pw_
q
polynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
add parametric vertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add isl_morph_dom_dim and i
s
l_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
p
r
ivately expo
r
t isl_basic_set_sort_constr
a
i
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
isl_tab_detect_implicit_equaliti
e
s: also det
e
ct
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
isl_ta
b
: optionally only mark strictl
y
r
ed
u
ndant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
generalize isl_pw_qpo
l
yno
m
ial_b
o
und to isl_pw_qpolynomi
a
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
extr
a
ct out
g
eneric part of isl_pw_q
p
olynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verd
o
olaege
isl_pw_qpolyn
o
mial
_
b
o
und_range: also set ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ex
p
ort isl_pw_
q
polyn
o
mial_fold_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export
isl_qpolynomial
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lynomial_coeff
commit
|
commitdiff
|
tree
next