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_project_out: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
isl_basic_map_project
_
out:
a
void N
U
LL point
e
r derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_coalesce
.
c
: coalesce_pa
i
r: avoi
d
NULL poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
a
e
ge
isl_convex_
h
u
l
l
.
c: exten
d
: fix er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
implemen
t
antiquate
d
i
sl_set_n_* in
terms of
isl_se
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_ma
p
_simplif
y
.
c: norm
a
lize_divs: avoid
NULL p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oolaege
isl_input
.
c
:
vars_drop
:
fix e
r
ror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hu
l
l
.
c:
uset_c
o
nvex_hull_wrap
_
bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_set_wrap_facet: fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_
t
ab_min: avoid NULL po
i
n
t
e
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_affine
_
hull
.
c:
extend_affine_h
u
ll: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaeg
e
isl_bas
i
c
_
map_
e
xten
d
: plug memory lea
k
on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_af
f
i
ne_hull
.
c:
e
qualit
i
es
_
i
n_underly
i
n
g_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
oolaege
is
l
_basic_s
e
t_
p
re
i
mage: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
l
a
ege
isl_tab_pip
.
c
:
n
o
_
s
ol_in_strict:
fi
x
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_hull
.
c: equalities_i
n
_underlying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
i
sl_affine_hull
.
c: affin
e
_
hull: fix er
r
o handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_projec
t
_ou
t
: fix error r
e
tu
r
n v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olaege
isl_basic_map_intersec
t
_ran
g
e
:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoolaege
isl_ta
b
_pip
.
c
: fin
d
_soluti
o
ns: fix error ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_basic_map_al
l
oc
_
d
i
m: fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
is
l
_
b
asic_map_int
e
rsect: av
o
id
N
ULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_t
a
b_pip
.
c: sol_map_init
:
avoid NU
L
L pointer deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basi
c
_map_inte
r
se
c
t_domain: avoid
N
UL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow
.
c: compute_val_based_d
e
pendences: fix
erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
do
o
laege
i
s
l_flow_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
acce
s
s_info_com
p
ute_flow
:
f
ix er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_{set,ma
p
}_fast_is_e
m
pty:
avoid NU
L
L pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_
f
low
.
c
:
avoi
d
ac
c
essing dim fiel
d
di
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_ac
c
ess_info_compu
t
e_f
l
ow: avoid NU
L
L
poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_input
.
c: obj_read:
avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl
_
map_subtract
.
c: tab_add_constr
a
i
nts:
a
v
o
id NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab
.
c: close_row: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
m
a
p_simplify
.
c: remo
v
e_
d
u
plicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affin
e
_hul
l
:
avoid NU
L
L point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
la
e
g
e
i
sl
_
ta
b
_
a
dd_eq: return int instead of isl_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map
_
simplify
.
c: remove_duplicate_constraint
s
: a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: elimi
n
at
e
_divs_in
e
q: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_eliminate_vars: avoid NULL poin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_sam
p
le
.
c: i
n
terva
l
_sample:
a
void
N
ULL pointer der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
sl_sample
.
c: drop_constraint
s
_
i
nvolv
i
ng: avo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_st
r
eam_new
:
read_
d
e
fined_var_list: avoid
d
oubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_bas
i
c_map_intersect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_
s
ampl
e
.
c: gbr_sample: av
o
i
d
NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
test
.
c
:
avoid NULL pointer der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_t
e
st: avoid acce
s
sing basic set in
t
ernals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_i
n
p
ut
.
c
:
read_defined_var_list: avoi
d
doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doo
l
aege
is
l
_map_convex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
isl_b
a
sic_map_
n
ormalize_constraints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_total_dim: avoid NULL
p
ointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
d
o
olaege
isl_
b
as
i
c
_
map_order_divs: avoid
NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
convex_hull
.
c: isl_basic_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_convex_hull
.
c: comput
e
_facet: av
o
i
d
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_te
s
t
.
c
:
map_i
s
_equal:
check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy_name
s
:
c
heck input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_dim_dup: check
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
c
ow: check result of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_stream_n
e
w_s
t
r: check resu
l
t of
a
llocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
t
ab_pip
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_
t
ab
.
c
: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoo
l
aege
is
l
_
polyno
m
ial
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaeg
e
isl_vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_morph
.
c:
f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_map
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolaege
isl_input
.
c: accept more gene
r
al af
f
ine expressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Ver
d
ool
a
ege
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
l
aege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoo
l
aege
add isl_m
a
p_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
export isl_q
p
o
l
y
n
omial_in
v
o
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolae
g
e
isl_polyno
m
ial
.
c
: add missing i
n
clud
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_tr
a
nsitive_closu
r
e: c
h
eck w
h
ether
d
ecomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ver
d
oolaege
add isl_stream_flu
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
ad
d
i
s
l_st
r
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
a
dd rudimentary
e
rror reporting me
c
h
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoola
e
ge
add
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_poi
n
t
_alloc: avoi
d
potentia
l
m
e
mo
r
y
l
eak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Verdool
a
ege
doc: documen
t
isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verd
o
olae
g
e
isl_tab_p
i
p
.
c:
c
ompare all
coeffici
e
nts
w
h
e
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
a
e
ge
isl_pw_qpolynomial{,_
f
old}_
g
ist
:
u
s
e
simple hull instea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
add
i
sl_s
e
t_set_
d
i
m
_
nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add i
s
l_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdo
o
l
aege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
i
s
l_qpolynom
i
al_lift: fix liftin
g
i
n
absence o
f
d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optio
n
ally (an
d
by default) use bernstein ex
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
private
l
y
e
xport
isl_qpolynomial_f
o
l
d_
f
o
ld_on_d
o
main
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_pw_qpolyn
o
mial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add parametric
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
er
d
oolaege
add i
s
l_morph_
d
om_
d
i
m an
d
i
s
l_
m
orph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
s
l_ba
s
ic_map
_
is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately export is
l
_bas
i
c_set_sort_constr
a
i
n
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oo
l
aege
isl_t
a
b_detect_impli
c
it_eq
u
a
l
itie
s
: also det
e
ct man
i
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
isl_tab: opt
i
onally only
m
ark stri
c
tly red
u
ndant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
g
eneralize is
l
_
p
w_qpolynom
i
al_
b
ound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
extract out generic part of isl_pw_qp
o
lynomial_b
o
u
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
i
sl_pw_qpolynomi
a
l_bound_range: also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
a
dd
isl
_
basic_se
t
_
factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
e
xpo
r
t isl_
p
w
_qpolynomial_fold_drop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_qpolynom
i
al_is_
z
ero
commit
|
commitdiff
|
tree
next