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: remove_duplicate_divs: avoid NULL pointer dereference
2010-06-26
Sven Verdool
a
e
g
e
isl_map_simp
l
ify
.
c: re
m
ove_dup
l
icate_
d
ivs: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_aff
i
ne_hull
:
avoi
d
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laeg
e
i
s
l_tab_a
d
d_eq: retu
r
n int
i
nstead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_simplify
.
c: re
m
ove_duplicate_constraints
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
laege
isl_map_si
m
pli
f
y
.
c: eliminate_divs_
i
ne
q
: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_
ba
s
ic_ma
p
_eliminate_vars: avoid N
U
LL
p
ointer
d
eref
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: interval_sample: a
v
oid NUL
L
pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_sam
p
le
.
c:
d
rop
_
cons
t
rai
n
ts_invo
l
v
ing: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdool
a
ege
isl_stream
_
new: read_defined
_
var_list: avoid do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map
_
intersect
:
avoi
d
NULL po
i
nter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_sample
.
c: gbr_sample: avoid
N
ULL pointe
r
d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl_test
.
c:
a
v
oid
N
UL
L
poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_tes
t
: avoid accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
a
ege
isl_input
.
c:
rea
d
_defined_var_list: avo
i
d doubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_convex_hull: avo
i
d NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_ma
p
_no
r
malize_const
r
ain
t
s: avoi
d
NU
L
L
p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
b
a
sic_map_total_dim: avoid NULL p
o
int
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_bas
i
c_map_order_divs: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_convex_h
u
ll
.
c: isl_basic_s
e
t_add_equa
l
ity: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
is
l
_conv
e
x_hull
.
c: comp
u
te_facet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: m
a
p_is_equal: chec
k
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_dim
.
c
:
cop
y
_names:
c
he
c
k inp
u
t dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
d
i
m
_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_basi
c
_map_cow
:
check result of a
l
l
o
catio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
i
s
l_stream
_
new
_
str: check
result of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
aege
isl_str
e
am
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
ae
g
e
isl_tab_pip
.
c:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verd
o
ola
e
ge
isl_tab
.
c
: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polyn
o
mial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_
v
ertices
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_morph
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
m
ap_
s
imp
l
ify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolaege
isl_input
.
c
: acce
p
t
more
general affine expressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
a
d
d i
s
l_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
ad
d
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolae
g
e
a
d
d isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n
Ve
r
d
oolaeg
e
add
i
sl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
e
xp
o
rt
i
sl_
q
polynomial_invol
v
es_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
isl_polyn
o
mial
.
c:
add miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
isl_map_transitive
_
closure: check whether
d
e
co
m
p
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdo
o
laege
add
isl_stre
a
m_flush_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl
_
stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
a
d
d
rudimentary error re
p
o
r
ting mecha
n
is
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
i
sl_point_alloc: avoid potent
i
al memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n
Verdoolaege
doc
:
document is
l
_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolaege
i
s
l
_tab_p
i
p
.
c:
c
om
p
a
r
e all coe
f
ficie
n
ts when
c
h
eck
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verd
o
olaege
is
l
_pw
_
qpolyn
o
mia
l
{,_fold}_gist: use sim
p
le
h
ull
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
Verdo
o
laege
add is
l
_set_set_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdool
a
eg
e
add isl_stream
_
r
e
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven
V
erdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
l
aege
isl_qpolynomi
a
l_lift: f
i
x li
f
ting in
abse
n
ce
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
opt
i
onal
l
y (an
d
by
d
efault) u
s
e bernst
e
i
n e
x
pansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
pr
i
vately export is
l
_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpoly
n
omial_fold_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add parametric vertex enumeratio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_morph
_
dom_dim and isl_morph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_ba
s
ic_map_is_ra
t
ion
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
export isl_
b
asic_set_so
r
t_const
r
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_tab_detec
t
_
i
mplicit_
e
qua
l
itie
s
:
also detect man
i
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
ege
i
sl
_
tab: optionally only mark strictly
redu
n
dant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
gener
a
lize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ex
t
r
a
ct out generic part of isl_pw_qpolyno
m
i
al_b
o
u
nd_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_bound_ra
n
ge: also
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
a
d
d
i
s
l
_
basic_
s
et_
f
actorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_qpolynomial_fold_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export i
s
l_qpolyn
o
m
i
al
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_q
p
olynomi
a
l_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add
i
sl_qpo
l
ynomial_from
_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rd
o
o
l
aege
ex
p
ort
is
l
_qpolyno
m
i
a
l
_
a
d
d_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_qpolynom
i
al_homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
p
olyno
m
ial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qp
o
lynomia
l
_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolae
g
e
add i
s
l_qpolynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
ool
a
e
ge
isl_tab_detect_implicit_
e
qualities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaeg
e
add isl_tab_sign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_select_f
a
cet: retur
n
int instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
d
d isl
_
basic_set_full
_
co
m
pression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
export isl_pw_qp
o
lynom
i
al_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomia
l
_
fold_f
o
r
e
ach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d isl_pw_qpolyn
o
m
ial_fold
_
foreac
h
_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
export isl_pw
_
qpolynomial_fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
l
aege
p
rivately expor
t
isl_morp
h
_alloc and
i
sl
_
mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
add isl_qpolynomial_fold_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
expo
r
t
i
sl_pw_qpolyn
o
m
i
a
l
_ge
t
_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
ad
d
isl_ctx_
p
eek
_
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaeg
e
i
sl_
r
ange
.
c: fix typo in
co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
expor
t
isl_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
isl_
b
ound
:
pl
u
g memo
r
y leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
fix isl_qpolynomial_
f
o
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpolynomia
l
_
b
oun
d
_range: fix remo
v
al of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdo
o
laege
a
d
d boun
d
_test
.
sh
t
o di
s
tribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoola
e
ge
doc: document g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
do
c
: document isl_constraint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdoolaege
add isl
_
map
_
is_single_val
u
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verd
o
o
lae
g
e
isl_basic_map_foreach_constraint
:
m
ake s
u
r
e
in
p
u
t h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_
m
ap_copy
:
m
ark duplic
a
te
d
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
ege
i
s
l_b
a
sic_set_li
f
t: finalize result
commit
|
commitdiff
|
tree
next