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
isl_map_si
m
plif
y
.
c: remo
v
e
_du
p
lic
a
t
e
_constraints: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_simplify
.
c:
e
limin
a
te_d
i
v
s_ineq: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_elimina
t
e_vars:
a
v
oid
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aeg
e
isl_sample
.
c: inter
v
al_samp
l
e: avoid N
U
LL
p
ointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sa
m
p
le
.
c:
d
rop_constraints_invol
v
ing:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_stream_new:
r
ead_defined_va
r
_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_basic_map_intersect: a
v
o
i
d
NULL poi
n
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gb
r
_sample: av
o
i
d
N
U
LL pointer dere
f
ere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
test
.
c
:
a
v
oid
N
ULL pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
t
e
st: avoid ac
c
e
s
s
ing
b
asic set
i
nternals
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_input
.
c:
rea
d
_defined_var_list:
a
void
double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_ma
p
_convex_hull: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic_map_normal
i
ze_constr
a
ints: avoid
N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_total_dim: avoid NULL pointer der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_ma
p
_order_di
v
s: avo
i
d NULL pointer dere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl
_
conve
x
_hul
l
.
c:
i
s
l_basic_s
e
t_ad
d
_e
q
uality
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
is
l
_conve
x
_hull
.
c: comput
e
_
f
acet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_
t
est
.
c: map_is
_
e
q
u
a
l: c
h
eck in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
dim
.
c:
c
opy_names: c
h
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
is
l
_d
i
m
_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_
m
ap_co
w
: ch
e
ck result of all
o
cation
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdo
o
laege
i
sl_strea
m
_
n
ew_str: check resu
l
t
of a
l
location
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl
_
stream
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
dool
a
ege
is
l
_tab_p
i
p
.
c
:
fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdool
a
ege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_ver
t
i
ces
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolaege
isl_mor
p
h
.
c
: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
l
aege
i
sl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoola
e
ge
isl_ma
p
_simplify
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
i
s
l_input
.
c: accept more general
a
ffine expressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
a
dd isl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
ad
d
isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add
isl_map_
i
s_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
r
doolaeg
e
export isl_qpolynomial_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
isl_polynomial
.
c:
add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rd
o
ol
a
e
ge
isl
_
map
_
transitive_
c
los
u
re: check whether decompos
i
tion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
isl_stream_fl
u
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
ven
V
erdo
o
laege
add isl_stream_s
k
ip_
l
in
e
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
olaege
add rudimen
t
ary
error report
i
ng me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ve
r
d
oolae
g
e
add isl
_
v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_p
o
int_al
l
oc: avoid
potential memo
r
y leak
o
n er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: do
c
ument isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaege
isl_tab_pip
.
c:
c
o
m
pare all coefficients
when ch
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
o
o
laege
isl
_
pw_qpol
y
nomial{,_f
o
l
d}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_
d
im_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_
s
tre
a
m_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_qpolynomial_lift: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
o
l
aege
optional
l
y (and by
d
e
fault) use
b
e
rnst
e
in e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
privat
e
l
y export isl_qpo
l
ynomial_fold_fold_o
n
_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
add isl_pw_q
p
olynomial
_
f
o
ld_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add parame
t
ric ver
t
ex enume
r
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_mor
p
h_do
m
_d
i
m and isl_
m
orph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
lae
g
e
ad
d
i
s
l_basic
_
m
a
p_is_r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
privately expo
r
t isl_bas
i
c_
s
et_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_detect_implicit_equ
a
lities:
a
l
so detect
manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
isl_t
a
b: optionally o
n
ly
m
ark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
g
e
n
eralize isl_
p
w
_
q
polynomial_bound to isl_pw_qpol
y
no
m
ia
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
extract
out generi
c
part of isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_pw_qpolynomial_bound_range: also set ex
a
ct
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add is
l
_basi
c
_
set_factoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export
i
sl_pw_qpo
l
y
n
omial_fol
d
_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaeg
e
e
xp
o
rt isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
ad
d
isl_qpoly
n
omial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
add isl_qpolynomial_from_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
exp
o
rt
i
sl_qpolynom
i
al_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add isl_qpolyn
o
mial
_
h
omogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ola
e
ge
add
isl_qpolynomial_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
add isl_qpo
l
y
n
o
m
ial_inse
r
t_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_
q
polynom
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
is
l
_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
_detect_i
m
plicit_equalit
i
es: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
add
i
sl_tab_sig
n
_o
f
_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
isl_tab_select_facet: retu
r
n int instead
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
eg
e
add isl_bas
i
c_set_full_compressi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
p
r
ivately export isl_pw_qpolynomial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpoly
n
omia
l
_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
er
d
oolaege
add isl
_
pw_
q
po
l
ynom
i
al_f
o
l
d
_
for
e
ach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
export isl_pw_qpolynomial_fold_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdool
a
ege
privately expo
r
t isl
_
morph_alloc an
d
isl_mor
p
h_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpoly
n
omia
l
_fold_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
ex
p
ort isl_pw_qpolynomial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
a
ege
add isl_ctx_pe
e
k_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
s
l
_range
.
c: fix typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
export isl_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
isl_bo
u
nd
:
plug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
fix
i
s
l
_
qpolynom
i
al_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
isl_pw_qpol
y
nomi
a
l_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add bound_test
.
sh to
d
istrib
u
t
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
d
o
c:
d
ocument
g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
doc: d
o
c
ume
n
t isl_con
s
tr
a
int_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdo
o
l
a
e
ge
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
o
olaege
isl_basic_
m
ap_forea
c
h_constraint: make sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basic_map_copy: mark duplicated copy
a
s
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_basic_set_lift:
f
i
naliz
e
res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
rdoo
l
aeg
e
isl
_
basic_
m
ap_mo
v
e_
d
ims: always
f
i
n
a
l
i
ze resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
is
l
_basic_map_from_constraint: fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
i
sl_access_
i
nfo_c
o
m
pu
t
e_flow: handle may a
c
cesses
commit
|
commitdiff
|
tree
next