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_intersect: avoid NULL pointer dereference
2010-06-26
S
v
en Verdoolaeg
e
isl_
b
asic_map_intersect: avoid
N
UL
L
po
i
nter derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l
_tab_pip
.
c: sol_m
a
p
_
i
nit
:
avoid NULL
p
ointer derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_basic_map_i
n
tersect
_
domain: avoid N
U
LL po
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_f
l
ow
.
c:
compute_val_based_
d
e
p
e
ndences:
fix
err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolae
g
e
isl_flow_allo
c
: fi
x
e
rr
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
isl_
a
cces
s
_info_compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_{set,map
}
_fast_is_empty:
a
v
o
id
N
ULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_flow
.
c: avoid accessing dim
field dir
e
c
t
ly
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
i
s
l_access_info_compu
t
e_flow:
av
o
id N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
oolaege
is
l
_input
.
c: obj_rea
d
: avoid
NULL
pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_map_su
b
tract
.
c: tab_add_constr
a
ints
:
avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
ab
.
c: cl
o
s
e
_row: fi
x
error
han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_map_sim
p
lify
.
c: remove_d
u
p
l
icate_divs: a
v
oi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_affine_hull:
a
void NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
dool
a
ege
isl
_
tab_add_e
q
: return int instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
map_simpl
i
fy
.
c
:
r
emove_duplicate_con
s
tra
i
nts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
m
ap_
s
im
p
lify
.
c:
eliminate_
d
ivs_ineq: avo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
i
sl_
b
asic_
m
ap_elim
i
n
ate_vars: a
v
o
i
d
NULL p
o
inter der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: int
e
rval_sample: avoi
d
N
ULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop_
c
onstrai
n
ts_involving: avoid
N
UL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: rea
d
_defined_var_li
s
t: avoid d
o
ub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
i
s
l
_basic
_
map_intersect: avo
i
d N
U
L
L
p
ointer dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_sample
.
c: gbr_sample: av
o
id NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_test
.
c: avoid
NULL pointer d
e
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
:
avo
i
d a
c
cessing bas
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_input
.
c:
read_
d
e
fine
d
_
v
ar_list: avoi
d
d
ouble
f
r
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_co
n
v
e
x
_hull: av
o
id NU
L
L pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_m
a
p_normalize_cons
t
raints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_ba
s
ic_ma
p
_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_basic_map_orde
r
_d
i
vs: avoid NUL
L
pointe
r
d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
c
onvex
_
hull
.
c:
isl_basic
_
set_ad
d
_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl
_
conve
x
_hull
.
c: compute_facet: avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
ola
e
ge
isl_
t
est
.
c: map_
i
s_eq
u
al: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy_na
m
es:
c
hec
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
g
e
isl_dim_
d
up: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdo
o
laege
isl_basic_map_cow: check
result o
f
a
l
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
ae
g
e
isl
_
str
e
a
m
_new_str:
c
heck res
u
lt of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_tab_p
i
p
.
c: fix
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
g
e
is
l
_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdo
o
laege
isl_
p
olynomial
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_ver
t
ices
.
c:
fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoolaege
isl_morph
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c: a
c
cept
more gener
a
l affine expressions
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoola
e
ge
add
i
sl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl
_
v
e
c_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oolaege
add isl
_
set_is
_
b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
d
oolaege
add isl_map_is_translatio
n
commit
|
commitdiff
|
tree
2010-06-21
S
ven
V
erdoolaege
e
x
p
ort
isl_
q
po
l
ynomial_i
n
volv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
i
sl_polynomial
.
c: add
m
issing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_transitive_closure: check
w
hether decom
p
o
si
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
olaeg
e
add i
s
l_stream_flus
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add rudi
m
entary er
r
or reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
add isl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolae
g
e
is
l
_
p
oint
_
alloc: avoid poten
t
ial memory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n V
e
r
doolaege
doc: document isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdool
a
ege
isl_ta
b
_pip
.
c: compare all coe
f
fic
i
e
n
ts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doo
l
aege
i
sl_p
w
_qp
o
l
y
nom
i
al
{
,_fold}_gist: use simple hull inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doo
l
a
ege
add isl_
s
et_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Verd
o
olaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
is
l
_qpoly
n
omi
a
l
_lift: fix
l
if
t
i
ng in
absence of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
optionally (a
n
d
b
y defaul
t
) us
e
b
erns
t
ein expan
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
privately export
isl_
q
poly
n
om
i
al_fold_fold_on_
d
oma
i
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_pw
_
qpo
l
yno
m
ial_fold_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add pa
r
ametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_morph_dom_di
m
and isl_mo
r
ph_r
a
n_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
d
d isl_
b
asi
c
_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
pr
i
vat
e
ly export is
l
_basic_s
e
t_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_tab_de
t
e
ct_implicit_equa
l
ities: also de
t
e
ct
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b: opti
o
nal
l
y only mark strictly redund
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
generalize isl_p
w
_qpolynom
i
al_bound to isl_pw_qpol
y
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
extract out ge
n
e
r
i
c
part of
is
l
_
pw_qpolynomial_boun
d
_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
isl_p
w
_qpolynomia
l
_boun
d
_rang
e
: also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_basic_set
_
f
a
ctorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
export is
l
_pw_
q
polynomial_fold_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_qpolynom
i
a
l_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
export isl
_
qpolynomia
l
_add_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
a
dd isl_
q
polynomi
a
l_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add
i
sl_qpolynomi
a
l_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_qpol
y
nomial_insert
_
d
im
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qpolyno
m
ial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laeg
e
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rdoo
l
aege
i
sl_tab_detect_implicit_e
q
ualities: return in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_si
g
n_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
i
s
l
_
tab
_
s
e
lect_facet: return int instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
ae
g
e
a
d
d
isl_basic_
s
et_full_
c
o
mpress
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
privately export
isl_pw_qpolyno
m
ial_morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d isl_q
p
olynomial_fold_for
e
ach
_
qpolyn
o
m
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add
i
sl_pw_qpolynomial_fold_forea
c
h_lifted
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
l
a
ege
export isl_pw_qpolynomial_fold_
i
s_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
privately
e
xport isl_morph_all
o
c and isl_mo
r
ph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d
isl_qpolynomial_fold
_
get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
isl_pw
_
qpolynomi
a
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ct
x
_peek
_
optio
n
s
commit
|
commitdiff
|
tree
next