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_pip.c: sol_map_init: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
isl_tab_p
i
p
.
c: sol_map_init: avoid NU
L
L p
o
inter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_basic_m
a
p
_
intersect_doma
i
n:
a
voi
d
NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_
f
low
.
c: compute_va
l
_based_dep
e
nde
n
ces: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
s
l_flow_alloc:
fix error h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_acc
e
ss_
i
nfo_compute_flow: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oola
e
ge
isl_{set,map}_fast_is_empty: av
o
id NULL poin
t
er derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: av
o
id accessi
n
g
d
i
m field dire
c
tly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_
a
cce
s
s_info_compute_flow
:
avoid
N
ULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_
i
nput
.
c: obj_rea
d
:
avoid N
U
LL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaege
isl_map
_
subtra
c
t
.
c: tab_add_const
r
aints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
: clo
s
e_row:
f
ix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaeg
e
i
sl
_
map_s
i
mplify
.
c:
r
emo
v
e_d
u
p
l
icate
_
divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_b
a
sic_map
_
af
f
ine_hull: avoid NULL
pointe
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_add
_
eq:
r
e
t
urn int in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_simplify
.
c: remove
_
dup
l
icate
_
constrai
n
ts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_ma
p
_
s
implify
.
c: elimi
n
ate_div
s
_in
e
q: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
er
d
oola
e
ge
isl_basic_map_eliminate
_
v
ars: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
is
l
_s
a
mple
.
c
:
interval_sample: a
v
oid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
oolaege
isl_sam
p
le
.
c: drop_co
n
st
r
a
int
s
_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
s
tream_new: read
_
defined_var_list: avoi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
do
o
laege
isl_basic
_
m
ap_intersec
t
: avoi
d
NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gbr_sample:
a
vo
i
d NULL point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdool
a
ege
isl_test
.
c: avo
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_tes
t
: avoid accessing
b
a
sic set interna
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
in
p
ut
.
c: read_defined_var_list: avoid do
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
g
e
isl
_
m
ap_convex
_
h
u
ll: avoi
d
NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_
b
asic_map_normalize_constraints: avoi
d
N
U
LL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_basic_map
_
total_di
m
: avo
i
d
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_ba
s
ic_map_order_divs: avoid NULL p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_convex_hull
.
c: i
s
l_basi
c
_set
_
add_equality: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_convex_
h
ull
.
c
:
compute_facet:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
test
.
c: map_is_equal:
c
heck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c:
c
opy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
d
im
_
d
u
p: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_cow: check r
e
sult of
a
llocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_
s
tream_new_str
:
check result
of a
l
loc
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_stream
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdool
a
e
ge
isl
_
tab_pip
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_t
a
b
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_vertice
s
.
c
:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl
_
morph
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_
m
ap
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oolaege
isl_m
a
p_simp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
i
sl_input
.
c: accept more general a
f
f
i
ne e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
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
dd
i
s
l
_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
export isl_
q
polynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_
p
oly
n
omial
.
c: add missi
n
g in
c
l
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map
_
transitive_closure: check whether
decomposit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_f
l
ush_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
ae
g
e
add is
l
_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add
r
udimentary er
r
or rep
o
rtin
g
me
c
ha
n
is
m
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdo
o
laege
add
i
s
l_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
i
s
l_po
i
nt_alloc: avoid potential memo
r
y
lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: docu
m
ent
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
i
sl_tab
_
pip
.
c
:
compare all coeffi
c
ient
s
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
laege
is
l
_p
w
_qpolynomial{,_fold}_
g
is
t
: use
si
m
p
le hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
a
dd isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_s
t
rea
m
_read_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
r
doolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
isl_qpolyn
o
mial_lift: fix lif
t
ing in absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optio
n
ally
(and by
d
e
f
ault) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
i
vatel
y
export isl_qpolynom
i
al_
f
old_
f
ol
d
_
o
n_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
add isl_pw
_
qp
o
l
y
no
m
ial_fol
d
_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add parame
t
ric ver
t
ex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_m
o
rph_dom_dim and isl_mo
r
ph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
add isl_basic_map_
i
s_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privately export is
l
_
basic
_
se
t
_sort_constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
isl_tab_detect_implicit_e
q
ualities: also
d
etec
t
man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab: o
p
tionally
o
n
ly mark strictly redundan
t
rows
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoola
e
ge
gener
a
l
i
ze isl_pw_qpol
y
no
m
ial_bound to isl_pw_qpoly
n
omial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
e
xtract out
gener
i
c part
of isl_pw_qp
o
lyn
o
mi
a
l
_bo
u
nd_r
a
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_pw_qpolynomial_bound_range: also s
e
t
e
x
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
a
dd isl_basic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
expo
r
t isl_p
w
_qpol
y
nom
i
al_fold_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_
q
polyno
m
ial_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
add isl_qpolynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial
_
from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
e
xpor
t
isl_qpol
y
n
omial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
qpolynomial_homoge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
sl_qp
o
lynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
add isl_qpolyn
o
mial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add isl_qpolynomia
l
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
do
o
lae
g
e
isl
_
c
tx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_ta
b
_detect_implici
t
_
equa
l
i
ties
:
retur
n
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d isl_tab
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
ola
e
g
e
i
s
l
_
tab_
s
elect_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_ba
s
i
c_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
o
l
aeg
e
privately export isl_pw_qpoly
n
omial
_
m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qp
o
lynomia
l
_fold
_
f
o
reach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolynomial_fold
_
foreach_
l
ift
e
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
expor
t
isl_pw_qpolynomial
_
fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
private
l
y
export isl_mor
p
h_alloc an
d
i
sl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
o
laeg
e
add
i
s
l_qpolynomial_fold
_
ge
t
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
a
ege
export isl_
p
w_qpolyn
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_c
t
x_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_range
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
next