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_access_info_compute_flow: avoid NULL pointer dereference
2010-06-26
S
v
e
n Verdoolaege
isl_access_
i
n
fo_compute_flow: avoid NULL
p
ointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
i
nput
.
c
:
o
bj_re
a
d: avoid NULL poin
t
er d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_map_subtract
.
c: tab
_
add_con
s
t
r
ai
n
ts: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
tab
.
c: close_r
o
w:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_map_s
i
mplify
.
c:
r
e
m
ove_duplic
a
te_divs: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_basi
c
_ma
p
_affine_hu
l
l
:
avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdool
a
ege
i
sl_tab_add
_
eq: ret
u
rn int
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
dool
a
ege
isl_map_si
m
pl
i
fy
.
c:
r
emove_d
u
pl
i
cate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
i
sl
_
m
a
p_sim
p
lify
.
c: el
i
mina
t
e
_
div
s
_
ineq: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
i
s
l_basic_map
_
eliminate_vars: avoid NULL
pointer
der
e
fere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
is
l
_sample
.
c:
i
nterva
l
_sam
p
le: avoid NULL pointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sa
m
p
l
e
.
c: drop_
c
onstra
i
nts_invol
v
ing:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_str
e
am
_
new: read_defined_
v
ar_list
:
avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
b
asic
_
ma
p
_in
t
er
s
ect: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_sa
m
pl
e
.
c: gbr_sample: av
o
id NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_
t
est
.
c
: av
o
id NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test: avo
i
d
accessing basic set in
t
ernals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
la
e
ge
isl_inpu
t
.
c: read_define
d
_var_list:
a
void double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
m
a
p
_conv
e
x
_
h
ull: av
o
id N
U
LL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_normalize_constraints: avoi
d
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_basic_map_t
o
tal_dim: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_basic_map_order
_
divs: avoid NULL poin
t
e
r deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl
_
convex_hull
.
c: isl
_
ba
s
ic_set_add_equality:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_convex_hu
l
l
.
c: compute_f
a
cet: avoid N
U
L
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c:
map_is_equal
:
c
h
eck
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_dim
.
c: copy_names: c
h
eck
i
nput
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl_dim_
d
up: ch
e
ck input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoolaege
i
s
l_ba
s
ic_
m
ap_cow:
c
hec
k
res
u
lt o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new_str: check result of allo
c
a
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_stream
.
c
:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab_pip
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl_polyno
m
i
a
l
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_v
e
rtices
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oo
l
aege
isl
_
morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
a
ege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl_input
.
c: accept m
o
re g
e
neral aff
i
n
e
expr
e
s
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
is
l
_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add is
l
_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
ad
d
isl_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
v
e
n V
e
rdoolaege
add isl_map_is_
t
ranslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
e
xport i
s
l_
q
poly
n
omia
l
_involves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoola
e
ge
isl_
p
o
lyno
m
ial
.
c: add miss
i
ng i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolae
g
e
is
l
_map_transitive_clos
u
re: check
w
hether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add
i
s
l
_st
r
eam_flus
h
_
t
okens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add is
l
_
str
e
am_sk
i
p_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add rudimentary error
r
eporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add isl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
isl
_
po
i
nt_allo
c
: avoid potential me
m
or
y
l
e
ak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
erdoolaege
do
c
: d
o
cument is
l
_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
d
oolaege
isl
_
tab_pip
.
c: compare
all coeffi
c
ie
n
ts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolaege
isl_pw_
q
polynomial{
,
_fold}_gist: use simple
h
ul
l
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
V
e
r
doolaege
add isl_set_set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolae
g
e
a
dd isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erd
o
olaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_qpolynomial_l
i
ft
:
fix
l
ifting in abse
n
ce
o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
(
and by de
f
ault)
u
s
e
bernst
e
in ex
p
a
n
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
privately
export isl_qpolynom
i
a
l_
f
old_fold_on
_
domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add isl_pw_qpolynomial_
f
o
l
d_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add parame
t
ri
c
vertex enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d
is
l
_mor
p
h_dom_dim and i
s
l_
m
orph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add is
l
_basic_map_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privately export isl_
b
asic_set_sor
t
_const
r
ain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
isl_tab_
d
etect_im
p
l
icit_equ
a
lities: also detect
m
an
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_tab: op
t
ionally only m
a
rk
strictl
y
redunda
n
t
rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
ool
a
ege
gener
a
lize i
s
l_pw
_
qpolynomial_bound to isl_pw_qpol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract ou
t
gener
i
c
part of i
s
l_pw_qpol
y
nomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_pw_qpolyno
m
ial_
b
ound_
r
ange
:
als
o
set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_
b
asi
c
_set_fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
xport
i
sl_pw_qpo
l
ynomia
l
_fol
d
_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t
i
sl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
dd isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
ad
d
isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
e
xport is
l
_
q
polynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add i
s
l
_
qpo
l
yn
o
mia
l
_ho
m
ogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doola
e
ge
add isl_qpolynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpo
l
yno
m
ial_insert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
g
e
add
isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
isl_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_
t
ab_dete
c
t_implicit_equalities: return inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_tab_sign_of_
m
ax
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_select_facet: re
t
urn
i
n
t inste
a
d of isl_
t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
g
e
a
dd i
s
l_basic_s
e
t
_ful
l
_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivately ex
p
ort isl_pw_qpolynomial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolyno
m
ial_fold_fo
r
each_qpolynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
add
i
s
l_pw
_
qp
o
lynomial_f
o
ld_f
o
reach_lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
e
x
p
o
r
t
isl_p
w
_qpolynomia
l
_
fold_i
s
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
privatel
y
export isl_morph_alloc
and is
l
_m
o
rph_ident
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
ad
d
isl_qpolynomial_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export i
s
l_
p
w_qpolynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
add isl_
c
tx_peek_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
i
s
l_rang
e
.
c
:
fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
export i
s
l_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
isl_bound: plug memory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial_
f
o
l
d
_
d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_pw_
q
p
o
lynomial_bound_ra
n
ge: fix
removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ad
d
boun
d
_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolae
g
e
doc
:
document gist o
p
erat
i
ons
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoola
e
ge
doc: documen
t
isl_constraint_is_eq
u
ality
commit
|
commitdiff
|
tree
next