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_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
is
l
_map_s
i
mplify
.
c: eliminate_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oola
e
ge
isl
_
basic_map_el
i
minate_vars: avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
a
m
ple
.
c: i
n
te
r
v
al_sample:
a
void NU
L
L poin
t
er d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_samp
l
e
.
c: drop_constraints_
i
nvolving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
eg
e
isl_str
e
am_new: read_defined
_
v
ar_list:
a
void
d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl_basic_map_intersect:
a
void NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l
_s
a
mple
.
c:
g
br_sample: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_t
e
st
.
c:
a
void NULL p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_test:
a
v
oid accessi
n
g ba
s
i
c
set in
t
ernals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_input
.
c: read_defi
n
ed_var_list
:
av
o
id
double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
m
ap_conv
e
x
_
hull: avoid NULL p
o
inter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
bas
i
c
_map_normalize_constraints: a
v
oi
d
NULL
poin
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_ma
p
_total_di
m
: avoid NULL
p
ointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
dool
a
ege
i
s
l_basic_
m
ap_order_divs:
a
void NU
L
L po
i
nter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aeg
e
isl
_
conve
x
_
hull
.
c: isl_basi
c
_set_
a
dd_equality: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
c
onve
x
_hull
.
c
:
c
o
mpute_facet: av
o
id N
U
LL
poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_tes
t
.
c:
m
a
p_is_
e
qual: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c: cop
y
_na
m
es: chec
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
a
e
ge
isl
_
dim_dup
:
c
h
ec
k
input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_co
w
: c
h
eck resul
t
of allocatio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_stre
a
m
_new_str: check result of
a
l
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
e
rdool
a
ege
isl_s
t
ream
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_polynomial
.
c
:
f
ix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoola
e
ge
isl_verti
c
es
.
c:
f
ix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
er
d
oolaege
isl_morph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doo
l
aeg
e
isl_map
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_map_simplify
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_input
.
c: accept m
o
re general affine
e
xpressions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_s
e
t
_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sve
n
Verd
o
olaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Verdoolaege
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en
V
erdoolaege
isl_polynom
i
al
.
c: a
d
d missing includ
e
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_map
_
transitive_closur
e
: chec
k
w
hether
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d is
l
_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoola
e
ge
add rudimentary erro
r
reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laeg
e
add is
l
_ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rd
o
o
l
aege
i
sl_point_alloc: avoid potential memor
y
leak o
n
err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: do
c
ume
n
t isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoola
e
ge
i
s
l_tab
_
p
i
p
.
c: compare all coefficients
w
hen checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoola
e
ge
i
sl_pw_qp
o
l
y
nomial
{
,_fo
l
d}_gist: use
s
i
m
ple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
e
ge
add isl_strea
m
_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_qpoly
n
o
m
ial_lift: fix lifting in
absence
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
optiona
l
ly (and
b
y
d
e
faul
t
) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
pri
v
a
tely e
x
port isl_qpolynomial_fol
d
_fold
_
on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolyn
o
mial_
f
o
ld_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
add parametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add isl_mo
r
ph
_
dom_dim and isl_m
o
rph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
ad
d
isl_basic_m
a
p
_
is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
do
o
laege
pr
i
vately export isl_ba
s
ic_
s
et_
s
ort_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab_detect_impl
i
cit_eq
u
al
i
ties: also
detec
t
mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
isl_tab:
optionally
o
nly mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
generali
z
e
isl_pw_qpolynom
i
al_b
o
und to isl_pw_qpolyn
o
m
ia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
extract
o
ut generic pa
r
t of isl_pw_
q
polynomia
l
_bou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_p
w
_qpo
l
ynomial
_
bound_rang
e
: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_basic_set_factorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
export isl_
p
w_qpo
l
ynomial_fold_drop_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
ege
export
isl_qpoly
n
omial
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd i
s
l_qpol
y
no
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl
_
qpolynomial_from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export isl_qpoly
n
omial_
a
dd_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
a
d
d isl_q
p
olynomial_ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
a
dd isl
_
q
p
olynomi
a
l_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
a
d
d isl_q
p
olynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect
_
i
m
pli
c
it_equa
l
i
t
ies: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_t
a
b_
s
elect_facet: return in
t
instead
o
f i
s
l_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
isl_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
privately e
x
port isl_pw_q
p
olynomia
l
_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
isl_q
p
olynomia
l
_fold_foreach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add is
l
_pw_qpoly
n
om
i
al_fold
_
fore
a
c
h
_lift
e
d_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
expor
t
isl_pw_qpolynomial_fold_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
pri
v
ately export isl_mo
r
ph_a
l
loc
a
nd isl_mor
p
h_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpolynom
i
al_fold_get_
t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
e
xpor
t
isl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
ol
a
e
g
e
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
isl_r
a
n
ge
.
c
:
fix
t
y
p
o in
c
omment
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaeg
e
expor
t
i
sl_s
e
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bou
n
d
:
plu
g
memory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
fi
x
i
sl_qpolynomial
_
f
o
l
d_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolyno
m
i
al_bound_range: fix removal
o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
d
d b
o
und_
t
es
t
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
S
ven Verdoolae
g
e
doc: document gist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olae
g
e
doc: document isl_c
o
nstraint_is_eq
u
alit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
a
d
d is
l
_map_is_sin
g
le_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
e
r
d
o
olaege
isl_basi
c
_map_foreach_constraint: mak
e
sure
in
p
ut h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
r
d
o
o
laege
isl_basi
c
_map_cop
y
:
m
ark duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_set
_
lift: fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
i
sl_basic_map_
m
o
ve_dims: always finali
z
e r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_m
a
p_from_constrain
t
: fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
rd
o
olaege
i
s
l_access_info_
c
ompute_flow: handle may acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_ac
c
e
ss
_
info_compute_flow
:
handl
e
multi-va
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
next