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_map_simplify.c: normalize_divs: avoid NULL pointer dereference
2010-06-26
Sv
e
n Verd
o
olae
g
e
isl_map_simplify
.
c:
n
o
rmalize
_
divs: av
o
i
d
NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_input
.
c: vars
_
dr
o
p: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_convex_hull
.
c:
uset_convex_hull_
w
rap_b
o
unded:
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_set_wra
p
_facet:
fix error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_min
:
avoid
N
ULL p
o
int
e
r de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affi
n
e_hull
.
c:
e
xtend_affine_hull:
a
void NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
basic_map_extend: plug
m
emor
y
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_affine
_
hull
.
c: e
q
ual
i
ties_in_underlying_set:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basi
c
_set
_
preima
g
e: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoo
l
a
eg
e
isl_t
a
b_pip
.
c: no_sol_in_strict: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affine_hu
l
l
.
c:
e
qual
i
ties_in_underlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
a
ffine_hul
l
.
c: af
f
in
e
_hull: fix
e
rro handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoola
e
g
e
isl_map_pr
o
ject
_
out: fix error return val
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_b
a
sic
_
map_i
n
ters
e
ct_range: avoid NULL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
p
ip
.
c: find_sol
u
tions: fix error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
a
lloc_d
i
m:
fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_intersect:
avoid NUL
L
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_pip
.
c:
sol_map_init
:
avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_map_intersect_domai
n
: av
o
id NULL
p
oin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_flow
.
c: c
o
mpute_val_based
_
d
e
pendences: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
o
laeg
e
isl_flow_alloc: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
lae
g
e
isl_access_info_co
m
pute_flow: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdool
a
ege
isl_{set,map}_fast_is_empty:
a
voi
d
NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_
f
low
.
c: avoid accessin
g
dim field
d
i
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdo
o
l
aege
isl_
a
ccess_info_comput
e
_flow: avoi
d
N
U
LL
pointer
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_inpu
t
.
c:
o
b
j_re
a
d: avoi
d
NULL pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_ma
p
_
s
ubt
r
act
.
c: tab
_
add_co
n
straints: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doola
e
ge
isl_tab
.
c: close
_
r
o
w: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_s
i
mpl
i
f
y
.
c: remove_duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_basic_map_affine_hul
l
: avoid NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_
ta
b
_
a
dd_eq: return
i
nt instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
is
l
_map_s
i
mp
l
ify
.
c: remove_
d
uplicat
e
_
c
on
s
t
r
a
ints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
m
a
p
_simp
l
ify
.
c: eliminate_divs_ineq:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
isl_basic_map_e
l
iminat
e
_
v
ars: avoi
d
NULL pointer de
r
e
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
ege
isl_sample
.
c: interval_sample: avoid
NULL po
i
nter de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
a
e
ge
isl_sample
.
c: drop_const
r
aint
s
_involv
i
ng: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_stream
_
new: read
_
d
ef
i
n
e
d
_var_list: av
o
id doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aege
isl_basic_ma
p
_inters
e
ct: a
v
oid N
U
LL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
s
ample
.
c: gbr_sa
m
p
l
e: avo
i
d N
U
LL pointer d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
: av
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
t
est: avoid accessing basic
s
et
internals
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_in
p
ut
.
c: read_de
f
ined_var_list: avoid dou
b
le free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_convex
_
hull: avoi
d
NU
L
L pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_basi
c
_map_n
o
rmalize_co
n
straints: avoid NUL
L
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_map_total_
d
im: a
v
o
i
d NUL
L
poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_b
a
s
i
c_
m
ap_order_divs: avoid NU
L
L poin
t
er de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
oolaege
isl_convex_hull
.
c: isl_
b
asic_set_a
d
d_equa
l
ity: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_hull
.
c: compute_fac
e
t:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: map_is_equal: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
i
s
l
_dim
.
c: copy_na
m
es: check
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
_dup: c
h
e
c
k inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_
b
asic_map_cow: che
c
k result
o
f all
o
cati
o
n
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_stream_new_
s
tr: check result of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdool
a
ege
isl_stre
a
m
.
c: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_tab_pip
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
doolaege
i
sl_tab
.
c
:
fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
lae
g
e
is
l
_vertice
s
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_morph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ma
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoo
l
a
e
ge
isl_ma
p
_simplify
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
ola
e
g
e
isl_input
.
c: accept more gen
e
ral affine e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoo
l
aege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
ad
d
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolae
g
e
add is
l
_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
exp
o
r
t isl_qpolynomial_i
n
volves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoo
l
aeg
e
i
sl
_
polyno
m
ial
.
c
:
a
dd
missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl
_
map_trans
i
tive_closure:
chec
k
whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
ad
d
isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add isl_str
e
am_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
a
dd
r
udimentar
y
e
r
ror repo
r
ting mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add i
s
l_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
l_poin
t
_alloc:
a
voi
d
pot
e
ntial memory le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n Verd
o
olaege
doc: document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
d
o
o
la
e
ge
is
l
_
t
ab_pip
.
c: comp
a
re a
l
l coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolaege
isl_pw_qpo
l
y
no
m
ia
l
{
,_fold}_gis
t
: use
s
i
mp
l
e hull inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl
_
set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolae
g
e
add i
s
l
_str
e
am_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpolynomial_lift: fix
l
ifting
i
n ab
s
e
n
ce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
o
p
t
ionally (
a
nd by default)
use bernstein e
x
p
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
privatel
y
export i
s
l
_qpoly
n
omial_fold_fo
l
d_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
ool
a
ege
add isl_pw_qp
o
ly
n
omi
a
l_fo
l
d_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdool
a
eg
e
add parametric ve
r
t
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaeg
e
a
d
d i
s
l_morph_dom_dim an
d
isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
add is
l
_ba
s
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdo
o
laeg
e
privately export
isl_basic_set_sort_con
s
tr
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
i
s
l_tab_detect_imp
l
i
c
it_equali
t
ies: also detec
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
is
l
_tab: o
p
tionally only mark strictly re
d
undant
r
o
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
g
e
n
eralize isl_p
w
_qpolyno
m
i
a
l
_
b
o
u
nd to isl_pw
_
qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
extr
a
c
t
o
ut generic part of isl_pw
_
q
polyn
o
m
i
al_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_pw_q
p
olynomial_b
o
und_
r
ange: al
s
o set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
ad
d
isl_
b
asic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
export
isl_pw_qpolynomial_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export isl_qpoly
n
omial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
isl_qpolynomial_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_qpoly
n
omial_from
_
affin
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
export isl_qpo
l
ynomial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl
_
qp
o
lynomial
_
homogenize
commit
|
commitdiff
|
tree
next