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
rename isl_basic_map_convex_hull to isl_basic_map_remove_redundancies
2010-06-26
Sven Verdo
o
laege
ren
a
me is
l
_b
a
s
ic_ma
p
_co
n
vex_
h
u
ll to isl_bas
i
c_ma
p
_rem
o
ve_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_a
f
fine
_
hull
.
c: o
u
tside_poi
n
t: fi
x
error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab_r
o
llba
c
k: avoid double free on e
r
ror pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
i
sl_
t
ab
.
c: tab_mat_produ
c
t:
a
void NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_tab_exten
d
_c
o
ns: av
o
id NULL
pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated i
s
l_basic_set_n_* in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_valid_eq: return int ins
t
ead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_affine_hull
.
c
:
affine_hul
l
_
w
it
h
_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
i
s
l_equaliti
e
s
.
c: parameter_compression_mul
t
i: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_proje
c
t_out: avo
i
d NULL
p
o
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_coales
c
e
.
c: coa
l
esce_pa
i
r
:
avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_h
u
l
l
.
c
: exte
n
d: fi
x
error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
emen
t
antiq
u
ated isl_set_
n
_* in terms of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simplify
.
c:
n
o
rmaliz
e
_divs: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_inp
u
t
.
c:
v
ars_drop: f
i
x error h
a
ndl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_convex_hull
.
c: uset_co
n
vex_hu
l
l_wrap_
b
ounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
set_wrap_facet: fi
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_tab_min: avoid
N
U
L
L point
e
r deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_a
f
f
i
n
e_hul
l
.
c: ext
e
nd_aff
i
ne_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
g
e
i
s
l
_basi
c
_map_extend: pl
u
g memo
r
y
l
eak on error pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_affin
e
_hul
l
.
c: equalitie
s
_in_unde
r
l
ying_set: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl
_
basic_set_
p
re
i
m
a
ge: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
i
s
l_t
a
b_pip
.
c
: no_sol
_
in_strict: fix error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_hull
.
c: equ
a
lities_in_underlying_se
t
: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_affine
_
hull
.
c: affi
n
e_hull: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_proj
e
c
t_out: fix er
r
or
return value
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_bas
i
c_map_int
e
rsec
t
_ran
g
e
:
avoid NULL poi
n
ter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
isl
_
tab_pip
.
c: find_solut
i
ons: fix
e
rror
h
an
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_m
a
p_alloc
_
d
im:
f
i
x erro
r
ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_basic_map_inte
r
sect
:
avoid N
U
LL
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
_
pip
.
c
:
sol_
m
ap_i
n
it:
a
v
o
id
N
U
L
L point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_basic
_
map_in
t
er
s
ect_domain: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_flow
.
c:
compute_val_based_d
e
pende
n
ces: f
i
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_flow_alloc: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_access_info
_
compute_
f
low:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoo
l
aege
isl
_
{se
t
,
m
ap}
_
fa
s
t_is_empty:
a
void
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
is
l
_flow
.
c:
avo
i
d
acc
e
s
s
i
ng dim fiel
d
dire
c
tly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_access_info
_
compute
_
fl
o
w: a
v
oid N
U
LL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdool
a
ege
i
s
l_input
.
c:
obj_read: avoid NU
L
L pointer
d
er
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_ma
p
_su
b
tract
.
c: tab_add_
c
o
n
s
traint
s
: av
o
id
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_ta
b
.
c: close
_
row:
f
ix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
ae
g
e
isl_map_
s
i
mplify
.
c: rem
o
ve_duplicate
_
divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_basic_map_affine_hull: avoid NU
L
L
point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_tab_add_eq:
r
eturn int
i
nst
e
ad of
i
s
l_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
isl_map_si
m
plify
.
c: re
m
o
v
e_d
u
pli
c
ate_const
r
aints: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: eliminate_
d
ivs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_map_
e
lim
i
nate_vars: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_sample
.
c: interval
_
sample: av
o
id N
U
LL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_
s
ample
.
c
:
d
rop_constraints_
i
nvolv
i
ng: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_strea
m
_new: r
e
ad_d
e
fined_var_list
:
avo
i
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laeg
e
isl_basi
c
_map_int
e
r
se
c
t: av
o
id NULL
p
ointer
de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_sam
p
le
.
c: gbr_sample: avoid NUL
L
p
o
inter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_test
.
c:
a
v
oid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_test
:
a
v
oid accessing basic
s
et internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
doolaege
i
s
l_input
.
c: read_def
i
ned
_
v
ar_
l
ist: avoid
d
ouble
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map
_
c
onv
e
x_hull: avoid NULL
p
ointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_b
a
sic_m
a
p_norma
l
ize_constraints: avoid NULL p
o
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
isl_
b
asic_map_total
_
dim: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map_order_di
v
s:
avoid N
U
LL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_convex_hull
.
c: isl_basic_set_add_equality:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_convex_hull
.
c
: c
o
m
p
ute_fa
c
et: a
v
oid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_test
.
c: map_is_e
q
ual: chec
k
input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_dim
.
c: cop
y
_name
s
: check in
p
ut
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
is
l
_dim_dup: check inpu
t
dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
laege
isl_bas
i
c_map_cow:
c
hec
k
r
esult of
a
lloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
i
s
l
_
s
t
r
ea
m
_new_str: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_stream
.
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_tab_pi
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
laege
isl_tab
.
c: fi
x
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
i
s
l
_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ve
r
ti
c
es
.
c: fi
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_mor
p
h
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_map
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
i
sl
_
map_simpl
i
fy
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
e
rdoo
l
aege
isl_i
n
put
.
c
:
a
c
cep
t
more general affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
dool
a
ege
add isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add
i
sl
_
vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l_set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolae
g
e
add isl_ma
p
_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
export isl_qpo
l
ynomial_involves_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolae
g
e
i
s
l_po
l
ynomial
.
c: add m
i
ssing
i
nc
l
ud
e
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
isl_map_transitiv
e
_
c
losu
r
e
: c
h
eck whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
a
d
d i
s
l
_stream_flush_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
a
dd isl_stream_skip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
ol
a
ege
add ru
d
i
m
e
n
tary erro
r
rep
o
rting me
c
h
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
l
aege
add
i
sl_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
r
d
o
o
laege
is
l
_point_alloc: a
v
oid po
t
en
t
ial
m
em
o
r
y
leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolae
g
e
doc:
docu
m
en
t
isl
_
map_de
l
ta
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pi
p
.
c: compare all coeff
i
cients whe
n
ch
e
ckin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
aege
isl_p
w
_q
p
olynomial
{
,_f
o
l
d
}_gist:
use s
i
mple hu
l
l in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
r
doo
l
ae
g
e
add isl_set_
s
et_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
rdool
a
ege
a
d
d
isl_strea
m
_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpoly
n
omial_l
i
ft: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
o
n
ally (and by
def
a
ul
t
)
use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
privately export isl_qpoly
n
omi
a
l_fold_fold_o
n
_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
dd isl_pw
_
q
pol
y
nomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add p
a
rametric vertex enumer
a
tio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_dom_dim an
d
is
l
_morph_ran_dim
commit
|
commitdiff
|
tree
next