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_flow.c: avoid accessing dim field directly
2010-06-26
Sven Verdoolaeg
e
isl_flow
.
c
:
a
v
o
id accessing dim field dire
c
t
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl
_
a
c
cess_info
_
c
o
mpute_flow: avo
i
d NULL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
inp
u
t
.
c: obj_rea
d
:
a
v
oid NULL p
o
inter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_su
b
tract
.
c: tab
_
a
dd_constraint
s
: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
i
s
l_tab
.
c
: close_
r
ow: fix err
o
r ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_simplify
.
c: rem
o
ve_dupl
i
cate_divs: avoid N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_ma
p
_affin
e
_
h
ull: avoi
d
NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
tab_add_eq:
return in
t
i
nstead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
map
_
simplify
.
c:
r
e
move_dupl
i
c
a
t
e_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_s
i
mplify
.
c: eliminate_divs
_
ineq: av
o
id N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_el
i
minate_vars: avoid NUL
L
p
oi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_sample
.
c
:
interval_sample:
avoid
N
ULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_sam
p
l
e
.
c:
d
rop_con
s
traints_in
v
olvin
g
: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_stream_new: read_defined_v
a
r_list:
avoid do
u
bl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
basic_map_
i
ntersect:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gbr_sample: av
o
id NU
L
L
p
ointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_test
.
c
: avoid NULL poin
t
er
derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
olaege
isl_t
e
st: avoid a
c
cessing basi
c
set inte
r
nals
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
in
p
ut
.
c: read_
d
efined_var_list: a
v
oi
d
double
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_con
v
ex
_
hull
:
avo
i
d NULL poin
t
e
r
de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl
_
basic_map_n
o
rmalize_constraints: avoid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_total_dim:
a
void NUL
L
pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_basic_map
_
or
d
er_divs: avoid
N
ULL pointer derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_conv
e
x_hull
.
c: isl_basic_set_add_equality:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
isl_convex_hull
.
c: compute_
f
acet: av
o
id NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tes
t
.
c: map_
i
s_equ
a
l: ch
e
ck input
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doo
l
aege
isl_
d
i
m
.
c
: copy
_
names
:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
d
o
ola
e
ge
isl_dim_dup: check
i
nput dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_bas
i
c
_
map
_
co
w
:
check
result
o
f
al
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_st
r
ea
m
_new_
s
t
r: check
r
esult o
f
allo
c
ation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
isl_t
a
b_pip
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdo
o
laege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_
p
olynomial
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_verti
c
es
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolae
g
e
isl_morph
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
isl_map
.
c:
fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
ol
a
ege
isl_m
a
p_simpl
i
fy
.
c:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
is
l
_input
.
c: accept
m
o
r
e
g
eneral aff
i
ne expressions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
add isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_sc
a
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
add isl_set_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
rdoolaege
ad
d
isl_
m
a
p
_
i
s_t
r
a
nsla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
S
ve
n
V
e
rdoolaege
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_
p
olynomia
l
.
c
:
a
d
d mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoo
l
aege
isl_map_
t
ransitiv
e
_closure: check whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
a
d
d
isl_stream_flush_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
o
laege
add
i
sl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdo
o
la
e
ge
add
rudimentary err
o
r reporting
m
echani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
ad
d
isl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
isl_p
o
int_allo
c
: avoid potential memory leak
o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
oolae
g
e
doc:
d
ocument
i
s
l
_m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_
t
a
b_pip
.
c: co
m
p
a
re all coeffi
c
ien
t
s
w
hen
c
heck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw
_
qpolynomial{,_
f
old}_gist: u
s
e si
m
ple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
lae
g
e
add
i
sl_set
_
set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven V
e
rd
o
o
l
a
ege
add isl_stre
a
m_
r
e
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolae
g
e
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_qpolyno
m
ial_
l
ift: fix lifting in a
b
s
ence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
optional
l
y (and by default) use b
e
rnstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privately export isl_qp
o
lynomial_fold_fold_on_d
o
main
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
add isl_pw_qp
o
lynomial
_
fol
d
_f
o
reach
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add
paramet
r
ic vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
ad
d
i
sl
_
morph_d
o
m_d
i
m and
isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
add
i
sl_bas
i
c_map_
i
s_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
p
r
ivately expo
r
t isl_
b
asic_s
e
t
_
sort_constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_
t
ab_de
t
ect_
i
mplicit_equalitie
s
: also det
e
ct manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
a
b: opt
i
onally only
mark s
t
rictly
r
e
du
n
d
ant row
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
generalize isl_pw_qp
o
lynomial_bound t
o
is
l
_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
extract out generic p
a
rt of is
l
_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl
_
pw_qpo
l
ynomial_
b
o
u
nd_
r
ange: also set exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
add isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
exp
o
rt
i
sl_pw_qpolynomi
a
l_fold_
d
rop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
expo
r
t
isl_qpolyno
m
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
add isl_qpolynomial_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomi
a
l
_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_qpolyn
o
m
i
al_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add
i
sl_qpolynomial_h
o
moge
n
iz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
d
d isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoo
l
aege
add isl
_
q
polynomial_insert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd
i
sl_
q
p
o
l
y
no
m
ial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_tab_detect
_
i
mplicit_equalitie
s
:
r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
e
g
e
a
dd isl_tab_sign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olae
g
e
i
sl_tab
_
se
l
ect_f
a
cet: retu
r
n int
i
nstead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_basic
_
s
e
t_full
_
compre
s
sion
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
privat
e
ly export i
s
l_pw
_
qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oo
l
aege
add
is
l
_q
p
o
lynomia
l
_f
o
ld_f
o
reach_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_pw_q
p
olynomial_fold_f
o
r
each_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olae
g
e
export
i
sl_pw_qpolynomi
a
l_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
priva
t
ely export isl_morph_alloc and isl_morph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add i
s
l_qpolynomial_
f
old_
g
et_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
expo
r
t
isl_pw_qpoly
n
omia
l
_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
is
l
_ctx_peek_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
isl_range
.
c: fix typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl
_
set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_bo
u
nd: plug memory
l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
f
i
x
i
sl
_
q
p
olynomial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
laege
i
sl_p
w
_qpoly
n
omial_bou
n
d_range: fix
r
em
o
v
al
o
f dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
add
bound_
t
e
s
t
.
sh
to d
i
stribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdo
o
laege
doc:
do
c
ument gist opera
t
ions
commit
|
commitdiff
|
tree
next