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
V
erdoo
l
aege
isl_basi
c
_
m
ap_pr
o
ject_out: avoi
d
NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
coa
l
e
s
ce
.
c:
coalesce_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_co
n
vex_hu
l
l
.
c: extend: fix error hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
a
ntiquated isl
_
s
e
t
_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_si
m
p
lify
.
c: normalize_divs: avoid NUL
L
poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_inpu
t
.
c: vars_dro
p
: fix err
o
r han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_convex
_
h
ull
.
c
: us
e
t_
c
o
n
vex_hu
l
l_wrap_b
o
un
d
e
d:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
isl_set_wrap
_
facet: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
s
l
_ta
b
_min
:
avoid NULL pointer der
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_affine_hul
l
.
c:
e
xtend_affin
e
_hul
l
: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aege
isl_basic_m
a
p
_e
x
tend:
p
lug memory leak
o
n
e
rror pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
affine_hull
.
c: e
q
ualit
i
es_in_und
e
rlying_set:
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl
_
basic_set_preimage: avoi
d
N
ULL poin
t
er de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_t
a
b
_
pip
.
c: no
_
s
o
l_in_str
i
ct: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_affine_hull
.
c:
e
quali
t
ies_in_under
l
ying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
s
l_af
f
i
n
e_hull
.
c:
a
ffine_hull: fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
ool
a
eg
e
isl_ma
p
_
project_out: f
i
x
error return v
a
l
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_
i
n
t
ers
e
ct_range: avoid NULL pointer de
r
ef
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_tab_
p
i
p
.
c:
f
in
d
_solutio
n
s:
fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
isl
_
ba
s
ic_map_a
l
loc_dim: fix
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
do
o
laege
isl_basic_map_intersec
t
:
avoid NULL poin
t
e
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolae
g
e
is
l
_tab_pip
.
c: sol_map_init: avoid NU
L
L poi
n
t
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_basic_ma
p
_interse
c
t_domain: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_flow
.
c: co
m
pute_val_
b
ase
d
_dep
e
nde
n
ces
:
fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolae
g
e
isl_flo
w
_alloc: f
i
x e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_access_info_compute_flow: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
i
s
l_{set
,
map}
_
fast_is_empty:
avo
i
d NU
L
L
pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_flow
.
c
: avoid access
i
ng
d
im fi
e
l
d
directly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
i
sl_acc
e
ss_info_compu
t
e_f
l
ow: avoid NULL
pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
i
nput
.
c: ob
j
_read:
avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_map_s
u
btra
c
t
.
c: tab_add_constraint
s
: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
isl_t
a
b
.
c: clo
s
e_row: fi
x
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
laege
i
s
l_ma
p
_sim
p
lify
.
c: rem
o
v
e
_
duplicate_
d
ivs: av
o
id
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affine_hull:
a
v
oid NUL
L
poi
n
ter
d
ereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl
_
tab_add_e
q
: return
i
nt instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rd
o
olaege
isl_m
a
p_sim
p
lify
.
c: rem
o
v
e
_
d
up
l
icate
_
constr
a
ints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_m
a
p
_sim
p
l
i
f
y
.
c: eliminate_divs_ineq
:
av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_eliminate_vars: avoid NULL
pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_sample
.
c: interval_sampl
e
:
a
void NU
L
L
p
oi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_sample
.
c:
drop_constraints_invol
v
ing: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
aege
isl_stream_new:
r
e
ad_define
d
_
v
a
r
_
list: avoid doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_int
e
rsect: avo
i
d NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_sample
.
c: gbr_sample: avoid NUL
L
poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_tes
t
.
c
:
avoid NULL po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_
t
e
st: avoid
accessi
n
g basic set i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolae
g
e
isl_input
.
c: read_defi
n
ed_var_
l
ist: avoid
doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdo
o
laege
isl_map_convex_hull: avo
i
d
NULL pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_m
a
p_normalize_constrai
n
ts: av
o
id NULL poi
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_b
a
sic_map_total
_
dim: avo
i
d NULL
p
ointer de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_basic_m
a
p
_
ord
e
r_divs: avoid NULL pointe
r
de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
o
olaege
is
l
_
convex_hull
.
c: isl_b
a
sic_set
_
add_equali
t
y: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_
c
o
nvex_hu
l
l
.
c
: compute_facet: avoid N
U
LL p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_test
.
c: map_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_dim
.
c:
c
opy_names: check i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
i
sl_dim_dup: check input
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_basic_
m
ap_cow: ch
e
c
k result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_s
t
ream_new_str: check
result
of allocatio
n
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
i
s
l_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl
_
t
a
b
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_polynomial
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdo
o
laege
isl_
v
erti
c
es
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_
m
orph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_
m
ap
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
er
d
oolae
g
e
i
sl_map_
s
i
mplify
.
c
: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
e
g
e
isl_
i
nput
.
c: acc
e
pt mor
e
general affine e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
laege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
a
d
d isl_m
a
p_is_translatio
n
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ve
r
doolae
g
e
export isl_qpolynomial_
i
nvo
l
ves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaeg
e
isl
_
polynomial
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
is
l
_m
a
p_
t
r
a
nsitive_closure: check whether de
c
omposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_
s
tream
_
flush_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoo
l
ae
g
e
add
r
u
d
im
e
ntar
y
error repo
r
t
ing
mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
e
g
e
add is
l
_version
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoola
e
g
e
isl_point_
a
lloc: av
o
id po
t
ential m
e
mory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: document i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
is
l
_tab_p
i
p
.
c
:
c
ompare all coefficients
w
hen checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
e
rdo
o
l
aege
isl_p
w
_qpolynomial{,_fold}_g
i
st: use sim
p
le hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolaege
add isl_s
e
t_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd i
s
l_stream_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verd
o
ola
e
ge
i
sl
_
qp
o
lyn
o
mial_lift:
fix
l
if
t
in
g
in abs
e
n
c
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
op
t
ionally (and by default) use
b
ernst
e
in expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
e
x
port i
s
l_qpolynomia
l
_
f
old_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
i
sl_pw_qpolynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d
pa
r
ametric verte
x
enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add isl_mo
r
ph
_
dom_dim and isl_morph
_
ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
add
isl
_
b
asic_map_is
_
ra
t
ional
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
private
l
y export
isl_basic_set_
s
ort_constra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_detect_
i
mplic
i
t_e
q
u
alitie
s
:
a
l
so detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl
_
tab: optionally only m
a
rk strictly redun
d
ant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
general
i
z
e
isl_pw_qpo
l
y
n
omial_bo
u
nd to
isl_
p
w_q
p
oly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
extract out ge
n
eric part
o
f isl_p
w
_
q
p
olyn
o
mia
l
_bo
u
nd
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_qp
o
lynomial_bound
_
range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_facto
r
i
zer
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolaege
expo
r
t isl_pw_qpol
y
nom
i
al
_
fo
l
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
expor
t
isl_qpolyno
m
ial_is_zero
commit
|
commitdiff
|
tree
next