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
add isl_map_is_bijective
2010-06-29
Sven Verdoolaege
add isl_map_is_bijecti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
d
o
o
laege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verd
o
ol
a
ege
do
c
: dro
p
dupl
i
cat
e
bookt
i
t
l
e from Kelly199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
d
o
c: use more explicit
n
otatio
n
to avoi
d
c
o
nfusio
n
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verd
o
olaege
add isl_c
o
nstra
i
nt_is_div
_
constrain
t
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
isl_map_simplify
.
c: sepa
r
ate out
isl_basi
c
_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
e
rdoolaege
isl_basic_map_from_
c
onstraint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
isl
_
basic_ma
p
_from_constraint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verd
o
olaege
i
sl_constrai
n
t_add
_
div: correctly set line
to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_pip:
r
ena
m
e p
i
p_options to
a
v
oid co
n
f
l
ic
t
wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_convex_hull
.
c: init
i
a
l_facet_constrai
n
t: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
doc
:
desc
r
i
b
e
b
a
c
kward
inc
o
mpatib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
ge
do
c
: mention discussion g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
renam
e
i
s
l
_basic_map
_
convex_hull to
isl_basic_ma
p
_
r
emove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_affine_hu
l
l
.
c: outside_poin
t
:
f
ix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_rollback: avoid double free o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aeg
e
isl_tab
.
c:
tab_mat
_
p
roduct:
a
v
oid NU
L
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_extend_cons: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rd
o
o
l
aege
implement an
t
i
quated isl_basic_set_n_* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_
m
ap
_
convex_h
u
l
l: avoi
d
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
t
ab_ad
d
_
v
a
lid_eq: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
a
ffine_hul
l
.
c: affine_hull_with_cone: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
equali
t
i
e
s
.
c:
parameter_compression_mul
t
i: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
i
sl_b
a
sic_
m
ap_project_out:
a
voi
d
NULL
pointer dere
f
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
is
l
_co
a
lesce
.
c: coalesce_pair: avoid NULL pointer de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_conv
e
x
_
h
ul
l
.
c
:
extend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
impleme
n
t
a
ntiquat
e
d i
s
l
_
set_n_* i
n
terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_s
i
m
p
lify
.
c: normalize_di
v
s: avoid N
U
LL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
i
nput
.
c
: va
r
s_drop:
f
ix
e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
isl_
c
onvex_
h
ull
.
c: uset
_
c
o
nvex_hull_wrap_bounded
:
fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaeg
e
isl_set_wrap_face
t
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_min: av
o
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_affine_hull
.
c
: ext
e
nd_a
f
fin
e
_hull: avoid NU
L
L p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
asic_map_extend: plug m
e
mory leak o
n
error
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l
_
affine_hull
.
c: equaliti
e
s
_
i
n_underlying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_bas
i
c_set
_
prei
m
ag
e
: avoi
d
NULL
p
o
i
nter
d
ere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab_pip
.
c: no_s
o
l_in_stric
t
: fi
x
e
r
r
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_affine_
h
u
ll
.
c:
equalities_in_
u
nderlyin
g
_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoola
e
ge
isl
_
a
f
f
i
ne_
h
ull
.
c: affine_hul
l
: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
i
s
l_map_project_out: fix e
r
ror
r
etur
n
value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_
b
asic_map_inte
r
sect_ra
n
ge: avoid NULL poin
t
er
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
t
a
b
_pip
.
c: find_so
l
utions: f
i
x e
r
ror
h
andl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_
m
a
p
_alloc
_
di
m
:
fix
e
rror
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_basic_map_intersect: avoid NULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_
t
ab_pip
.
c: sol_map_in
i
t
:
avoid
N
ULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
l
a
ege
isl_basic_map_intersect_doma
i
n
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_flow
.
c:
c
ompute_va
l
_b
a
sed_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ve
r
doolaeg
e
isl
_
f
l
o
w_alloc:
f
i
x error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_access_info_compute_f
l
ow: fix
e
r
ror
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaege
isl_{set,map}_fast_is_
e
mpty: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_flow
.
c: a
v
oid acce
s
sing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
o
l
aege
isl
_
access_inf
o
_compute_flow:
a
void NU
L
L
po
i
nt
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_rea
d
: avoid NULL pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
a
ege
isl_map_subtract
.
c: tab
_
add_constraints: a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab
.
c: close_row: f
i
x er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_map_simplify
.
c:
r
emov
e
_dupl
i
cate_di
v
s
: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_bas
i
c_map_affine_hull: av
o
id
N
UL
L
pointe
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_ta
b
_add_eq
:
ret
u
r
n
i
nt instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_map_simplify
.
c: remove_duplicate_constraints: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_
s
impl
i
fy
.
c
:
eliminate_d
i
vs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_map
_
e
l
imi
n
ate_vars: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verd
o
ol
a
ege
isl_samp
l
e
.
c
:
i
nterval_sample:
a
void NULL
p
o
inter der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
a
m
p
l
e
.
c: dro
p
_constraint
s
_involving: av
o
id
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
is
l
_stream_new:
r
e
a
d_
d
e
f
ined_var_li
s
t
:
av
o
i
d doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
b
asic_
m
ap_intersect: avoid NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_s
a
mpl
e
.
c: gbr_sample: avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tes
t
.
c: avoid NULL pointer der
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
test: avo
i
d a
c
cessing bas
i
c set inter
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c
:
read_def
i
ned_v
a
r_lis
t
: a
v
oid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_ma
p
_convex_hull: avoid
N
U
LL pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_basic_map_normal
i
ze_constraints
:
avoid NUL
L
pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
i
s
l_basic_map_tota
l
_dim: avoid NUL
L
po
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_order_divs: av
o
id
NULL
p
oi
n
ter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaeg
e
isl_convex_hull
.
c: isl_b
a
sic_set_add_equality
:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_convex
_
h
u
ll
.
c: compute_facet
:
avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_t
e
st
.
c
:
map
_
is_
e
qual:
c
heck inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
e
g
e
i
s
l_dim
.
c: copy_
n
ames: ch
e
ck
inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
_du
p
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_co
w
: check result of allocation
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
i
s
l
_st
r
e
am
_
new
_
s
tr: check re
s
ul
t
of
a
lloca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doola
e
ge
isl_stream
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_t
a
b_p
i
p
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
ol
a
ege
isl
_
t
ab
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_p
o
lynomial
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
olaege
isl
_
vertices
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_morph
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoo
l
aege
isl_map_simplif
y
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c: accept more gene
r
al affine ex
p
ress
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
lae
g
e
a
dd isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
olaege
add
i
sl_
s
et_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add is
l
_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export
isl_qpolynomial_i
n
volv
e
s_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
r
d
oola
e
ge
isl_polyn
o
mial
.
c
: add
m
issin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaeg
e
isl_
m
ap_
t
ransitive_closure: check whe
t
her d
e
com
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaeg
e
add
i
sl_
s
tream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaeg
e
add isl_stream_skip_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
ol
a
eg
e
add rudiment
a
r
y
e
r
ror reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
a
d
d
i
sl_v
e
r
sion
commit
|
commitdiff
|
tree
next