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
Sven Verdoo
l
aege
isl_map_sim
p
l
i
fy
.
c: elim
i
n
ate_
d
ivs
_
i
n
eq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_m
a
p
_elim
i
n
ate_vars: avoid NUL
L
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
ege
isl_sample
.
c: interval_sample: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sample
.
c:
d
r
o
p
_constrai
n
ts_involving:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
doolaege
i
s
l_s
t
ream_new
:
read_defined_var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
i
sl_basic_map_inter
s
ect:
a
v
oid
N
ULL poi
n
ter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_sample
.
c: gbr_sa
m
ple: avoid NULL po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
sl_test
.
c: avoid NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_t
e
st: avoid accessing bas
i
c
set inte
r
n
a
ls
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolaege
isl_input
.
c: read
_
defined_var_
l
i
s
t: avoid
d
oub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_convex_hull
:
avoid NULL p
o
inte
r
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_ba
s
ic
_
map_normalize_constrai
n
ts: avoid
NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_bas
i
c_map_total_dim: avo
i
d NU
L
L p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l
_
b
a
sic_map_order_divs: avoid NULL pointe
r
deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
e
g
e
isl
_
con
v
ex_hull
.
c: isl_basi
c
_set_
a
dd_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
i
s
l_
c
o
n
vex_hull
.
c
:
compute_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c
: map
_
is_e
q
ual:
ch
e
ck inp
u
t
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_dim
.
c
: co
p
y_
n
am
e
s: check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_dim_dup:
check inp
u
t di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_cow: check
res
u
lt of all
o
cation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
isl_
s
tream_new_
s
tr: chec
k
result o
f
all
o
cation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
isl_stream
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdoolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdo
o
laeg
e
isl_tab
.
c: fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
laege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdoolaege
isl
_
morph
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ve
r
doolaege
isl_map
.
c
: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
i
sl_map_sim
p
lify
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_input
.
c: accept more gen
e
ral affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
doolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d
i
sl_s
e
t_
i
s_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ver
d
oolaege
add isl_map_
i
s_translation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
e
xport isl_qpolyn
o
mi
a
l_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
i
s
l_polynom
i
al
.
c
:
add
m
issing includ
e
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdo
o
laege
isl_map_
t
ra
n
sitive_closu
r
e
: check whethe
r
d
ecomposi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ver
d
oolaege
add isl_
s
t
rea
m
_
f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoolaege
a
dd is
l
_str
e
a
m
_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdool
a
ege
add rudimentary erro
r
report
i
ng mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
ola
e
ge
i
s
l_point_all
o
c
: avoid potential memory leak
o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolae
g
e
doc
:
document isl_m
a
p_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oola
e
ge
is
l
_tab_pip
.
c: com
p
ar
e
all coeffic
i
ents when checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolae
g
e
isl_
p
w_qpolynomial{,_fo
l
d}_gis
t
: use simple hull
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolaege
add is
l
_set_set_d
i
m_n
a
me
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_stream_
r
ea
d
_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
la
e
ge
do
c
: fi
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_qpol
y
no
m
i
a
l_lift: fix
l
ifting in absence of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
opti
o
nally (a
n
d by default) use bernstein expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pri
v
ately export isl_
q
pol
y
nomial_fold_fold
_
on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add
i
sl_pw_qpolyno
m
ial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add parame
t
ric vertex
enume
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_morph_dom_dim and
i
s
l
_
morph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
ad
d
isl
_
b
a
sic_map_is_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
g
e
p
r
ivately
e
xport isl_basic_
s
et
_
sort_co
n
straint
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolae
g
e
isl_
t
ab_d
e
tec
t
_implicit_equali
t
ies: also
detect
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_
t
a
b
: optionall
y
only mark strictly redun
d
ant ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
generalize
i
s
l
_p
w
_qpolynomial_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
extract out generic
p
art of is
l
_pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_pw_q
p
olynomial_bound_range: also s
e
t exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl
_
basic_set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
aeg
e
export
i
sl_pw_qpol
y
nomial
_
fo
l
d_
d
ro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ex
p
ort
i
sl_qpolynomi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
add
i
s
l
_q
p
ol
y
nomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdo
o
laege
ad
d
i
s
l_
q
polynomial
_
from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ol
a
ege
expor
t
i
s
l_
q
pol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add isl_qpolynomia
l
_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
i
sl_qpolynomia
l
_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add isl_qpol
y
nomi
a
l_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdo
o
laege
add isl_qpol
y
nom
i
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
is
l
_
ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
isl_t
a
b_de
t
ect
_
impli
c
it_equalities: retur
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
ae
g
e
isl_tab_se
l
ect_facet: return
i
n
t
ins
t
ead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
ege
ad
d
i
sl_bas
i
c
_
set_full_compr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
ely export isl_pw_q
p
ol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_qpolynomial_fol
d
_foreach_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doola
e
g
e
add is
l
_pw_
q
polyn
o
mial_fold_foreach_l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rdoolae
g
e
export isl
_
pw_qpolynomial_fold_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaeg
e
privately export isl
_
m
or
p
h
_
alloc
a
nd isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdool
a
e
ge
add is
l
_qpolynomi
a
l_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
export isl_pw_q
p
olyno
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
isl_ctx_pe
e
k_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_range
.
c
:
f
ix
typ
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
g
e
e
xpor
t
isl
_
set_
i
s
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
oolaege
isl
_
bound: plug
memory
l
ea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
l
a
e
ge
f
i
x isl_qpol
y
n
o
mial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_pw_
q
polyn
o
mial_bound_r
a
nge: fix remo
v
al
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd bound_test
.
sh t
o
distri
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolaege
doc: documen
t
gist op
e
rations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verd
o
olaege
d
oc:
do
c
ume
n
t isl_c
o
nstr
a
int_is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add
isl_m
a
p_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
s
l_basic_map_foreach_cons
t
rai
n
t
: make
sure in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verd
o
ola
e
ge
isl_basic_
m
a
p
_copy
:
mark dup
l
icated copy as fi
n
a
lized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoo
l
aege
isl_basic_
s
et_li
f
t: finalize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_b
a
sic_map
_
move_dims:
a
l
ways finalize re
s
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdo
o
laege
isl_basic_ma
p
_
f
rom_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_info_comp
u
t
e_flow:
h
andle m
a
y accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoolaege
isl_a
c
cess_info_compute_
f
l
o
w
:
handl
e
multi-
v
alued
s
i
n
k
.
.
.
commit
|
commitdiff
|
tree
next