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_project_out: fix error return value
2010-06-26
Sven Ver
d
oolaege
i
sl
_
map
_
project_out: fix error retur
n
value
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
ol
a
ege
isl_basic_map_inters
e
ct_rang
e
:
avoid NULL p
o
inter derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
isl_tab
_
p
i
p
.
c
: find_
s
olutions: f
i
x
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_bas
i
c_map_a
l
loc_dim:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolae
g
e
isl_b
a
s
ic_m
a
p_inte
r
sect:
avoid
NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
ae
g
e
isl_tab_pi
p
.
c: sol
_
map_init: avoid NULL poin
t
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_ba
s
ic_map_
i
nter
s
ect_domain: avo
i
d NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c
:
compute_val_bas
e
d_dep
e
ndence
s
:
f
i
x
e
r
ro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_flow_al
l
oc: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_ac
c
ess_info_
c
o
m
p
ute_f
l
ow:
fix e
r
r
or handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl
_
{set,ma
p
}_fast_
i
s_empty: a
v
oi
d
N
U
LL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_f
l
ow
.
c
: avoid accessing dim field direc
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_a
c
cess_
i
nfo_c
o
m
p
ute_flow: avoid
N
U
LL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
oolaege
isl_inpu
t
.
c: ob
j
_read: a
v
oid
N
ULL poi
n
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_m
a
p
_s
u
b
tract
.
c:
t
ab_add_co
n
straints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_tab
.
c: close_row: fix error
han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_
s
implify
.
c
:
remo
v
e
_duplicate_divs: avo
i
d
NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
s
l_
b
a
sic_map_aff
i
ne
_
hull:
a
void NUL
L
po
i
nter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_tab_
a
dd
_
eq: return int in
s
te
a
d of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_m
a
p_simplify
.
c
:
remove_duplicate_constraints: a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_map_simplify
.
c:
eliminate_divs
_
ineq: avoid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
isl_basic_map_
e
liminate_vars:
a
void NUL
L
point
e
r derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_s
a
mpl
e
.
c: inte
r
v
a
l_sam
p
le: avoi
d
NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
samp
l
e
.
c: dr
o
p_
c
o
ns
t
raints_i
n
volvi
n
g: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
i
s
l
_
s
tream_n
e
w:
read_de
f
i
n
ed_var_
l
ist: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_b
a
sic
_
map_in
t
er
s
ec
t
:
a
void N
U
L
L p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
isl_sample
.
c: gbr_
s
ample: avoid
N
ULL po
i
nter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_tes
t
.
c
: avoid
N
ULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_tes
t
: avoid accessing basic set i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
isl_input
.
c: read_de
f
ined_var_l
i
st: avoid d
o
uble fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
i
s
l
_
ma
p
_convex_hull
:
avoid
NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_norm
a
lize_constr
a
i
n
ts: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_tota
l
_dim
:
avoid NUL
L
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
basic_ma
p
_order_divs: av
o
id NULL poin
t
er der
e
fe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laeg
e
is
l
_convex_hull
.
c:
isl_basic_set_add_equality: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oolaege
isl_convex_hull
.
c: compute_fa
c
e
t
: avoid
N
UL
L
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
i
s
l_te
s
t
.
c:
m
ap_is_equ
a
l
:
check i
n
put
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_
d
i
m
.
c: copy_
n
ames:
c
heck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup:
ch
e
c
k input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
d
o
olaege
isl
_
basic_map_cow: check re
s
ult of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laege
i
sl_str
e
am_new_str: check
r
esult of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Ve
r
doolaege
i
sl_stream
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
isl_tab_pip
.
c: fi
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aege
i
s
l
_tab
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
erdoola
e
ge
isl_p
o
lynomial
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
vertices
.
c
:
fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_morph
.
c
:
f
i
x
typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_map
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdoolaege
is
l
_map_sim
p
lify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_
i
nput
.
c:
a
ccept mo
r
e general affine expre
s
sion
s
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
a
dd isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
o
o
l
a
ege
add is
l
_vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ve
r
doolaege
add
i
s
l
_set_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
S
ven Verdoolaege
a
d
d isl_map_i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
ex
p
or
t
isl
_
qpo
l
ynomial_inv
o
lves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
d
o
o
laege
i
s
l_po
l
y
nomial
.
c: add
miss
i
ng in
c
lu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl_m
a
p
_
transitive_
c
losure: che
c
k
whether
d
ec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
a
dd isl_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
a
d
d
i
sl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
add rudi
m
entary error repo
r
ting m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
isl_point_alloc: avoid poten
t
ial
m
emory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdool
a
ege
doc: document isl_map
_
deltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoo
l
aege
isl_tab_pi
p
.
c: compare al
l
coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoola
e
ge
isl
_
pw_qp
o
lynomial{,_fold}_gist:
u
se simple
h
ull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoola
e
ge
add isl_set_set
_
dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n
V
er
d
o
o
l
aeg
e
add isl_stream_r
e
a
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ve
r
dool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
isl_qpol
y
nomial_lif
t
: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
optionally (and
by default)
u
se
b
ernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
oolaege
pri
v
ately export i
s
l
_qpolynomial_fol
d
_fold_on_
d
o
m
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
d
d isl_pw_
q
p
o
l
ynomial_fold_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add parame
t
ric v
e
r
tex enumera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ad
d
i
sl_morph_dom_dim
a
nd is
l
_mor
p
h
_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaege
ad
d
i
sl_basi
c
_ma
p
_is_ra
t
iona
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
d
o
o
laege
priva
t
ely
e
xpo
r
t isl_
b
as
i
c_
s
et_sort_constra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_detect_
i
mplici
t
_equalities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
is
l
_tab:
o
ptionally only mark str
i
ctly redundan
t
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
generalize isl_pw_qpolynomia
l
_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xt
r
act out generic
p
art of isl_pw_qp
o
ly
n
omial_bound_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
isl_pw_qpol
y
nomial_
b
ound_range: a
l
so
set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
a
dd isl_bas
i
c
_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_pw_qpolynomial_fo
l
d_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olae
g
e
e
x
por
t
i
s
l_
q
polyno
m
ia
l
_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_q
p
olyn
o
mial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
export isl
_
qpol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_qpolynomial_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
sl_qpoly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_ctx: add
t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
isl_tab_detect
_
implicit_e
q
uali
t
i
es: return in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
o
olaege
add
i
s
l
_tab
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select_f
a
c
e
t
: re
t
ur
n
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
i
sl_bas
i
c_set_full_
c
om
p
ression
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdool
a
ege
p
r
ivately
export isl_pw_
q
p
oly
n
omial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
g
e
add isl_qpolynomial_
f
ol
d
_foreach_qpol
y
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add i
s
l_p
w
_qpolynomial_fold_forea
c
h
_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
export is
l
_pw_qpol
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
next