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_extend_cons: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
is
l
_tab_ex
t
end_cons: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
implement antiquated
i
sl_basic_
s
et_n_*
i
n te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_convex_hull: avo
i
d NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
is
l
_tab_add_valid_eq:
r
eturn
i
nt i
n
s
tead of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_affine_hu
l
l
.
c: affine_hull_wit
h
_cone: avo
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_equ
a
litie
s
.
c: p
a
rame
t
er_com
p
r
e
ssion_multi: a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_basic_map_project_o
u
t: a
v
oi
d
NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
i
s
l
_
coalesce
.
c: coalesce_
p
air
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
c
onvex_hull
.
c: extend: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
imple
m
ent an
t
i
quated isl_set_n_* i
n
terms of
isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_map_simpli
f
y
.
c:
n
or
m
alize_divs
:
avo
i
d NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_input
.
c: vars_drop: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_convex_hu
l
l
.
c
: uset_conv
e
x_hull_wrap
_
bo
u
nded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_facet: fix error han
d
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_ta
b
_min: a
v
oi
d
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_
a
ffine_hull
.
c: extend_af
f
ine_hull:
a
v
oid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
basic_
m
a
p
_exte
n
d: p
l
u
g
memor
y
le
a
k on er
r
o
r path
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
d
oolae
g
e
is
l
_aff
i
n
e_hull
.
c: equalities
_
in
_
underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_basic_set_preimage:
a
voi
d
NULL pointer
der
e
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_tab
_
p
ip
.
c
:
no_sol_in_strict
:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_affine_hu
l
l
.
c:
e
qualiti
e
s
_
in_und
e
r
l
ying_set:
p
lu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_af
f
ine_hull
.
c: affi
n
e_hul
l
: fix erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
i
s
l_map_project_out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
b
as
i
c_map_
i
ntersect_r
a
nge: av
o
id NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_tab
_
p
i
p
.
c: find
_
s
o
lutions: f
i
x
error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl
_
b
asi
c
_map_alloc_dim
:
fix error han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_bas
i
c_map_int
e
rsect: avoid NULL po
i
nter
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_pip
.
c: sol_map_init: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic
_
m
a
p_
i
ntersect_doma
i
n
:
avoid NU
L
L
p
oin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: compute_val_b
a
sed_dep
e
nd
e
nces: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_flow_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
a
e
ge
i
s
l
_access_in
f
o_c
o
mput
e
_
f
low:
f
i
x
error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
is
l
_{set,map}_fast_is
_
empty: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdo
o
laege
isl
_
flow
.
c: avoid ac
c
essing
d
im field directly
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaeg
e
isl
_
access_info_
c
ompu
t
e_flo
w
: av
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_i
n
put
.
c:
o
bj_r
e
ad: avo
i
d NULL p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_s
u
btract
.
c
:
t
a
b_add_constraints:
a
vo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
olaege
isl_
t
a
b
.
c
: close_r
o
w: f
i
x
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
map_simplify
.
c
:
r
e
move_duplica
t
e_divs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_affine_hull: avoid NULL p
o
inter de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_t
a
b
_
add_eq: return int ins
t
ead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_m
a
p_simpl
i
fy
.
c: remove_duplicate_con
s
traints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c
: elimi
n
ate_di
v
s_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
e
limi
n
ate_vars: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c: interval_sa
m
ple: avo
i
d
NULL p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
g
e
is
l
_sample
.
c: drop_constraints_involvi
n
g: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_stream_n
e
w: read_def
i
n
ed_
v
ar
_
list: a
v
oi
d
do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
isl_basic_map_intersect:
a
void NULL pointer
d
eref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_s
a
mple
.
c: gb
r
_sample: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolae
g
e
isl_test
.
c: a
v
o
i
d NULL po
i
nter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolae
g
e
isl_test: avoid acc
e
ssing basi
c
set interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolae
g
e
isl_inp
u
t
.
c: read_defined_va
r
_
list: avoid
d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
ae
g
e
i
s
l
_
m
a
p_conve
x
_hull: av
o
id NULL poi
n
ter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_
b
asic_ma
p
_normalize_constraints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aeg
e
isl_basic_m
a
p_total_dim:
a
voi
d
NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
ae
g
e
i
sl_basic_
m
ap_order_divs: avoid N
U
LL poi
n
ter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
o
l
aege
isl_convex
_
hull
.
c: isl_basic_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoola
e
ge
i
s
l_conv
e
x_h
u
l
l
.
c: compute_f
a
cet: avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_te
s
t
.
c: map
_
i
s
_e
q
ual: check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_dim
.
c: copy_
n
ames: che
c
k in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_d
i
m_dup: check
input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
co
w
:
check result
of alloc
a
tio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
isl_st
r
eam
_
new_str:
check
r
e
sult of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
is
l
_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdoolaege
isl_p
o
lyno
m
ial
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_vertices
.
c: f
i
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdool
a
e
g
e
isl_morph
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
m
ap
.
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolae
g
e
isl_in
p
ut
.
c: accep
t
mor
e
gener
a
l
a
ffine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
laege
add isl
_
vec_s
c
ale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add
i
sl_set_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
ge
add
i
sl_map_is_t
r
an
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
e
xport isl_q
p
olyno
m
ial
_
involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl
_
p
olynomial
.
c
:
add miss
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
ven Ve
r
doolaege
isl_map_transitive_closure: check whether deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add is
l
_
st
r
eam_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
a
ege
a
d
d isl_
s
tream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
ru
d
i
m
e
n
tary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoola
e
ge
add i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
is
l
_point_alloc
:
avoid
potential
m
emory l
e
a
k
on
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven V
e
r
doolaege
doc: d
o
c
ument isl_m
a
p
_
deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
e
g
e
isl_tab_pip
.
c: compa
r
e
all
coeffic
i
ents
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdool
a
ege
isl_pw_qpolynomial{,_fold}_
g
ist: us
e
sim
p
le
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven V
e
rdoolaege
add isl_st
r
eam_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
g
e
doc: fix
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
i
s
l_qpolynom
i
al_lif
t
: fix lifting in
absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
optiona
l
ly (and b
y
default) use bernstein expan
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
pri
v
a
tely export i
s
l_qpolynomial_fold_
f
old_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_pw_qpolynomial_fold_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
add parametric vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
morph_do
m
_dim and isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
ad
d
i
sl
_
basic_map_is_
r
atio
n
al
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
priva
t
ely export
isl_basic_set
_
so
r
t_constrain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_
tab_detect_i
m
p
l
icit_equalities: also
d
et
e
ct man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab: o
p
t
i
onally only mark
s
t
rictly redundant rows
commit
|
commitdiff
|
tree
next