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
implement antiquated isl_basic_set_n_* in terms of isl_basic_set_dim
2010-06-26
Sven
V
erd
o
olaege
implem
e
nt antiquated isl_basic_
s
et_
n
_* in t
e
rm
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_
m
ap_conv
e
x_h
u
ll: avoid
N
U
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab_a
d
d_valid_eq:
return int
i
nstead o
f
isl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
ola
e
ge
isl_affine_hul
l
.
c: affine_hull_with_cone: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_equaliti
e
s
.
c: parameter
_
compre
s
sion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_project_out: avoid NULL
poi
n
t
er
d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_coalesce
.
c: coalesc
e
_pair: avoid
N
ULL po
i
nter
d
ere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_convex_hull
.
c: e
x
ten
d
:
fix er
r
o
r
han
d
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaeg
e
impleme
n
t antiquate
d
i
sl_
s
et_n_* in te
r
ms of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_sim
p
lify
.
c
:
normaliz
e
_divs: avoid N
U
LL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
is
l
_i
n
p
ut
.
c:
vars_drop: f
i
x error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaeg
e
isl_convex_hull
.
c: u
s
e
t_c
o
nvex_hull_wrap_bounded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_set_wrap_face
t
:
fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_ta
b
_min: avoid NULL point
e
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c:
e
xtend_affine
_
h
u
l
l
: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basi
c
_map_extend: pl
u
g
m
e
mory
l
eak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl
_
aff
i
ne_hull
.
c: equalities_i
n
_underlying_se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid NULL
p
ointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c:
n
o_sol_in_str
i
ct: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: equalities_in_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rd
o
olae
g
e
isl
_
affine_hull
.
c: affine_hull: f
i
x err
o
h
a
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_map_project_out:
f
ix error return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ba
s
ic
_
map_
i
ntersect_ra
n
ge: avo
i
d
NULL point
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_pip
.
c: find_solu
t
ions:
fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_ba
s
ic_
m
ap_alloc_dim: fix
error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
isl_b
a
sic_map
_
int
e
r
s
ect: avoid NULL pointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
s
l
_t
a
b
_
pip
.
c: sol_map
_
init
:
avoid
N
ULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
g
e
isl_basi
c
_
m
ap_intersect_do
m
a
i
n: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
i
s
l_flow
.
c:
compute_val_b
a
sed_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_f
l
o
w_alloc: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_access_info_compute_flow: fix e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_
{
set,map}_fast_is_empty: avoi
d
NUL
L
poi
n
ter
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
oolaege
isl_flow
.
c: av
o
i
d
acce
s
sing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_access_info_comp
u
t
e_f
l
o
w
:
avoid NULL
p
ointer
d
er
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read: avoi
d
NULL pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_subtract
.
c: ta
b
_add_co
n
stra
i
n
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_tab
.
c
:
c
lo
s
e_row: fix
e
rror han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_ma
p
_simplify
.
c
: remove
_
d
uplicate_divs:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl_bas
i
c_map_affi
n
e_h
u
ll: avoid NULL p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: retur
n
int inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
e
g
e
is
l
_map_simplify
.
c
: remove_duplicate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_
s
implify
.
c:
eliminate_d
i
vs_ineq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_basic_map_el
i
minate_vars:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
a
m
ple
.
c
:
i
n
t
erval_s
a
mpl
e
: avoid NUL
L
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_sample
.
c
:
drop_constraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_stream_new: read_defined_var_list
:
avoid
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_intersect:
a
void NULL
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolae
g
e
i
sl_sa
m
ple
.
c:
g
br_sample: avoid NU
L
L pointe
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: avoid NULL pointer de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_test: avoid
accessi
n
g basic set intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_i
n
p
ut
.
c
: read_defined_va
r
_list: avoid doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_map_c
o
nvex_hull: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_b
a
sic_map_normalize_const
r
aints: a
v
oid NULL po
i
nte
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_basic_
m
ap_to
t
al_dim: av
o
id
NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map
_
order_d
i
vs: avoid NULL p
o
in
t
er
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_co
n
vex_hull
.
c: isl_
b
asic_set_add
_
equ
a
lit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_
h
ul
l
.
c:
compute_face
t
:
a
void
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
isl_test
.
c: map_is_eq
u
al:
c
heck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_d
i
m
.
c: c
o
py_name
s
:
check
i
nput
di
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_dim_d
u
p: chec
k
inp
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_
m
ap
_
c
ow: c
h
eck result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_str
e
am_ne
w
_str: check
r
e
sult of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoo
l
aege
i
sl_st
r
eam
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_tab_p
i
p
.
c: fi
x
t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
ege
i
sl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
p
olynomial
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
r
d
oola
e
ge
is
l
_vertices
.
c
:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_
m
orph
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
isl_map
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoo
l
ae
g
e
isl_map_sim
p
lify
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
a
e
ge
isl_input
.
c: a
c
c
e
pt more
g
e
n
eral affine expressio
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doola
e
g
e
add isl_
v
ec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ver
d
oolaege
add isl_set_i
s
_
box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
olae
g
e
add isl_map_is_t
r
ans
l
ation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
export isl_
q
p
olynomi
a
l_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
i
s
l_
p
olynomial
.
c
:
add
missing i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_map_transitive_clos
u
re:
c
h
eck whether
d
ecomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolae
g
e
add isl_s
t
re
a
m_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
a
dd is
l
_stream_skip_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudiment
a
ry err
o
r reportin
g
m
echa
n
ism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erdoolaege
isl
_
p
oint_alloc: avoid potential m
e
mory leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
olaege
doc:
document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdool
a
e
g
e
isl_ta
b
_
p
ip
.
c
:
compa
r
e
a
l
l coefficien
t
s w
h
en chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
is
l
_pw_qpolynomial{
,
_fold}_gist: use s
i
mple hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
a
dd is
l
_set_set
_
d
im
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erd
o
ol
a
ege
add
isl_
s
tream_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven
V
erdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdo
o
l
a
e
ge
isl
_
qp
o
l
y
n
omial
_
l
ift: fix lifting i
n
absence of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
optionally (and by
d
efault) u
s
e
berns
t
ein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
priva
t
ely export isl_qpo
l
ynomial_f
o
ld_fol
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
la
e
g
e
add
isl_
p
w_qpolynomial_fold_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
add
p
a
rametric vert
e
x enumera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
l
aege
add isl_
m
orph_dom_dim a
n
d isl_m
o
rph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_basic_map_is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_basic_s
e
t_s
o
r
t
_c
o
n
straints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
isl_tab_detect_im
p
licit
_
e
qu
a
lities: also d
e
t
ect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab: option
a
lly on
l
y mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
ola
e
ge
generalize is
l
_pw_qpolyn
o
mial_
b
ound
t
o
isl_pw_qpoly
n
o
m
i
al
_
fo
.
.
.
commit
|
commitdiff
|
tree
next