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_tab_pip.c: sol_map_init: avoid NULL pointer dereference
2010-06-26
Sven Verd
o
o
laege
isl_tab_p
i
p
.
c: sol_
m
ap
_
i
n
it:
av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_intersect_do
m
ain: avo
i
d N
U
LL
p
ointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_flow
.
c: compute_val_ba
s
ed_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_flow_allo
c
: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_access_
i
n
f
o_compute_flo
w
: fix error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_{
s
et,
m
ap}_fas
t
_is_empty: avoid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
i
sl_
f
low
.
c: avoid accessin
g
dim fiel
d
di
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_i
n
fo_co
m
pute_flow
:
avoi
d
N
U
LL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
input
.
c: obj
_
re
a
d
: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_map_subtract
.
c: t
a
b_add_
c
onst
r
aints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab
.
c: close_ro
w
:
fix erro
r
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_map_
s
implify
.
c: remove_d
u
plicate_divs: avoid
N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_basic_map_a
f
f
in
e
_hull:
a
void NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
isl_ta
b
_
a
dd_eq: return int inst
e
ad
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
isl_map_simp
l
ify
.
c: rem
o
ve_du
p
licate_c
o
nstrain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_map_simplify
.
c: eliminate_divs_ineq
:
av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ola
e
ge
i
sl_ba
s
ic_map_eliminate_
v
ars: avoid NUL
L
po
i
nter
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
aege
isl_sample
.
c:
i
nter
v
a
l_
s
ample:
avoid NUL
L
p
o
inter deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdo
o
la
e
ge
isl_sa
m
ple
.
c: drop_c
o
nstra
i
nts
_
involving
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
tream
_
new: re
a
d
_defined_var_list: avoid d
o
ub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_intersect: a
v
oid NULL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_sampl
e
.
c: gbr_sampl
e
:
a
void NULL pointer
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_test
.
c:
a
void NUL
L
p
ointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test: avoid
accessi
n
g basic set inter
n
a
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c:
r
ead_
d
efined_var
_
list
:
av
o
id
do
u
ble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_conve
x
_
h
ull: avoid NULL
p
oin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_map_normalize_
c
onst
r
aints: av
o
id
N
ULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl
_
basi
c
_map_tota
l
_dim:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic
_
map_order_
d
ivs: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
isl_c
o
nvex_hull
.
c: isl_bas
i
c_s
e
t_add_
e
qu
a
lity: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_conve
x
_
h
ull
.
c: compute_
f
acet: avoid
N
ULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
is
l
_test
.
c
:
map_is_equal: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
lae
g
e
isl_dim
.
c: copy_names: c
h
eck input
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
dim_dup: check in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
i
sl_b
a
sic
_
map_cow
:
c
h
eck res
u
lt o
f
all
o
c
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new_str: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
l
a
ege
isl
_
stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_tab_pip
.
c: fi
x
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
i
sl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_po
l
y
nomial
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoola
e
ge
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl
_
morph
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoola
e
ge
is
l
_
m
ap
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
i
s
l_m
a
p_
s
i
mpli
f
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_input
.
c: accep
t
m
or
e
g
e
neral
a
ffine ex
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add isl
_
v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
a
d
d isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add is
l
_map_is_tr
a
nslation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
export
isl_
q
p
olynomial_i
n
volv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_p
o
lynomial
.
c:
add miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
er
d
o
olaege
isl_map_transi
t
ive_closure: ch
e
c
k
whether
d
ecomposi
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl
_
stream_f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoola
e
g
e
ad
d
isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
dool
a
ege
add rudimentary error report
i
n
g
m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avoid potential memory
leak on
erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Verdoolae
g
e
d
o
c: document
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
o
olae
g
e
isl
_
tab_pip
.
c
:
compare
a
ll coefficien
t
s
w
he
n
che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_
p
w_qpol
y
nomial{,_fo
l
d}_g
i
st:
u
se s
i
mple hull i
n
s
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add i
s
l_
s
et
_
set_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
a
dd isl
_
s
tream_read_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc:
fix
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
isl_qpolyn
o
mial_lift: fix l
i
fting in absen
c
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
op
t
ionally (and b
y
default) use
b
e
r
nstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
privately e
x
p
o
rt isl
_
qpolyno
m
ial_fold_fold
_
on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_pw_qpol
y
n
o
mial
_
fold_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add parametric vertex enumerat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
add isl_morph_dom_dim
and isl_morph
_
ran
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_
b
as
i
c_map_is_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolae
g
e
privat
e
ly export
isl_basic_
s
et_sort
_
constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
isl_t
a
b
_
detect_implicit_e
q
ual
i
ties: also dete
c
t manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab: optionally only mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolae
g
e
generalize is
l
_
p
w_
q
pol
y
nomial_bound to isl_pw_qpo
l
ynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
t
ra
c
t ou
t
generic part
o
f
isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_
p
w_qpolynomia
l
_
bound_range: also
set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
a
d
d
isl_
b
asic_set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
export
i
s
l
_pw_qpolynomial_fold
_
drop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_qpolynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpo
l
ynomial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
sl_qp
o
lynomial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
la
e
ge
export isl_qpoly
n
omi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
add i
s
l_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
is
l
_qpolynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
add isl_qpoly
n
o
mial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verd
o
olaege
add isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
i
s
l_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
is
l
_tab_detect_implici
t
_equalities:
return
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_tab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
isl_tab_select_facet:
r
e
t
urn in
t
inst
e
ad o
f
isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ba
s
ic
_
set_ful
l
_compress
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
priv
a
tely expor
t
i
s
l_pw_qpolynom
i
al_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyno
m
ial_fold_foreach_q
p
olyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
sl_
p
w_qp
o
lynom
i
al_fol
d
_
f
o
reach_lifted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_pw_qpo
l
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately expo
r
t
i
sl_m
o
r
p
h_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add isl_q
p
oly
n
omial
_
f
o
ld_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
e
xport isl_pw_qpolynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
i
s
l_ctx
_
peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
i
sl_range
.
c
: fix
t
y
p
o in comment
commit
|
commitdiff
|
tree
next