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_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
isl_equalities
.
c: par
a
meter_compression
_
mu
l
ti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
b
asic_map_project_out: av
o
i
d NULL pointer
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_coalesce
.
c: co
a
lesce_pai
r
: avoid NU
L
L pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_co
n
v
e
x_hull
.
c: e
x
ten
d
: fix
error ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
i
mplement antiquated
i
sl_s
e
t_n_* in ter
m
s o
f
i
s
l_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_map_simplify
.
c: normalize
_
divs: avoi
d
NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
e
g
e
i
s
l_input
.
c: v
a
rs_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
ge
isl_c
o
n
v
ex_hull
.
c: u
s
et_convex_hull_wrap_b
o
unded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl
_
set_
w
rap_fa
c
et: fix
e
r
ror h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_min: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_affine
_
hull
.
c:
e
x
tend
_
affine_hull: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
is
l
_
b
asic_ma
p
_
e
xte
n
d:
plug memory leak on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_
a
ffine_hull
.
c: equaliti
e
s_
i
n_underlying_
s
et: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_bas
i
c_set_preimage: avoid NULL
p
o
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab_pip
.
c: no_sol
_
in_strict: fix erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_affine_hull
.
c: equalities_i
n
_
underlying_s
e
t
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_hul
l
.
c: a
f
fine_hull: fix e
r
ro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_
p
roj
e
ct_out: fix
e
rror
r
e
t
u
r
n v
a
lu
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
laege
i
s
l_basic_map_inte
r
sect_range: avoid NULL pointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_pip
.
c
:
find_solu
t
ions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl
_
basic_map_alloc_dim
:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
dool
a
eg
e
i
sl_
b
as
i
c_m
a
p_i
n
ters
e
c
t
: avoid NULL poi
n
ter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoo
l
aege
isl
_
tab_pip
.
c: sol_map_in
i
t: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_inter
s
ect_domain: avoid NU
L
L poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl
_
fl
o
w
.
c: comp
u
te_val_based_depende
n
ces:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_access_info_compute_
f
low: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_{set,map}_fast
_
is_empty: avoid N
U
LL pointer
de
r
e
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow
.
c
: avoid acce
s
s
ing dim
field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_acc
e
ss_info_
c
ompute_flow: avoid N
U
LL pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inp
u
t
.
c
: o
b
j_read: av
o
id NULL pointe
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_su
b
tract
.
c
:
tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_tab
.
c: close_ro
w
: f
i
x e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_sim
p
l
i
fy
.
c: rem
o
ve_duplicate_div
s
:
avo
i
d NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_aff
i
ne_
h
ull:
a
void NULL poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
e
g
e
i
s
l_tab_add_eq: return int instea
d
of
isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
is
l
_ma
p
_si
m
p
lify
.
c: remove_duplic
a
te_constr
a
ints
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
m
ap
_
s
implify
.
c: elimi
n
ate_
d
ivs_
i
neq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
ge
isl_basic_map_elimi
n
ate_vars: a
v
oid NULL poi
n
t
er deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: interval_sample: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
o
laege
is
l
_sample
.
c:
d
rop_constraints_involving: av
o
id
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoola
e
g
e
isl_stream_new: re
a
d_de
f
ined_var_list
:
avoid
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic
_
map
_
inters
e
c
t: avoi
d
NULL pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
is
l
_
s
ample
.
c: gbr_samp
l
e: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_test
.
c: avoid NUL
L
poi
n
t
e
r dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
laege
i
sl_test: avoid acces
s
ing ba
s
ic set internal
s
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
is
l
_
i
nput
.
c: read_defined_var_list:
avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
is
l
_map_convex_hul
l
: avoid
N
ULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
ol
a
e
g
e
isl_
b
asic
_
map_normalize_constraints: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
i
sl_basic_m
a
p_total_dim: avo
i
d NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
is
l
_basi
c
_m
a
p_order_
d
ivs: avoid N
U
LL poi
n
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_c
o
nvex_hull
.
c: isl_b
a
s
ic_set_add_equ
a
lity: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c: compute
_
facet: avoid
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_test
.
c: map_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_dim
.
c
:
copy_names: c
h
e
ck
i
npu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_dim_dup: check in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_m
a
p
_
cow:
c
heck r
e
sult of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_stream_
n
e
w
_
s
tr: c
h
e
c
k
result o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl_stream
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_
tab_pip
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_p
o
lynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_vertices
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
l
aege
isl_mor
p
h
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl
_
m
a
p
.
c:
f
ix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdo
o
laege
isl_ma
p
_simplify
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n V
e
rdoolaege
isl_input
.
c: accept more
g
eneral affine expressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add
isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
add isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
er
d
oolaege
add isl_set_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Verdoolaege
ad
d
isl_m
a
p_is_
t
ra
n
s
l
a
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
expor
t
i
sl_qpolyno
m
ial_in
v
olves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
r
doolaege
i
s
l_polynomi
a
l
.
c: add m
i
ssing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
isl_m
a
p_transitive_c
l
osure: check whe
t
h
er decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add
i
sl_stream_f
l
u
s
h_to
k
en
s
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
add is
l
_str
e
am
_
skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoolaege
a
dd rud
i
me
n
ta
r
y e
r
r
or repor
t
ing mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl
_
versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
r
doo
l
aege
is
l
_po
i
n
t
_alloc: a
v
oid potential memory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
o
la
e
ge
doc: document isl_m
a
p_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdool
a
ege
isl_tab_pip
.
c: compare al
l
coefficie
n
ts when ch
e
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
isl_pw_qpolyn
o
mial{,_fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add i
s
l
_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
Verdoolaege
a
dd isl_s
t
r
ea
m
_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_
qpolyno
m
ial_lift: f
i
x lifting in abs
e
nce
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly (and
b
y default)
use ber
n
stein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately
e
xpo
r
t isl_q
p
olynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add is
l
_p
w
_qpol
y
nomial_fo
l
d_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
a
ege
add
parametric vert
e
x
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
ge
add
isl_
m
orp
h
_dom_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
a
d
d i
s
l
_basic_m
a
p
_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
pri
v
ately export
isl_basic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaeg
e
isl_tab_dete
c
t
_
imp
l
icit_equa
l
ities:
a
l
so detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
sl_tab: optionally only
m
ark strictly
redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
generalize isl_pw_qpolynom
i
al
_
bound to isl_pw_
q
pol
y
n
o
m
i
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdool
a
ege
ext
r
a
ct out generic part of isl
_
pw
_
q
p
o
l
ynomial_bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
isl_
p
w_qpolynomial_bound_r
a
nge:
a
lso
set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
add is
l
_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export
isl_pw_qpolynomial_fold
_
dr
o
p_dim
s
commit
|
commitdiff
|
tree
next