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_map_project_out: avoid NULL pointer dereference
2010-06-26
Sv
e
n Verdoolaege
i
sl_basic_map_project_out: avoid NUL
L
pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
o
la
e
ge
isl_coalesce
.
c:
coales
c
e_
p
a
i
r
:
avoid N
U
LL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_conve
x
_
hull
.
c: e
x
tend: fix er
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
m
plement a
n
tiqua
t
e
d isl_set_n_* in terms
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
i
s
l
_
m
ap_simplify
.
c:
norm
a
l
i
ze
_
divs: avoid N
U
LL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
sl_input
.
c: va
r
s
_
drop: fix
err
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaeg
e
is
l
_convex
_
h
ull
.
c: uset_convex_hu
l
l_wrap_bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_set_wrap_fac
e
t
: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
t
ab_min: av
o
id NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
i
s
l_aff
i
ne_h
u
ll
.
c
:
ext
e
nd_affine_hull: avoid N
U
LL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_b
a
s
ic_map_extend: plug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
aff
i
ne
_
hull
.
c:
equ
a
liti
e
s_in_underlyi
n
g_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
b
asic_set_preimage:
a
v
o
id N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolae
g
e
is
l
_tab_p
i
p
.
c:
n
o
_
sol_in_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
is
l
_affine_hull
.
c:
e
qualities_in_underlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affi
n
e_hull
.
c
: aff
i
ne_hull: fi
x
erro ha
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_map_pro
j
ect_out:
f
ix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
s
i
c
_map_intersec
t
_r
a
nge
:
avoi
d
NUL
L
pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_t
a
b_pip
.
c: find_s
o
lutions: fix error
h
and
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
o
o
laege
isl_basic_m
a
p_
a
lloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_in
t
erse
c
t: avo
i
d NULL
p
o
int
e
r dere
f
er
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_t
a
b
_pip
.
c: sol_map
_
init:
a
void
N
ULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
i
sl_bas
i
c_map_in
t
ersect_do
m
a
in:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolae
g
e
isl_flow
.
c:
compute_val
_
based_dep
e
ndences: f
i
x erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaeg
e
i
s
l_flow_alloc: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
a
e
g
e
isl_access_inf
o
_compute_flo
w
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolae
g
e
i
s
l_{set,m
a
p}_fast_is_emp
t
y: avoid NULL pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
isl_
f
l
ow
.
c: avoid ac
c
essi
n
g dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
i
sl_
a
ccess_info_compute_flow: a
v
oid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
doolaege
i
sl_input
.
c
: obj
_
rea
d
: avoid NUL
L
pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_map_subtract
.
c: tab_a
d
d_constraints: a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab
.
c:
close_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_map_
s
i
mplif
y
.
c:
r
emov
e
_dupli
c
ate
_
divs: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_basic_map
_
affine_hul
l
:
a
void NUL
L
pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_tab_add_eq: retur
n
i
nt i
n
stead of isl
_
ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_simp
l
i
fy
.
c: remove_duplicate_constraint
s
: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoolaege
isl_map_simplif
y
.
c
:
eliminat
e
_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl
_
basic_map
_
elimin
a
te_vars: avoi
d
NULL
p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
s
l_samp
l
e
.
c:
inte
r
val_sample:
av
o
id NU
L
L po
i
nter derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop_constraints_involvin
g
: avo
i
d
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream
_
ne
w
:
r
ead_defined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
is
l
_
b
as
i
c_ma
p
_inte
r
sec
t
:
a
void
NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_sample
.
c:
g
br_sample:
avoi
d
N
U
LL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_test
.
c: avoid NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
eg
e
isl_test: avoid access
i
n
g basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
r
e
ad_defi
n
ed_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl
_
basic_map
_
normalize_co
n
s
tra
i
nts:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
i
s
l_basic_map_total_dim:
avoid NULL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_
b
asic_map_ord
e
r_divs
:
av
o
id NULL
p
oi
n
ter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
isl_convex_hull
.
c:
isl_basi
c
_set_
a
dd_equa
l
ity:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
ege
isl_convex_hull
.
c:
c
ompute_fa
c
et:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_test
.
c
: map_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_dim
.
c: cop
y
_na
m
es:
c
heck
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_
d
im
_
dup:
c
h
eck in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_basic
_
map_cow: check re
s
ult of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl
_
s
tream_new_str: check result of alloca
t
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdool
a
ege
isl_
s
tream
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
laege
isl_t
a
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomi
a
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
ege
isl_mor
p
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_map
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oolaege
is
l
_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
oolaege
isl_input
.
c: ac
c
ept more ge
n
eral affine expressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add
i
sl_vec
_
add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l_vec
_
s
c
ale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolae
g
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n
Verdoolaege
add isl_map_is_trans
l
ation
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
ex
p
ort isl_q
p
olynomial_in
v
o
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c
:
add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
laege
isl_map_t
r
ansitive
_
closure: check whether decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add is
l
_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
ad
d
is
l
_stream_skip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
add r
u
diment
a
ry er
r
or
r
e
porting mechan
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
aege
add
i
sl_ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_point_allo
c
: avoid potential
memory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en
Ver
d
o
o
laege
d
o
c:
d
ocument is
l
_
map_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
isl_tab_pip
.
c:
c
ompare all c
o
efficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
o
o
laege
is
l
_pw_qpolynomial{,_fold}_
g
i
s
t: use s
i
mple hull in
s
te
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
ad
d
is
l
_
set_s
e
t
_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven Ve
r
do
o
laege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdool
a
eg
e
isl_
q
polynomial_
l
ift
:
fix lifting in absenc
e
of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oo
l
aege
opti
o
nally (a
n
d by default) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
privately expor
t
isl
_
qpolynomial_fold_fold_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_pw_qpo
l
yn
o
mial_fold_forea
c
h_
p
i
e
ce
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ol
a
ege
add p
a
ramet
r
ic ve
r
tex enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_morph_dom_d
i
m and i
s
l_morph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_ba
s
ic_map_is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
el
y
expor
t
isl_
b
asic_se
t
_s
o
r
t
_
c
ons
t
raint
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab_detect_implic
i
t_equal
i
ties: also detec
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doo
l
a
ege
isl_tab
:
optiona
l
l
y
only mark strictly r
e
dun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
g
e
nera
l
i
ze isl
_
pw_
q
polyno
m
ia
l
_boun
d
to isl
_
pw_qp
o
lynom
i
al
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
extract out g
e
neric part of isl_p
w
_
q
p
olynomial_bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
i
sl_pw_qpolynomial_b
o
und
_
range:
also se
t
e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laeg
e
export is
l
_p
w
_qpolynomial_fo
l
d
_
drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
ege
ex
p
ort isl_qpol
y
nomi
a
l_
i
s_zero
commit
|
commitdiff
|
tree
next