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_input.c: vars_drop: fix error handling
2010-06-26
S
v
en Verdoolae
g
e
isl_input
.
c
:
va
r
s_drop: fi
x
e
rror
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
o
o
laege
isl_c
o
nvex_hull
.
c: uset_convex_hull
_
wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_set_wrap_facet: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_tab_mi
n
: a
v
oid
N
ULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
ool
a
eg
e
isl_affine_hull
.
c:
extend
_
affine_hull:
avoid NULL p
o
int
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_b
a
s
i
c
_
map_extend
:
plug memory leak on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_affine_hull
.
c:
equal
i
ties_i
n
_un
d
e
rlyi
n
g
_
set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
i
sl
_
basic
_
se
t
_
p
r
eima
g
e:
a
void
NULL pointer
de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_tab_pip
.
c
: no_sol_in_s
t
r
i
ct: fix
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
er
d
o
olaege
isl_af
f
ine_hull
.
c
: equalities_in_unde
r
lying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
i
sl_aff
i
ne_hull
.
c: affin
e
_hull: fix erro ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olae
g
e
isl_map_project_o
u
t: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_basic
_
map_intersec
t
_range: avoid NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_
pip
.
c: find_
s
olution
s
: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map
_
alloc_dim: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
i
c
_ma
p
_
intersec
t
: avoi
d
NULL p
o
i
n
ter
d
ere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_tab
_
pi
p
.
c: sol_map_init: av
o
id
N
ULL p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl
_
basic_ma
p
_intersect_domain: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_flow
.
c: comp
u
te
_
val_base
d
_
d
epe
n
de
n
ces: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_flow_a
l
loc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ac
c
ess_
i
nfo_
c
ompute_f
l
o
w
: fix er
r
or
h
andli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_{set,map}_fa
s
t_is_empty: avoid N
U
LL p
o
i
nter derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaeg
e
i
s
l_flow
.
c:
a
void ac
c
essing dim field
directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ac
c
e
ss_i
n
fo_compute_flow: av
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl
_
input
.
c: obj_read: avoid NULL poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
isl_map_subtract
.
c
: tab_add_c
o
nstr
a
i
n
ts
:
avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab
.
c
:
c
lose_ro
w
: fix error
h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_simplify
.
c: re
m
ove_duplicate_divs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_bas
i
c_map_a
f
fine_hull: av
o
id NUL
L
po
i
nt
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_t
a
b_add_eq: return int
i
n
s
tead
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_sim
p
lify
.
c: remove_d
u
plicate_constraints: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: e
l
imin
a
te_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_ba
s
ic_m
a
p_eliminate_vars: avoid NULL
p
ointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
a
ege
isl_sample
.
c: interval_sample: a
v
o
id NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_sample
.
c:
drop_co
n
straints_involvin
g
: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_stream_new: r
e
a
d
_defined_var_li
s
t: avoid
d
oubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
b
asic_map_inter
s
ect: avo
i
d NUL
L
p
oint
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
isl_sample
.
c: gbr_samp
l
e: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
doolaege
isl_te
s
t
.
c:
a
void NULL p
o
i
nte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test: av
o
id
acce
s
sing ba
s
ic set inter
n
als
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_input
.
c: read_defined_
v
ar_list: avo
i
d double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_convex_hull: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_bas
i
c_map_normalize
_
constrain
t
s
:
avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_
m
ap_total_dim:
a
v
o
i
d
N
ULL
pointer d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
ola
e
ge
i
s
l_basic_m
a
p_order_div
s
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_convex
_
hu
l
l
.
c: isl_basic_set_add_eq
u
a
l
it
y
: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_co
n
vex_h
u
ll
.
c
:
c
ompu
t
e
_facet: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
d
oolaege
isl_tes
t
.
c
: m
a
p_
i
s_equal: check in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_dim
.
c: copy_names:
c
h
e
ck
i
n
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup: ch
e
ck input di
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
basi
c
_map_cow: chec
k
resul
t
of all
o
cation
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
l
a
eg
e
isl
_
st
r
eam
_
new_str: check
resu
l
t
of
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_s
t
ream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_tab_pip
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_tab
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl
_
polynomial
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
laege
i
s
l_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
is
l
_m
o
rph
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdoo
l
aege
isl
_
map_simplify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_input
.
c: accept more general affine express
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_
v
e
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdoolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaeg
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
r
d
oo
l
aege
add isl_ma
p
_is_tran
s
latio
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qpolynomial_inv
o
lv
e
s_
d
ims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynom
i
al
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Ver
d
oolaege
isl
_
map_transitiv
e
_
c
l
o
sure: check whe
t
her deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verd
o
olaege
a
d
d isl_s
t
ream
_
skip_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoo
l
aege
add rud
i
mentary erro
r
r
e
porting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoo
l
aege
add isl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdo
o
la
e
ge
i
s
l_point_alloc: avoid po
t
en
t
ial mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Ver
d
oolaeg
e
d
o
c
: d
o
cument isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdool
a
ege
i
s
l_tab_pip
.
c: compare all coefficients wh
e
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven
V
erd
o
ola
e
g
e
isl_pw
_
qpolynomial{,_
f
old}_gist: use simple
hull
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
isl_str
e
am_
r
e
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
oc:
fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_qpolynomial_lift:
fi
x
lift
i
ng
in absence of div
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
opti
o
nally (
a
nd by def
a
ult) use bern
s
te
i
n
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
dd isl_pw_qpolynomia
l
_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add parametric vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oo
l
a
e
ge
add
isl
_
morph_dom_di
m
and isl_mor
p
h_ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ba
s
ic_map_is_
r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privately export isl_basi
c
_set_s
o
rt_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oo
l
a
ege
i
sl_tab
_
detec
t
_impli
c
it_equalitie
s
: also detec
t
m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ola
e
ge
isl_tab: op
t
ionally only mark
s
trictly
r
edundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
a
ege
g
e
ne
r
alize isl
_
pw
_
qpolynomial_bound
t
o is
l
_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
e
xtract out
g
eneric part of isl_
p
w_q
p
olynom
i
al_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_
p
w_qpoly
n
omial_bound_range:
also s
e
t exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_
b
asic_set_
f
act
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_pw
_
qpolynomial_fold_drop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
s
l_qpolynomial
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
olaege
ad
d
isl_qpol
y
nomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
add
i
sl_qpolynomial_from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
export isl_qp
o
lynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
add isl_qpolynomial_homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl
_
q
p
olyno
m
ial_degree
commit
|
commitdiff
|
tree
next