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_pip.c: sol_map_init: avoid NULL pointer dereference
2010-06-26
Sven
Verdoolaege
isl_tab_pip
.
c: sol_map_init: avoi
d
NULL
p
oin
t
e
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_
basi
c
_map
_
intersect_domain
:
avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oo
l
aege
isl_flow
.
c: compute_
v
al_based_dependences: f
i
x err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
f
low_alloc: fi
x
error han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_acces
s
_inf
o
_compu
t
e_flo
w
:
fix er
r
or
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
ge
isl_{set,map
}
_fast_is_e
m
pt
y
: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
e
g
e
isl_flo
w
.
c: av
o
id a
c
cessing
d
im
field d
i
rectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_
c
ompute_flow
:
avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl
_
in
p
ut
.
c: obj_read: avoid NULL p
o
inter der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtract
.
c: tab_add_constraints: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: close_row: fi
x
err
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map
_
simplify
.
c: remove_du
p
licate_divs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_aff
i
ne_hull:
avoid NU
L
L point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
i
s
l
_
t
ab_add_eq: ret
u
rn int instead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_s
i
mp
l
ify
.
c: remove_duplicate_
c
onstrai
n
ts: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_map_simp
l
i
f
y
.
c
: eliminate_divs_ineq: av
o
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verd
o
olaege
isl
_
basic_map
_
el
i
m
i
n
a
te_vars: av
o
id NULL pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_sample
.
c: interv
a
l_s
a
mple: avoi
d
NULL
p
o
inter d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
laege
isl_samp
l
e
.
c: dro
p
_constraints_involving: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
e
ge
isl_stream_
n
ew:
read_
d
e
f
ined_
v
a
r_l
i
st: avoid dou
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_
b
as
i
c_map_
i
nt
e
rsect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_
s
ample
.
c: gbr_sample: av
o
i
d NULL
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_test
.
c: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
s
l_test
:
avoi
d
accessin
g
basic set
i
n
t
e
r
nals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoo
l
aege
isl
_
input
.
c
:
read_defined
_
var_li
s
t:
avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_
c
onvex_hull
:
avoi
d
NULL p
o
in
t
er
d
eref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolae
g
e
isl_basic_m
a
p
_normal
i
ze_constr
a
ints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_basic_map_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map_order_divs: avoid NULL pointer de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_convex_hul
l
.
c
:
isl_
b
asic_set_add_equal
i
t
y: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
i
sl_co
n
vex_hull
.
c: c
o
mpute_face
t
: avoid N
U
LL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_test
.
c: ma
p
_is_equal: check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_dim
.
c:
c
o
p
y_names:
c
heck in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_dim_dup: chec
k
i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdool
a
ege
isl_ba
s
ic
_
map_c
o
w: check result of
al
l
o
ca
t
ion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
stream_new_
s
t
r:
c
heck result of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
is
l
_stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolae
g
e
is
l
_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
i
sl_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynom
i
al
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
o
la
e
ge
is
l
_v
e
rti
c
es
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
m
orph
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
_
s
i
mplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoola
e
ge
isl_input
.
c: accept more
g
e
n
eral
affine expre
s
s
i
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
eg
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolae
g
e
add isl_vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
dd isl
_
set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map
_
is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl
_
q
po
l
ynomial_
i
nvolves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven
Verdoolaeg
e
isl_polyno
m
ia
l
.
c: add
m
issing
include
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ve
r
d
o
olaege
i
sl_
m
ap_transitive_cl
o
sure: check wh
e
ther decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laege
add
i
s
l
_stream_flu
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add i
s
l
_st
r
eam_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoolaege
a
dd rudi
m
entary error
r
eporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdo
o
laege
add i
s
l_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
sl_po
i
nt_alloc: avoid potential memory leak
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: d
o
cument is
l
_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
Verdoolaege
isl_tab_pip
.
c: compare a
l
l coefficients wh
e
n checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdoolaege
isl_pw_qpolynomi
a
l{,_fold}_gist: use simple
h
ull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d isl_
s
et_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
add isl_stream_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Verdo
o
lae
g
e
do
c
: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpol
y
nomi
a
l_li
f
t: fix lifting in abse
n
ce of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
optionally (and
b
y defau
l
t
)
use bernst
e
in expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
p
r
ivately exp
o
rt i
s
l_qpolynomial_f
o
ld_fold_on_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_pw_qpolynomia
l
_fold_foreac
h
_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
add
par
a
metric vertex e
n
u
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolae
g
e
add i
s
l_
m
orph_dom_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
a
ege
add isl_bas
i
c
_
map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
p
ri
v
ately
e
xport isl_basic_set_sort_
c
onstra
i
n
t
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
d
o
o
laege
isl_tab_d
e
t
ect_implicit_equal
i
ties: a
l
so detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_ta
b
:
opt
i
ona
l
ly on
l
y mark strictly redundan
t
rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
gener
a
lize isl_
p
w_q
p
olynomial_bound to isl_pw
_
qpol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
extract
out ge
n
eric par
t
of isl_pw
_
qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_boun
d
_range: also
set exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
add
i
s
l_basi
c
_s
e
t_fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_pw_qpolynomia
l
_fold
_
drop_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_qpolyn
o
mi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ad
d
isl_qpol
y
nomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add i
s
l_
q
polynomial_
f
rom_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
export isl
_
qpolyno
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpol
y
nomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
add isl
_
qpolynomi
a
l_
d
e
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_q
p
olyno
m
ial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add
is
l
_qpolynomi
a
l_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
a
ege
i
sl_ctx:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_tab_
d
e
t
ect_implic
i
t_equalities: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
i
s
l_tab_select
_
facet
:
return i
n
t instea
d
of
isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_basic_set_full_com
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
privately
e
xport
isl_pw_qpolynom
i
a
l_mo
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_fold
_
fore
a
c
h_q
p
ol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_pw_
q
p
olynom
i
al_fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
o
rt isl_pw_qpolynomial_fold_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_morph_a
l
loc and isl_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
a
e
g
e
a
dd isl_qpolynomial_fo
l
d_
g
et_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
expor
t
isl_pw_q
p
o
l
yno
m
ial
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
ad
d
isl_ctx_
p
e
ek_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
isl_range
.
c: fix typo i
n
co
m
ment
commit
|
commitdiff
|
tree
next