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_map_simplify.c: separate out isl_basic_map_is_div_constraint
2010-06-27
S
ven
Ver
d
oolaege
isl_map_simplify
.
c: s
e
p
a
rate out isl_ba
s
ic_map_is
_
div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basic
_
map_from
_
co
n
straint:
keep all
d
i
vs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
ola
e
ge
i
s
l_ba
s
i
c_map_
f
ro
m
_constraint: only
r
e
t
urn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erd
o
ola
e
g
e
is
l
_constraint_ad
d
_div: correctly set lin
e
to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
ae
g
e
is
l
_
p
i
p: ren
a
m
e pip_opt
i
ons
t
o
av
o
id co
n
flict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l
_
convex_hul
l
.
c
: initial_facet_constra
i
nt: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: descri
b
e
b
a
ck
w
ard
incomp
a
tible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
doc:
mentio
n
discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
r
ename isl_basic
_
m
a
p_con
v
ex_hull to isl_basic_
m
ap_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_a
f
fin
e
_hul
l
.
c: outside_point: fi
x
err
o
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
la
e
ge
isl_tab_
r
ollback: avoid double free on
e
rror pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_tab
.
c: tab_mat_
p
roduct:
avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdool
a
ege
isl
_
tab_exte
n
d_c
o
ns: a
v
oid NULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
implement a
n
t
iquated
i
sl_basic_set_n_* in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
e
ge
isl_map_con
v
ex_hull: avoid
NUL
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
i
sl_tab_add
_
valid_eq: return int instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_affine_hull
.
c: affine_hull_wi
t
h_cone: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_
e
qualities
.
c: pa
r
amete
r
_compre
s
sio
n
_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laeg
e
isl_basic
_
map_project_out: avo
i
d
NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
o
laege
isl_coalesce
.
c:
c
oalesce_pair: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex_hull
.
c: e
x
ten
d
: f
i
x error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
impl
e
m
ent antiquate
d
isl_set_n_*
i
n terms of is
l
_
s
et_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olae
g
e
isl_map_simplify
.
c:
n
or
m
alize_div
s
:
avoi
d
N
U
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_input
.
c: vars_drop: fix error
handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onvex_hull
.
c:
u
set_convex_hull
_
wrap_bounded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_set_wrap_facet: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_tab_mi
n
: avoid
N
U
LL p
o
inter
der
e
fe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_affine_hull
.
c
: extend_affine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_basi
c
_map_extend: plug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdo
o
laege
i
s
l_a
f
f
i
ne_h
u
l
l
.
c
:
e
q
ualities_in_und
e
rlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set
_
preimage: avoid NULL pointer d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_t
a
b_pip
.
c
:
no_sol_in_strict: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_affine_
h
ul
l
.
c: equalities_in_underlying_set:
p
lu
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_aff
i
ne_hull
.
c: af
f
ine_hu
l
l
:
f
ix erro handlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdool
a
e
ge
isl_map_projec
t
_out: f
i
x error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic
_
map_intersect_ra
n
ge: avoid NULL
p
o
inter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
ab_pip
.
c: find_soluti
o
ns: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_m
a
p_
a
ll
o
c_dim: fix e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basi
c
_map_intersect: avoi
d
NULL poin
t
er
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: sol_map_init:
a
vo
i
d
NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
b
asic_
m
ap_intersect_domain: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
flow
.
c: compute_val_based_d
e
pendences:
fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_fl
o
w_alloc: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_a
c
cess_info_
c
ompute_flow: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_{set,map}_fast_is_empty: a
v
oid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_flow
.
c:
a
void accessing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_access_info
_
comp
u
te_flow: avoid NULL poin
t
er
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
g
e
is
l
_input
.
c:
o
bj
_
r
e
a
d: avoid NU
L
L pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doo
l
a
e
ge
i
sl_map_
s
ubtract
.
c:
tab_add
_
con
s
traints: avo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_t
a
b
.
c: close_row
:
fix err
o
r han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_map_sim
p
lify
.
c: remove_duplicate_divs:
a
vo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_a
f
f
ine
_
hull: avo
i
d NULL pointe
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_add_eq:
retu
r
n int instead
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_simplify
.
c:
remove_duplicate_c
o
nst
r
a
i
n
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_sim
p
lify
.
c:
e
liminate
_
divs_ineq:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olaege
isl_basic_m
a
p
_
eliminate_
v
ars: avoi
d
NULL po
i
n
ter d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
e
g
e
isl_sample
.
c:
i
nterv
a
l_sample: a
v
oid NU
L
L pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_samp
l
e
.
c: dr
o
p
_constraints_involving: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_stream_new: read_defin
e
d_var_list: avoid
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_bas
i
c_map_intersect: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verd
o
olaege
isl_
s
ampl
e
.
c: gbr
_
sample: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_test
.
c: avoid
NULL p
o
inte
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
e
g
e
i
s
l_test: a
v
oid
a
ccessin
g
bas
i
c
s
e
t int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_input
.
c: read_
d
efined_v
a
r_li
s
t: avoid d
o
u
ble fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_c
o
nvex_hull: a
v
oid NUL
L
pointe
r
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_b
a
sic_map_no
r
malize_constraint
s
: avoid NU
L
L pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
a
p
_
total_
d
i
m: avoid NUL
L
pointer de
r
ef
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
ae
g
e
isl_b
a
sic_map_order_di
v
s: avoid
N
ULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_c
o
nv
e
x_hull
.
c: isl_ba
s
ic_set_ad
d
_e
q
ualit
y
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hull
.
c: compute_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
isl_test
.
c: map_is_
e
qual:
c
h
e
c
k i
n
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_dim
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
is
l
_
d
i
m
_dup: check in
p
ut di
m
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olae
g
e
isl_basic_map_cow: check resul
t
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
a
e
ge
isl_
s
t
r
e
am_new_str: check result of
a
llocation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
e
rdoolaege
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
S
v
en Verdoolaege
isl_t
a
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_p
o
lyno
m
ial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
ool
a
ege
isl
_
morph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
er
d
o
o
l
a
ege
isl_map
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
dool
a
ege
isl_map_s
i
m
plify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verd
o
ol
a
ege
isl_inp
u
t
.
c: accept m
o
re general af
f
ine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add i
s
l_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdool
a
ege
add isl_set_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sve
n
Verdoola
e
ge
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export
i
sl_
q
po
l
ynomial_
i
nvolves_d
i
ms
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaeg
e
isl_polynomial
.
c: add m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
isl_map_transitive_closure:
c
heck
whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
ad
d
i
s
l
_
s
tream_flush_to
k
en
s
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoolaege
add isl_stream_s
k
ip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add rudimentary error reporting mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
a
e
ge
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
is
l
_
p
oint
_
alloc: avoid potenti
a
l memory
leak
o
n erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdool
a
ege
doc
:
d
o
cum
e
nt isl
_
map_delta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
ola
e
ge
isl_tab
_
p
i
p
.
c: comp
a
re a
l
l co
e
fficients when c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
d
o
olaeg
e
isl_pw_qpolynomial{,_fold}_
g
ist: use simple hull
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
isl_set_s
e
t_di
m
_na
m
e
commit
|
commitdiff
|
tree
next