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_map_simplify.c: normalize_divs: avoid NULL pointer dereference
2010-06-26
Sven
V
erdoolaege
isl_map_simplify
.
c: no
r
ma
l
ize_divs
:
avoid N
U
LL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_drop: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
isl_conv
e
x_hull
.
c:
uset_convex_
h
ull_wrap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdo
o
laege
is
l
_set_wrap_facet:
f
i
x
error
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
_
mi
n
: avoid NULL pointer derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_af
f
ine_h
u
ll
.
c: extend_
a
ffine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
s
l_basic_map
_
extend: plug
memory
l
eak on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
equalities_in
_
underlying_
s
et
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_basi
c
_set
_
preima
g
e: avoid
NULL po
i
nter
d
er
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_pip
.
c: no_sol_in_str
i
ct: fi
x
error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
affine_hull
.
c:
e
qualities_in_underlying_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
aege
isl_affin
e
_
h
ull
.
c
: af
f
ine_hull:
fix
e
rro handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_m
a
p_p
r
oject_out: fix
error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_i
n
tersect_range: av
o
i
d NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_tab_
p
ip
.
c: find_solutions:
f
i
x
e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
is
l
_basi
c
_map_a
l
l
o
c_dim: fi
x
er
r
or
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_intersect: avo
i
d NULL
p
oint
e
r deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
aege
isl_tab_pip
.
c: sol_map_ini
t
: avoi
d
N
U
LL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_basic_
m
ap_inter
s
ec
t
_domain:
a
void
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_f
l
ow
.
c: comput
e
_val
_
based_
d
e
p
e
n
dences: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
f
low
_
alloc: fix er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access
_
inf
o
_compute_flo
w
:
f
i
x
error h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_{set,
m
ap}_fast_is_em
p
ty
:
avoid NULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
e
g
e
isl_flow
.
c
: a
v
oid accessing d
i
m f
i
e
l
d dir
e
ctly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_compute
_
flow: avoid NULL poin
t
e
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_input
.
c: o
b
j
_
r
ead: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_s
u
b
t
ract
.
c: tab_a
d
d_constraints: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_tab
.
c:
c
lose_row: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_map_simpli
f
y
.
c:
r
emove_dup
l
i
c
ate
_
divs: av
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_basic_map_aff
i
ne_hull: avoid NULL po
i
nt
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l
_tab_add
_
eq:
r
eturn
int inste
a
d
o
f
isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_sim
p
lify
.
c
:
r
emove_duplicate_constrai
n
ts:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
isl
_
map_simplify
.
c: eliminat
e
_d
i
vs_ineq: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic
_
map_elim
i
nate_va
r
s: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c: interval_sample: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_sample
.
c: dro
p
_constraints_involving: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_stream_new
:
read_defined_var_li
s
t:
a
v
o
i
d
d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_map_inte
r
s
ect: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_
s
ample
.
c: gbr_sampl
e
: a
v
o
i
d
NULL po
i
nter
derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
i
sl
_
te
s
t
.
c
:
avoid NULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_tes
t
: avoid acce
s
sing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_i
n
put
.
c: read_
d
efined_var_list: av
o
id
d
oub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_map_convex_hull: avoid NULL pointer d
e
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_bas
i
c_map_norma
l
ize
_
cons
t
raints: avoid NULL p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basi
c
_map_t
o
tal_dim: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ba
s
ic_map_order_divs: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_con
v
ex_hu
l
l
.
c:
isl_basic_set_a
d
d
_
equality: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_convex_hu
l
l
.
c: compute_facet:
a
void N
U
LL po
i
nt
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_test
.
c: map_is_
e
qua
l
: check input
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaege
isl_dim
.
c: co
p
y_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
i
s
l_d
i
m
_
dup: check in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
b
asic_map_cow: check result o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
sl_stream_new_str:
c
heck resu
l
t
o
f
a
l
l
oc
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdo
o
laege
isl_stream
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_
t
ab_pip
.
c
:
f
ix
ty
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl
_
tab
.
c: fix
t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdoolaege
i
sl
_
p
oly
n
omial
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoo
l
aege
isl
_
ve
r
tices
.
c:
f
i
x
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doolaege
isl_m
o
rph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
i
s
l_map
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl
_
map_
s
implify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
i
sl
_
inp
u
t
.
c: a
c
cep
t
m
o
re g
e
neral
a
f
f
ine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
a
d
d
i
sl_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
ad
d
isl_
v
e
c_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
r
d
oolaege
a
dd isl
_
set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
Verdoola
e
ge
add isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
laege
export isl_qpol
y
n
o
m
i
al_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ve
n
Verdoolaeg
e
isl_polynomial
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
g
e
isl_ma
p
_transitive_closure
:
c
heck whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
a
d
d i
s
l_st
r
eam_flush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verdo
o
laege
a
dd isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add rudimentary error
repo
r
ting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaeg
e
add isl_ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
isl_
p
oin
t
_alloc: av
o
id potential memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
d
o
ol
a
e
g
e
d
o
c: d
o
cumen
t
isl_map_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdool
a
ege
isl
_
t
ab_pip
.
c
:
compare all coefficients
when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoolae
g
e
isl_p
w
_qpol
y
nom
i
al{,_f
o
l
d
}_gist: use simple hull inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
a
d
d isl_set_set_dim_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdo
o
la
e
ge
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
dool
a
ege
do
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_qpolynomial_lift: fix
l
ifting in absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
optionally (and by
default) use bern
s
tein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
p
riv
a
tely
e
xport isl_qpolynomial
_
fold_fold_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
i
sl_pw_qpolynomial
_
fo
l
d_foreac
h
_
p
i
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add para
m
etri
c
vertex
e
n
u
me
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
i
sl_mo
r
ph_dom_dim and isl_morph_ra
n
_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
p
r
i
vatel
y
expor
t
isl_
b
a
s
ic_se
t
_
sort_co
n
s
t
r
aints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
i
s
l_t
a
b_detect
_
impl
i
cit_equal
i
t
i
e
s
: also
d
e
tect manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
:
opti
o
nally o
n
ly
m
a
rk strictly
r
ed
u
ndant
rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
generalize isl_p
w
_qpolynomial_bound to isl_pw_qpoly
n
omial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
e
x
tract o
u
t generic pa
r
t of
isl_pw_qpolynom
i
al_b
o
u
nd_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
is
l
_pw_qpolyn
o
mia
l
_bound
_
range: al
s
o set
exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
add isl_
b
asic_set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdool
a
ege
expor
t
isl_pw_q
p
olynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
isl_
q
polyn
o
mial_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
add isl
_
qp
o
l
y
n
o
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaeg
e
e
x
por
t
isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add i
s
l_qpolynomial_hom
o
g
eni
z
e
commit
|
commitdiff
|
tree
next