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_flow.c: compute_val_based_dependences: fix error handling
2010-06-26
Sven Verdool
a
eg
e
isl
_
f
l
o
w
.
c
:
c
ompu
t
e_val_base
d
_dependences:
fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_flow_al
l
oc:
fix
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
l
aege
isl_acce
s
s
_
info_compute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doola
e
ge
isl_{set,ma
p
}_fast_is_empty:
avoid NUL
L
point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c:
a
void acc
e
ssing dim
field d
i
re
c
tly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_a
c
cess
_
info_c
o
mpute_flow: a
v
oid
NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_i
n
put
.
c: obj_read: a
v
o
i
d
N
ULL
p
ointer d
e
r
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_subt
r
act
.
c: tab_add_constrain
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab
.
c: close_row: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaeg
e
isl
_
map_simplify
.
c: remove_duplicate_di
v
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_basic_m
a
p_affin
e
_hull: av
o
id
NUL
L
pointer
deref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_add_eq: return int
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c:
remove_d
u
plicate_constrai
n
ts
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_
s
im
p
lify
.
c: elimin
a
te_divs
_
ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_
m
ap_eliminate_v
a
rs
:
avoid NULL po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_samp
l
e
.
c:
in
t
e
r
v
al_sample: avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
l
aege
isl
_
sample
.
c: drop_c
o
nstraints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_str
e
am_new: read
_
de
f
ined_var_list: avoi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_basic_map_intersect: avo
i
d N
U
L
L
poi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
i
sl_sa
m
ple
.
c
:
g
br_
s
ample: avoid NULL point
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_test
.
c: avoid NULL
p
ointe
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
i
sl_test: a
v
o
i
d access
i
ng basic set
i
ntern
a
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
input
.
c
:
read_defined
_
v
a
r_list: av
o
i
d doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_co
n
vex_hull: avoid N
U
LL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_basic_map_norma
l
ize_
c
on
s
traints: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_basic_m
a
p_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_ba
s
ic_map_order_d
i
vs:
av
o
id
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_conve
x
_hull
.
c: isl_basic_set_
a
dd_
e
quality: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
i
sl_conv
e
x_hul
l
.
c:
compu
t
e
_
facet
:
avoid
N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
i
sl_test
.
c: map_
i
s_equal: che
c
k
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_dim
.
c:
c
o
p
y
_names: check input
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l
_dim_dup: check input
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
er
d
oolaege
isl_basic
_
map_
c
ow: check result of
a
lloca
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
do
o
laege
isl_stream_new
_
str: check r
e
sul
t
of all
o
cation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
i
s
l_polynomia
l
.
c:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_ver
t
i
ces
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_morph
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
i
sl_
m
ap
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdo
o
laege
isl_
m
ap_
s
implify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
is
l
_input
.
c: acce
p
t more general affi
n
e expr
e
ssions
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
laege
a
d
d isl_vec_
a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
add isl_
v
ec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdo
o
la
e
ge
add
i
sl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verd
o
o
l
a
ege
add
isl_
m
ap_is_trans
l
ation
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Ver
d
oo
l
aege
export isl
_
q
p
o
l
ynomial_in
v
olves
_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_pol
y
n
o
mial
.
c: add missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoolaege
isl_map_transitive_closure: check
whethe
r
dec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
add isl_str
e
am_f
l
ush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
Ver
d
oo
l
aege
add isl_st
r
eam_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add rudimenta
r
y
e
rror repo
r
ting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
isl_poi
n
t_
a
lloc: avoid potential memory
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n
Verdoolaege
doc: docu
m
ent isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
Verdoolaege
isl_tab_
p
i
p
.
c: compare
all coefficie
n
ts wh
e
n
c
h
e
ck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
eg
e
isl_pw_qpolynomial{,
_
fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolae
g
e
a
dd
i
sl_set_s
e
t_dim_n
a
me
commit
|
commitdiff
|
tree
2010-06-14
S
ven Ver
d
oolaege
add
isl_st
r
eam
_
read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
g
e
doc:
fix
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_qpo
l
y
no
m
ial
_
lift: fix lifting i
n
absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
o
p
tionally (a
n
d by default
)
use bernstein expa
n
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivately export isl_qpolynomial_fold_fo
l
d_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
i
sl_pw_qpoly
n
om
i
al_f
o
l
d_
f
oreach
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
p
arametric vert
e
x enumer
a
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_mo
r
ph
_
d
om_di
m
a
nd isl_morph_ra
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add is
l
_bas
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rd
o
olaege
privately expor
t
i
sl_basic
_
s
e
t_
s
ort_
c
o
nstraint
s
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
isl_tab_det
e
ct_implicit_equalities: also detect manife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdo
o
laege
isl_tab: optionally only mark strictly redundant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
gene
r
alize isl_pw_
q
polynomial
_
bound to isl_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
extract out
ge
n
eric
p
art of isl_pw_qpolyno
m
ial_bound_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_q
p
olynomial_bound_ra
n
ge
:
also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add is
l
_basic_set_facto
r
iz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export is
l
_pw_qpolyn
o
mia
l
_
fold_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t is
l
_qpolynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add
i
sl_q
p
o
lynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoola
e
ge
a
dd
i
s
l_qpolynomial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port i
s
l_
q
polyno
m
i
a
l_add
_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
ad
d
isl_qpolynom
i
al_degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
olaege
add isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qp
o
lynomia
l
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_detect_implicit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
a
ege
ad
d
isl_t
a
b_sig
n
_o
f
_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
i
sl_tab
_
select_fa
c
et: return int in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add
i
sl_basic
_
set_full_co
m
pression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privat
e
l
y
e
xport isl_pw_qpolynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
sl
_
qpolynomial_fold_
f
oreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
add isl_pw_q
p
o
l
yn
o
mial_
f
ol
d
_foreach_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
e
xport isl_pw
_
qpolynomi
a
l_fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
privat
e
ly export
i
sl_mor
p
h_alloc
and isl_
m
orph_id
e
n
tity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
g
e
add isl_qpolyno
m
i
al_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
expo
r
t
i
sl_
p
w_qp
o
lynom
i
a
l
_get
_
ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl
_
ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
i
sl_range
.
c
: f
i
x typo in
c
omment
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
expor
t
isl
_
set
_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaeg
e
isl_bou
n
d:
p
lug
memory leak
commit
|
commitdiff
|
tree
next