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.c: tab_mat_product: avoid NULL pointer dereference
2010-06-26
S
v
en Verdoolaege
isl_tab
.
c: tab_mat_pro
d
uc
t
: avoid NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_ex
t
end_cons: av
o
id NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
im
p
l
ement antiquated isl
_
basic_
s
e
t_n_* in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl
_
ma
p
_convex_hull: avoid NULL pointer de
r
e
fe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_
t
a
b
_add_valid
_
e
q
: re
t
urn int in
s
t
e
ad o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_affine
_
hull
.
c: aff
i
ne_
h
ull_w
i
th
_
con
e
: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_eq
u
alit
i
e
s
.
c:
pa
r
a
m
eter_compression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_b
a
s
ic_map_pr
o
j
ect_out
:
avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_coalesce
.
c:
c
oalesce_pair: avoid NULL po
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_co
n
v
ex_hull
.
c:
extend: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erd
o
olaege
implement antiq
u
ated isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simpl
i
fy
.
c: normalize_d
i
vs: avoid NULL
p
oi
n
te
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_inp
u
t
.
c
:
va
r
s_
d
rop: fix erro
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
o
laege
isl_convex_hull
.
c: u
s
e
t_conv
e
x_hull_wra
p
_bounde
d
: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
oolaege
isl_set_wrap_facet:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
o
o
l
ae
g
e
isl_t
a
b_min: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_affine_hull
.
c:
ex
t
e
n
d_af
f
ine_hull: av
o
id NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_basic_ma
p
_extend:
plug
m
e
mo
r
y
l
eak on
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_affine_hull
.
c: e
q
ualities_in_underlying_s
e
t
:
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_bas
i
c_set_preimage
:
avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdool
a
ege
isl_tab_pip
.
c:
no_s
o
l
_in_stri
c
t: fix error h
a
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_hull
.
c: e
q
ual
i
ties_in_underlying_set
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_affine_hull
.
c
:
affine
_
h
u
ll: f
i
x
erro h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
is
l
_map_pro
j
ect_out: fix err
o
r
return val
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_basic_map_
i
ntersect_r
a
nge:
avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: fin
d
_solutions
:
fix e
r
r
or handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
g
e
isl_b
a
s
i
c_map_allo
c
_d
i
m:
fi
x
er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_bas
i
c_map_i
n
t
ersect: avoid NUL
L
p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab
_
pip
.
c: sol_map_i
n
it: a
v
oid NULL pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_
b
asic_map_inters
e
ct_doma
i
n:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_f
l
ow
.
c: com
p
ute_
v
al_base
d
_depend
e
nces: fix e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_f
l
ow_alloc:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_access_i
n
fo_compute_flow
:
fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_{set,map
}
_fast
_
is_empty: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
f
low
.
c: avo
i
d acc
e
s
s
ing
dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_access_info_comput
e
_flow: avoid NULL pointe
r
d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_input
.
c:
o
b
j
_read: avoi
d
NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
l
a
ege
isl_map_subtr
a
ct
.
c:
t
ab_a
d
d
_cons
t
rai
n
t
s
: a
v
oid
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab
.
c: close_r
o
w: fix
e
rror han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laeg
e
isl
_
map_simplify
.
c:
r
e
move_duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
is
l
_basic_m
a
p
_
af
f
ine_hull: avoid NULL
p
ointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_add
_
eq: retur
n
int instead
of isl
_
t
a
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_simplify
.
c
: remov
e
_d
u
plica
t
e_cons
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
sl_map_simplify
.
c: el
i
mina
t
e_div
s
_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map_eliminate_vars: avoid N
U
LL
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_sample
.
c: interval_sa
m
ple: avoid NULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_sample
.
c
: d
r
op_con
s
t
r
aints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_stream_new: r
e
ad_defi
n
ed_var_
l
ist: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_basic_
m
a
p
_
inters
e
ct: avoid NU
L
L pointe
r
dere
f
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_sam
p
le
.
c: gbr
_
sam
p
le:
a
vo
i
d NU
L
L pointer
d
ere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
:
avoid NULL po
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l_test
:
avoid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_i
n
put
.
c:
r
ead_def
i
n
e
d_var_lis
t
: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_map_convex_hull: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
laege
isl_basic_m
a
p
_
n
o
r
m
aliz
e
_constraint
s
:
avoid
N
ULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_b
a
sic_map_total_dim: a
v
oid
N
ULL
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
la
e
ge
isl_bas
i
c_map_order
_
divs:
a
void NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
c
o
n
vex
_
hull
.
c: isl_b
a
s
i
c
_se
t
_add_equalit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
c
onvex
_
hull
.
c: c
o
mpute_facet: avoid N
U
LL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoo
l
aege
isl_test
.
c
: map
_
is_eq
u
al: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy_names: check in
p
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
is
l
_dim_
d
up: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
m
ap_
c
ow: che
c
k result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_stre
a
m_new_
s
tr: check r
e
sult o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
oolaege
isl_
s
tre
a
m
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_tab
_
p
i
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoola
e
ge
isl_tab
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_p
o
lyn
o
m
i
al
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdool
a
ege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
isl_map
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoolaege
isl_map_simpl
i
fy
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
olaege
i
s
l_input
.
c: accept mor
e
general affine expressi
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
ad
d
isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add is
l
_vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
ad
d
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_transl
a
t
i
on
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
expo
r
t i
s
l_qpolynomia
l
_
i
nvolv
e
s
_
dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
V
erd
o
olaeg
e
isl_po
l
yn
o
mial
.
c: add
m
issing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_map_transitiv
e
_closure: check whether decompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoola
e
ge
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl
_
stream_ski
p
_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
a
d
d
r
udimentar
y
e
rror reporting
mech
a
n
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoolae
g
e
isl_p
o
int_alloc
:
avoid
p
otential memory
l
eak on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: document is
l
_map
_
del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
isl_tab_pip
.
c
:
compare
all coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
aege
is
l
_pw_qpo
l
ynomial{,_fold}
_
gist: u
s
e
simple h
u
ll instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
Ve
r
d
oo
l
aege
add
isl_s
e
t
_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
d
o
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_qpolynomial
_
lift: fix liftin
g
in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
o
p
t
i
onal
l
y (and by default) use bernstei
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
pr
i
v
a
tely expo
r
t isl_q
p
o
l
ynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_pw_qpo
l
y
n
omial_fold_fo
r
e
ach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
ege
add parametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
l
a
ege
add isl_morph_dom_dim and
isl_m
o
rph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
d
d
isl
_
basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
privately export isl_basic_set
_
sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_im
p
licit_equalit
i
es: also de
t
ect
manifes
t
.
.
.
commit
|
commitdiff
|
tree
next