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
Verdoolaege
isl_flow
.
c: compute_val_b
a
sed_depende
n
ces: fix e
r
ro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_allo
c
: fix
e
r
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_acce
s
s
_
info
_
compute_flow
:
fix erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_{set,ma
p
}_fast_is_empty: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_flow
.
c: avoid access
i
ng dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_acce
s
s_inf
o
_co
m
p
u
te_flow
:
avoid NUL
L
p
o
inter der
e
fere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_read: a
v
o
i
d NULL p
o
i
n
ter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap_subtrac
t
.
c: tab_a
d
d_constraints:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_tab
.
c: close_r
o
w: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_ma
p
_
s
imp
l
i
f
y
.
c: remove_du
p
li
c
ate_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_basi
c
_map_
a
ffine_hu
l
l: avoid NU
L
L pointer deref
e
r
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab_add_eq: re
t
urn int
instead o
f
isl
_
ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_simpl
i
f
y
.
c
: remov
e
_duplicate_const
r
ain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
laege
is
l
_map_simplify
.
c: eliminate_divs_i
n
e
q: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_basi
c
_ma
p
_eli
m
inate_var
s
: avoid NULL point
e
r derefe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaeg
e
isl_sample
.
c: int
e
r
v
a
l_sample:
a
v
o
i
d
NULL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_s
a
mple
.
c: dro
p
_c
o
ns
t
raints
_
i
nvolvi
n
g: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
s
tre
a
m_new:
r
e
ad_defined_
v
ar_l
i
s
t: av
o
i
d
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
i
sl_basic_map_intersect:
avoid N
U
LL pointer deref
e
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_sample
.
c
:
gbr_sample: avoid NULL pointe
r
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_test
.
c:
avoid
N
ULL
pointe
r
d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
test:
a
void
acces
s
ing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: re
a
d
_d
e
fined_var_
l
i
st: avoid doub
l
e free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
ma
p
_con
v
e
x_
h
ul
l
: a
v
oid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
o
l
aege
isl_basic_map_normalize_cons
t
r
a
ints: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
d
o
o
l
a
e
g
e
isl_basi
c
_map_tot
a
l
_
d
i
m
: avoid N
U
LL poin
t
er de
r
eferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laeg
e
isl_basic_map
_
order_divs:
avoid NULL poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
g
e
isl_c
o
n
vex_hull
.
c:
isl_bas
i
c_se
t
_add_equ
a
lity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_convex
_
hu
l
l
.
c: comp
u
te_facet: avoid
N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
isl
_
test
.
c: map_is_equ
a
l: chec
k
input
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoolaege
isl_dim
.
c
:
copy_
n
ames: check inp
u
t
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_d
i
m_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
g
e
isl_basic_
m
ap_cow: check
r
e
sul
t
of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new_str: c
h
eck resu
l
t of allocat
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdool
a
e
g
e
i
s
l_str
e
a
m
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_tab_pip
.
c:
fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ve
r
doolaege
isl_polynomial
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdool
a
ege
isl_ve
r
tices
.
c:
f
ix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoola
e
ge
i
s
l
_
map
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_i
n
put
.
c: accept more general affine expression
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
a
d
d isl_vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aege
add i
s
l_set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdool
a
ege
add i
s
l_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
o
l
aege
export isl_qpolyno
m
ial_inv
o
lv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaege
isl_polynomial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en
Verdoolaege
is
l
_
map
_
transitive_closur
e
: c
h
eck whether decompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erdoolaege
add isl_st
r
eam_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_stre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaeg
e
add
rudimenta
r
y er
r
o
r
reporting
mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
doolaege
add
i
sl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: a
v
o
i
d pote
n
tial
memory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: document isl_ma
p
_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erd
o
olaege
isl_tab_
p
ip
.
c: co
m
pare all coefficients when
c
h
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Ver
d
oolaege
isl_pw_qpo
l
ynomial{,_fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ve
r
d
ool
a
ege
add isl_se
t
_
s
et_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
add isl_s
t
re
a
m_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
l
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_qpolynom
i
a
l
_lift
:
fix lifting
in
a
b
sence o
f
d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
optio
n
ally (and by default)
use bernstein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
p
riva
t
ely
e
xport isl_q
p
ol
y
nomial_fol
d
_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
add isl
_
p
w
_qpo
l
y
n
omial_
f
o
ld
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
a
e
ge
a
d
d
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
olaege
add isl_mor
p
h_do
m
_dim and
i
s
l_
m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add is
l
_bas
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
private
l
y e
x
port isl_basic_set_sort_c
o
n
stra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_detect_implici
t
_equalit
i
es
:
also
detect man
i
fes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_ta
b
:
o
ptio
n
ally o
n
ly mark strictl
y
redunda
n
t
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
gene
r
alize isl_pw_qp
o
lynomial_bound to is
l
_pw_
q
polyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
extra
c
t
out
g
e
n
eric pa
r
t o
f
i
sl_pw_qpolynomial_
b
ou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
l
a
e
ge
isl_pw_qpolynomial_bound_
r
ange: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
add
i
sl_ba
s
i
c
_set_fac
t
orizer
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
d
o
ola
e
g
e
export
i
sl_pw_qp
o
l
ynomial_
f
o
l
d
_
dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ex
p
ort
isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
add is
l
_qpo
l
yn
o
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl
_
qpolynomial
_
from_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
expor
t
isl_qpolyn
o
m
i
al_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_qpolynomial_homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoola
e
ge
add
i
s
l_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoo
l
ae
g
e
a
d
d isl_qpolynomial_ins
e
rt_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolae
g
e
add isl_qp
o
l
y
nomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
i
sl_ctx: add
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
i
sl_tab_de
t
e
ct_i
m
plicit
_
equalities: ret
u
rn integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_tab_sign_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab
_
select_facet: return int instea
d
of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
add
isl_basic_set_f
u
ll_compression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
pri
v
ately export is
l
_p
w
_qpolynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add i
s
l_
q
polyn
o
mial_fold_foreac
h
_q
p
oly
n
omial
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
rdoolaege
add is
l
_p
w
_qpolynomial_fold_for
e
ach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
export i
s
l_pw_qp
o
lynomial_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
privately export
isl_morph_al
l
oc an
d
isl_morph
_
i
d
e
n
ti
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
a
dd isl_qpolynomial
_
fold
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
eg
e
e
x
p
o
rt is
l
_pw
_
qpo
l
ynomial_
g
et_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
add isl_ctx_peek
_
opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_range
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
export isl_s
e
t_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
isl_bound: pl
u
g
memory l
e
ak
commit
|
commitdiff
|
tree
next