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_affine_hull.c: outside_point: fix error handling
2010-06-26
Sven Verdoolaege
i
s
l
_affine_hull
.
c: outs
i
de
_
point: fi
x
er
r
or ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_rollb
a
c
k
: avoid doub
l
e free on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
olaege
i
sl_tab
.
c
:
t
a
b_m
a
t_prod
u
ct: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab_extend_cons: avoid
N
ULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
impl
e
ment a
n
t
iq
u
ated i
s
l
_
basic_s
e
t
_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avo
i
d NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
t
a
b
_
ad
d
_valid_eq:
r
eturn in
t
inste
a
d o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
aff
i
ne_hu
l
l
.
c
:
affine_hull_wit
h
_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_equalities
.
c: parameter_compr
e
ssion_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_b
a
s
i
c_
m
ap_project_out: a
v
o
i
d NULL p
o
inter
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c: coalesce_pair: avoid NULL pointer
d
erefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onvex_hull
.
c: extend: f
i
x error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impleme
n
t
a
n
tiquated is
l
_set_n_
*
in terms of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_map_simp
l
ify
.
c: normalize_di
v
s:
avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_input
.
c: vars
_
d
r
op: fix err
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_conv
e
x_hull
.
c: uset_convex_hull_wr
a
p_b
o
unded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_set_wrap_fac
e
t: fix
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_tab_mi
n
: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_
a
ffi
n
e_hull
.
c: exte
n
d_affine_hull:
avoi
d
NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
i
s
l_b
a
s
ic_map
_
extend:
p
lug memor
y
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
i
sl_affi
n
e_hull
.
c:
e
qualities_in_
u
nderl
y
ing_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_basic_set_preimage:
a
void
N
ULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: n
o
_so
l
_in_strict
:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaeg
e
isl_affine_hull
.
c: equalities_in_underlying
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: af
f
i
n
e_hull:
f
ix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap_project_out: fix
e
r
ror return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_ba
s
ic_
m
ap_intersect
_
range:
a
void NULL pointer der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab
_
pip
.
c: find_so
l
utions: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_a
l
loc_
d
im: fix
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
isl_basic_map_in
t
ersect:
avoid NULL p
o
in
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
g
e
isl_tab_pip
.
c:
sol_map_init: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_basic_map_intersect_do
m
ain: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
lae
g
e
i
sl
_
flow
.
c:
c
o
m
pute_val_b
a
sed_dependences
:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_a
l
loc: fix
error h
a
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_acce
s
s_info_
c
ompute_fl
o
w: fix er
r
o
r han
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_{se
t
,map}_fast_is_empty: avoi
d
N
U
LL
poin
t
er derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
f
low
.
c: avoid ac
c
essing dim
field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
o
o
l
a
e
ge
isl
_
access_info_compute_flow: avoi
d
N
ULL pointer derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c
:
o
bj_
r
ead: a
v
o
i
d NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
m
ap_subtract
.
c: tab_
a
dd_constraints
:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab
.
c
: c
l
ose_row
:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_map_simplify
.
c: rem
o
v
e
_duplicate_divs
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affine_hull: avo
i
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add
_
eq
:
return int inste
a
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
m
ap_
s
i
m
plify
.
c
: remove_duplicate_co
n
s
t
raints:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_map_simplify
.
c: e
l
iminate_divs_ineq:
a
v
o
id
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaeg
e
is
l
_basic_
m
ap_el
i
min
a
te_va
r
s: avoi
d
NULL
p
ointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_sample
.
c: int
e
rval_samp
l
e: avoi
d
NUL
L
pointe
r
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_sample
.
c:
drop_constraints_invo
l
ving: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_stream
_
n
ew: read_defined_
v
ar_list
:
avo
i
d doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl
_
bas
i
c_m
a
p_inter
s
ect: avoid
N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
oolaege
isl_
s
ample
.
c: g
b
r_sample: avoid NULL
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_test
.
c: avoid NULL poi
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
d
oolaege
isl_test: avoi
d
a
c
c
essing basic set i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verd
o
o
l
aege
isl_input
.
c: read_de
f
ined_var_list: avoid
d
ouble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
ae
g
e
isl_map_convex_hu
l
l
:
avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map
_
norma
l
i
ze_c
o
nstr
a
i
nts: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
i
s
l_basi
c
_map_
t
otal_
d
im: avoid
N
ULL poin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_basic_map_o
r
der_d
i
vs: av
o
id NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
is
l
_conv
e
x_hull
.
c
:
i
sl_basic_set_add_eq
u
ali
t
y: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_convex_hul
l
.
c:
c
ompute_facet: a
v
oid NU
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdo
o
laege
isl_test
.
c
:
m
a
p
_i
s
_equal: check inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
isl_
d
i
m
.
c: copy_na
m
es: check in
p
u
t d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
oolaege
isl_dim_dup: c
h
eck i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_basic_map_cow: check result of
a
llo
c
ati
o
n
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_st
r
eam_new_str:
c
heck resul
t
of allocation
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
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_tab
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
i
s
l_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdool
a
ege
isl_vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
r
doolaege
isl_m
o
rph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_map
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
is
l
_map_simplify
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ver
d
oolaege
isl_input
.
c: accept
more g
e
nera
l
affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdo
o
l
a
ege
ad
d
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
r
dool
a
eg
e
a
d
d isl_set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolae
g
e
export isl_qpoly
n
o
mial
_
involv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n Ve
r
doolaege
isl_po
l
yn
o
mial
.
c
: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaeg
e
isl
_
map_transiti
v
e_closure: c
h
eck whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
e
ge
a
d
d
isl_stream_fl
u
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdoolaege
a
d
d
is
l
_stream_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add rudim
e
ntary error reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
a
d
d isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
isl_point_all
o
c
:
a
v
oid pote
n
tial m
e
m
o
ry leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdo
o
l
aege
doc: document isl_map_delta
s
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoola
e
ge
isl
_
tab_pip
.
c:
c
ompare all coeffi
c
ie
n
ts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
e
n Verdoolae
g
e
is
l
_pw_qpolynomi
a
l{,_
f
old}
_
gist: use
s
imple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl_set_set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdo
o
laege
add
i
sl
_
stream_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
S
ven
V
erd
o
o
l
aeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
isl_qpolyno
m
ial_lift: fix lifting in
ab
s
e
nce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
ge
op
t
ionally
(
and
b
y default)
use bern
s
tein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_qp
o
lyno
m
i
al_
f
old_fol
d
_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add is
l
_p
w
_q
p
olynomi
a
l_fold
_
f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
dd param
e
tr
i
c vert
e
x e
n
um
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
mor
p
h_do
m
_
di
m
a
nd isl_morp
h
_
r
a
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add is
l
_
b
a
sic_map_is_rational
commit
|
commitdiff
|
tree
next