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
Sv
e
n Verd
o
o
laege
isl_tran
s
itive_
c
losure
.
c:
f
ix double free
o
n
er
r
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_ma
p
_
g
ist: us
e
simple h
u
ll in
s
t
e
ad of co
n
vex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoo
l
aege
is
l
_
ma
p
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_cat:
r
e
a
d generic object
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Ver
d
oolaege
isl_printer: add
N
ULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make isl_obj_none a constant expressio
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Verdoolaege
add i
s
l_map_
g
et_c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoo
l
aege
isl_map_f
a
st_is_universe: also detect redundant rep
r
e
s
entati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolae
g
e
ad
d
i
sl_map_reac
h
ing_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_m
a
p_powe
r
: delay
equating path lengths to pow
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Ve
r
dool
a
e
ge
isl_map_power:
apply Floyd-
W
arsha
l
l
t
o co
m
pute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ver
d
ool
a
ege
isl_m
a
p_lexmax: pr
o
duc
e
less crypt
i
c er
r
or m
e
ss
a
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoolaege
fix
i
sl_basic
_
m
a
p_move_dims
i
n p
r
esenc
e
of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
Verdoo
l
aeg
e
is
l
_
t
es
t
:
dr
o
p debugging
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
isl
_
transit
i
ve_closure
.
c: fix typo in com
m
ent
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven V
e
rd
o
olaege
fix isl_map_lex_ge and isl_m
a
p_le
x
_le
i
n the z
e
ro-d
i
me
n
si
o
na
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Ver
d
oolaege
isl_p
r
inter_print_
m
ap: r
e
p
l
ace variable by its definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdo
o
la
e
ge
p
rivate
l
y export isl_basic_map_f
a
st_cmp and isl
_
basic_
m
ap_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolae
g
e
isl_dim
_
set_name
:
don
'
t
acc
e
pt names
that look l
i
ke
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n Verdoo
l
aege
isl_con
v
ex_hu
l
l
.
c:
a
v
o
i
d
side
-
effects in calls to isl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoo
l
aege
a
dd isl_hash_
b
uiltin
commit
|
commitdiff
|
tree
2010-07-04
Sve
n
Verdoolaege
add
isl_i
n
t_get_s
t
r
commit
|
commitdiff
|
tree
2010-07-02
Sven Ve
r
doola
e
ge
doc:
fix some t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
M
akefi
l
e
.
am: rea
l
ly include i
n
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
a
dd
isl
_
map_is_
b
ijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc:
d
r
op
d
up
l
icate bookti
t
l
e from
Kel
l
y1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
Ver
d
ool
a
ege
doc: use more explicit notation to avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
add isl_const
r
aint_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdo
o
laege
isl_m
a
p_simplify
.
c: s
e
parate
out isl_basic_m
a
p_i
s
_div_
c
on
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_basic_map_from_con
s
traint: ke
e
p all divs, e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
a
ege
is
l
_basic_map_from_
c
o
n
s
t
raint:
only retu
r
n co
p
y of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Ver
d
oolae
g
e
isl_constraint_add_div: cor
r
ectly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Ve
r
doolaege
isl_p
i
p: r
e
name pip_option
s
to a
v
oid confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_co
n
vex_hull
.
c: initial_facet
_
con
s
traint: fix err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
doc: describe backward incomp
a
tible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
lae
g
e
d
o
c: men
t
i
o
n discussion
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
rename isl_basic_map_convex_hu
l
l to
isl_basic_map_
r
em
o
ve_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_affine_hull
.
c: outside
_
point: f
i
x error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab_roll
b
ac
k
: avoid double free
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l
_
tab
.
c: tab_mat_product: av
o
id
N
U
LL p
o
inter
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab_extend_cons:
a
void
N
ULL point
e
r
d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
a
ntiqu
a
te
d
isl_
b
as
i
c
_set_n_* in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
d
o
olaege
isl_map_c
o
nvex
_
hull: av
o
id NULL poi
n
ter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
s
l_tab_
a
dd_valid_eq: return int
instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_affine_hul
l
.
c
:
a
f
f
ine_hull
_
with_cone: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_equalities
.
c: paramete
r
_compression_m
u
lti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
i
sl_basic_m
a
p_projec
t
_out: av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_coalesce
.
c: coalesce_p
a
ir: avo
i
d NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
is
l
_con
v
ex_hul
l
.
c
: exten
d
: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
i
m
plem
e
nt antiquated isl_set_n_
*
in terms of isl_
s
et_
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_map_
s
implify
.
c: n
o
rmalize_divs: avoid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_inp
u
t
.
c: v
a
rs_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_convex_hull
.
c
:
u
s
et_convex_hull_wrap_bou
n
ded
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
is
l
_set_wrap_facet: fix
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
ool
a
ege
isl_tab_min: avoid NU
L
L
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_affi
n
e_hull
.
c: extend_
a
ffine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
i
s
l
_basic_
m
ap_ext
e
nd: plu
g
memory leak
o
n error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affi
n
e
_hull
.
c
:
equalities_in_underlying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_set_preimag
e
: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_
tab_pi
p
.
c
:
n
o
_
sol_i
n
_strict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
affine
_
hull
.
c: eq
u
alit
i
es_in_underl
y
ing_set:
p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laeg
e
isl_affine_hull
.
c:
a
ffine_hull: f
i
x erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_map
_
proje
c
t_out:
f
ix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
l
aege
isl_ba
s
ic_map_inter
s
ect
_
range:
avoid NULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_pip
.
c
:
find_so
l
utions: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_ba
s
ic_map_al
l
oc_dim: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
is
l
_basic_map_intersect
:
avoid N
U
LL poin
t
er
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_
t
ab_pip
.
c: sol
_
map_init
:
av
o
id
NULL
point
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_basic_map_intersect_domain: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
l
aege
isl_
f
l
ow
.
c: compute_val_b
a
sed_depe
n
de
n
ces: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_f
l
ow_alloc:
f
ix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_access_info_com
p
ut
e
_
f
low: fix err
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_{set,map}_f
a
st_is_empty
:
avoid
NUL
L
point
e
r
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_flow
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
ac
c
e
s
s_info_comp
u
t
e_flow: avoid NULL
p
oi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_i
n
put
.
c: obj
_
read: avoid NULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_subtract
.
c: tab_add_cons
t
r
a
i
nts: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_ta
b
.
c: close_row: fi
x
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_simplify
.
c: remove_du
p
lica
t
e_divs: a
v
o
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_basic_map_affine_hull: avoid NU
L
L pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_tab_add_eq:
r
e
turn int i
n
st
e
ad of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_m
a
p_si
m
plify
.
c
:
remove_duplicate_co
n
stra
i
nts: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_simplify
.
c: eliminate
_
divs_i
n
eq: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_bas
i
c
_m
a
p_eliminate_vars: av
o
i
d
NULL po
i
nter de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olae
g
e
isl_sample
.
c: interval_sampl
e
:
av
o
id NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
i
s
l_sample
.
c: drop_constraints_i
n
volving: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_stream_new: read_defined
_
var_list: avoid
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_basic_map_int
e
rsect: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c: gbr
_
s
a
mp
l
e: avoid NULL
pointer dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
ool
a
ege
isl_
t
est
.
c: a
v
oid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_test: avoid accessing
basic set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_
i
npu
t
.
c: read_defined_var_list: a
v
oid doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_ma
p
_
convex_hul
l
: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
a
e
g
e
isl_ba
s
ic_map_normalize_
c
onstr
a
ints:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
do
o
laege
is
l
_basic
_
map_tot
a
l_dim: avoid NULL pointe
r
d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_b
a
sic_map_order_divs: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
convex
_
hull
.
c
: isl_ba
s
i
c
_set_add_equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c:
compute
_
facet: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
next