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_extend_cons: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
isl_tab_extend
_
cons:
a
vo
i
d
N
ULL pointe
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
im
p
lement antiqua
t
ed i
s
l_bas
i
c_set_n
_
*
i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_map_co
n
vex_hull: a
v
oid NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoo
l
aege
isl_tab_
a
d
d
_valid_eq: return int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_affine_h
u
ll
.
c: affi
n
e_h
u
ll_
w
ith_cone: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_equali
t
ies
.
c: param
e
ter_compression_mul
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_ma
p
_p
r
oject_
o
u
t
: avoid NULL po
i
nt
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c: co
a
l
e
sce_pair: a
v
oid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoola
e
ge
isl_co
n
vex_hull
.
c: extend: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
antiquated isl_set_n_* in terms of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoo
l
aege
isl_m
a
p_simplif
y
.
c: normalize_di
v
s
:
a
v
oid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars
_
drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
ge
isl
_
convex_h
u
l
l
.
c: u
s
et_conve
x
_hull_wrap_bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap
_
f
a
c
e
t: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
i
s
l_tab
_
min: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_affine
_
hull
.
c
: ex
t
e
n
d_affine_hull:
av
o
i
d
NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oo
l
aeg
e
isl_basic_map_exte
n
d: plug
memory leak on e
r
r
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
i
s
l
_affine_hull
.
c
: equa
l
iti
e
s
_in_u
n
derly
i
ng_set: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_ba
s
ic_set_preimage:
a
v
o
id
N
U
L
L pointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_tab_pi
p
.
c: no_sol_in_stric
t
:
fix e
r
ror
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaege
isl_affine
_
hull
.
c: equalities_in
_
underlying_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
i
n
e_hul
l
.
c:
affine_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl_map_project_out:
fix error retu
r
n
value
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_basic_map_intersect_ran
g
e:
a
v
oid NULL
p
ointer
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_
p
i
p
.
c: find_
s
ol
u
ti
o
ns: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolae
g
e
i
s
l_basic_map_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_m
a
p
_intersect: av
o
id NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_tab_pip
.
c: sol_map_init: avoid NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ba
s
i
c
_
m
ap_in
t
ersect_do
m
ain
:
avoid NUL
L
pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_fl
o
w
.
c:
c
o
m
p
ute_v
a
l_
b
ase
d
_dependences: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl
_
flow
_
alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_acce
s
s_info_compute_flow: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl
_
{se
t
,map}_f
a
s
t
_is_empty:
avoid NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_f
l
ow
.
c: av
o
id ac
c
e
s
s
i
n
g dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_acc
e
ss_info_compute_flow:
avoid
NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
i
sl_input
.
c: obj
_
read: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_
map_subtract
.
c
:
tab_add
_
cons
t
raints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: close_row:
f
ix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_simpl
i
fy
.
c: remove_duplicate_divs: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolae
g
e
isl_
b
asic_m
a
p_a
f
fine_hull: avoid NULL p
o
inte
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_add_
e
q: return i
n
t
in
s
tead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdool
a
ege
isl_map_sim
p
lify
.
c: remov
e
_dup
l
i
c
ate_c
o
nst
r
aints: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
ege
isl_map
_
simplify
.
c: elimi
n
ate
_
divs_in
e
q: av
o
i
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_map
_
eli
m
i
n
ate
_
vars
:
avoid NUL
L
pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_sample
.
c: i
n
terval_sample: a
v
oid NULL poi
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdool
a
eg
e
i
sl_sample
.
c: drop_const
r
aints_involv
i
ng: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_st
r
eam_new: rea
d
_defined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
s
i
c_
m
ap_in
t
ersect: avoid N
U
LL po
i
nter de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_s
a
m
pl
e
.
c: gbr_s
a
mpl
e
:
avoid NULL poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
o
l
aege
isl_test
.
c: avoid NULL pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
test: a
v
oid acc
e
ssing
b
asic set i
n
t
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
s
l_
i
nput
.
c:
re
a
d_d
e
fined_var_l
i
st: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid NULL
p
oint
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
basic_ma
p
_norma
l
i
z
e_constraints:
avoid NU
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
basic_map_
t
otal_dim: a
v
o
i
d NULL point
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_basi
c
_
map_ord
e
r_divs: avoid NULL
p
ointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolaege
isl
_
c
onve
x
_hull
.
c
:
isl_basic_set_add_equality
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_convex_
h
ul
l
.
c
:
compute
_
f
a
cet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
t
es
t
.
c: map_is
_
equ
a
l: check inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
dim
.
c: copy_names:
check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_dim_
d
u
p
: check input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
isl
_
basic
_
m
ap_cow:
check re
s
u
lt of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_stream
_
ne
w
_str: check
r
esult of alloca
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
a
eg
e
isl_stream
.
c:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_tab_pip
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_tab
.
c: fix ty
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doo
l
ae
g
e
isl_v
e
rtices
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_morph
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
do
o
l
ae
g
e
isl_map
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
is
l
_m
a
p
_simpl
i
fy
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_input
.
c: accep
t
more general a
f
fine expr
e
ssion
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
add
i
sl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aeg
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
laege
add isl_map_is_t
r
an
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaeg
e
exp
o
r
t isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolae
g
e
isl_pol
y
nomial
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl
_
map_transi
t
ive_closure: check whether dec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoo
l
aege
add isl_stream_
f
l
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Verdoolaege
a
dd isl
_
stream_
s
kip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
rudimentary
error reporting mech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
eg
e
a
d
d
isl_v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl
_
po
i
n
t_alloc: avo
i
d potential
m
emory leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdo
o
l
ae
g
e
d
oc: docu
m
e
nt isl_map_d
e
l
ta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doo
l
a
ege
i
s
l
_
t
ab_pip
.
c: com
p
are all coe
f
f
ic
i
ents
when
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_
q
p
o
lynomial{
,
_
f
old}_gist
:
use simp
l
e
h
ull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
Ve
r
d
ool
a
ege
add
isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_st
r
e
am_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
la
e
ge
isl_qpolyn
o
mial_lift: fix
l
ifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
optionally (a
n
d by
def
a
u
l
t) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
priv
a
tely export isl_qpo
l
y
n
o
mial_fold
_
fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_pw_qpol
y
nom
i
al_fold_foreac
h
_p
i
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
dd pa
r
ametr
i
c
vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_mo
r
ph_dom_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_bas
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
private
l
y export i
s
l_
b
asic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_detect_i
m
plicit_e
q
ualities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rd
o
olaege
i
s
l_tab: optio
n
ally only mark st
r
ic
t
ly redund
a
nt rows
commit
|
commitdiff
|
tree
next