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
add isl_constraint_is_div_constraint
2010-06-27
Sven Verd
o
olaege
a
d
d isl_constraint_
i
s_d
i
v_con
s
train
t
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aege
isl_m
a
p_simplify
.
c
: separate out isl_b
a
sic_map
_
is_div_constrain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
sl_basic
_
map_fro
m
_const
r
a
i
nt: keep all d
i
v
s
, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l
_basi
c
_map_from_constr
a
i
n
t: only return copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n Verdool
a
ege
isl_con
s
traint_
a
d
d
_div:
c
o
r
r
e
ctly se
t
line to firs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
isl_pip:
r
ename
pip_options to avoid con
f
li
c
t with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
do
o
laege
i
s
l_
c
onvex_hull
.
c
: initial
_
facet_constra
i
nt: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oo
l
aege
doc
:
describe backwa
r
d incompatible ch
a
nges
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doo
l
aege
do
c
: menti
o
n discussion
group
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
r
e
name
isl_ba
s
ic_map_convex_
h
ull to
i
sl_basic_map_r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoola
e
ge
isl_affine_
h
ull
.
c
:
o
utside
_
point
:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl_tab_roll
b
a
ck: avoi
d
doubl
e
fr
e
e on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoolaege
is
l
_tab
.
c: tab_mat_
p
ro
d
u
c
t: avo
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
t
ab_e
x
tend
_
c
ons: avoid NUL
L
pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaeg
e
i
mplemen
t
antiquated i
s
l_basic_set
_
n_* in
terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_map_conve
x
_hull
:
av
o
id N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_ta
b
_add_valid_eq: return i
n
t instead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_affine
_
hull
.
c: aff
i
ne_hull_
w
ith_cone
:
avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
e
qu
a
lities
.
c: parameter_comp
r
e
ss
i
on_multi
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
b
asic
_
map_p
r
oje
c
t_out: avoid
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c:
c
oalesce
_
pair: av
o
id NULL point
e
r d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hu
l
l
.
c:
extend: f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oola
e
ge
implement a
n
tiquated isl_set_n_
*
in terms o
f
isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_map_simplify
.
c: normaliz
e
_divs:
avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_input
.
c
: vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_convex_hull
.
c
: uset_co
n
vex_h
u
ll_
w
r
a
p_
b
ounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_set_wrap_facet: f
i
x
erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_ta
b
_min:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_affine_hull
.
c: extend_affine_hull: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
b
asic_map_exte
n
d: plug memory leak o
n
error
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
e
g
e
isl_affine_hu
l
l
.
c:
equalities
_
in_unde
r
lyin
g
_s
e
t: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
b
a
s
ic_
s
et
_
preimage: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
o
o
laege
isl
_
tab_pip
.
c
: no_sol_in_str
i
ct: fix error
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c
: equalit
i
es_in_u
n
derlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ff
i
ne_hull
.
c:
affine_h
u
ll: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap_proje
c
t
_o
u
t: fix error return
v
alue
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
is
l
_basic
_
map_
i
n
t
ersect_range:
a
void NULL pointer derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_tab_pip
.
c:
f
ind_soluti
o
ns:
fix
e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
la
e
g
e
isl_basic_map_allo
c
_dim:
fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_in
t
ersect: av
o
id NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_pip
.
c: sol_map_init: av
o
id NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
basic_map_intersect_domain: avo
i
d NUL
L
p
o
i
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_flow
.
c
: compute_va
l
_based_dependences:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l
_flow_a
l
loc: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_acces
s
_info_compute_flow:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_{set,map
}
_fast_is_empty: avoi
d
NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_f
l
o
w
.
c: avoi
d
access
i
ng d
i
m
f
ield directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_a
c
cess_info_compute_flow: avoid
N
U
L
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
i
nput
.
c: ob
j
_read: av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_subtr
a
c
t
.
c: t
a
b
_
add_con
s
traint
s
: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l
_
t
a
b
.
c
:
close_row:
f
ix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdool
a
ege
isl_map_si
m
pli
f
y
.
c
: remove_du
p
l
icate_di
v
s: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rd
o
olaege
i
sl_basic_map_affine_
h
ull: avoid N
U
LL po
i
nter de
r
efer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_add_eq:
return
i
nt inst
e
ad of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl_
m
ap_simplify
.
c: remove_du
p
l
icat
e
_constrain
t
s: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_m
a
p_sim
p
lify
.
c: eliminate_divs_i
n
eq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_basic_map_eliminate_vars: a
v
oid N
U
LL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_sample
.
c
:
interval_sample: avoid NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
s
am
p
le
.
c: drop_c
o
ns
t
rain
t
s_involving: av
o
id N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_defi
n
ed_
v
ar_list: avoid d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_basic_
m
ap
_
i
n
te
r
sect: a
v
oid
N
ULL pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l
_sample
.
c: gbr
_
sample: avoid
NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_test
.
c: avoid
N
ULL po
i
n
t
e
r deref
e
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_test: avo
i
d access
i
ng basic
s
et
i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
input
.
c:
rea
d
_defined_var_list: avoid do
u
ble
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
eg
e
isl_m
a
p_
c
onvex_hull
:
a
v
o
i
d NUL
L
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_basic_map_norma
l
i
ze_constraints: av
o
id N
U
LL
point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_b
a
sic_map_
t
otal_di
m
: a
v
o
i
d NULL pointer derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_ba
s
ic_map_order_di
v
s:
a
void NU
L
L pointe
r
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_convex_hull
.
c: isl_basic_
s
et_add_equ
a
lity
:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex_hull
.
c: comp
u
t
e
_
fa
c
et: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_t
e
s
t
.
c:
ma
p
_
is_equal: che
c
k
i
nput
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
oola
e
g
e
i
sl
_
dim
.
c: co
p
y_
n
ames: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_dim_dup: check inpu
t
di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_basic_map_cow: c
h
ec
k
result of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stre
a
m_new_s
t
r:
check result
o
f
allocat
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl
_
stream
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
s
l_tab
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
i
s
l_
p
o
lyn
o
mial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
v
ertic
e
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
olaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
isl_map
.
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl
_
map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl
_
i
nput
.
c: ac
c
ept more general
a
ffine expressions
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
er
d
oolaege
add isl_ve
c
_
add
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_vec_sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl
_
set_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
v
en Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoolaege
e
xport is
l
_qpolyno
m
ial_inv
o
l
ves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
isl_map_transit
i
v
e
_
c
losur
e
: check whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoo
l
aege
add isl_st
r
eam_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
ad
d
isl_st
r
eam_s
k
i
p
_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add r
u
dimentary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doola
e
ge
add isl
_
ver
s
ion
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
isl_point_all
o
c: avoid pote
n
t
i
al me
m
ory le
a
k on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Ve
r
do
o
laege
doc:
d
o
cum
e
nt isl_m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
i
s
l_tab
_
pip
.
c:
c
ompa
r
e all coeffi
c
i
e
nts wh
e
n checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdo
o
laege
isl_pw_q
p
olynomial{,_fold}_g
i
st: use simple hull
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
next