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_pip: rename pip_options to avoid conflict with PipLib's pip_options_free
2010-06-27
Sven Verdoolaege
i
sl_pi
p
: rename p
i
p_opti
o
ns to
a
void
c
onflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
i
sl_convex
_
hu
l
l
.
c: initial
_
face
t
_constrain
t
: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
d
oc: descri
b
e ba
c
kward incom
p
atible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
doc: men
t
i
o
n dis
c
ussio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
renam
e
isl
_
basic_ma
p
_
c
onvex_hull
t
o
i
sl_basic_map_
r
emove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_aff
i
n
e
_
hull
.
c: outsi
d
e_point: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab
_
r
o
llback: avoid doubl
e
free on
error path
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_ta
b
.
c: tab
_
m
a
t
_
produ
c
t:
avoid N
U
LL
p
ointer
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
e
g
e
isl_tab_extend_cons: avo
i
d
NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
impl
e
ment antiquated isl_b
a
sic_set_n_
*
in terms o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_map_
c
onvex_h
u
ll:
avoid NU
L
L pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_tab_ad
d
_
v
alid_e
q
: return int instead o
f
isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_affine_hull
.
c: affine_hul
l
_with_con
e
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_equalities
.
c: p
a
r
ame
t
er_compres
s
ion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_basic_map_project_out:
a
void NU
L
L
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
coalesce
.
c: co
a
le
s
ce_pair: avo
i
d NULL pointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_convex_hull
.
c: extend: fi
x
erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implemen
t
antiquated isl_set_n_*
i
n terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
map_simplify
.
c: normali
z
e_di
v
s: av
o
id NU
L
L
poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_input
.
c: vars_d
r
op:
f
i
x error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl_
c
onvex_
h
ull
.
c: uset_convex_
h
ull_
w
rap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
olae
g
e
isl_set_wra
p
_facet: fix error ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl
_
ta
b
_mi
n
: avoi
d
NULL pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_affine_hull
.
c
:
extend_affine_hull:
avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_extend: plug memory
l
e
a
k
o
n
e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
sl
_
a
ffine_hul
l
.
c
:
equa
l
ities_in_underlying_
s
et: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
doolae
g
e
isl_basic
_
s
e
t_preimage:
a
void NUL
L
pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_
p
ip
.
c: no_sol_i
n
_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_hull
.
c
:
eq
u
alities_in_und
e
rlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_affine_h
u
ll
.
c:
affine_hull
:
fi
x
e
r
ro h
a
nd
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_projec
t
_
o
u
t
: fi
x
error ret
u
rn value
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oolaege
isl_
b
a
s
ic_ma
p
_intersect
_
range: avoid
N
U
L
L p
o
inter derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_pip
.
c
: find_solu
t
i
o
ns: fi
x
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olae
g
e
isl_basi
c
_map_al
l
oc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_in
t
e
rsect: avoid
NULL po
i
nter dere
f
e
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_tab_pip
.
c: sol_map_init: avoi
d
NUL
L
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
is
l
_basic_map_intersect_domai
n
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_flow
.
c: compute_v
a
l_based_de
p
e
ndences: fi
x
err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
i
s
l_flow_alloc: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_acce
s
s_info_comp
u
te_flow:
f
i
x e
r
r
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
ol
a
ege
isl_{set,map}_
f
ast_is_empty: avoid NUL
L
pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_fl
o
w
.
c: avoid accessing di
m
field directl
y
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
is
l
_access
_
info_co
m
pute_f
l
ow: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_inp
u
t
.
c:
o
bj_read: avoid NULL pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_map
_
subtract
.
c: tab
_
ad
d
_constraints:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
ool
a
ege
isl_tab
.
c: close_
r
ow
:
f
i
x e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_map_
s
implify
.
c
: remove_duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl
_
basic_map_affine_hull
:
avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: re
t
ur
n
int inste
a
d
of
i
sl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
isl_map_simplify
.
c: remove_d
u
p
licate_constraints
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_
s
implify
.
c: eliminate_divs
_
ineq: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_
b
asic_map_eliminate_vars: avoid NULL
p
ointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
isl_
s
a
mple
.
c
: i
n
t
erval_samp
l
e: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
sample
.
c: drop
_
co
n
straints_
i
nvol
v
ing: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_stream_
n
ew: read_defi
n
ed_var_list: a
v
oid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_basic
_
m
a
p_
i
nter
s
ec
t
: avoid NULL
p
oi
n
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
s
am
p
le
.
c: gbr_sample: avoi
d
NU
L
L poi
n
t
er dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rd
o
olaege
isl_te
s
t
.
c:
avoi
d
NULL
p
o
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl
_
test: avoid acc
e
ss
i
ng ba
s
ic set int
e
r
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl
_
input
.
c: read_de
f
in
e
d_va
r
_list: avoid d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
doo
l
aeg
e
i
sl
_
map_
c
onvex_hu
l
l: avoid NULL poi
n
ter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_map_
n
ormalize_c
o
nst
r
aints: avoid
NULL poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_basic_ma
p
_total_dim
:
av
o
i
d NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_b
a
s
i
c
_
m
ap
_
orde
r
_
d
iv
s
:
a
void
N
U
L
L p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aeg
e
isl_conve
x
_
h
ul
l
.
c: isl_
b
asic_set_add_
e
quality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
nvex_hull
.
c
:
compu
t
e_
f
acet: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
is
l
_test
.
c: map_is_e
q
u
al
:
check input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_d
i
m
.
c: cop
y
_n
a
mes: check input
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaeg
e
isl_di
m
_du
p
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_basic_map_cow:
c
heck result
of a
l
location
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolae
g
e
isl_s
t
ream_new_st
r
: check
re
s
u
lt of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoo
l
aege
isl_stream
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdoolaeg
e
isl
_
tab
_
pip
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab
.
c
: fix
t
y
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_p
o
lynomial
.
c:
f
ix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n V
e
rdool
a
ege
isl_vertic
e
s
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdoolaeg
e
isl_morp
h
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
is
l
_map_simplify
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
oolaege
i
sl_input
.
c: a
c
cept more general affine
expres
s
io
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
lae
g
e
add i
s
l
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d isl_vec_s
c
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add is
l
_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
ge
add i
s
l_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
export i
s
l_qpolynomial
_
involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_po
l
ynomial
.
c: add missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
isl_map_transiti
v
e_closure: c
h
eck wh
e
ther
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl_stream_flush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdool
a
ege
add isl_strea
m
_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rdoolaege
add rud
i
me
n
tary error
re
p
o
r
ting
m
ech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdo
o
laege
isl_point_
a
lloc: avoid potential mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaeg
e
d
oc:
document
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Ve
r
doolaege
isl_tab
_
pip
.
c
:
compare a
l
l
c
oefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Ve
r
doolaege
isl_
p
w_qpolynomial
{
,_fo
l
d}_g
i
s
t
:
use simple hull i
n
stea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoo
l
aege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
ad
d
i
sl
_
strea
m
_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
l
aege
doc: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
do
o
laege
isl_qpolynomial
_
lif
t
:
fix
l
ifting
in absence of div
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
optionall
y
(and by defau
l
t) use bernst
e
i
n expansion
.
.
.
commit
|
commitdiff
|
tree
next