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_divs: avoid NULL pointer dereference
2010-06-26
Sven Verdoolaege
i
sl_ma
p
_simplify
.
c: re
m
ove_duplicate_divs: a
v
o
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_ma
p
_
a
ffine_hull: avoi
d
N
U
LL pointe
r
de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
i
sl_
t
a
b_ad
d
_eq: return int inst
e
ad of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_simplify
.
c: remove_duplicat
e
_const
r
aints: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
ma
p
_s
i
mp
l
ify
.
c: eliminate_divs_ineq: a
v
o
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_basic_map_eliminate_v
a
r
s
:
avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_
s
ample
.
c: in
t
e
r
val_
s
ample:
a
v
o
id
N
U
LL
p
o
i
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl
_
sample
.
c: drop_co
n
straints_invol
v
ing:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_s
t
r
e
am_new
:
read_d
e
fined_v
a
r_list: av
o
id double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
ae
g
e
isl_basic_map
_
in
t
ersect: avoid
N
ULL p
o
in
t
e
r de
r
efere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l
_sample
.
c: gb
r
_s
a
mple: avo
i
d NULL point
e
r derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaeg
e
isl_t
e
s
t
.
c: avoid NU
L
L
p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tes
t
: a
v
oid acce
s
sing basic set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
sl_input
.
c: read_
d
efin
e
d_va
r
_list: avoid d
o
uble
f
re
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
map_conv
e
x
_hull
:
avoid NULL point
e
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_basic_map_normal
i
z
e
_co
n
stra
i
n
ts: a
v
oid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_basic_map_to
t
al_dim
:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaeg
e
i
s
l_basic_map
_
order_d
i
vs
:
avoid NULL poin
t
er
d
e
re
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_hull
.
c: isl_ba
s
ic_set_add_eq
u
ality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_c
o
nvex_hul
l
.
c: comput
e
_
facet: avoid N
U
LL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_test
.
c
:
m
ap_is_eq
u
al: chec
k
i
np
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_dim
.
c
: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
doolaege
isl_basic_map_cow
:
ch
e
ck re
s
ult of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_stre
a
m_ne
w
_str: check result of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
olae
g
e
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoola
e
ge
isl_tab_pip
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aeg
e
isl_tab
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
i
s
l_morp
h
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
e
g
e
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c: accept mor
e
general affin
e
expressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaege
ad
d
isl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add is
l
_v
e
c_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolae
g
e
a
d
d
i
s
l_
m
ap_
i
s_tr
a
nslation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
export i
s
l_qpolyno
m
ial_i
n
volves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoola
e
ge
i
s
l
_
p
olynomia
l
.
c: add missin
g
inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
isl_map_tra
n
sitive_closu
r
e
:
check whether de
c
omp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
doolaege
add isl_stream
_
flu
s
h_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add is
l
_str
e
a
m
_s
k
ip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n V
e
rdoolaege
add rudim
e
ntary
e
rror reportin
g
m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
r
d
oolaege
isl_p
o
int_alloc
:
avoid potential mem
o
r
y
lea
k
on
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n Ver
d
oolaege
doc:
docum
e
nt isl_map_del
t
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven
Ver
d
oolaeg
e
isl
_
tab_p
i
p
.
c: compare all coef
f
icients when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoolaeg
e
isl_pw_qp
o
l
ynomial{
,
_f
o
ld}_gis
t
: use simple hull ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdo
o
laege
add isl_set_set_
d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
g
e
ad
d
isl_stream_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doola
e
ge
doc:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
isl_
q
p
o
l
y
nomial_
l
ift:
fix lifting in absenc
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
option
a
l
ly (
a
n
d by default) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
privately expor
t
isl_q
p
olynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
i
s
l_
p
w_qp
o
lynomi
a
l_fold_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verd
o
olaege
add
parame
t
ric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add isl_mo
r
p
h_d
o
m_dim and
i
s
l_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaeg
e
a
d
d
isl_basic_map_is
_
r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
pr
i
vately
e
xport
isl_basic_s
e
t
_sort_
c
onstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab_det
e
ct_impl
i
cit_equal
i
ties: also
detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab:
o
ptional
l
y only mark strictly re
d
und
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
g
en
e
raliz
e
isl_pw_qpolynom
i
a
l_bound to i
s
l_pw_
q
polyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
ege
ext
r
act out generic pa
r
t o
f
i
s
l_pw_qpol
y
nom
i
a
l_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_pw_qpolynomial_bound_
r
ange: also s
e
t exact
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
add isl_bas
i
c_set_factori
z
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_
q
polyn
o
mial_fold_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
export isl_qpolynomial_i
s
_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ad
d
is
l
_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lynomial_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
e
xpo
r
t i
s
l_qpolynom
i
a
l
_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
add
isl_qpolynomi
a
l_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
add isl_qpolyno
m
ial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaeg
e
add isl_qpolynomial_
i
nsert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add i
s
l_qp
o
lyno
m
ial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab
_
detect_implicit_equalities: r
e
turn
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd isl_tab_s
i
gn_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_tab_select_fa
c
et
:
ret
u
r
n
int instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_
b
asic
_
set_full_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
private
l
y expor
t
isl_pw_qpo
l
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_
q
polynomial
_
fold_fore
a
ch_qp
o
lynom
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_pw_qp
o
lynomial_fo
l
d_foreach_lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
e
x
port isl_pw_q
p
oly
n
o
m
ial_fold_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privat
e
l
y
e
xport isl_morph_a
l
loc and
i
s
l
_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_qpolyn
o
mial
_
fold_
g
et_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export isl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_ctx_pe
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
ool
a
ege
isl_rang
e
.
c
: fix typo
i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
i
s
l_bound: p
l
ug
m
e
m
o
ry lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
lae
g
e
fix
i
s
l
_qp
o
l
y
no
m
ial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_pw_
q
polynomial_bound_range: fi
x
removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
la
e
ge
add bo
u
nd_
t
est
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoo
l
aege
doc: doc
u
ment gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: document isl_constraint_is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verdo
o
laeg
e
add isl_ma
p
_is_single_v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n V
e
rdo
o
laege
is
l
_basic_map_
f
oreach_constra
i
nt: make sur
e
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_basic_map_
c
opy:
mark duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic
_
set_
l
ift: f
i
n
alize
res
u
lt
commit
|
commitdiff
|
tree
next