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_tab.c: tab_mat_product: avoid NULL pointer dereference
2010-06-26
S
v
en Ve
r
doolaege
isl_t
a
b
.
c: tab_mat_product:
a
v
o
id NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_tab
_
extend_cons: avoid NULL po
i
nter
d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
implemen
t
antiquated is
l
_b
a
sic
_
set_n_* in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
map_con
v
ex_hull: avoid NULL pointe
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_t
a
b
_
ad
d
_
v
alid_eq: return int instead
of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_affine_h
u
l
l
.
c: affin
e
_hull
_
with_con
e
: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_
e
qualities
.
c: parameter_compress
i
on_multi
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
o
laege
i
sl_basic_
m
a
p_pro
j
e
c
t
_out: avoid NULL pointer de
r
efe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_coal
e
sce
.
c
: co
a
lesce_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c:
e
xt
e
nd: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
m
plement antiq
u
ated
i
sl_set_n_* in terms of isl_se
t
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simp
l
ify
.
c:
n
orm
a
lize_
d
ivs: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
d
o
olaege
isl_
i
nput
.
c: var
s
_dro
p
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_convex_hull
.
c: uset_convex_
h
ull_wra
p
_
bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_se
t
_wrap_facet:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
t
ab_min: avoid NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
erdoolaege
i
sl_affine_hull
.
c: extend
_
aff
i
ne_hull: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_exten
d
:
plug memory leak on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaeg
e
i
sl
_
affi
n
e_hull
.
c: equalitie
s
_in_underlying_se
t
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_s
e
t_pr
e
imag
e
:
avoid NULL
p
ointer deref
e
r
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: no_sol_in_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ve
r
doolae
g
e
isl
_
affine_
h
ull
.
c: equa
l
ities_in_
u
nderlying_
s
et:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affine_
h
ull
.
c
:
affine_h
u
l
l
: fix
erro hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_project
_
out: fix er
r
or
r
eturn
v
alue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
ba
s
i
c
_
m
ap_
i
nterse
c
t
_
ran
g
e: avoid NUL
L
p
ointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl
_
t
a
b_pip
.
c:
f
i
nd_solutions: fi
x
error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
i
s
l
_
basic_
m
ap_a
l
loc_dim: fix
error
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
b
asic
_
map_inter
s
ect: avo
i
d NULL poi
n
t
e
r dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_
p
ip
.
c:
s
ol_
m
ap_init: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
sl_bas
i
c_map_intersect_doma
i
n: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
flow
.
c:
compute_val_
b
ased_d
e
p
e
ndences: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
oolaege
isl_flow_alloc:
fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_a
c
ces
s
_info_compute_flow: fix
erro
r
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_{set
,
map}_fast_is_empty: avoid NULL pointer de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_
f
low
.
c: avoid accessing dim
field directl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolae
g
e
isl_
a
ccess_info_compu
t
e_flow: avo
i
d NULL
p
ointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
is
l
_input
.
c:
obj
_
r
e
a
d: avoi
d
NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_
m
a
p_subtra
c
t
.
c: tab_
a
d
d_cons
t
ra
i
nt
s
: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_t
a
b
.
c: close_
r
ow:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_si
m
pl
i
fy
.
c:
r
emove_duplicate_divs: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_a
f
fine
_
h
u
ll
:
av
o
id NULL po
i
n
t
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_add_eq: return int
i
ns
t
ead of isl_t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
e
ge
isl_map_simplify
.
c: remove_dup
l
icate_co
n
st
r
a
i
n
t
s:
a
vo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simpli
f
y
.
c: eliminate_divs_ine
q
:
a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_m
a
p
_
eliminate_vars: avoid NULL poin
t
er deref
e
re
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_sample
.
c:
i
n
terval_sam
p
le: avoid NULL poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_sam
p
le
.
c: drop_constraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_stream_new: r
e
ad_defined_var_list: avo
i
d
d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
i
s
l
_basic
_
map_intersec
t
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
a
ege
i
s
l_sample
.
c
:
gbr_s
a
mple:
a
void NUL
L
po
i
nter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: avoid NULL po
i
n
t
er de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
i
s
l_test:
avoid accessing basic set
internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_inp
u
t
.
c: read_
d
e
fine
d
_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_conv
e
x
_
hull: avo
i
d NULL pointer derefe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_basic_map_normalize_
c
o
n
straints
:
avoid
N
ULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
is
l
_ba
s
ic_map_total_dim: avoid NULL
p
oi
n
ter de
r
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_order_divs: avoid NULL
p
ointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_conv
e
x_hu
l
l
.
c
: isl_ba
s
ic_set_a
d
d_equalit
y
: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
aege
i
sl_convex_
h
ull
.
c: compute_facet: avoid NULL po
i
n
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_t
e
st
.
c: ma
p
_is_eq
u
al: c
h
eck inpu
t
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdool
a
e
g
e
i
sl_di
m
.
c: co
p
y_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
laege
isl
_
dim_
d
up: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
c
ow
:
check re
s
ult of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_stream_new_str: check result
o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaeg
e
isl_stream
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_tab_
p
ip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl
_
tab
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ver
d
oolaege
isl_polynomi
a
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
sl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
isl_m
o
rph
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_map_si
m
plify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_i
n
put
.
c: ac
c
e
p
t
m
ore
ge
n
eral affine
e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaeg
e
add isl_
v
e
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven Ver
d
oolaege
add
isl_map_i
s
_t
r
ansl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n Ver
d
ool
a
eg
e
expor
t
isl_qpol
y
nomia
l
_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
isl_pol
y
nomial
.
c: add
m
is
s
ing in
c
lude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
laege
isl
_
map_transitive_closure:
c
heck whether
d
ec
o
mposi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoola
e
ge
add isl_stream_flush_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add isl_stream_skip_
l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd rudime
n
tary
erro
r
reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
rdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoo
l
a
ege
isl_point_alloc: avoid
po
t
ential memory l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdo
o
laege
doc: document isl_
m
ap_delta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolaege
isl_tab_pip
.
c: compare all coef
f
icients when checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
isl
_
pw_qpolyno
m
ial{,_fold
}
_gist
:
use
s
i
mpl
e
hull
in
s
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolae
g
e
add
isl_set_set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl_strea
m
_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n Verdool
a
e
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_qpo
l
ynomial
_
lift
:
f
ix lifting in abs
e
nce
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
optionally (and by default) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
p
r
iv
a
tely export isl_qpo
l
yn
o
mial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
add isl_pw_qpoly
n
omial
_
fold_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
olaege
a
dd parametr
i
c
v
ert
e
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_morph_dom_dim
and isl_
m
orph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaeg
e
add
i
sl_basic_map_is_rati
o
na
l
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
private
l
y export isl
_
basic_
s
et_sort
_
c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_det
e
ct_im
p
lic
i
t_e
q
ualities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
next