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_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference
2010-06-26
Sven
Verdoolaege
i
s
l
_a
f
fine_
h
ull
.
c
: eq
u
alities_in_under
l
ying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
do
o
l
aege
isl_ba
s
i
c
_set_p
r
eim
a
ge
:
a
v
o
id
NUL
L
po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_ta
b
_pip
.
c
: no_sol
_
i
n
_strict: fi
x
e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_a
f
fine_hull
.
c: equ
a
lit
i
es_in_underlying_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
l
a
ege
isl_affine_h
u
ll
.
c:
a
ffine
_
hull: fix erro
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_ma
p
_project_
o
ut: fix error retu
r
n
v
a
l
u
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_basic_map_in
t
erse
c
t
_r
a
nge:
a
v
o
i
d NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_ta
b
_pip
.
c
:
fi
n
d_solutions: fix error h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
doolaege
isl_basi
c
_
m
ap_all
o
c_
d
i
m
:
f
i
x error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_
i
nt
e
rse
c
t: avoid NULL po
i
nter derefe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c
: sol_map
_
init: avoi
d
NULL point
e
r derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
ba
s
ic_map_intersect_d
o
main
:
avoid N
U
LL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_
f
low
.
c: compute_val_b
a
s
ed_depe
n
d
e
nces: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
i
s
l_flo
w
_alloc: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_{set,map}_f
a
st_is_empt
y
:
avoi
d
NUL
L
point
e
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_flo
w
.
c: avoid accessi
n
g
d
im field direc
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl
_
access_i
n
fo_compute_flo
w
:
avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_i
n
put
.
c: obj_read:
a
void NULL
pointer der
e
f
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
m
ap_
s
u
b
t
r
act
.
c: tab_ad
d
_
con
s
traints: avoi
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: clos
e
_row: fix er
r
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_simp
l
ify
.
c: remove
_
duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_bas
i
c_m
a
p_affine_hull:
a
void NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_tab_
a
dd_e
q
:
r
eturn
i
n
t instea
d
of isl_
t
ab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_m
a
p
_
simplif
y
.
c: remove_duplicate_constraints:
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_simpl
i
fy
.
c: eliminate_divs_
i
neq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
la
e
ge
is
l
_
b
a
s
ic_
m
ap_eliminat
e
_vars
:
avoi
d
NULL
p
ointer derefe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_sample
.
c: interval_sampl
e
: avo
i
d NULL poi
n
ter d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c
: d
r
op_cons
t
raints_involvi
n
g
:
a
void NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_strea
m
_
n
ew: read_define
d
_va
r
_lis
t
:
avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
basic_map
_
intersect: a
v
o
i
d
N
ULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gbr_sample: avoid
NU
L
L pointer
d
erefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_test
.
c: avo
i
d NULL pointer d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
test: av
o
id access
i
ng ba
s
ic se
t
in
t
er
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: re
a
d_defined_var_list:
a
vo
i
d
d
ouble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_hull: avo
i
d NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_ma
p
_
normalize_constrai
n
ts: avoid
NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oo
l
aege
isl_bas
i
c
_map_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_orde
r
_divs:
a
void
NUL
L
pointer d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex_hull
.
c: isl_basic_s
e
t_add_equalit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_convex_hull
.
c:
comput
e
_
f
acet: avoid NULL p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_t
e
st
.
c: map_is_equal: c
h
e
ck i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy_name
s
:
check
i
np
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaeg
e
isl_dim_dup: check
i
nput di
m
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl
_
basic_map
_
c
ow: chec
k
result of a
l
lo
c
atio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
s
tream_
n
ew_str:
c
h
eck result of a
l
locatio
n
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_stream
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
isl_ta
b
_pip
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_tab
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
la
e
ge
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aeg
e
isl_vert
i
ces
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_morph
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
e
ge
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
i
s
l_map_simplify
.
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolaeg
e
isl_input
.
c
:
accept
m
o
re gene
r
al
a
ffine
expressions
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
add
i
sl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
add
i
sl_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_tra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
export isl_qp
o
lynomial_invo
l
ve
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven
V
erdool
a
ege
isl_po
l
ynomial
.
c: a
d
d mi
s
sing includ
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_transitive_clos
u
re: check whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verdool
a
e
g
e
add
i
sl_str
e
a
m_flush
_
t
o
k
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaeg
e
add
i
s
l
_
stream_
s
ki
p
_
line
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoo
l
aege
add rudim
e
n
t
ary error
reporting mecha
n
ism
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdool
a
ege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
isl_point_alloc: avoid potential memor
y
leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolaege
doc: d
o
c
ument isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolae
g
e
i
sl_
t
ab_pip
.
c: compa
r
e all c
o
efficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qp
o
ly
n
omial{,_fo
l
d}_g
i
st: use s
i
mple hu
l
l in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Ver
d
oolaege
add isl_set_set_dim_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ver
d
oolaege
add isl_
s
tream_rea
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_qpolyno
m
ial_lift: fix lifting in a
b
sence
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opti
o
n
ally (
a
nd by de
f
a
ult) use berns
t
ein e
x
pan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
privately expor
t
isl_qpol
y
nomia
l
_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
add i
s
l_pw_
q
polynomial_fold_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add par
a
metric
ve
r
tex en
u
mera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_d
o
m_dim a
n
d isl_morph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l
_bas
i
c_m
a
p_is_r
a
t
i
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
privately export
i
sl_bas
i
c
_set_sor
t
_constraints
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_dete
c
t_imp
l
icit_equalities
:
also de
t
ect
m
anif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
is
l
_tab: optionally onl
y
mark strictly redu
n
dant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
generalize isl_pw_qpolynomial_bo
u
nd to isl_p
w
_qpol
y
nom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extrac
t
out
generic part o
f
isl_pw_qpolyn
o
mial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_pw_qpoly
n
omial_bou
n
d_ra
n
ge: also set exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
export is
l
_
p
w_qpolynomial_fold_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l_qpolynomial_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
o
o
laege
add isl_q
p
o
l
ynomial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oola
e
ge
a
dd is
l
_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_q
p
o
l
yno
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd
i
sl_qpolynomial_homo
g
e
nize
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdo
o
laege
add isl_qpolynomia
l
_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olae
g
e
add is
l
_qpolynomial_ins
e
rt_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
a
dd i
s
l_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_d
e
tect_imp
l
icit_equalities:
r
e
turn integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
add isl
_
t
a
b_sign_
o
f_
m
ax
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
s
l
_tab_
s
ele
c
t
_fac
e
t:
r
etur
n
int
instead of
i
s
l
_
tab
*
commit
|
commitdiff
|
tree
next