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_basic_map_project_out: avoid NULL pointer dereference
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_pr
o
ject_out: avoid
NUL
L
point
e
r
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_c
o
alesce
.
c: coa
l
e
s
c
e
_pair:
a
void NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_c
o
nvex_
h
ull
.
c: exte
n
d: fix err
o
r ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
impl
e
ment antiquated isl
_
s
et_n_* in term
s
o
f isl
_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_m
a
p_si
m
plify
.
c
: norma
l
ize_
d
ivs:
a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_input
.
c:
v
ars_drop: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_conv
e
x_hull
.
c
: uset_con
v
ex_hull_wrap_bou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
a
e
g
e
isl_set_wra
p
_face
t
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
laeg
e
isl_tab_min: avoid NULL
poin
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_aff
i
ne_hull
.
c: extend_
a
f
f
in
e
_hull: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolae
g
e
isl_ba
s
ic_
m
a
p_extend: plu
g
memory leak
on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_affine_hull
.
c: equa
l
ities_in_underlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_bas
i
c
_
set_
p
r
eimag
e
: avoid NULL pointe
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
e
ge
isl_tab
_
pip
.
c:
no_sol_in_strict: fi
x
error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_affine
_
hull
.
c: equalities_in_
u
nderlyi
n
g_set: plu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_affine_hull
.
c: affine_
h
ull: fi
x
erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_map_pro
j
ect_out: fi
x
error r
e
t
urn val
u
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoola
e
ge
isl_basic_map_in
t
erse
c
t_range: avoid NU
L
L
pointer
der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl
_
tab_
p
ip
.
c: find_solutions: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
is
l
_
basic_map_alloc_d
i
m: fix erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_ma
p
_inters
e
ct:
avoid NULL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
t
ab_pip
.
c: sol_map
_
init:
avoid NULL
p
oi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl_basic_map_i
n
tersect_
d
omain: a
v
oid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl
_
flow
.
c: compute_val_base
d
_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_fl
o
w_alloc:
fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
a
ccess_info_comput
e
_flo
w
: f
i
x
err
o
r
h
and
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolaege
isl_{set,map}_fast_
i
s_empty: a
v
oid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_flow
.
c: avoid acces
s
in
g
dim field d
i
rectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_access_
i
nfo_com
p
ute_flow: avoid NULL
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_input
.
c
: obj_read: av
o
id NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_map_subtract
.
c
: tab_add_constra
i
nt
s
: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab
.
c: close_row: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_map_si
m
p
l
i
fy
.
c
:
r
e
move_d
u
plicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_basic_map
_
af
f
i
n
e
_hull: avoid NULL poi
n
te
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq
:
return i
n
t in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_si
m
plify
.
c: remove_duplicate_constraints
:
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
o
olaege
is
l
_ma
p
_simplify
.
c
: elimin
a
te_divs_i
n
e
q
:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
s
l
_
basic_map_eliminate_v
a
rs: a
v
oid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
s
ample
.
c:
i
nter
v
al_sample: avo
i
d NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_sample
.
c: drop_constraints_in
v
olv
i
ng:
avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_stream_
n
ew: read_d
e
fined_var_
l
ist: avoid
dou
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_intersect: avoid NULL p
o
inter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
aege
isl_sample
.
c: g
b
r_sample: avoi
d
NULL pointer dere
f
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
e
g
e
isl_test
.
c: a
v
o
i
d NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_test: avoid accessing bas
i
c set intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_input
.
c: read_defi
n
ed_var_list: avoid dou
b
le free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_map_con
v
ex_hul
l
: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basi
c
_
m
ap_normalize_c
o
nstrai
n
t
s: avoid NULL po
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_ma
p
_t
o
tal_dim:
avoid NULL poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_bas
i
c_ma
p
_order_divs: avoid NULL po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_hull
.
c: isl_
b
asic_set_
a
dd_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olae
g
e
i
sl_convex_hul
l
.
c: compute_fac
e
t: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoolaege
isl_test
.
c:
map_is_
e
q
ual: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
.
c: copy_names:
c
heck input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_dim_dup:
c
heck inp
u
t
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
b
a
s
i
c_map_cow: check r
e
s
ult of
a
l
location
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_st
r
eam_
n
e
w
_
s
tr: check result of a
l
location
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
i
s
l
_stream
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
i
sl_tab_pi
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
olaege
i
s
l_ta
b
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
is
l
_polynomial
.
c
: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
isl_vertices
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdoo
l
aege
isl_
m
orph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verd
o
olaege
isl_map_
s
imp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doo
l
ae
g
e
isl_
i
nput
.
c: a
c
ce
p
t
more general affi
n
e
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaeg
e
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
a
d
d isl_vec
_
sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaege
add
is
l
_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erdoolaege
add isl_map_is_translat
i
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
do
o
laege
ex
p
or
t
is
l
_qp
o
l
ynomi
a
l
_
involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Ve
r
doolaege
isl_
p
o
lyn
o
mial
.
c: add
m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Ve
r
doolaege
isl_map_transitiv
e
_clos
u
re
:
ch
e
ck wheth
e
r decompo
s
it
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
o
laege
add isl_s
t
r
eam_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Ve
r
doolaeg
e
add isl_stream_sk
i
p_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudimentar
y
e
rror reporting m
e
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add
isl
_
v
e
rs
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolae
g
e
isl_point_alloc: avoid
p
otentia
l
mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdo
o
laege
doc: document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
isl
_
t
a
b_pip
.
c: compa
r
e
a
ll c
o
e
ffi
c
ie
n
ts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
er
d
oolaege
is
l
_
p
w_qpo
l
ynomial
{
,_fol
d
}_gis
t
: use simple hull i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoolaege
add isl_set_set_d
i
m_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add
i
s
l
_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
r
d
o
o
la
e
ge
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
isl_qpolynomial_li
f
t: fix
l
ifting
i
n absenc
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoola
e
ge
op
t
ionally (and by
d
efault) use
b
ernstein expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
p
r
iv
a
tely
export i
s
l_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_pw_qpoly
n
omial_fold_foreach_pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdool
a
ege
add parametr
i
c vertex
enu
m
erat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
a
d
d isl_morp
h
_d
o
m_
d
im
a
nd isl_morph_ran
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_bas
i
c_map_is
_
rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
private
l
y export
is
l
_
basic
_
set_sort_co
n
str
a
in
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
isl_tab_de
t
ect_implicit_equalities: al
s
o det
e
c
t
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
o
olaege
isl_tab:
o
ptionally on
l
y
m
ark strictly redun
d
ant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
generalize isl_pw_
q
polynomial_bound to
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
t
r
a
ct out generic part of
isl_pw_qpolynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
isl_pw_qpolyn
o
m
ial_bound_
r
ange:
also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add
i
sl_basic_set_fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
r
t
isl_p
w
_qp
o
ly
n
o
m
ial_fold_drop_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export
i
sl_
q
p
o
l
y
nomia
l
_is_zero
commit
|
commitdiff
|
tree
next