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_dim_set_name: don't accept names that look like numbers
2010-07-14
Sven Verdool
a
ege
i
sl_d
i
m_set_name:
d
on't accept
n
a
mes that
look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hul
l
.
c: avoid sid
e
-ef
f
ects i
n
call
s
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add
i
s
l
_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoola
e
ge
add isl
_
int_get_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoo
l
aege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaeg
e
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolae
g
e
Makefile
.
am: really incl
u
de inclu
d
e/is
l
_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdoolaege
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
Verdoolaege
doc: d
r
op
d
uplicat
e
b
o
o
k
t
i
tle from Kelly1996clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rd
o
o
l
aeg
e
d
oc
:
u
se
mo
r
e explicit
n
o
t
a
t
ion
t
o avoid co
n
fusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add i
s
l
_
co
n
s
t
raint_is_div_constra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
rdoo
l
aege
i
s
l_ma
p
_simplify
.
c: separate o
u
t isl_b
a
s
ic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basi
c
_map_from_constraint: k
e
ep all
d
ivs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl
_
b
asic_map_f
r
om_constraint:
o
n
ly return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
is
l
_constraint_add_div: correctly set l
i
ne to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_pip: rename pip_options to avo
i
d confl
i
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_c
o
n
vex
_
hull
.
c: initial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
doc: descri
b
e backward inco
m
patible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
doc:
men
t
ion discussio
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
r
e
na
m
e isl_
b
asic_m
a
p_conv
e
x
_h
u
ll
t
o
is
l
_basic_ma
p
_r
e
move_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoo
l
a
ege
i
s
l
_
a
f
f
i
ne_hu
l
l
.
c
:
o
utside_
p
o
int:
f
ix
error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_rollback: avoid
d
ouble fr
e
e on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
:
t
ab_mat_produc
t
:
avoid NULL
p
ointer d
e
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_extend_
c
ons: avoid NULL
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implement antiquated isl_b
a
sic_set_n_* in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
erd
o
olaege
isl_map_convex_
h
ull:
av
o
id NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaeg
e
isl_tab_add_va
l
id_eq: return int
i
nstea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_affine_hul
l
.
c: affine_hull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_equalit
i
e
s
.
c
: parameter_compression
_
mult
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_ba
s
ic_
m
ap_pr
o
ject_out:
a
v
oid N
U
L
L pointer derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
olaeg
e
i
s
l_c
o
a
l
e
sce
.
c: c
o
alesc
e
_pair: avoid NULL po
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
ol
a
ege
isl
_
conve
x
_
hull
.
c: ext
e
nd: fi
x
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
impleme
n
t antiqua
t
ed i
s
l_set_n_* in terms
of isl_
s
et_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_s
i
mplify
.
c: normalize_divs
:
avoid NULL
poi
n
te
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_
i
n
p
ut
.
c
:
vars_drop: f
i
x e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_convex_hull
.
c
:
uset_convex_
h
u
l
l
_
wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
i
sl_set_w
r
a
p_fa
c
et: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_tab_
m
i
n: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_a
f
f
i
ne_hull
.
c
:
extend_affine_hull
:
avoid NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl
_
basic_map_extend: p
l
ug memo
r
y leak
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaeg
e
isl_affine_hull
.
c
:
eq
u
alities_in_
u
nderlying_s
e
t: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
ge
isl_basic
_
se
t
_
p
reimage: avoid N
U
LL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
i
s
l_tab_pip
.
c: no_sol_in_
s
trict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_hull
.
c:
e
qualities_in_underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affi
n
e_hull
.
c:
affi
n
e_hull:
f
ix err
o
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
i
s
l_map_pro
j
ect_
o
ut: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_b
a
s
i
c_m
a
p_intersect_r
a
ng
e
: avoid NULL pointe
r
der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olae
g
e
i
sl_tab_pi
p
.
c: fi
n
d_solution
s
: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
er
d
o
o
laege
isl_basic_map
_
a
lloc_dim: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_basic_map
_
int
e
rsect: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: sol
_
m
ap
_
init:
a
voi
d
NULL
p
oi
n
ter d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
olaege
isl_ba
s
ic_map_i
n
tersect_
d
omain: avoid N
U
L
L
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_flo
w
.
c: compute_val
_
based_dependences
:
f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_all
o
c: fix erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdool
a
ege
isl_acces
s
_info_c
o
mpu
t
e
_flo
w
:
fix err
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_
{
se
t
,map}
_
fast_is_e
m
p
t
y: avoid
NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_
f
lo
w
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_ac
c
ess_i
n
fo_compute_flow: av
o
id N
U
LL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_input
.
c:
obj_read: a
v
oid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
aeg
e
i
s
l_map_s
u
b
trac
t
.
c: tab_
a
dd_constraints:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
i
sl_ta
b
.
c: cl
o
s
e_row
:
fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_map_simplif
y
.
c: remove_duplica
t
e_
d
ivs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
sl_
b
as
i
c_map_affine_hull:
a
void NU
L
L pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l
_tab_add_eq:
return int ins
t
ead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_m
a
p
_
simplif
y
.
c:
remove_d
u
p
licate_c
o
ns
t
raints:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_simp
l
ify
.
c: eliminate_divs_ineq:
avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doo
l
aege
isl_basic_map_elim
i
nate
_
vars
:
av
o
id NULL
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
i
s
l
_
s
a
m
p
l
e
.
c:
i
nterva
l
_
s
ample: avoid
NULL poin
t
er
d
erefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
sl_sample
.
c: drop_const
r
ain
t
s_involving
:
avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_str
e
am_new: re
a
d_defined_
v
a
r
_
l
i
st: avoid dou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_bas
i
c_map_intersect: avoid NU
L
L poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_sample
.
c: gb
r
_sa
m
ple:
a
void NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdool
a
ege
isl_test
.
c: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
is
l
_test
:
avoid ac
c
e
ssing
b
asic
set
i
n
t
e
r
nals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl
_
input
.
c: re
a
d_
d
efined
_
var_li
s
t
:
a
v
oid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map
_
convex_hull: avo
i
d NULL
p
ointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
asic_map_nor
m
alize
_
constraints:
avoid
NU
L
L pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
bas
i
c
_map_total_dim
:
avoi
d
NUL
L
poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic
_
map_order_divs: avo
i
d NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
convex_hull
.
c: isl_ba
s
ic_set_add_equality: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
is
l
_convex_hu
l
l
.
c:
c
ompute_facet: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_t
e
s
t
.
c: map_is_equal: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_d
i
m
.
c: copy_names:
c
h
eck input
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_dim_dup: check
inp
u
t di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_cow
:
check result of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_stream
_
new
_
str: check result of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_s
t
rea
m
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
ool
a
ege
is
l
_ta
b
_
pip
.
c: f
i
x t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdo
o
laege
isl_polynomial
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolaege
isl_ver
t
ices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_morph
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
map
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
o
laeg
e
isl_map_simplify
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
sl_input
.
c:
accept more genera
l
affine e
x
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
l
aege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doo
l
aege
a
d
d i
s
l
_
se
t
_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Verdoola
e
ge
add
isl
_
map_i
s
_t
r
a
n
s
lation
commit
|
commitdiff
|
tree
next