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
S
v
en Verdoolaege
isl_transitive_closu
r
e
.
c
:
fix
d
o
uble f
r
ee o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl
_
map_gist: use simp
l
e hull instead
o
f conv
e
x hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoola
e
ge
isl_map
.
c: fix
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
ge
isl_cat: read generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_printer: add
NUL
L
ch
e
cks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
aege
make isl_obj_
n
one a c
o
nstant
e
xpress
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
d
o
olaeg
e
add isl_map_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_map_
f
ast_
i
s_universe: also d
e
tect redu
n
d
ant represe
n
t
a
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoo
l
aege
add isl_map_reac
h
ing_path_lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoo
l
a
ege
isl_map_
p
ower: delay eq
u
ating path lengths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdool
a
ege
isl_map_power: appl
y
F
l
oyd-Wa
r
shal
l
to
compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdool
a
ege
i
sl_
m
ap_l
e
xmax: produce less
c
r
yptic
error
mess
a
ge
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
fix isl_
b
asic_map_m
o
ve_di
m
s in presenc
e
of existentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolae
g
e
isl_te
s
t:
drop
d
ebuggi
n
g output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdool
a
ege
isl_t
r
ansitive_closur
e
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n V
e
rdoolaege
fix isl_map_lex_ge and isl_
m
ap_
l
ex_le in the zero-
d
i
mens
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
ven Verdoolaege
isl_printer
_
print_map: replace variab
l
e by its d
e
finition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
rdoolaege
p
rivat
e
ly
e
x
port
isl_ba
s
ic_map_fast_c
m
p and
i
sl_bas
i
c_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
is
l
_dim_se
t
_nam
e
:
do
n
't acce
p
t nam
e
s th
a
t look lik
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
To
b
ias G
r
osser
Remove co
m
ma
at the e
n
d o
f
enumeration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
Ve
r
doola
e
ge
isl_c
o
nvex_hull
.
c
:
a
void s
i
de
-
effe
c
ts i
n
cal
l
s to isl
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n
V
erdo
o
laege
add isl_hash_buil
t
in
commit
|
commitdiff
|
tree
2010-07-04
Sven Ver
d
oolaege
add i
s
l_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en
V
erdoolae
g
e
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
M
a
ke
f
ile
.
a
m
: really include
i
nclu
d
e
/
i
sl
_
ve
r
t
i
ces
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add is
l
_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc: fix
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
d
oolaege
d
oc: drop duplicat
e
booktitle from Kel
l
y
1996clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
Verdoolaeg
e
doc: use m
o
re e
x
pli
c
it not
a
tion to av
o
id confus
i
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
r
d
oolae
g
e
ad
d
isl_const
r
aint_is_d
i
v_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl_map_simplify
.
c: sep
a
r
a
te out isl_basic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_basic_map_f
r
om_constra
i
nt: keep a
l
l divs, e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_b
a
sic_map_from_constraint: only return copy
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
Verdoolaege
isl
_
constraint_ad
d
_div
:
correctl
y
set l
i
ne to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
laege
i
s
l_p
i
p: rename pip_options to av
o
i
d
conflict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
conve
x
_hull
.
c: initia
l
_facet
_
c
o
nstraint: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe backward incompatible ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
do
c
: mentio
n
d
iscussion
g
rou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
rename isl
_
basic_map_conv
e
x_hull to isl_b
a
sic_ma
p
_
remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_affine_hull
.
c:
outside_point: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_tab_rollback: avoid double free on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_tab
.
c: tab_mat_
p
roduct
:
a
v
oid NULL
p
oi
n
ter der
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_extend_cons: avo
i
d N
U
LL pointe
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
implement antiqua
t
ed is
l
_basic_set_n
_
* in terms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
ge
isl_map
_
convex
_
hull: avoid N
U
LL point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_valid_e
q
: ret
u
rn int instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_affine_hull
.
c: affin
e
_
h
ull_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_equalities
.
c: pa
r
ameter_compression
_
mult
i
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map
_
project_out: avoid NULL p
o
inter d
e
refe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_coalesce
.
c:
c
oalesce_pair
:
a
vo
i
d NULL poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
i
s
l
_convex_hul
l
.
c: extend: fix erro
r
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
i
m
p
l
e
me
n
t anti
q
uate
d
isl_set_n_* in te
r
ms of isl_se
t
_d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
dool
a
ege
isl_map_
s
i
m
p
lify
.
c
:
n
ormalize_divs
:
av
o
id NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl_i
n
put
.
c
:
v
ars_dro
p
: fix er
r
or ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
nvex_hull
.
c: use
t
_con
v
ex_hull_wrap_bou
n
de
d
:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_set_wrap_f
a
c
et: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_min
:
a
void N
U
LL poi
n
ter
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c:
e
xtend_a
f
fine_h
u
ll: avoid NULL p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_ma
p
_e
x
tend: plug memory leak
o
n error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affine
_
hu
l
l
.
c: equali
t
i
e
s_in_un
d
er
l
ying_
s
e
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_s
e
t_preima
g
e:
a
void NU
L
L
pointer dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
do
o
l
ae
g
e
i
s
l_tab_pip
.
c: no_sol_in_
s
trict: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
i
s
l_affine_hull
.
c:
equa
l
i
t
ies_in_u
n
d
e
rlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affine_hul
l
: fix e
r
ro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_projec
t
_out: fix error
r
eturn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map
_
inte
r
sect
_
ra
n
ge: a
v
oid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaeg
e
isl_tab
_
pip
.
c: find_sol
u
t
i
ons: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolae
g
e
isl_basic_map_alloc_dim:
fix
e
rro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_basi
c
_map
_
inte
r
sect: avo
i
d NULL pointer d
e
r
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_tab_pip
.
c: sol_m
a
p_in
i
t: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
do
o
laege
isl
_
basi
c
_ma
p
_intersect_domain:
avoid
N
U
LL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
f
lo
w
.
c: compute_
v
a
l_b
a
sed_depe
n
d
ence
s
:
f
ix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_f
l
ow_alloc: fix e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
g
e
isl_access_info_com
p
u
t
e_flow: fix error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_{
s
et,map}_fas
t
_is_em
p
ty: avoi
d
NUL
L
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_f
l
ow
.
c: avoid accessi
n
g dim field dir
e
c
t
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
la
e
ge
isl_acce
s
s_in
f
o_co
m
pute_f
l
ow:
a
v
oid
N
ULL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_m
a
p_subtr
a
ct
.
c: tab_add_con
s
traints
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab
.
c: close_row:
f
ix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
ola
e
ge
isl_map_si
m
plify
.
c:
r
e
m
o
ve_
d
upl
i
cate_divs:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_
m
ap_affine_h
u
ll
:
avoid NULL poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l
_
tab_add_eq: re
t
urn
int ins
t
ead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_map_simplify
.
c
:
remove_duplic
a
te_c
o
nstr
a
ints: a
v
oi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
o
la
e
ge
isl_map_s
i
mplify
.
c
: el
i
minate_divs
_
ineq: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_
b
asic_m
a
p_elimina
t
e_vars: avo
i
d NULL pointer
d
erefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erd
o
o
l
ae
g
e
i
sl_sample
.
c
: interval_sam
p
l
e: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
a
ege
i
s
l_sample
.
c
: dr
o
p_constraints_involvin
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_defined_var_lis
t
: avoid doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
dool
a
ege
isl_basic_ma
p
_intersect: avoid NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_sample
.
c:
g
br
_
sa
m
pl
e
:
avoid NU
L
L
poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_
t
est
.
c: avoid N
U
L
L p
o
in
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doo
l
aege
isl_te
s
t: avoid accessing ba
s
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_i
n
put
.
c
:
read
_
defined_var_list: a
v
oid d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
is
l
_map
_
conv
e
x_hull: av
o
i
d NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_ba
s
ic_map_n
o
r
m
ali
z
e_constraints: avoid
N
U
L
L p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l
_basic_map
_
total_
d
i
m: avoid NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_order_divs:
avoid NULL po
i
nter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
is
l
_convex_hull
.
c: isl_basic_set_
a
dd_equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
next