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
S
v
en
Verdoolaege
isl_map_simplify
.
c
: eliminate_divs_i
n
eq: av
o
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_bas
i
c_map_e
l
imin
a
te_vars: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sam
p
le
.
c: i
n
ter
v
al
_
sampl
e
: avoid
N
ULL p
o
i
n
ter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaege
isl_s
a
m
p
l
e
.
c:
d
r
o
p
_
cons
t
rai
n
ts_involving: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
t
re
a
m_new: read_
d
e
f
ined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_bas
i
c_map_inter
s
e
c
t: avo
i
d
N
ULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gbr
_
sample: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoola
e
g
e
is
l
_te
s
t
.
c: avoid NULL pointer
d
erefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_t
e
st: avoid ac
c
essing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdool
a
eg
e
isl_inp
u
t
.
c: read_
d
efined_va
r
_list: a
v
oid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
i
sl_map_convex_
h
ul
l
: avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basi
c
_
m
ap_normaliz
e
_
constraints: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_
t
otal_dim: avo
i
d NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
is
l
_basic_m
a
p_order_divs: avoid NULL pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_c
o
nvex_hull
.
c: is
l
_bas
i
c_set_
a
dd_equa
l
it
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_hull
.
c:
c
om
p
u
te_f
a
c
e
t
: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_
t
est
.
c
:
map_is
_
equ
a
l: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_dim
.
c: co
p
y
_nam
e
s: check in
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
is
l
_dim_dup: check i
n
put
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basi
c
_map_c
o
w
:
c
h
e
c
k
result of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_
s
tream_new_str:
ch
e
ck r
e
sult of
a
l
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olae
g
e
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoo
l
aege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
i
s
l_
t
ab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
laeg
e
i
sl_po
l
ynomial
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ve
r
t
ices
.
c:
f
i
x ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_map
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoola
e
ge
isl_map_simp
l
if
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
i
s
l
_input
.
c
:
accept more
genera
l
affi
n
e express
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
add isl_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
add isl_set_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
exp
o
rt i
s
l_qpolynomia
l
_invol
v
es
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
isl_poly
n
omial
.
c: ad
d
m
issing include
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl_m
a
p_tran
s
i
tive_closure: check whether
d
ecompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaeg
e
add
i
s
l_stream_flush_t
o
ken
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add rudimentary er
r
or reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
a
d
d
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolae
g
e
is
l
_poin
t
_alloc: avoid po
t
ential memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verdo
o
laege
d
o
c:
document
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoolaege
isl_tab_pip
.
c: com
p
ar
e
a
l
l coefficients
whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
i
s
l
_pw_qpolynomi
a
l{,_fold
}
_gist: us
e
sim
p
le hull i
n
s
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
i
sl_se
t
_s
e
t_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
add
isl_strea
m
_rea
d
_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Verd
o
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_qpo
l
ynomial_
l
ift: fix lif
t
ing in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptionally (and by default)
u
s
e bernst
e
in
e
xpa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately
export i
s
l_qpo
l
ynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add isl_pw_qpolynom
i
a
l_f
o
ld_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd parametr
i
c ve
r
tex e
n
ume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add i
s
l
_
morph_dom_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
add isl
_
ba
s
ic_map
_
is_ratio
n
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
pri
v
a
t
ely export is
l
_
b
asic_set_sort_const
r
aints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_tab_d
e
tec
t
_i
m
p
l
icit_equalities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_ta
b
: o
p
tionally only mark
strict
l
y redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
general
i
ze isl_pw_qpolynomial_bound t
o
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
extract out generic part of isl_p
w
_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
is
l
_pw_qpolynomial_bound_range:
a
l
so
s
e
t exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add isl_basic_
s
e
t_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_pw_qpolynomial_
f
old_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
l
aeg
e
add
i
s
l_qp
o
lynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_qpolynomial_f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
o
rt isl_qpol
y
n
o
mial
_
a
d
d
_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add i
s
l_qpolynomial_h
o
mo
g
enize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ad
d
isl_qp
o
l
ynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynom
i
al_i
n
sert
_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
add isl_qpolynom
i
a
l
_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
isl_ctx: a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
isl_ta
b
_de
t
ect_imp
l
icit_equalit
i
es
:
r
e
t
urn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
g
e
add
i
sl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
laeg
e
isl_tab_select_facet: return int
instead
o
f i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
a
d
d
isl_basic
_
set_full
_
compression
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
priva
t
ely
e
x
port isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add isl_qpo
l
ynomial_fold_foreach_q
p
olynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
a
d
d is
l
_pw
_
qp
o
l
y
n
o
mial_
f
old_foreach_lifted
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
e
xport isl_pw_qpolynomial_fold_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
pr
i
vately e
x
port i
s
l
_morph_
a
lloc an
d
i
s
l_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
export isl_pw_qpolyno
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
a
ege
add isl_ctx
_
pe
e
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
i
sl_rang
e
.
c
:
fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
e
xport isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
i
sl_bound: pl
u
g memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
fix isl_qpolyn
o
m
i
al_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
i
s
l
_pw_qpolynomial
_
b
ou
n
d_range:
f
ix remova
l
of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
boun
d
_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ver
d
oolaege
doc: docu
m
ent g
i
s
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaege
doc: document isl
_
const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ven V
e
rdoolaege
add is
l
_map_i
s
_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
e
g
e
i
sl_basic_map_
f
oreach_constraint:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_b
a
sic_map_copy:
mark dupli
c
ated
c
opy as
f
inali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoolaege
isl_basic_set_lift: finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic
_
map_move_di
m
s: always finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
isl_basic
_
map_from_co
n
straint: fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
isl_a
c
c
es
s
_inf
o
_comput
e
_flo
w
: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
e
r
doolaeg
e
isl_a
c
cess_
i
nfo_com
p
ute_flow: h
a
ndle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
next