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_qpolynomial_move_dims: plug memory leak and fix reordering of divs
2010-06-26
Sve
n
Verdoolaege
isl_a
f
fine_
h
u
l
l
.
c
:
e
quali
t
ies_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_basic_
s
et_preima
g
e:
a
void NULL p
o
in
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
tab
_
pip
.
c: no_sol_in_st
r
ict: f
i
x error
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_affine_
h
ul
l
.
c: equ
a
l
iti
e
s_in_underlying_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
a
ege
i
sl_af
f
in
e
_hull
.
c: affine_hull: f
i
x err
o
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
g
e
isl_map_project
_
out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
oolaege
isl_basic_map_inter
s
ect_range: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_tab_pip
.
c: find
_
s
o
lution
s
:
f
ix er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l
_basic_
m
ap_al
l
o
c_di
m
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl
_
b
a
sic_map
_
in
t
ersect: avoid NU
L
L pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
ool
a
ege
isl_tab_pip
.
c: so
l
_map_init: av
o
id NULL p
o
inter
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
i
sl_ba
s
ic_map_inte
r
sect_domain: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_flow
.
c
: compu
t
e_val_based_dependences
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_flow_a
l
loc:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl
_
ac
c
ess_inf
o
_comp
u
te_flow: fix error ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_{set,ma
p
}_
f
a
st
_
i
s
_emp
t
y
: avoid
N
ULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
a
ege
i
s
l
_flow
.
c: avo
i
d accessing
dim field d
i
rect
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
access_info_compute_flo
w
: avoid NULL
po
i
nter d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdoolaeg
e
i
s
l_i
n
p
ut
.
c: obj_read: avoid N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
i
sl_map_s
u
bt
r
act
.
c:
t
ab_a
d
d_constraints
:
avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_tab
.
c: c
l
os
e
_row:
fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_ma
p
_simp
l
ify
.
c: r
e
m
o
ve_duplicate_div
s
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_basic_ma
p
_affine_hul
l
: a
v
oid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_
t
a
b
_add_eq: ret
u
rn int
in
s
t
ead o
f
i
sl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
m
ap_simplify
.
c
: re
m
ove_duplicate_const
r
a
ints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_s
i
mplify
.
c: el
i
minate_divs_ineq: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_eli
m
inate_vars: avoi
d
NULL pointer
d
ereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_sa
m
p
l
e
.
c:
i
nterval_sampl
e
: avoid NULL p
o
int
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop
_
constraints_involvin
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_de
f
i
n
ed_var_list: avoi
d
d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_int
e
rsect: a
v
oid NULL
p
o
i
n
t
er
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
s
l_sample
.
c: g
b
r_sample: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_test
.
c: avoid NULL pointer der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aeg
e
isl_test: avoid accessing basic
s
et intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inpu
t
.
c
: read_
d
efined_var_list: avoi
d
doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
is
l
_m
a
p
_
con
v
ex_hull: avoid NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_no
r
mali
z
e_c
o
nstra
i
nts: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_
t
otal_dim
:
avoid NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_ba
s
ic_map_order_divs: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl
_
convex_hu
l
l
.
c: isl_basic
_
s
et_add_eq
u
a
l
i
t
y
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolae
g
e
isl_convex_hull
.
c:
c
ompute_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
est
.
c: map_is_equal:
check inpu
t
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verd
o
olaege
isl_dim
.
c: copy_names:
c
heck input
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
ool
a
ege
i
s
l_di
m
_dup: check
inp
u
t
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_cow:
c
heck r
e
sult of
a
llocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_stream_new
_
str: chec
k
result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_s
t
r
eam
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_tab_pip
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
laege
isl_tab
.
c: fix
t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
laege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
i
sl_vertic
e
s
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_
morph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaeg
e
isl_map
.
c:
f
ix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaeg
e
isl_map_simplify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl_in
p
u
t
.
c
:
a
c
cept mor
e
g
e
neral affin
e
expressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolaege
add is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
add i
s
l_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
ad
d
isl_
s
e
t
_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
v
en Verdoolaege
add
isl_map
_
is_tr
a
nslation
commit
|
commitdiff
|
tree
2010-06-21
S
ven V
e
rd
o
ol
a
ege
export
i
sl
_
q
polyno
m
ial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdo
o
laege
isl_polynomia
l
.
c: add miss
i
ng inc
l
u
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
ae
g
e
i
s
l
_
map_transitiv
e
_closure: ch
e
ck whether decompos
i
tion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add
isl_
s
tre
a
m_
f
lush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add isl_str
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
o
laege
add rudimenta
r
y error
report
i
ng
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_
p
oint
_
all
o
c
:
avoid pote
n
tial memory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc:
d
ocument is
l
_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoo
l
aege
isl_tab_pip
.
c
: c
o
mpare all
c
oeffic
i
ents when ch
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdool
a
ege
i
sl_pw_qpoly
n
omial{
,
_fold}_gist: u
s
e simp
l
e hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_
s
et_se
t
_
dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d is
l
_st
r
eam_r
e
a
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n V
e
rdo
o
lae
g
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oo
l
aege
isl_qpol
y
no
m
ial_li
f
t:
f
ix lifting in abs
e
nce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
optionally (a
n
d b
y
defau
l
t) use bernstein expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately export isl_qpolyno
m
ial_fo
l
d_fold_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
a
d
d isl_
p
w_qpolynomial_fold_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
add parame
t
ric vertex enu
m
erat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
sl_
m
orph_
d
om_
d
im and isl
_
morph_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd i
s
l_basic_map_is
_
rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
el
y
ex
p
or
t
isl_basic_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab
_
dete
c
t_implicit_equ
a
lities: a
l
so detect
m
an
i
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
is
l
_tab: optionally only mark strictly
redundant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
g
eneralize isl_pw_qpolynomial_bound to is
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
rdoolaege
extract ou
t
generic part of isl_pw_qpolynom
i
al_bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpolynomial_bound_range: also set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set
_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
o
rt
i
s
l_pw_qpolynomial_fold
_
drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport isl_qpolynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpolynomial_co
e
ff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
export
is
l
_qpolynomial
_
a
d
d_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add isl_qpolynomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add is
l
_qpolyn
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
ege
a
dd isl_q
p
oly
n
omial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyno
m
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
isl_ct
x
: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab_detect_implicit_
e
qualities: return inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
add i
s
l_tab_sign_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_
t
ab_
s
elect_face
t
: return in
t
i
n
st
e
ad of isl_t
a
b *
commit
|
commitdiff
|
tree
next