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_rollback: avoid double free on error path
2010-06-26
S
v
en Verdoolaege
i
s
l_tab_rollback
:
avoid double free
o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
s
l_tab
.
c: tab
_
m
a
t_pr
o
d
u
ct: avoid NULL po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
ab_extend_co
n
s: avoid NULL pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
m
plement antiqua
t
ed i
s
l_b
a
sic_se
t
_
n
_* in
t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aeg
e
isl_map_con
v
ex_hull:
avoid
N
ULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_add_valid_eq: retur
n
int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_affine_hull
.
c: aff
i
ne_
h
ull_wit
h
_cone:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_equ
a
lities
.
c
:
paramete
r
_com
p
ressi
o
n_multi: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_basic_map
_
projec
t
_
out:
a
void N
U
LL poin
t
er d
e
ref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_
c
oal
e
sce
.
c: coalesce_p
a
ir: avoid N
U
LL point
e
r der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_hull
.
c: exte
n
d
:
fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
e
g
e
i
m
plement ant
i
qua
t
ed is
l
_set_n
_
* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ma
p
_simplify
.
c
:
normalize_
d
i
v
s: avo
i
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_input
.
c: v
a
rs_drop: fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
con
v
e
x
_
h
ull
.
c
:
uset_convex_hull
_
wrap
_
bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oo
l
ae
g
e
isl_set_wrap_facet: f
i
x er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab_min
:
av
o
i
d NULL poin
t
er d
e
refe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c: extend_affi
n
e_hu
l
l: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_extend: plug memory leak on
er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
ege
isl_affine_hull
.
c
: equalities_in_und
e
rlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
dool
a
ege
isl_basic_set
_
preimag
e
:
avoid
NULL
p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
p
i
p
.
c: no_sol_in_strict: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
equal
i
ties_in
_
und
e
rlying_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_aff
i
ne_hull
.
c: affine_hu
l
l: fix erro handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_project_out: fix erro
r
return
v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_map_inters
e
c
t_range: a
v
oid NULL
p
ointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pi
p
.
c: fi
n
d_sol
u
ti
o
ns:
fix e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_
b
asic_map
_
all
o
c_dim: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_intersect: avoid N
U
LL poi
n
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
t
ab_pi
p
.
c: sol_map_i
n
it: a
v
o
id
NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_basic_
m
ap_intersect_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
is
l
_flow
.
c:
compute_val_bas
e
d_
d
ependen
c
es: fi
x
erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
flow_alloc:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_access_info
_
comput
e
_
flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
i
s
l_{set,ma
p
}_fast_
i
s_empty: avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ol
a
ege
isl_flow
.
c: avo
i
d
a
ccessing dim
f
iel
d
directly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaeg
e
isl
_
access_info_
c
ompute_flow: avoid NUL
L
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_i
n
put
.
c: obj_r
e
ad: av
o
id NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
g
e
isl
_
m
a
p
_
subtr
a
ct
.
c: tab_add_c
o
nstraint
s
:
avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
g
e
isl_
t
a
b
.
c: close_row: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
i
sl_map_simplify
.
c: remove_duplicate
_
divs: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
eg
e
i
sl_basic_map_affine_hull:
a
void NULL
p
oin
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_tab_
a
dd_eq: return int in
s
te
a
d of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
i
s
l_map_simpli
f
y
.
c: remove_dup
l
i
cate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_ma
p
_simpli
f
y
.
c: eliminate_
d
ivs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdo
o
laege
isl_
b
asic_ma
p
_
el
i
minate_vars: a
v
oid
N
U
LL
pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sampl
e
.
c: interval_sample: avoid NUL
L
p
ointer d
e
ref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
i
s
l_sa
m
ple
.
c: dr
o
p_constraints_in
v
olv
i
ng: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolae
g
e
isl_stream_new: r
e
ad_
d
e
f
i
n
ed_v
a
r_list:
avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ba
s
ic_map_intersect: avoid NULL pointer deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
s
a
mple
.
c
: gbr_
s
ample: avoid NULL pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
e
st
.
c: avoid NULL pointer de
r
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_test: a
v
oid accessing
b
asic
s
et i
n
ternal
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_input
.
c: read_
d
e
fined_var_list: avoid double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoola
e
g
e
isl_map_co
n
vex_h
u
ll: av
o
id
N
ULL pointe
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_normalize_constraints: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_ba
s
ic_map_total_
d
im: avoid NULL
pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_order_divs: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_convex
_
hull
.
c
:
isl_basic
_
set_ad
d
_equal
i
ty: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl
_
convex_hull
.
c: comp
u
te_fa
c
et:
avoi
d
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
doolaege
isl_te
s
t
.
c: map_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl
_
dim
.
c: copy_names: check in
p
ut
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_dim_
d
u
p: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
l
a
ege
is
l
_basic
_
map_co
w
: check
r
esul
t
of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
i
sl_stream
_
new_
s
t
r: che
c
k result
o
f
a
l
locatio
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
ege
isl_str
e
a
m
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
is
l
_tab
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl
_
poly
n
om
i
al
.
c:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_ve
r
tices
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ver
d
oolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
d
o
olae
g
e
i
s
l_map
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
ege
is
l
_m
a
p_simpl
i
fy
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_inpu
t
.
c: acce
p
t more
general af
f
ine exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
add isl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
add i
s
l_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
add isl_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
a
dd is
l
_
m
ap_is_tran
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
expor
t
isl_qpolynomial_involves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
isl
_
polyn
o
mia
l
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_
t
rans
i
ti
v
e_clo
s
ure: check w
h
e
t
her dec
o
mposi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaeg
e
a
d
d i
s
l_st
r
eam_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_
s
tream_skip_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
V
e
rdo
o
laege
a
d
d
r
u
dimentary error re
p
orting
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolae
g
e
isl_poin
t
_
a
lloc: avoid pot
e
nti
a
l memo
r
y le
a
k on
e
rro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
e
rdoolaege
doc: document
i
s
l
_m
a
p_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
Ver
d
oola
e
ge
is
l
_tab_pi
p
.
c: compare
a
l
l coefficients
w
hen checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
doolaeg
e
isl_pw_qpolynomia
l
{,_
f
old}_gist: use simple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoolaege
a
dd isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdo
o
laege
a
d
d isl_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoo
l
aege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
isl_
q
polynomial_lif
t
: fix
lifting
in absence of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
o
ptiona
l
ly (and by
default) use
bern
s
t
e
in expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
la
e
ge
p
rivately export isl_qpoly
n
om
i
al_
f
old
_
fo
l
d_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_fold_for
e
a
c
h
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
ad
d
paramet
r
ic vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rd
o
ola
e
ge
add isl
_
morph_
d
om_dim a
n
d isl_morph_ran
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolae
g
e
add
i
sl_b
a
sic_
m
ap_is
_
r
ational
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately export isl_bas
i
c_set_sort
_
co
n
s
traints and
.
.
.
commit
|
commitdiff
|
tree
next