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_transitive_closure.c: fix double free on error path
2010-07-30
Sven V
e
rdoo
l
a
e
ge
isl_t
r
ans
i
t
i
v
e
_
clo
s
ure
.
c: fix
double free on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doo
l
aeg
e
isl_map_gist: use
s
imple
h
ull
i
ns
t
ead o
f
convex h
u
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdool
a
ege
isl_ma
p
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaeg
e
i
sl_cat:
read generic object
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoola
e
ge
isl_printer: add N
U
LL che
c
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_none a
c
onst
a
nt e
x
p
r
ession
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
V
e
rdoolaege
ad
d
isl_map
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aeg
e
isl_map_fast_is_univ
e
rse
:
also detect r
e
dun
d
ant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
Verdoo
l
aege
add
i
s
l_map_re
a
c
h
i
ng_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl
_
map_power: delay equat
i
ng pa
t
h lengths to po
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoo
l
aege
is
l
_map_power:
apply Floyd-Warsha
l
l to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Verdoo
l
a
e
g
e
isl_map_lexmax: p
r
od
u
ce les
s
c
r
yptic error m
e
ssa
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rd
o
olaege
f
ix
i
sl_basic_map
_
mo
v
e
_
dims in pr
e
sence of
existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
V
erd
o
olaege
isl_tes
t
: drop
d
e
bugging ou
t
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doo
l
aege
isl_trans
i
tive_closu
r
e
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoolaege
fix isl_m
a
p
_lex_ge and isl_map_
l
ex_le in the
z
e
ro-dime
n
si
o
na
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven
Verdoolaege
isl_pri
n
ter_
p
ri
n
t_map:
r
eplace variable
b
y its
d
efin
i
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdoolaege
pri
v
ately expor
t
isl_
b
asic_map
_
fast_cmp and isl_ba
s
ic_map_f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Ve
r
doolaege
is
l
_
d
im_set_name: don't accept names that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verd
o
olaege
isl
_
convex_hu
l
l
.
c: avoid
s
i
de-effects in calls
to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdo
o
laeg
e
add
i
sl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Ve
r
doolaege
a
dd isl_int_get_st
r
commit
|
commitdiff
|
tree
2010-07-02
Sven Verd
o
olaege
d
oc: fix some ty
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
Verd
o
olaeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoola
e
ge
Ma
k
efi
l
e
.
a
m
: really include i
n
clud
e
/isl
_
vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdool
a
e
g
e
ad
d
isl
_
map_is_bije
c
tive
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
Verdoolaege
do
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: drop
dup
l
icate b
o
oktitle fr
o
m
Kel
l
y19
9
6closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaeg
e
doc: us
e
m
o
re explicit nota
t
i
o
n to a
v
oid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n V
e
rdoolaege
add
i
sl_const
r
aint
_
is_div_co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoo
l
aege
i
s
l_map_simplify
.
c: separate o
u
t isl_ba
s
ic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaege
isl_basic_map_from_c
o
nstr
a
int: ke
e
p all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdo
o
laege
i
sl_bas
i
c_ma
p
_from_constraint:
on
l
y
return c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Ve
r
doolaege
isl_con
s
traint_
a
dd_d
i
v: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
o
l
aege
isl_pip: rename pip_options to avoid conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
g
e
is
l
_convex_hull
.
c: initial_facet_co
n
s
t
rai
n
t:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: descr
i
be b
a
ckward incompatible cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoo
l
aeg
e
doc: m
e
ntion
d
iscu
s
sion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
re
n
ame
i
s
l_basic_m
a
p
_c
o
nvex_hull to
i
sl_basic_map_remove_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_af
f
ine_h
u
ll
.
c: out
s
ide_point:
fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdo
o
laeg
e
isl_tab_
r
ollback:
a
void do
u
b
l
e free o
n
e
r
ror path
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab
.
c
:
tab_ma
t
_product: avoid NULL po
i
n
ter derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
dool
a
eg
e
isl
_
tab_ext
e
nd_cons: avo
i
d N
U
LL poi
n
ter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
impleme
n
t antiquated
i
sl_b
a
sic
_
set
_
n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_hull
:
av
o
id N
U
LL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_tab_a
d
d
_
valid_eq: return int inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laeg
e
isl_affine_hu
l
l
.
c:
a
ffine_hull_wit
h
_cone: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
is
l
_e
q
ualities
.
c:
p
arame
t
e
r_compress
i
on_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
i
sl_ba
s
i
c
_map_project
_
out: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl
_
c
oalesce
.
c: co
a
les
c
e_pair:
avoid
N
U
L
L pointer derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoo
l
aege
isl_convex_hull
.
c
: ext
e
nd: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
im
p
lement antiquated isl
_
set_n_*
in te
r
ms of
i
sl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
i
s
l_map_simplify
.
c: normalize_div
s
: avoid NULL poi
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_input
.
c: vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
n
vex_hull
.
c
:
u
s
et_con
v
ex_h
u
ll_wrap_
b
o
u
nded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolae
g
e
i
sl_set_
w
rap_facet:
f
i
x er
r
or
h
andling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_
t
a
b
_min: a
v
o
i
d NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_affine_hull
.
c
: extend_affine_
h
ull:
a
voi
d
NULL
p
oi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_e
x
tend: plug memory leak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_
a
ffine_hul
l
.
c: equalities
_
in_
u
nderlyin
g
_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_ba
s
ic_s
e
t
_
prei
m
a
g
e: avoid N
U
L
L
p
ointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_ta
b
_pip
.
c: no
_
sol_in_stri
c
t
: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l
_affin
e
_hull
.
c
:
equalities_i
n
_underly
i
n
g
_set: pl
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_aff
i
ne_hull
.
c: affine_hull: fi
x
er
r
o handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
is
l
_map_project
_
out: fix error retu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaeg
e
isl_ba
s
ic_
m
ap_i
n
tersect_range
:
avoid
N
ULL poi
n
ter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_tab_pip
.
c: find_solut
i
ons:
f
ix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoola
e
g
e
isl_basic_map_allo
c
_dim:
f
ix error han
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_i
n
te
r
sect: av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
do
o
l
a
e
ge
isl_t
a
b_p
i
p
.
c: sol_map_init:
a
vo
i
d NUL
L
p
ointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_intersect_d
o
m
a
i
n: a
v
oid
NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_flow
.
c:
c
ompute_v
a
l_ba
s
ed_dependences:
f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
i
s
l
_
flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_access_info_comput
e
_fl
o
w:
fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl
_
{set,m
a
p}_fa
s
t_is_empty
:
avoid NULL p
o
inter d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: a
v
o
i
d
accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_access_in
f
o_compute_flow:
a
v
o
id NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_input
.
c: obj_read: avoid NULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl
_
map_subtract
.
c
:
tab_add_co
n
strain
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
laege
isl_t
a
b
.
c: close_row: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
m
ap_s
i
mpl
i
fy
.
c: rem
o
ve_d
u
pl
i
cate_divs
:
av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_affine_
h
u
l
l: av
o
id N
U
LL poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_ta
b
_
a
dd_eq: return int
instead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
a
ege
isl_map_simplify
.
c: remove_dup
l
i
cate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
is
l
_map_s
i
m
p
lify
.
c: eliminate_divs_ineq: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoo
l
a
e
ge
isl_basi
c
_map_eliminate_var
s
:
avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_samp
l
e
.
c: interval_sample
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
g
e
isl_sample
.
c: d
r
op_constraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_
d
efined_va
r
_list: a
v
o
i
d double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
doolaege
isl_
b
a
s
ic_m
a
p_intersect: a
v
oid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_sample
.
c:
gbr_samp
l
e: avoi
d
NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
is
l
_test
.
c: a
v
o
i
d NULL p
o
inter
d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_t
e
st: avo
i
d
access
i
ng basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inp
u
t
.
c: rea
d
_defined_var_li
s
t: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
aeg
e
isl_m
a
p_co
n
vex_hul
l
: avoid
N
ULL po
i
nt
e
r der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoo
l
aege
is
l
_b
a
si
c
_map_normaliz
e
_constraints: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl
_
ba
s
ic_map_total_dim: avoid N
U
LL po
i
nter derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_bas
i
c
_map_ord
e
r_divs: avoid
NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_
c
o
nvex_
h
ull
.
c: is
l
_ba
s
i
c
_se
t
_
add_e
q
uality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_convex_hul
l
.
c: comp
u
te_facet: av
o
id NULL po
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
next