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_access_info_compute_flow: avoid NULL pointer dereference
2010-06-26
Sven Verdoolae
g
e
i
s
l_access_info_compute_flow:
avoi
d
NULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_i
n
put
.
c: obj_read
:
avo
i
d NU
L
L poi
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
ae
g
e
isl_map_subtract
.
c: t
a
b_
a
dd_constraints: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab
.
c: cl
o
s
e
_
row:
fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_map_simplify
.
c
:
remove_
d
uplicate
_
divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_
b
asic_map_affine_hul
l
:
avoid
N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_a
d
d_e
q
: re
t
urn i
n
t
i
nstead o
f
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
i
s
l
_map_simplify
.
c: remove_duplicate_
c
onstraints: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simp
l
ify
.
c: eliminate_div
s
_ineq:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_basic_
m
ap_eliminate_vars: a
v
oid NU
L
L pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
doolaeg
e
i
s
l
_
sample
.
c: interval_sample: avoid NULL
p
ointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
i
s
l
_sample
.
c: drop_con
s
traints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
stream_new: read_de
f
ined_var_list: avo
i
d d
o
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_basic_
m
ap_intersect
:
avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_samp
l
e
.
c:
g
b
r
_
sample
:
avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaeg
e
i
sl
_
t
e
st
.
c
:
avoid NULL
p
ointe
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_test: avoid ac
c
essing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
isl_input
.
c
: re
a
d_de
f
in
e
d_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaeg
e
isl
_
map_convex_
h
ull:
avo
i
d NULL point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl_basic_map_normalize_constraints: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl_bas
i
c_ma
p
_total
_
di
m
: avoid N
U
LL
p
oin
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_m
a
p_order_
d
ivs: avoid
N
ULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onvex_hull
.
c: i
s
l_b
a
sic_
s
et_a
d
d_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ola
e
ge
isl_convex_hull
.
c: c
o
mp
u
te_facet: avo
i
d
NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl
_
test
.
c
:
map_is_eq
u
al: check input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_dim
.
c: copy_na
m
es: c
h
eck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_dim_dup:
c
heck in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_basic_map_cow: check result of all
o
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_stream
_
new_str: check res
u
l
t
of alloc
a
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
isl
_
stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
g
e
isl_
t
ab_pip
.
c
:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl
_
tab
.
c:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolae
g
e
isl_polyn
o
mial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verd
o
o
laege
isl_verti
c
es
.
c:
f
ix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
i
s
l_morph
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_m
a
p
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
i
s
l_in
p
ut
.
c:
a
c
cept more general affine expre
s
sions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ve
r
doolaege
a
dd isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add
i
sl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
doolaege
add isl_map
_
is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Verdoolaege
e
x
port isl_qpolynomia
l
_involv
e
s_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
is
l
_polyno
m
i
al
.
c
: add
missing i
n
c
lude
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdool
a
ege
isl_map_transitiv
e
_clo
s
ure: check whether deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
rdoolaege
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add
i
s
l
_st
r
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add r
u
di
m
entary
e
rror repor
t
ing mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaeg
e
ad
d
i
s
l_versio
n
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoola
e
ge
isl_po
i
nt_all
o
c: avoid pot
e
ntial memo
r
y le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
o
olae
g
e
doc: do
c
ument isl_m
a
p
_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
V
erdoolaege
isl_t
a
b
_
pip
.
c: compare all coef
f
i
c
ie
n
ts when
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
isl_pw_qpolynomial{,_f
o
ld}_gist: use si
m
ple hull
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Ve
r
do
o
laeg
e
add isl_set_set_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
la
e
g
e
add i
s
l
_
stream
_
read_se
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
isl_q
p
olynomial_
l
ift: fix lift
i
ng i
n
absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
aege
optionally
(
an
d
by default
)
use b
e
r
nstei
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expo
r
t isl_qpolynom
i
al_fold_
f
old_o
n
_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_pw_qp
o
l
y
nomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
a
d
d paramet
r
ic vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add isl_morph_dom_di
m
a
nd isl_morph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_basic_map_
i
s_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
p
r
iva
t
el
y
e
xport isl_basic_set_sort_constr
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_tab_detect_implicit_equalities: also det
e
ct
mani
f
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
is
l
_t
a
b: o
p
t
io
n
ally
o
nl
y
mar
k
str
i
ctly
r
e
dundant r
o
w
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
gene
r
a
liz
e
isl_p
w
_qpol
y
nomial
_
b
o
und to isl_p
w
_qpolynomi
a
l
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
extract
out gene
r
ic
par
t
o
f isl_pw_qpoly
n
omial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
is
l
_
pw_qp
o
ly
n
omial_bo
u
nd_range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoo
l
a
e
ge
a
d
d isl_basic_set_factor
i
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doo
l
a
ege
e
x
p
o
r
t
i
s
l_pw_qpolynomial_
f
old_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export i
s
l_qpolynomial_i
s
_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
do
o
l
aeg
e
add
i
sl_qpolynomi
a
l_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_qpo
l
y
no
m
ial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
oola
e
ge
export i
s
l_
q
p
o
lynomial_
a
dd
_
di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomia
l
_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
add isl_qpolynomial_d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d
i
sl_qp
o
ly
n
omial_ins
e
rt
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d is
l
_qpolyn
o
mia
l
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
doolaege
isl_tab_det
e
ct_implic
i
t_
e
qualities:
r
eturn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl
_
tab_sig
n
_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
is
l
_ta
b
_
select_fa
c
et: return in
t
i
n
stead
o
f isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
a
d
d isl_ba
s
ic_
s
et_full_compr
e
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
privately expo
r
t isl_
p
w_qpo
l
yno
m
ial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
ool
a
ege
add i
s
l_qpolynomial
_
fold_for
e
ach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d isl_pw_qpolynomial_fold_fo
r
each_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
e
xport isl_pw_
q
p
ol
y
nomial_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privatel
y
expor
t
isl
_
m
orph
_
alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial
_
fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_qpolyno
m
ial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add
isl
_
ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
isl
_
range
.
c:
fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export isl_s
e
t_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bound: plug
m
em
o
ry leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
f
ix isl
_
q
p
ol
y
no
m
ial_f
o
ld
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
isl_pw_qpolyno
m
i
a
l_b
o
und_range:
f
ix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add bound_test
.
sh t
o
distribut
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verd
o
o
l
aege
d
oc
:
d
o
cume
n
t g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
l
aeg
e
do
c
:
d
ocu
m
ent isl_constr
a
int_is_equalit
y
commit
|
commitdiff
|
tree
next