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: remove_duplicate_constraints: avoid NULL pointer dereference
2010-06-26
S
ven Verdoolaege
i
sl_map
_
simpli
f
y
.
c
: remove_du
p
licat
e
_const
r
aints
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_map_simplify
.
c: elimina
t
e_
d
ivs_ineq: av
o
id NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaeg
e
i
sl_b
a
sic_
m
ap_
e
l
i
m
i
nate_vars: avoid NU
L
L poi
n
ter d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_
s
ample
.
c: interval_sample: a
v
oid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_s
a
mple
.
c: drop
_
c
o
nstraint
s
_involving: a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
ol
a
ege
isl_stream_new: read_defined_var_list: avoid d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic
_
m
a
p_intersect: avoid NULL poi
n
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
is
l
_sa
m
ple
.
c
:
gbr
_
sample: avoid NULL poin
t
er
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_
t
est
.
c: avoid N
U
LL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
isl_test:
a
v
oid
accessing ba
s
ic set intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
i
s
l_input
.
c:
r
ead_d
e
fined_var_list: avoi
d
double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_map_con
v
e
x
_
hull
:
avoid NULL
p
ointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_basic_map_no
r
malize
_
constraints: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_bas
i
c
_map
_
total_dim:
avoid NU
L
L p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
e
g
e
i
s
l
_basic_map_
o
rder_divs: avoid NULL
p
o
inte
r
d
e
re
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolae
g
e
isl_convex_hu
l
l
.
c: is
l
_
b
asi
c
_
s
et_add_equal
i
t
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doo
l
a
e
ge
i
s
l_convex_hull
.
c: compute_facet: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
i
sl_test
.
c: map_is_equal: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oo
l
aege
isl_dim
.
c
:
copy_
n
ames: check in
p
ut
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l
_dim_
d
up: chec
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaeg
e
is
l
_basic_map_cow: check result o
f
a
l
locatio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl
_
strea
m
_
n
e
w_str: check result of allocatio
n
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
is
l
_stream
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_p
i
p
.
c:
f
ix
typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_tab
.
c
: fi
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_polynomi
a
l
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl
_
vertices
.
c: fix
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_m
o
r
ph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoolae
g
e
isl_
m
a
p
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
isl_m
a
p_
s
implify
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
i
s
l_input
.
c: accept more gener
a
l affine
e
xpres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add isl_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
oolaege
add isl
_
ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ve
r
doolae
g
e
a
d
d
isl_
s
et_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
S
ven Ver
d
oolaege
add is
l
_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olae
g
e
expo
r
t isl_qpol
y
nomia
l
_inv
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
l
aege
isl_polyno
m
ia
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
isl_map_tr
a
nsiti
v
e_
c
losure: check whether deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoo
l
aege
add i
s
l_stream_flush_token
s
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Ve
r
d
o
ola
e
g
e
a
dd isl_stream
_
skip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdoola
e
ge
add rudim
e
ntary
e
rr
o
r re
p
o
r
ting mec
h
ani
s
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
doolaege
add
i
sl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oo
l
aeg
e
i
sl_point_alloc
:
avoid potential me
m
o
r
y l
e
ak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
erdoolaege
doc: document isl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
e
n
V
erdool
a
ege
isl_tab_p
i
p
.
c: compare all coeffi
c
i
ent
s
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
isl
_
pw_qpolynomial{,_fold}_gist: use simple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
lae
g
e
add isl_set_
s
et_d
i
m_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_read_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_qpolynomial_lift: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
opt
i
o
nally (and by defa
u
lt) use bernstein
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
p
r
i
v
ate
l
y
export is
l
_qpoly
n
omial_fold_fold_on_d
o
main
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
a
d
d isl_pw_qpolynomi
a
l_fold_fore
a
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
add parametric verte
x
e
n
u
m
e
r
at
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add
i
s
l
_morph_dom_dim and isl_m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
i
sl_b
a
sic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdo
o
laeg
e
privately export
isl_basic_se
t
_
sort_constraint
s
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
is
l
_tab_detect_implici
t
_e
q
u
alities:
also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
isl_tab: opt
i
onally only
m
a
rk st
r
i
c
tly redun
d
ant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doo
l
aeg
e
generalize
i
sl_pw_qp
o
l
y
nomial_
b
ou
n
d to isl
_
pw_qp
o
lynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oola
e
ge
extrac
t
out generic
p
art of isl_pw_qpol
y
nomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
isl_pw_qpolynomial_bound_ran
g
e: also set exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
o
l
a
ege
a
dd is
l
_b
a
sic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
export isl_p
w
_qp
o
lynomial_fo
l
d_drop_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
dd isl_q
p
olynomial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
add
i
s
l_qpolynomi
a
l_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
add
i
sl
_
qpolynom
i
al_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ver
d
o
olaege
a
d
d isl_q
p
olynomial_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_q
p
ol
y
nomia
l
_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
a
d
d
i
sl_qpol
y
n
o
m
ial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
i
sl
_
ctx:
add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
olaege
is
l
_tab_detect_i
m
plic
i
t_eq
u
aliti
e
s: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_select_face
t
: return int i
n
stea
d
o
f
is
l
_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
oolaege
a
dd i
s
l_basic_set
_
full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately export isl_pw_qpolynomial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_q
p
olynomial_fold_f
o
reach_q
p
olynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_pw_qp
o
lynomial_
f
o
ld_for
e
ach_
l
i
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rd
o
o
l
aege
export isl_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
riva
t
ely expor
t
i
s
l_m
o
r
ph_a
l
loc
and isl_mor
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ad
d
isl_qp
o
l
y
n
o
mial_fold
_
g
et_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_
p
w_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_ctx_peek_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_rang
e
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_boun
d
:
p
l
u
g memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
fix isl
_
qpolynomial
_
fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
i
s
l_pw_q
p
olynomi
a
l_
b
ound_rang
e
:
f
i
x removal of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
b
ound_
t
est
.
sh
t
o
d
i
s
trib
u
t
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sve
n
Verdoolaege
doc:
d
o
cument gis
t
o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
doc: doc
u
m
e
nt
isl_c
o
nstraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_i
s
_sing
l
e
_
valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
i
s
l_basi
c
_map_foreach
_
co
n
st
r
aint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Ve
r
doolaege
isl
_
bas
i
c_map_copy: m
a
rk duplicated copy
a
s finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doo
l
aeg
e
isl_basic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_
b
as
i
c_map_move_dims: always f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_
f
r
om_
c
o
nstraint: finalize
result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
i
s
l
_access_info_compute_flow: handle may acces
s
es
commit
|
commitdiff
|
tree
next