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
add isl_pw_qpolynomial_insert_dims
2010-06-26
Sven Verdoolaege
isl_access_info
_
compute_
f
low: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_{s
e
t,ma
p
}
_
fa
s
t_is_empty: a
v
oid NULL pointer
d
e
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_flow
.
c: avoid accessin
g
dim fi
e
ld directly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolaege
isl_
a
ccess_
i
nfo_compute_flow: avo
i
d NUL
L
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_input
.
c: obj
_
r
e
ad:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
i
sl_map_subtract
.
c: tab_a
d
d
_
con
s
traints: avo
i
d N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_t
a
b
.
c: close_r
o
w: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_map_s
i
mplify
.
c: remove_du
p
lic
a
t
e
_divs: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_b
a
sic_map
_
a
ffi
n
e_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_add_
e
q: return int ins
t
e
ad of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_map_simpl
i
f
y
.
c
: remove_duplicate_co
n
straints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_m
a
p_simplify
.
c: eli
m
inate_divs_
i
neq:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
isl_basic
_
map_eliminate
_
vars: avoid NULL po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_s
a
mple
.
c: interval_sample:
av
o
i
d
NULL pointer
der
e
f
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
i
sl_
s
ample
.
c: drop_constrain
t
s_invol
v
ing: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new
:
read_d
e
fined
_
var_lis
t
: avoid do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
o
laege
i
s
l_b
a
sic_
m
ap_inters
e
ct: avoid NULL pointer de
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_
s
ample
.
c:
gbr_sam
p
le: avoid NULL poin
t
er deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolae
g
e
isl_te
s
t
.
c
: a
v
oid NULL poi
n
ter dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_test:
avoid accessing basic se
t
i
n
tern
a
ls
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_input
.
c
:
read_defined_
v
ar_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_
m
ap_conve
x
_hul
l
: a
v
oid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_ba
s
ic_m
a
p_normalize_
c
onstraints: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_map_total
_
dim: avoid NULL
p
oi
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_basic_map_o
r
der_divs: avoid NU
L
L pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_co
n
vex_
h
u
ll
.
c
:
isl_bas
i
c_set_add_equality:
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
g
e
isl_con
v
ex_hull
.
c
:
compute_facet: avoid
N
ULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl
_
test
.
c: ma
p
_is_equal: che
c
k input
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_dim
.
c: copy_names: check inp
u
t d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
d
im
_
dup: check input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_ma
p
_cow: check resu
l
t of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl
_
str
e
am_n
e
w_str: check resu
l
t of
a
l
l
o
cation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_s
t
ream
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdo
o
l
aeg
e
i
s
l_t
a
b_pip
.
c:
f
ix
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaeg
e
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l
_
vertices
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_map
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simpli
f
y
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
inp
u
t
.
c:
accep
t
more general a
f
fine expres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verdoolaege
a
dd isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
add isl_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n Ve
r
d
o
o
laege
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdool
a
eg
e
export isl_qpolynomial_inv
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoo
l
aege
isl_polynomial
.
c:
add miss
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
er
d
o
olaege
isl_map_transiti
v
e_closu
r
e
: chec
k
whether de
c
om
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
eg
e
add isl
_
stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add isl_s
t
ream_skip_l
i
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aeg
e
add rudiment
a
ry er
r
or re
p
ortin
g
me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_
v
ersi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
isl_poi
n
t_a
l
loc: avo
i
d potenti
a
l
m
emory leak
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdool
a
ege
doc:
d
o
cument isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdool
a
e
ge
isl_tab_pip
.
c
:
compare all coefficients when
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
ege
isl_pw_qpolynomial{,_f
o
ld}_
g
ist: use simple hull instea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
V
e
rdoolaege
add isl_set
_
set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add
isl_stream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
laege
isl_qpolynomial_lift: fix lifting in abs
e
nce of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
opt
i
o
nall
y
(an
d
by
d
efault) u
s
e
bernst
e
in expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
p
rivately expor
t
isl_
q
pol
y
nomial_fold_fo
l
d_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_p
w
_
qpolynom
i
al_
f
ol
d
_
f
orea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
param
e
t
r
ic vertex en
u
m
e
rati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_morph_dom_dim and isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
add isl_basic
_
map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
priv
a
tely ex
p
ort is
l
_basic_set
_
s
o
rt_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_detect_implicit_
e
qualities: a
l
so d
e
tect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
i
s
l_tab: op
t
i
o
nally o
n
ly m
a
rk strictly r
e
dundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
generalize isl_pw_q
p
olyno
m
ial_bound to isl_pw_qpol
y
no
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
t
ract out gener
i
c pa
r
t
of isl_pw_
q
poly
n
omial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_qpo
l
yn
o
mial_bound_range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
add is
l
_
b
asic_s
e
t_facto
r
izer
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
e
x
port isl_pw_qpolynomi
a
l_fold
_
drop_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaeg
e
e
xport i
s
l_
q
pol
y
nomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynomial
_
c
o
ef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpol
y
nomial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpo
l
y
n
o
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add isl_qpolyn
o
mial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
add isl_qpo
l
ynom
i
al_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
ad
d
i
s
l_
q
polyno
m
ial_inser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lyn
o
mial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_ct
x
: a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_tab
_
detect_implicit_equalit
i
es: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_tab_sign_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
_select_facet: return
int
i
nstead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
e
ge
a
dd i
s
l_basic_se
t
_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
priv
a
tely export isl_pw_qpol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_qp
o
lynomial_fold_foreach_qpo
l
y
n
o
mi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
l
a
eg
e
add isl_pw_q
p
ol
y
nomia
l
_fol
d
_forea
c
h_lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
x
p
o
r
t
i
s
l_
p
w_qp
o
lynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
p
r
ivately ex
p
ort isl_morp
h
_alloc
a
n
d
i
sl_morph
_
identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
eg
e
add
isl_qp
o
lynomial
_
f
o
ld_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
expor
t
i
s
l_pw_qpolynom
i
al_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_ctx_peek_
o
ption
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
i
s
l
_
ra
n
ge
.
c:
f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ex
p
o
rt isl_
s
e
t
_i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
i
s
l_
b
oun
d
:
pl
u
g memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
f
i
x
isl_qpolyno
m
ial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_pw_qpo
l
ynomial_
b
ound_ran
g
e: fix re
m
o
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
next