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_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer dereference
2010-06-26
S
ven Verdoo
l
aege
isl_
m
a
p
_simplify
.
c: eliminate
_
d
i
vs_i
n
eq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_ba
s
ic_m
a
p_eliminate_vars: avo
i
d NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: inter
v
a
l
_sa
m
ple: avo
i
d NULL poi
n
ter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl
_
sample
.
c: drop_constraint
s
_
i
nvo
l
vin
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_stream_new: r
e
a
d
_
d
efined_var_list
:
avoi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_
m
ap_intersect: avoi
d
NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_
s
ample
.
c: gb
r
_
s
amp
l
e
: a
v
o
i
d NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aeg
e
isl_test
.
c
:
av
o
i
d
NU
L
L point
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl
_
test: avo
i
d accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_input
.
c: read
_
de
f
ined_var
_
list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rd
o
ol
a
ege
isl_map_co
n
ve
x
_
h
u
ll: a
v
oid NULL poin
t
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_ba
s
ic_map_nor
m
alize_
c
onstraints: avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic
_
m
ap_total
_
dim: avoid NULL point
e
r dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoo
l
aege
isl_basic_map
_
orde
r
_divs: avoi
d
NULL poin
t
e
r
dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
c
onve
x
_hull
.
c:
isl_basi
c
_set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conv
e
x_hull
.
c
:
c
o
m
pute_facet: avo
i
d
N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdo
o
laege
isl_test
.
c:
map_is_
e
qual:
c
heck inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_d
i
m
.
c: copy_names: check inp
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup: check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_basic_ma
p
_
cow: check resul
t
o
f allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
isl_stream_new_
s
tr
:
check result of all
o
ca
t
i
on
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaeg
e
isl_s
t
ream
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolae
g
e
isl_tab_pip
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doo
l
aeg
e
is
l
_
t
ab
.
c: fi
x
t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
isl_p
o
ly
n
omial
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_v
e
rtices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verd
o
olaege
isl_morph
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_
map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
i
s
l_map_simp
l
i
f
y
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verd
o
olaege
isl_input
.
c: a
c
cep
t
more general
a
ffi
n
e express
i
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
a
d
d
isl_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoolae
g
e
add isl_vec
_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
S
v
e
n Verdoolaege
add isl_map_is
_
translation
commit
|
commitdiff
|
tree
2010-06-21
S
v
en V
e
rdoolaege
e
x
port i
s
l_qpoly
n
omial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
i
sl_polynom
i
al
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n V
e
rdoolaege
isl
_
ma
p
_t
r
ans
i
ti
v
e_closur
e
: check
w
het
h
e
r
decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oo
l
aege
add is
l
_s
t
ream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
i
sl_str
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add rudimentar
y
error reporting me
c
han
i
sm
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoo
l
aege
add
is
l
_
version
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doo
l
aege
i
s
l
_
point_alloc: a
v
oid pot
e
ntial memory leak on
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n Verdoo
l
a
ege
doc
:
document isl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab
_
pip
.
c: compare all
coe
f
ficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaege
isl_pw_
q
polynomial{,_fold}
_
gist:
u
s
e
s
im
p
le hull
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
d
d
isl_
s
et_set_dim
_
name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaege
add is
l
_stream_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_qpo
l
ynomial_lift: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
optionall
y
(and by
def
a
ult) use b
e
rnstein
exp
a
n
sio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately
e
x
p
ort isl_qpolyno
m
i
a
l
_
fold_fol
d
_on_doma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_p
w
_qpolyn
o
mial_fo
l
d_
f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add parametric vertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_morph_dom_dim and
i
sl_morph
_
ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
a
dd is
l
_
basic_map_
i
s_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
privately export isl_bas
i
c_set_so
r
t_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
isl_t
a
b_detect_im
p
licit_
e
qual
i
ties:
also
det
e
c
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doo
l
a
e
g
e
isl_tab: optionally o
n
ly mark
s
tri
c
tl
y
re
d
un
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize is
l
_pw_qpo
l
y
nomial_bound to isl_pw_qpolyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
extract out g
e
neri
c
part of isl_
p
w_qpolynomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoola
e
ge
isl
_
pw_qp
o
lynom
i
al_bou
n
d_ra
n
g
e
:
also set exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add is
l
_
b
asic_se
t
_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_q
p
olynomial_fold_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolyn
o
mi
a
l_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
a
d
d isl_qpolynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
e
xport isl_
q
polynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolae
g
e
ad
d
i
sl
_
q
p
o
lynomi
a
l_
h
omogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
add
i
sl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
add isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
a
d
d
isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_detect_implicit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_tab
_
s
ign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
ae
g
e
isl_tab_select_f
a
c
et: return
i
nt
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
ege
add
isl_basic_set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
pri
v
at
e
ly export isl_pw_
q
polynomia
l
_morp
h
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoola
e
ge
a
d
d
i
sl_qpolynomial_fold_foreach
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
add isl_pw_
q
pol
y
nomial_fold_fore
a
ch_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qp
o
lynomial_f
o
ld_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
private
l
y
e
x
port isl_morph_alloc and is
l
_m
o
rph_identit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_qpolynomial_fold
_
ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
export isl
_
pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d is
l
_ctx_peek_option
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_ran
g
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaeg
e
export isl_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
laege
isl_bou
n
d: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
fix is
l
_qpolynomial_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
la
e
ge
isl_pw_qpo
l
ynomial
_
bound_
r
ange
:
fi
x
r
e
m
oval of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add bound_test
.
sh
t
o d
i
strib
u
ti
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdoolaege
doc: document gis
t
opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: do
c
ument isl_constraint_is_
e
qu
a
li
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n V
e
rdoolaege
a
d
d
isl_map_i
s
_
s
ing
l
e_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
e
rdoolae
g
e
isl_bas
i
c
_map_fore
a
ch_con
s
traint: make
s
ure input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_basic_map_copy: mark
d
upli
c
ated copy
as fina
l
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_
b
asic_set_li
f
t:
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_ba
s
ic_map_move_
d
i
m
s: always f
i
naliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_from_cons
t
raint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdoo
l
aeg
e
isl_access_info_compute_
f
low
:
h
a
nd
l
e
ma
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Ver
d
oolaege
isl_access_info_comp
u
te_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
next