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 V
e
rdoolaeg
e
isl_map_simpl
i
fy
.
c: remove
_
dup
l
icate_divs: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_basic_map_affine_h
u
ll: avoid NU
L
L p
o
inte
r
derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
t
ab_add_eq: return int i
n
s
t
ead of isl
_
t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
map_simplify
.
c
:
remove_dupl
i
cate
_
co
n
st
r
aints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_map_simplify
.
c: el
i
mi
n
ate_divs_ineq: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
d
oolaege
isl_basic_map
_
eli
m
i
n
ate
_
v
a
r
s
: a
v
oid NULL pointe
r
dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
i
s
l_sample
.
c: interval
_
sa
m
p
le:
avoid
N
ULL pointer
d
ereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_sample
.
c:
d
rop_constraints_invol
v
ing: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
i
s
l_stream_n
e
w: read_
d
efined_var_list: a
v
o
i
d
do
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl
_
basic_ma
p
_inters
e
ct
:
a
v
o
i
d
N
U
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sa
m
pl
e
.
c:
gbr
_
sample
:
a
v
o
i
d
NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_test
.
c:
avoid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_test: avoid acces
s
ing basic
s
et i
n
t
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_input
.
c
: read
_
defined_var_list: avoid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olaege
isl_
m
ap
_
con
v
ex_hull: a
v
oid NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_basic_map_norma
l
ize_c
o
nstraints
:
avoid
N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_b
a
s
i
c_map_total
_
di
m
:
a
void NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basi
c
_m
a
p_
o
rder_divs:
av
o
id
NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
sl
_
c
onv
e
x_hull
.
c:
i
sl_bas
i
c
_
set_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conve
x
_hull
.
c
: compute_facet: avoid
N
ULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_test
.
c: map_is_equal: ch
e
ck
i
n
p
u
t
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_d
i
m
.
c
:
copy_
n
ames: check
in
p
u
t
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_
d
im_dup: check in
p
ut
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
basic_m
a
p_cow: chec
k
resu
l
t of
al
l
ocat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream
_
new_str: check result of alloc
a
tion
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_tab_pip
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdo
o
la
e
g
e
is
l
_tab
.
c: fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_polyno
m
ial
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
s
l_ver
t
ices
.
c:
f
i
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
isl_morph
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoo
l
aege
isl_ma
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
i
s
l_ma
p
_s
i
mplify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
isl_input
.
c: accept
m
ore g
e
neral affine expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
eg
e
a
dd
isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add isl_vec_scal
e
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
add
i
sl_
s
e
t_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
e
r
doo
l
aege
add isl_map_i
s
_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qpoly
n
omia
l
_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Ver
d
oolae
g
e
isl_polynom
i
al
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdo
o
laege
i
s
l
_map_tra
n
sitive_closure: ch
e
ck whether d
e
co
m
posit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_strea
m
_
fl
u
s
h_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laege
add i
s
l_stream_skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
ool
a
ege
add rudimentary error rep
o
rting m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
is
l
_poi
n
t_alloc
:
a
void potential
m
emory lea
k
on
e
rro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
oolaege
d
o
c: document isl
_
map_
d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_t
a
b_pip
.
c: compare all coeffici
e
nt
s
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpolynomial{,_f
o
ld
}
_gist: use simple hu
l
l
i
nst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add i
s
l
_set_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaeg
e
add i
s
l
_
stream_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
ola
e
g
e
isl_qpo
l
ynomial_lift: fix lifting in abs
e
nce
of divs
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
option
a
l
ly (and by d
e
fault) use bernste
i
n ex
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
p
rivately ex
p
ort
i
s
l
_
q
p
olyno
m
ial_fo
l
d_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
ad
d
i
s
l_pw_qp
o
lyno
m
ial_fol
d
_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add parametric vertex enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
add i
s
l_
m
or
p
h_dom_
d
im an
d
isl_
m
orph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
add i
s
l_
b
asic_map
_
is_ra
t
ional
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoola
e
g
e
p
r
ivately export isl_
b
asic_set_sort_c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_d
e
t
ect_implici
t
_equ
a
l
iti
e
s: al
s
o d
e
tect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
isl_tab: optionally
o
nly ma
r
k
strictl
y
redun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
ge
n
eralize i
s
l_pw_
q
polynomial_bound to isl_pw
_
qpo
l
ynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ext
r
act out generic p
a
r
t of isl_p
w
_qpolyno
m
ial_b
o
und_
r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolaege
isl_pw_qpolynomial_
b
ou
n
d_range
:
also
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
i
s
l_basic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
expor
t
isl_pw_q
p
oly
n
omia
l
_f
o
l
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_qpolyno
m
i
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ola
e
ge
a
dd
i
sl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add isl_qpolynomi
a
l_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
export isl
_
qpolynomial_
a
dd_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpol
y
nomial
_
ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpoly
n
omi
a
l_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
add isl_qpolynomial_insert_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl_qpolynom
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx
:
add
t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
is
l
_
t
ab_detect_implicit_equaliti
e
s: r
e
tu
r
n integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
add isl_tab_s
i
gn_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_tab_select
_
facet: return int inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
add isl_basi
c
_s
e
t_full
_
compress
i
on
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
pri
v
ately ex
p
ort is
l
_pw_q
p
olynomial_morp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpo
l
y
n
omial_f
o
l
d_foreach_
q
polyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_p
w
_qpolynomial_fold_for
e
ach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l
_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
privately export isl_morph
_
a
l
l
oc an
d
is
l
_morph_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
add
isl_qpolyn
o
m
ial_fold
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl
_
pw
_
qpolynom
i
a
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_ct
x
_peek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
eg
e
isl_r
a
ng
e
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
is
l
_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aeg
e
isl_bound
:
plug memory
l
eak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
fix isl
_
qpo
l
yn
o
mia
l
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
is
l
_pw_qpolynomi
a
l_bound_range
:
fix
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oola
e
ge
add bound_test
.
sh to distr
i
bu
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verdoolaege
do
c
: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
V
e
rd
o
olaege
doc:
d
o
cume
n
t isl_co
n
st
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
add isl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
isl_b
a
s
i
c
_map_foreach_constraint: mak
e
su
r
e input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
i
s
l_basic_map_copy:
mark d
u
p
l
icated cop
y
as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_basic_set_lift: finalize re
s
ult
commit
|
commitdiff
|
tree
next