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_coalesce.c: coalesce_pair: avoid NULL pointer dereference
2010-06-26
S
v
en Verdo
o
la
e
g
e
isl
_
coalesce
.
c
: coalesce_pair: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_co
n
vex_hull
.
c
:
e
x
tend: fi
x
er
r
or h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
implement antiqua
t
ed i
s
l_set_
n
_*
i
n terms of
i
sl_set_di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_simplify
.
c: no
r
malize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl
_
i
n
p
u
t
.
c
:
vars_drop: fix
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_co
n
ve
x
_hull
.
c: uset
_
convex_hull_wrap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_set_wr
a
p
_
facet: fix
e
rror ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ta
b
_min: avo
i
d NULL po
i
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c: ex
t
end_
a
ffine_hull
:
avoi
d
NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_exte
n
d: pl
u
g memory leak on er
r
or path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_affine_hull
.
c: equalities_in_
u
nder
l
ying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
o
l
a
ege
i
s
l_basic_s
e
t_preimage: avoid
N
UL
L
pointer
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
is
l
_tab_p
i
p
.
c: no_sol_in_strict: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_af
f
ine_h
u
ll
.
c: equaliti
e
s_in_under
l
yi
n
g
_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_hull
.
c: affine_hull
:
fix e
r
ro
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_p
r
oject_out: fix error return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic
_
map_intersect_range: avoi
d
N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_t
a
b
_
pi
p
.
c: find_so
l
uti
o
ns: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_alloc_dim: f
i
x error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
i
sl_bas
i
c_map_
i
ntersect:
a
void NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olae
g
e
isl_tab_pip
.
c: sol_
m
ap_init
:
a
void NULL
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map
_
intersect_doma
i
n: avo
i
d
NULL
poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
i
s
l_fl
o
w
.
c: co
m
pute_val_bas
e
d_dependences: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oo
l
aege
isl
_
flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_access_info_co
m
pute_flow:
f
i
x
error handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_{
s
et,map
}
_fast_is
_
empt
y
:
avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_flow
.
c: avoid acc
e
ssing di
m
field direct
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
sl_access_info_co
m
p
u
te_flo
w
:
avoid NULL po
i
nter der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
i
sl_input
.
c: obj_read: avoid NULL
p
ointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_map_su
b
tr
a
ct
.
c: tab_ad
d
_constraints
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_tab
.
c: close_row: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_map_simplify
.
c:
r
em
o
v
e_duplicate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
isl
_
basic_map_affine_hull
:
avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdo
o
laege
isl_ta
b
_ad
d
_eq: return int instead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_map_simpl
i
fy
.
c
:
re
m
ove_duplicate_cons
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: e
l
iminate_d
i
vs_ine
q
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_el
i
mi
n
ate_vars: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
ool
a
ege
isl_sample
.
c: interval_sam
p
le: avoi
d
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
sample
.
c: drop_constraints_invol
v
ing: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_s
t
r
eam_
n
ew: r
e
ad
_
define
d
_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_ma
p
_
i
nters
e
ct: av
o
i
d
NULL poin
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_sample
.
c
:
gbr_
s
a
m
ple: a
v
oid NULL poin
t
er derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoo
l
aege
isl_test:
av
o
id acce
s
s
i
ng basic set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
is
l
_input
.
c: r
e
ad
_
def
i
ned_var_list:
a
void doub
l
e fre
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_convex
_
hull
:
avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_m
a
p_norm
a
lize_co
n
straints: avoi
d
NULL p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
map_total_dim:
a
void NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl
_
basic_map_ord
e
r_divs: avoid N
U
LL pointer
d
er
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_c
o
nvex_hul
l
.
c:
is
l
_
b
a
sic_se
t
_a
d
d_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
n
v
e
x_hull
.
c
: compu
t
e_
f
acet: avoid NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
i
sl_test
.
c:
m
ap_is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_dim
.
c: copy_names: check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
_dup: check input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_basic_map_cow: che
c
k result
of allocat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_st
r
eam_new_str: check result of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_stream
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
i
sl_tab_p
i
p
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
is
l
_ta
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomia
l
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaege
isl_vertices
.
c
:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
laege
i
sl_m
o
r
p
h
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oolaeg
e
is
l
_
m
a
p
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_map_s
i
mplify
.
c
: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_input
.
c
: accept
m
ore
general
af
f
ine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
ge
add i
s
l
_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
g
e
a
d
d isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
o
laege
a
d
d isl_se
t
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n V
e
rd
o
ola
e
ge
add
i
s
l
_
map
_
i
s
_tr
a
nslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
ool
a
ege
export isl_qpolyn
o
mial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Ve
r
doolaege
i
sl_polynomial
.
c:
ad
d
m
i
ssing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
ol
a
ege
isl_map_transitive_clos
u
re: check whether decom
p
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdool
a
eg
e
add isl_strea
m
_
f
lush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_
s
kip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
add r
u
dimentary erro
r
r
eporting
m
ech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
ad
d
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
isl_point_alloc: avoid potential memory le
a
k o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolae
g
e
doc:
do
c
um
e
nt isl_ma
p
_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
i
s
l
_tab_pip
.
c
:
c
ompare all coe
f
f
i
cients when ch
e
c
k
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
la
e
ge
isl_pw_q
p
olynomial{,_fol
d
}_gi
s
t:
use simpl
e
h
u
ll instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
la
e
ge
add isl_set_set_
d
i
m
_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdo
o
l
a
ege
a
dd
i
sl_strea
m
_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
sl_qpoly
n
o
m
ial
_
lift: fix lifting
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
onally (and by default) use
b
e
rnste
i
n expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
o
l
a
ege
pr
i
vately export
i
sl_qpolynomi
a
l_fold
_
fold_on_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaeg
e
add isl_pw_qpolynomia
l
_f
o
ld_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verd
o
olaege
a
dd parametric v
e
rtex en
u
merat
i
on
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaeg
e
ad
d
isl_mo
r
ph_dom_dim and is
l
_mor
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
a
d
d isl_b
a
sic_map_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
pr
i
vately export isl_basi
c
_se
t
_
s
o
rt_co
n
s
traints an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_d
e
tect
_
implicit_equ
a
lities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
isl_tab: op
t
io
n
ally
o
nly mark str
i
ctly redundant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
aege
g
eneralize
isl_pw_qpolynomial_bound to
i
sl_p
w
_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
ege
extract
out generic part of
is
l
_pw_qpo
l
ynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl
_
pw
_
qpolynomial_bo
u
n
d_
r
ange: also set e
x
ac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
ad
d
is
l
_basic_s
e
t_fac
t
o
r
izer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
expor
t
is
l
_
pw_qpoly
n
omial_fold_drop_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export
isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add isl_qp
o
l
y
n
omial_
c
oeff
commit
|
commitdiff
|
tree
next