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 V
e
rdoo
l
ae
g
e
ren
a
me i
s
l_basic
_
map_convex_hull to isl
_
ba
s
ic_
m
ap_re
m
o
v
e_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hu
l
l
.
c: outside_point:
fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_tab_rollba
c
k: avoid double f
r
ee on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdo
o
laege
isl_tab
.
c: tab_
m
at_product: avoid NULL poi
n
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_tab_extend_cons: avoid
NULL p
o
inte
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rd
o
olaeg
e
impleme
n
t an
t
i
q
u
a
ted isl_basic_set_n_* i
n
term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_map_co
n
v
ex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_tab_add_valid_eq:
retu
r
n int instead o
f
isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
affine_hull
.
c
:
af
f
ine_hu
l
l_with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_e
q
ualities
.
c:
parameter
_
compre
s
sion_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdo
o
l
a
ege
isl_
b
asic
_
m
ap_pr
o
je
c
t_out: avoid NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
isl
_
coalesce
.
c: co
a
lesce_
p
air: avoid N
U
LL poi
n
ter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
s
l_convex_hull
.
c: extend: fix er
r
o
r
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
imple
m
e
nt an
t
iquated isl_se
t
_n_*
i
n terms
of isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
e
ge
isl_map_simplify
.
c:
n
or
m
alize_div
s
:
a
void NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
dool
a
ege
isl_input
.
c: vars_drop: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oola
e
ge
i
s
l_convex_hull
.
c: uset
_
convex
_
h
ull_wrap_bounded: fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_set_wrap_facet:
f
ix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
is
l
_tab_min:
avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
affine_hull
.
c: e
x
te
n
d
_affine_hul
l
:
avo
i
d
N
U
L
L
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
b
asic_map_ex
t
end:
p
lug memory lea
k
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
ege
isl_aff
i
n
e_hull
.
c: e
q
ualities_in_u
n
derlying_set: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic
_
set_preimage:
a
v
o
id NULL p
o
i
n
te
r
de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
do
o
laege
isl_tab_pip
.
c:
no_
s
o
l
_in_s
t
rict:
f
ix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaege
isl_a
f
fine_hul
l
.
c: equalities_in_underly
i
ng_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_
a
ff
i
ne_hull
.
c:
af
f
ine_hull: fix erro handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_m
a
p_
p
r
o
j
ect_out: fix error
r
eturn value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
o
olaeg
e
isl
_
basic_m
a
p_intersec
t
_range:
a
void NULL
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_pip
.
c:
find_solutions:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolae
g
e
isl
_
basic_map
_
alloc_dim: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_basic_map_
i
nt
e
rsect: av
o
i
d NULL
p
o
int
e
r d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_tab_pip
.
c: so
l
_map_
i
nit: avoid NULL pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
is
l
_ba
s
ic
_
map_intersect_domain: avoid
NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
lae
g
e
isl_flow
.
c: comp
u
te_va
l
_ba
s
e
d
_
d
ependence
s
: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow_alloc: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laeg
e
is
l
_
a
ccess_info_compute_flow: f
i
x
error ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_{set,
m
ap}_fas
t
_is_empty: avoid NULL po
i
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_flow
.
c: avoid acce
s
sing dim field dir
e
ct
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_access_
i
nfo_com
p
ute_flo
w
:
a
vo
i
d
N
ULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_input
.
c: obj_
r
ead: avoid
N
U
L
L
p
oint
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
m
a
p
_subtract
.
c
:
tab_add_c
o
ns
t
r
aints: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_tab
.
c: close_row:
f
ix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
map_simplify
.
c
: remov
e
_du
p
lic
a
te_
d
ivs: av
o
id
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
sl_basic_map_aff
i
ne_hull:
a
vo
i
d NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_add_eq
:
return int i
n
stead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_sim
p
lify
.
c: remove
_
dup
l
icate_constraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_
m
a
p_sim
p
li
f
y
.
c: el
i
minate_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic
_
m
ap
_
el
i
minate_var
s
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
olaege
isl_
s
ample
.
c:
i
nter
v
al_sa
m
ple: a
v
oid N
U
L
L pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_sample
.
c
: dro
p
_constraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_defin
e
d_var_
l
ist: avoid
d
ou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_bas
i
c
_
m
ap_i
n
tersect: av
o
id NULL poin
t
e
r
der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
s
ample
.
c: gbr_sample: avoid NULL
p
oin
t
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
est
.
c:
a
void NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
l
a
e
ge
isl_test: avoid acc
e
ssing basic set intern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_input
.
c:
read_defined_
v
a
r
_lis
t
: avoi
d
double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull:
a
void
N
ULL
pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ba
s
ic_map
_
normalize_constraints: avoid NULL p
o
i
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_basic
_
map_total_dim: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_basic_map_
o
rd
e
r_d
i
vs: avoid N
U
LL pointer deref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_convex_hul
l
.
c: isl_basic_set_add_equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_co
n
vex_hull
.
c: compu
t
e_facet: avo
i
d NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_test
.
c: map
_
is_equal: ch
e
c
k input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
i
sl
_
dim
.
c:
copy_names
:
c
heck
i
n
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_dim_d
u
p: chec
k
i
n
put
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_basic_map_cow
:
c
h
eck resul
t
o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_st
r
eam
_
new_str:
check resul
t
of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
e
rdoo
l
aege
isl_stream
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ta
b
_pip
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_tab
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
is
l
_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verd
o
olaeg
e
isl_vertices
.
c: fix t
y
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
eg
e
is
l
_morph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
dool
a
ege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaege
is
l
_map_simp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_input
.
c:
a
ccept more general aff
i
ne exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_
v
ec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
add isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoolaege
add i
s
l_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
er
d
oolaege
add i
s
l_
m
ap_is_
t
ra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolae
g
e
isl_po
l
y
nomi
a
l
.
c: add miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
isl_map_transitive_closur
e
: c
h
eck w
h
ethe
r
decompositi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laege
a
d
d isl_stre
a
m_flush_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd isl_st
r
eam_skip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oo
l
aege
add rudimentary err
o
r report
i
n
g mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
isl_point
_
alloc: avoid
pot
e
n
t
i
al memory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verdoolaege
doc:
docume
n
t isl_
m
a
p
_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
S
ven Ver
d
oolaege
isl_tab
_
pip
.
c: compa
r
e all coefficients whe
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpolynomi
a
l{,_fol
d
}_gi
s
t: u
s
e
s
imple
h
ull instea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdool
a
ege
a
d
d isl
_
set_
s
et_dim
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add isl_
s
t
r
e
a
m_re
a
d_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
ven Ver
d
ool
a
eg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l_qpolyn
o
mial_lift: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
o
p
tio
n
all
y
(a
n
d
by de
f
au
l
t) use bernstein expan
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
privately export isl_qpolynomial_fold_fold
_
on_doma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_
p
w_qp
o
l
ynomial
_
f
old
_
forea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
p
arametr
i
c vert
e
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ad
d
isl_mo
r
ph_
d
o
m_
d
im and isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
next