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_subtract.c: tab_add_constraints: avoid NULL pointer dereference
2010-06-26
Sven
V
erdoolaege
isl_map
_
subtract
.
c: tab_add_
c
onstraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_tab
.
c: clos
e
_row: fix error han
d
lin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_map_simplify
.
c: remove_du
p
licate_divs:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_affine_hul
l
: avoid N
U
LL
p
oint
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
l
aege
isl_
t
ab_add_eq
:
ret
u
rn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_ma
p
_simplify
.
c: remove_dupli
c
a
t
e
_constraints:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_map_sim
p
lify
.
c
: elimi
n
ate_d
i
vs_i
n
eq: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basi
c
_map_eliminat
e
_vars:
avoid
N
ULL p
o
in
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_samp
l
e
.
c: in
t
erval
_
sampl
e
: avoid
N
ULL
p
ointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_sample
.
c: d
r
op_constraints
_
involving: avoid
NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_s
t
rea
m
_ne
w
: read_de
f
ined_
v
ar_list:
avoid d
o
uble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
is
l
_basic_map_in
t
e
rsect: avoid NULL pointer de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_sampl
e
.
c: gbr_sample:
avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_test
.
c: avoid NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoo
l
ae
g
e
i
sl_test
:
avoid accessing
bas
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
i
nput
.
c: read_defi
n
ed_v
a
r_lis
t
: avoid
d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_co
n
vex_
h
u
l
l:
avoid NULL
p
oint
e
r
d
erefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
i
s
l
_basic_map_norm
a
liz
e
_constra
i
nts: avo
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic_map_total_di
m
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
s
l_basic_map
_
o
rder_divs:
a
void NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_hull
.
c
:
isl_basic_set_a
d
d_equa
l
ity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_con
v
e
x
_h
u
l
l
.
c
:
c
o
mpute_facet:
a
v
o
id NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoo
l
aege
is
l
_test
.
c
:
map_is_equal: check i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_dim
.
c: copy_name
s
:
c
h
e
c
k
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_
d
u
p
: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_map_co
w
:
check resul
t
of a
l
location
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_strea
m
_new_s
t
r: check result of
a
llocation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolae
g
e
isl_stre
a
m
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
ege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaeg
e
isl_ta
b
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
ege
isl_p
o
lynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoola
e
ge
isl_vert
i
ces
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_
m
orph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
ool
a
e
g
e
isl_
m
ap
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
i
s
l_map_simplify
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoolaege
isl_input
.
c
:
a
c
c
ept more g
e
ner
a
l affine expre
s
sions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
o
laeg
e
add
i
s
l_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d i
s
l_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erd
o
o
laege
add
isl
_
ma
p
_is_t
r
anslati
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdool
a
ege
expor
t
isl_qp
o
l
y
nomial_invol
v
es_d
i
ms
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
is
l
_polynomial
.
c
: a
d
d missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
i
sl_map_transitive
_
closure: check whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
ad
d
isl_st
r
ea
m
_flu
s
h_t
o
ke
n
s
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
dool
a
ege
add isl_stream_s
k
ip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erd
o
olaege
a
d
d r
u
dimentary
e
rror reporting mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaeg
e
a
dd isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avoi
d
pot
e
ntia
l
m
e
mory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Verdoolae
g
e
doc: docu
m
ent
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
ola
e
g
e
isl
_
tab_pip
.
c
:
compar
e
a
ll coefficients when che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_pw_
q
polynomial{,_
f
old}_gist:
u
se s
i
mp
l
e
h
ull inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaeg
e
add
isl_set_
s
et_
d
i
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
e
r
doolaege
add isl_stream_
r
ea
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
rdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_qpolynomial_lift: fix lif
t
ing in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
o
p
t
i
onally (and by
def
a
ul
t
)
use bernstein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
privately export isl_qpoly
n
omial_fold_fold_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
a
dd isl
_
pw_qpolynomial_fold_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ola
e
ge
a
d
d parametric vert
e
x enu
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add isl_mo
r
p
h
_
d
om_dim a
n
d isl_morp
h
_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
d
d isl
_
ba
s
i
c
_m
a
p_is_r
a
t
ional
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
p
rivately export isl_basic_set_sort_
c
onstrai
n
ts
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
i
sl_tab_
d
etect_implicit_equalit
i
e
s: also detect
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
laege
isl_tab:
o
p
t
ionally onl
y
mark strictly
redu
n
dant row
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
generali
z
e
i
sl_pw_qpo
l
y
n
omial_
b
ound
to isl_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
extract ou
t
generic part of
isl_pw_qpolynomial
_
bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw
_
qpolyn
o
mial_b
o
und_range: also set exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_fact
o
riz
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
export isl_pw_
q
polynomial_fo
l
d_
d
rop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt
i
s
l_qpolynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
oolaege
ad
d
i
s
l_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynomial_from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
export isl_qpo
l
yn
o
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
ad
d
isl_qp
o
lynomial_h
o
mogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_q
p
olynomial_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
o
laege
ad
d
isl_qp
o
lynomial_ins
e
r
t
_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
a
dd
i
s
l_qpolynomia
l
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
isl_ctx:
a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
is
l
_t
a
b_
d
e
tect_implic
i
t_equaliti
e
s
:
r
e
tur
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
add
i
sl_
t
ab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_select_facet: retur
n
in
t
ins
t
ead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
add
isl_basic_s
e
t_full_compr
e
ssi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_pw_qp
o
lynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d isl_qpolyn
o
mial_fol
d
_foreach
_
qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
a
ege
ad
d
isl_pw_qpol
y
nomial_fold_
f
oreach_
l
ifted_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
e
x
port i
s
l
_
pw
_
qpo
l
ynom
i
al_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately export isl_morph_allo
c
and
i
s
l
_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
ad
d
isl_q
p
oly
n
o
m
ial_fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export is
l
_pw_qpolyno
m
ial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoo
l
aege
add isl
_
ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_range
.
c
:
fix typ
o
i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_s
e
t
_
i
s_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_bound
:
pl
u
g mem
o
ry leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
e
g
e
f
ix isl_qpolynomia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_boun
d
_ra
n
g
e
:
fix
r
emo
v
al of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ad
d
boun
d
_test
.
sh to distributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: document
g
is
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaeg
e
doc:
document isl
_
constraint
_
is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Ve
r
doolaege
add
is
l
_map_is_si
n
gle_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n
Verdoolaege
isl_basic_map_f
o
reach_cons
t
rain
t
: m
a
ke
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
next