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_tab_add_valid_eq: return int instead of isl_tab *
2010-06-26
S
ven Ve
r
doolaege
isl_tab_add
_
valid_eq
:
re
t
urn int instead of i
s
l_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_hull
.
c: a
f
fine_hull_
w
ith_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equalities
.
c: para
m
eter_compression_multi: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaeg
e
isl_basic
_
map_project_out: avoid
N
ULL
pointe
r
d
ereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl
_
coalesce
.
c:
c
o
al
e
s
c
e_
p
air: avoid NUL
L
pointer
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_convex_hull
.
c: extend: fix
e
rror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
g
e
im
p
lem
e
nt antiquated
i
s
l_set_n_*
i
n
terms of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_
m
a
p
_simplify
.
c: norm
a
liz
e
_divs
:
a
v
o
i
d NULL
point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_input
.
c: v
a
rs_
d
rop: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_convex_hu
l
l
.
c: u
s
et_convex_hull_wrap_bounded:
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_se
t
_
w
rap_facet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
i
s
l_tab_min:
avoid N
U
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_affine_hull
.
c
: extend_affine
_
hull
:
a
vo
i
d N
U
LL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_basic_map_ext
e
nd:
p
lug memory
l
eak on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_a
f
fine_h
u
ll
.
c:
e
qu
a
li
t
ies
_
in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_set_prei
m
age
:
avoi
d
NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_tab_pip
.
c: no_sol_in_strict: fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_
a
ffi
n
e_
h
ull
.
c: equal
i
ti
e
s_in_unde
r
l
ying
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_affine_hull
.
c: affine_hull: fix
e
r
r
o han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
ma
p
_project_out:
f
i
x error retu
r
n
valu
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_
i
n
tersect_range: avoid NULL pointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pi
p
.
c: f
i
nd_solutions:
f
i
x
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_ba
s
ic_map_alloc_
d
im: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_ba
s
ic_map_inters
e
ct:
a
void NUL
L
p
o
i
nter deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_pip
.
c: s
o
l_
m
ap_init: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_intersect_domain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_
f
l
ow
.
c: compute_val_base
d
_depend
e
nces: f
i
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_all
o
c: fix error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolae
g
e
isl
_
access_i
n
fo_compute_flow: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_{set,map}_fast_is_empty: avoid NULL pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
is
l
_flow
.
c: avoid a
c
c
es
s
ing dim
f
ield directly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
i
s
l_access_in
f
o_comp
u
te_flow: a
v
oid
N
U
LL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
oolaeg
e
isl_in
p
ut
.
c: obj_read: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtr
a
ct
.
c: tab_add_c
o
nstrain
t
s: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
s
l
_
tab
.
c: close_r
o
w:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplif
y
.
c: remove_duplica
t
e_
d
ivs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_basic_map_affine_hu
l
l: avo
i
d NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
ool
a
e
g
e
isl_tab_add_eq: r
e
turn i
n
t instead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_map_simplify
.
c: remove_dupl
i
cate_constrain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
dool
a
ege
isl_map_
s
im
p
lify
.
c: elimina
t
e_divs_
i
neq: a
v
oid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_eliminate_vars: avoid
N
ULL poi
n
ter de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_sampl
e
.
c: interv
a
l
_
sample: avoid NULL po
i
nter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
sa
m
ple
.
c: drop_constra
i
nts_
i
nvolving:
avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
e
ge
i
sl_s
t
ream_n
e
w: read_def
i
n
ed_var_list: avoid do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
b
asic_map_intersect: avoid NU
L
L
p
o
int
e
r deref
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_sa
m
ple
.
c: gbr_sample:
a
void NULL
point
e
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tes
t
.
c: av
o
id NULL
p
ointer de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
e
st: a
v
oid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
ool
a
ege
isl_input
.
c: read_d
e
f
i
ned_var_list: avoid double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_map_c
o
nvex_hul
l
: avoi
d
NULL pointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_
b
asic_map_normal
i
ze
_
constraints: a
v
o
id NULL poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_basic_
m
ap_total_dim: avoid NULL p
o
inter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_basic_map_o
r
de
r
_divs: avoid NULL po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_c
o
nvex_hu
l
l
.
c: isl_
b
asic_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdo
o
laege
isl_convex_hull
.
c: compute_facet: avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoolaege
isl_te
s
t
.
c: map_is
_
equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: copy_
n
ames: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
i
s
l_basic_ma
p
_cow: chec
k
result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_stream_new_
s
tr: check result
o
f all
o
ca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_s
t
ream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoola
e
g
e
isl_tab_pi
p
.
c: fi
x
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c:
f
ix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verd
o
olaeg
e
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl
_
morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ve
r
doolaege
i
s
l
_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
i
s
l_map_sim
p
lif
y
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
oolaeg
e
is
l
_input
.
c
:
a
cce
p
t mo
r
e general a
f
fine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
ad
d
i
sl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoola
e
ge
add isl_set_i
s
_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
d
o
olaege
add is
l
_m
a
p_is_transla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qpolynomial
_
i
n
v
olves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
isl_pol
y
nomial
.
c: add
m
issing
incl
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
i
sl_m
a
p_transi
t
i
ve_clo
s
ure: check w
h
ether decompos
i
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoo
l
aege
ad
d
i
s
l_stre
a
m
_
flus
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
isl_stream
_
skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd r
u
d
imentar
y
err
o
r
r
eporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
o
l
aege
add
isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoo
l
a
e
ge
is
l
_
point_alloc: avoid potential memory
l
e
a
k
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
ola
e
ge
doc: document isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolaege
isl_tab_pi
p
.
c:
c
ompare
a
l
l
c
oef
f
icients when checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolae
g
e
isl_pw_qp
o
lyn
o
mial{,_fold}_gist:
use simple hul
l
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d isl_s
e
t_s
e
t
_
dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
ad
d
isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_qpolynomial_lift: fi
x
lif
t
ing in
absen
c
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
optionally
(
a
n
d b
y
default)
u
s
e bern
s
tein e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privat
e
ly export i
s
l_q
p
olyno
m
ial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_
p
w_qp
o
lyn
o
mi
a
l_
f
old_foreach_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
p
a
ram
e
tric
vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
ool
a
ege
add isl_morph_dom_dim and
i
sl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add isl_b
a
sic_map
_
is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
priv
a
tely
e
xpor
t
isl_basic_set_so
r
t
_co
n
stra
i
nt
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
la
e
ge
i
s
l_tab_det
e
ct_
i
mplicit_eq
u
ali
t
ies: also detect
m
anife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_ta
b
:
o
p
tionally onl
y
mark strictly
r
edundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
generalize isl_
p
w_qpolynom
i
al_bou
n
d to
i
s
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
extrac
t
out generi
c
par
t
of is
l
_pw_qpolynomi
a
l_bound_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoola
e
ge
isl_p
w
_qpo
l
ynomial_bound_r
a
nge: a
l
so set exactness
.
.
.
commit
|
commitdiff
|
tree
next