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_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
2010-06-26
Sven Verdo
o
l
aege
isl_equa
l
ities
.
c: parameter
_
compre
s
sion_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdool
a
ege
isl_basic_
m
ap_
p
r
oject_out: avoi
d
NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_coalesce
.
c: coalesc
e
_pair
:
avoi
d
NUL
L
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c
:
extend
:
fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
imp
l
em
e
nt antiquated
isl_
s
et_n_* in terms of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c
:
normal
i
ze
_
divs: a
v
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
input
.
c: vars_drop: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_convex_hull
.
c: uset_convex_hull_
w
rap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_set_wrap_facet:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaeg
e
isl_tab_min: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_
h
ull
.
c: extend_affine_hu
l
l: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
b
as
i
c_ma
p
_extend
:
plug memory
l
eak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaeg
e
isl_affin
e
_hull
.
c
:
equalities_in_und
e
rlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoola
e
g
e
isl_basi
c
_set_preimage: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
i
s
l
_tab_p
i
p
.
c: no_so
l
_in
_
strict:
fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
a
f
f
in
e
_
hu
l
l
.
c:
equalities_in_un
d
erl
y
ing_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
g
e
isl_affine_hull
.
c
: affi
n
e
_hull: fix err
o
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_map_project_out: f
i
x error return valu
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
sl_basic_map_intersect_range: avoid NULL pointer d
e
refer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_tab
_
pi
p
.
c: f
i
nd_
s
olut
i
ons:
fix error han
d
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_alloc_
d
im
:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_basic_map_intersect: avoid NULL pointer deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_t
a
b_
p
ip
.
c:
s
ol
_
map_init: avoid NULL
p
o
inter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_
intersec
t
_
d
o
main:
a
voi
d
NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_f
l
ow
.
c: c
o
mpute_val_base
d
_de
p
endenc
e
s: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_access_info_co
m
pute_flow: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaeg
e
isl_{s
e
t,
m
ap}_fast_is_emp
t
y: avoid NULL poin
t
er der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
i
sl_flow
.
c: avoid
accessing dim fie
l
d directl
y
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
i
s
l
_
a
ccess_info_c
o
mpute_flow: avoid NUL
L
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_input
.
c
:
obj_
r
ea
d
:
avoid
N
U
LL
po
i
n
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_map_subt
r
a
ct
.
c: ta
b
_ad
d
_constra
i
n
ts:
a
v
o
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_tab
.
c: close
_
row: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_
m
ap_simp
l
ify
.
c: remove_d
u
plicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_affine
_
hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl
_
tab_add_eq:
r
e
turn int inste
a
d
o
f i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
isl
_
m
a
p_simplify
.
c: remove
_
duplic
a
te_constraints: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_simplify
.
c:
elimin
a
te_di
v
s_
i
n
e
q: avoid
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
isl_basic_m
a
p_elim
i
nate_v
a
rs: avoid NUL
L
pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
e
g
e
isl_
s
ample
.
c
:
interval_
s
ampl
e
: avo
i
d NULL poin
t
er der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
sam
p
le
.
c
:
d
rop_const
r
aints_involving: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
s
t
r
eam_ne
w
: r
e
ad_defi
n
e
d
_var
_
list: avoid
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
oolaege
isl_ba
s
ic_map
_
in
t
e
r
s
e
c
t
: avoid NULL pointer de
r
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_s
a
m
ple
.
c: gbr_sampl
e
:
a
voi
d
NULL pointer
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
aege
isl_test
.
c
:
avoid
NULL pointer
d
er
e
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdool
a
ege
i
sl_test: avoid accessing basic set i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_input
.
c
:
read
_
de
f
ined_var_l
i
s
t
:
avoid doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolae
g
e
i
s
l_map_convex_
h
u
l
l
:
avo
i
d
NULL
p
ointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_ma
p
_normalize_constraints: avo
i
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic
_
map
_
t
o
tal_dim: avoid NUL
L
point
e
r
d
er
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_order_divs: avoi
d
NULL poin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_
c
onvex_hu
l
l
.
c: isl_basic
_
set_add
_
equa
l
i
ty:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l
_co
n
vex_hul
l
.
c
: compute
_
f
acet: a
v
oid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_test
.
c: map_is_equ
a
l: check input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_dim
.
c
: copy_nam
e
s
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_dim
_
dup: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
isl_basic
_
map_cow: ch
e
ck re
s
ult
of alloc
a
t
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_stream_new_str: chec
k
resu
l
t of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
is
l
_stream
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_tab_pip
.
c:
fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaeg
e
isl_tab
.
c
:
fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl_vertices
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
i
s
l
_morph
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
i
s
l
_map
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
m
a
p_simplify
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
i
sl_input
.
c: accept mor
e
genera
l
affine exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
ge
add isl
_
v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add i
s
l_vec_sc
a
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
a
d
d i
s
l_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
S
v
en Ve
r
doolaege
add isl_map_
i
s_tr
a
n
s
l
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export
i
sl_q
p
olynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polyn
o
mial
.
c
:
a
dd
missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoola
e
g
e
i
sl_map
_
transitive
_
closure:
check whether dec
o
mpos
i
tion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_flush_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdool
a
ege
add
i
sl_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add rudimentary erro
r
reporting mec
h
ani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ve
r
d
o
olaege
add
i
sl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdo
o
laege
i
s
l_point_a
l
loc:
a
void
potential memory
l
eak on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en V
e
r
doola
e
ge
d
o
c: d
o
cument isl_
m
a
p_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolae
g
e
isl_tab_pip
.
c: co
m
pare
a
l
l c
o
efficients wh
e
n checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven
V
erd
o
o
l
a
e
ge
isl_pw_qpoly
n
o
m
ia
l
{
,
_fold}_gist: use simple hul
l
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
ad
d
isl_set_set_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdo
o
laege
a
d
d
i
sl_stream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
isl_qpo
l
ynomial_lift: fix lift
i
ng in abse
n
ce of
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
o
p
t
ionally (and by default) use bernstein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
tely expor
t
i
sl_qpol
y
nom
i
al_f
o
ld_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl
_
pw_qp
o
l
yn
o
m
ial
_
fold_f
o
r
each_
p
iec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
l
aege
ad
d
paramet
r
ic
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
morph_dom_di
m
and isl_mo
r
ph_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
add
isl
_
basic
_
map_is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolae
g
e
p
ri
v
a
te
l
y expor
t
i
sl_basi
c
_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_tab_detect_implicit_equal
i
t
i
es: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab: optionally only mark strictly redu
n
dant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
genera
l
i
z
e
isl_pw_qpolynomial_bound to isl_pw_qp
o
lynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
extract out generic part of
i
sl_pw_qpol
y
nomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomia
l
_bo
u
nd_ra
n
ge:
a
l
so s
e
t
e
xac
t
nes
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdool
a
ege
add isl_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
olaeg
e
e
x
port isl_
p
w_qpolynomi
a
l
_
fold_drop_
d
ims
commit
|
commitdiff
|
tree
next