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
S
ven Verdool
a
ege
rena
m
e
i
sl_basic
_
map_convex
_
hull
t
o isl_
b
a
s
ic_map_remo
v
e_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
i
s
l_
a
ffine_hul
l
.
c: o
u
tsi
d
e
_point: fix error h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_rollback
:
avoid
double
f
r
e
e on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doola
e
ge
isl_tab
.
c: tab_mat_produ
c
t:
avoid
N
U
L
L poin
t
e
r d
e
re
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl_tab_extend_cons
:
avoid
NULL pointer d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
implement antiqu
a
ted i
s
l_b
a
sic_set_n_* in
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_h
u
ll:
avoid NULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab
_
add_valid_eq: return i
n
t in
s
te
a
d of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_affine_hull
.
c: affine_hull_with_co
n
e: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_equ
a
lities
.
c
: parameter_compr
e
ssion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_
b
asi
c
_map_pro
j
ec
t
_out:
a
void NULL
pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_c
o
alesce
.
c:
coales
c
e_pair: avoid N
U
LL poi
n
ter derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
is
l
_convex_hull
.
c: extend: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
implement antiquated
isl_set
_
n_* in
t
erms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
i
sl_map_simplify
.
c
: normalize_divs: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: vars_drop: fix error
h
and
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_co
n
vex_hul
l
.
c: uset_convex_hul
l
_
w
r
ap_boun
d
ed:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oolaege
is
l
_set_wrap_f
a
cet: fix erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoola
e
ge
isl_ta
b
_min:
avoid NULL pointer
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_affine_hull
.
c: extend_affine_hul
l
: av
o
id NU
L
L poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_basic_ma
p
_ex
t
end: plu
g
m
emory leak
on
err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_a
f
fin
e
_hull
.
c: equalities_in
_
underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
is
l
_
b
asic_s
e
t_
p
r
eimage: a
v
oid N
U
LL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl_tab_pip
.
c: no_sol_
i
n_strict: fix er
r
or handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_affine_hull
.
c:
e
qualiti
e
s_in_underlyi
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_aff
i
n
e_hull
.
c
: affin
e
_hull: f
i
x erro h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
ola
e
ge
i
s
l_map_project_out: fix error re
t
ur
n
value
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_basic
_
map_intersect
_
range: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_t
a
b_pi
p
.
c:
f
in
d
_s
o
l
u
tions: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
basi
c
_map
_
alloc_dim: fix e
r
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_
b
a
s
ic_map_i
n
terse
c
t: avo
i
d NU
L
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_tab_pip
.
c: s
o
l_map_init:
a
void
NULL p
o
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_intersect_domain: avoid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
is
l
_f
l
ow
.
c: compute_va
l
_based_dep
e
n
den
c
es:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_fl
o
w_alloc: f
i
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_access_info_compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
l
a
e
ge
is
l
_{set
,
map}
_
fast
_
i
s_empty: av
o
id NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_flo
w
.
c: avoid
a
ccessing dim
fiel
d
direct
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
ol
a
e
g
e
i
sl_acc
e
ss_info_compu
t
e_flow: avo
i
d NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_in
p
u
t
.
c
:
o
b
j_read
:
av
o
id NULL point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map
_
subtra
c
t
.
c: ta
b
_ad
d
_const
r
aints:
a
void NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
i
sl_tab
.
c: cl
o
se_row: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_m
a
p_simplify
.
c:
r
emove_duplicate_divs
:
avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oo
l
aege
isl_b
a
sic_ma
p
_affine_hull:
avoid NULL p
o
inter der
e
fe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
olaege
isl_tab_
a
dd_eq: return int in
s
t
e
ad o
f
i
s
l_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_simpli
f
y
.
c: remove_duplicate_con
s
t
raint
s
: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl
_
map_simpli
f
y
.
c: e
l
iminate_divs_ine
q
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_ba
s
ic_m
a
p_eli
m
inate_vars: avoid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_sample
.
c: interval_sample:
av
o
i
d NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sampl
e
.
c: dr
o
p_con
s
t
r
aints_
i
n
v
olving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_strea
m
_new:
read_defined_va
r
_list
:
avo
i
d do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
doolaege
i
s
l
_basi
c
_map_intersect:
a
v
o
i
d NULL pointe
r
dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doo
l
aege
isl_sample
.
c
: gbr_
s
ample: avoid NULL pointe
r
d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_test
.
c: avoid NULL
p
oi
n
ter
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rd
o
olaege
isl_test: avoi
d
a
ccessing basi
c
set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_input
.
c: read_de
f
ined_va
r
_
list: avoid double
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_convex_hull: avoid NUL
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c_m
a
p
_
normalize_c
o
nstraints:
a
vo
i
d N
U
L
L point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
i
sl_basic_map
_
tot
a
l
_
d
i
m
:
avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oola
e
ge
isl_basic_ma
p
_order_divs: a
v
oid NULL poin
t
er der
e
fer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_convex_hull
.
c: isl
_
bas
i
c_set_add_equality:
a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_c
o
nvex_
h
ull
.
c: com
p
ute
_
facet: av
o
id
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_t
e
st
.
c
:
map_is_equal: check i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_
d
im
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
d
im_dup: che
c
k input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_basic_m
a
p_c
o
w: check result of al
l
oc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_stream_new_s
t
r: check result of
a
l
l
ocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoo
l
aege
is
l
_stre
a
m
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
i
s
l_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_tab
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdo
o
laege
isl_vertices
.
c: fi
x
ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_morph
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_
m
ap
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
i
sl_
m
a
p
_simplify
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_input
.
c: accept
more
g
eneral
aff
i
n
e ex
p
ressions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
add
i
s
l
_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
la
e
ge
add isl_map_i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
V
erdoolaege
export isl_qpolynomial_involve
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_poly
n
om
i
al
.
c: add
missing includ
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
d
oo
l
aege
isl_m
a
p_transit
i
ve_clos
u
re: check whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
a
d
d isl_str
e
am_flush_
t
ok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add isl_stream
_
s
k
i
p
_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erdoolaege
add
r
udimentary error re
p
orting
m
echa
n
i
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
d
oolaege
add isl
_
ver
s
i
o
n
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
Verdoolaege
i
sl_po
i
n
t_all
o
c: avoid pote
n
tial
m
e
mory le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven
V
er
d
oolaege
doc: document is
l
_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaege
isl_tab_
p
ip
.
c
:
compare a
l
l coeffi
c
ien
t
s when
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
isl_p
w
_qp
o
lynomi
a
l{,
_
fold}_
g
ist: u
s
e
s
imple hull inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
g
e
isl
_
qpol
y
no
m
i
a
l
_
lift: fix li
f
t
i
ng in absence of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optional
l
y (a
n
d by defau
l
t) use bernst
e
in e
x
p
a
n
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privat
e
ly export isl_qpol
y
nomial
_
fold_fold_on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_pw_qpo
l
ynomial_fold_for
e
ach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add parametric
verte
x
en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_mo
r
ph_dom_dim
and isl
_
m
o
rph
_
ran_dim
commit
|
commitdiff
|
tree
next