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_basic_set_preimage: avoid NULL pointer dereference
2010-06-26
S
v
en
Ve
r
d
o
o
laege
isl_bas
i
c_set_preimage:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
a
b
_pip
.
c: no_sol_in_strict: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_affine_hull
.
c:
e
qua
l
i
t
ies
_
in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
isl_affine_hull
.
c: affine_hul
l
: fix erro han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_map_p
r
oject_out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map_intersect_range: a
v
oid
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
i
sl
_
t
a
b
_
pip
.
c
:
find_so
l
u
t
io
n
s: fix error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_bas
i
c_map_alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_ba
s
i
c_
m
ap_intersect: avoid
N
ULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl
_
tab_pi
p
.
c: sol_map_in
i
t:
avoid NULL poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl
_
basic_map_intersect_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
i
s
l_f
l
ow
.
c: co
m
pute_val_based_depende
n
ce
s
: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_flow_alloc: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
access_info_compu
t
e_fl
o
w: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
i
sl_{set
,
map}_fast_is_
e
mpty: avoi
d
NU
L
L poin
t
er derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
i
sl
_
flow
.
c: av
o
id
a
ccessing dim
field d
i
rec
t
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_access_
i
nfo_comp
u
te_flow: avoid NUL
L
po
i
n
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl
_
input
.
c: ob
j
_r
e
ad:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_map_subtract
.
c: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: c
l
ose_row:
f
ix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l
_map
_
sim
p
lify
.
c: remo
v
e
_duplicate_
d
iv
s
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_bas
i
c_map_affi
n
e_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_tab_ad
d
_eq: return int i
n
stea
d
of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_s
i
m
p
lif
y
.
c: remove_dup
l
icat
e
_constra
i
nts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolaege
isl_map_si
m
p
l
ify
.
c:
eliminate_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl
_
basic_map_el
i
m
inate_va
r
s: a
v
oid
N
ULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
s
a
mple
.
c: interval_sample: avoid N
U
LL poin
t
e
r
d
e
r
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolae
g
e
isl_sample
.
c
:
drop_constraints_involving:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_strea
m
_new: r
e
ad_def
i
ned_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
b
asic_m
a
p_in
t
e
r
se
c
t
:
avoid
N
UL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_sample
.
c: gbr_sa
m
ple: avoid NUL
L
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oola
e
ge
isl_test
.
c:
avo
i
d NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_te
s
t: avoid acce
s
sing basic
s
et inte
r
nals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_input
.
c
: re
a
d_defined_var_
l
ist: avoid do
u
ble
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
i
sl
_
ma
p
_conv
e
x_hull: avoid N
U
L
L pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_map
_
normalize_constrai
n
ts:
a
void NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_ba
s
i
c
_
map_total_d
i
m: av
o
id NULL point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_order_divs: avo
i
d NULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolae
g
e
isl_convex_hull
.
c:
i
s
l
_bas
i
c_set_a
d
d_equalit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
ol
a
ege
i
s
l_convex_hull
.
c: comp
u
te_facet: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_test
.
c: map_is_e
q
ual: chec
k
input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_dim
.
c: cop
y
_
n
ames: check in
p
ut
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_d
i
m_du
p
: check i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_bas
i
c_m
a
p_cow
:
check res
u
l
t
of
a
l
locat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
stream_new_str: chec
k
result of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolae
g
e
isl_st
r
eam
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
laege
isl_tab_pip
.
c:
f
ix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
aege
isl_tab
.
c: fix
t
y
p
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
polynom
i
al
.
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_vert
i
ces
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
isl_morph
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoo
l
aege
isl_map
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_map_simpli
f
y
.
c: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
l
aege
isl_
i
nput
.
c: acce
p
t more
general affine
expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
d
oolaege
add isl_
v
ec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
dool
a
ege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export
i
s
l_qpolynomial_involv
e
s_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
is
l
_polynomial
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
isl_ma
p
_transiti
v
e_closure: check whether
decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
add isl_s
t
rea
m
_fl
u
sh_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verd
o
olaege
add isl_stream_skip
_
l
i
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
ad
d
rudimentary
error r
e
porting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolae
g
e
add isl_vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
isl_point_
a
l
l
oc: avoid potential
m
emory
l
e
ak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: docu
m
ent isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
eg
e
isl_tab
_
pip
.
c:
co
m
pare al
l
coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolaege
isl_pw
_
qpol
y
nomial
{
,_f
o
ld}_gist: use s
i
mple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verd
o
ola
e
ge
add isl_set_s
e
t
_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rd
o
olaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
i
sl_qpolynomia
l
_lift: fix lifting in
absen
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
optionally
(
and by d
e
fault) use
b
er
n
st
e
in expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately ex
p
o
r
t isl_qpolynomial_
f
old
_
fold_on_d
o
ma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
dd isl_pw
_
qpolynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
eg
e
ad
d
parametric
vertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add
i
sl_
m
orph_dom_
d
im and is
l
_morph_ra
n
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
add isl_basic_
m
ap_is
_
ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
p
rivately
export isl_b
a
sic_set_sort_const
r
aints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
i
sl_tab_de
t
ect_implicit_equalities
:
also detect manife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab: opt
i
o
n
all
y
only mark
s
trictly
red
u
nda
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
g
ene
r
alize i
s
l_p
w
_qp
o
lynomial_bou
n
d
t
o isl_
p
w_qp
o
lynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
extract out ge
n
e
r
ic p
a
rt
o
f
i
sl_p
w
_q
p
olynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
is
l
_
p
w_qpolynomial_boun
d
_rang
e
: also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
add isl_basic_
s
et_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
o
l
a
ege
export isl_pw_qpolynom
i
al_fol
d
_
d
r
op
_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
export isl_qpoly
n
om
i
a
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
add is
l
_qpolynomia
l
_co
e
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d is
l
_
q
pol
y
no
m
ial_fr
o
m_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
export isl_qp
o
lynomial_add_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add is
l
_qpolyn
o
m
i
al_h
o
mogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
a
d
d i
s
l_qpoly
n
om
i
al_
d
eg
r
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolyn
o
mial_i
n
s
ert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
dd isl_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_
d
etect_implicit
_
e
q
u
alities:
r
et
u
rn intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
ad
d
isl_tab_s
i
gn_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
i
s
l
_
tab_sel
e
ct
_
face
t
: ret
u
rn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_
b
a
s
i
c
_
set
_
f
u
ll_compression
commit
|
commitdiff
|
tree
next