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_constraint_add_div: correctly set line to first and only constraint
2010-06-27
Sven Verdoolaege
isl_constr
a
int_add_div: correctly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
is
l
_pip: rename p
i
p_option
s
to avoid confli
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
c
onvex_hull
.
c: in
i
tial_facet_cons
t
r
a
i
nt:
fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
do
c
:
describ
e
backward incomp
a
tib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: mention discussion
g
r
o
u
p
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
rename isl_
b
asic_map_co
n
vex_hull to
isl_bas
i
c_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
isl
_
affin
e
_hull
.
c
: outside_point: fix
err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaeg
e
isl_tab_
r
ol
l
b
a
ck: av
o
id double free
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab
.
c: tab_
m
a
t
_product:
avoid N
U
LL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_exte
n
d_c
o
n
s
: avoid NULL
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
implement ant
i
quated isl
_
basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_conv
e
x_hull:
av
o
id NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_add
_
valid_eq
:
return i
n
t
instea
d
of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
ola
e
g
e
i
s
l_aff
i
ne_hull
.
c: affine_hull
_
with_cone: av
o
id
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_equalities
.
c: parameter_com
p
ress
i
on_multi:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_basic_map_project_out: avoid NULL poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_coalesce
.
c: coalesce_pair: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aege
isl_conv
e
x_hull
.
c: ex
t
end: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
impl
e
ment antiqua
t
ed is
l
_set_n_*
i
n
t
erms of i
s
l
_
set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_sim
p
lify
.
c
:
normalize
_
divs:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_input
.
c: v
a
rs_dro
p
:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
convex_h
u
ll
.
c: uset_con
v
ex_hull_wrap_bo
u
n
d
ed: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_set_wrap_facet: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_tab_min: avoid
N
U
LL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_affi
n
e_hull
.
c: extend_a
f
fine_hull: av
o
id NU
L
L po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
asic_map_extend:
plug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_affin
e
_hull
.
c: equalities_in_underlying_set
:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_se
t
_preimage: a
v
o
i
d
NU
L
L pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_tab_pip
.
c: no_sol_
i
n_s
t
rict: fix error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl_
a
ffine_hull
.
c: equa
l
it
i
es_in_under
l
y
i
n
g
_set: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_affi
n
e_hul
l
.
c: aff
i
ne_hul
l
: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
isl_map_p
r
oject_out
:
fix
er
r
or re
t
urn va
l
ue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
basic_map_intersect_range: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_pip
.
c: find_so
l
ution
s
: fix error
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_basic_map
_
alloc_dim: fix
e
r
ror h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_intersect:
a
vo
i
d NUL
L
pointer de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_tab_pip
.
c: sol_map_init: a
v
oid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_ba
s
i
c
_m
a
p_inter
s
e
c
t
_domain:
avoid NULL
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_flow
.
c: compute_val_
b
ased_dependences: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_f
l
o
w_alloc
:
f
ix erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_access_info_c
o
mpute_flow
:
f
ix error
h
andlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_{set,map}_fast_is_
e
mpty: avoid NULL
p
ointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_fl
o
w
.
c: avoid accessing dim field di
r
ectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_access_info_compute_flow
:
av
o
i
d
NULL
p
ointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
isl_input
.
c:
obj_read: avoid N
U
LL poi
n
ter derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaege
isl_map_s
u
btract
.
c
: tab_a
d
d_con
s
traints: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
tab
.
c: clos
e
_row:
fix err
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
is
l
_map_simp
l
ify
.
c: remove_duplicate_div
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_bas
i
c_map_affine_h
u
ll
:
avoid NULL p
o
inte
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_
a
dd_eq: return
i
n
t
instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
m
ap_simpl
i
fy
.
c: remove_duplicate_cons
t
rai
n
ts: a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_
m
a
p
_simplify
.
c: eli
m
inate_divs_ineq: avoid N
U
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_m
a
p_elimin
a
te_v
a
rs: avoid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c
:
i
n
terval_sample: avo
i
d NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_sample
.
c: drop_cons
t
raints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_stream_n
e
w: read_defined_v
a
r
_list: avoid
d
ou
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_m
a
p_intersect:
avoi
d
NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_sample
.
c: gbr_sample: a
v
oid NULL p
o
in
t
er derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_t
e
s
t
.
c: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_test:
avoid accessi
n
g ba
s
ic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_in
p
ut
.
c:
r
e
a
d
_
d
efined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map
_
convex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_no
r
ma
l
i
z
e_const
r
a
i
nts: av
o
id NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basi
c
_map_total_d
i
m: avoid NU
L
L p
o
i
n
t
er der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_order_d
i
v
s
: avo
i
d
N
ULL
pointer der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_convex_hull
.
c: isl_basic
_
set_add_equalit
y
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
isl_conve
x
_
h
ull
.
c:
c
o
m
p
ute_face
t
:
avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oo
l
a
e
ge
isl_test
.
c: map_i
s
_equal
:
check input
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_dim
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_dim_du
p
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_cow: check re
s
ult of a
l
location
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
g
e
isl_stream_new_str: c
h
ec
k
result
o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdool
a
e
ge
isl_
s
tream
.
c:
fix
typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoo
l
aege
isl_tab_pip
.
c
:
fi
x
t
y
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_polyno
m
ial
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaeg
e
i
s
l
_
vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
aege
isl_morph
.
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
isl_map
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c: accep
t
mor
e
g
enera
l
af
f
i
ne expr
e
ssion
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
a
d
d isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
ad
d
isl_set_is_
b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
export isl_qpolynomial_involv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoo
l
a
ege
isl_polynomial
.
c: add miss
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_transitive_clos
u
re: check
w
hether decompo
s
iti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
l
aege
add isl_st
r
eam_flush_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add isl_stream
_
skip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudimentary
e
rror reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdo
o
l
aege
a
d
d isl_vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
olaege
isl_point_a
l
loc: avoid
p
otential m
e
mory lea
k
o
n er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n
Verdoo
l
aege
doc: doc
u
me
n
t isl_m
a
p_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
o
l
aege
isl
_
tab_p
i
p
.
c
: com
p
are all coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
d
o
olaege
isl_pw_qpo
l
ynomial{,_fold
}
_gi
s
t
:
use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
er
d
oolaege
add
isl_s
e
t_
s
et_dim
_
n
a
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stre
a
m_read_
s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
is
l
_qpol
y
no
m
ial_lift: fix
lifting
in absence of divs
commit
|
commitdiff
|
tree
next