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
doc: use more explicit notation to avoid confusion
2010-06-28
Sven Verdoolaege
doc:
u
se more explic
i
t notation to a
v
oid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdo
o
laege
a
dd isl_co
n
straint
_
is_div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
map_simplify
.
c: s
e
par
a
te out
i
sl_
b
asic_ma
p
_is
_
div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_ba
s
ic_map_from
_
constraint: keep
a
ll d
i
vs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoola
e
ge
isl_bas
i
c_ma
p
_from
_
constraint: onl
y
retu
r
n
co
p
y of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaege
i
s
l_constraint
_
add_div: correc
t
ly set line to
f
irst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_pip: rename pip_options to
a
void conf
l
ict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdool
a
e
g
e
isl_
c
o
n
vex_hull
.
c: in
i
tial_fac
e
t_cons
t
raint: fix
erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
doc:
d
e
scrib
e
backward in
c
ompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
d
oc: mention discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
rename isl_bas
i
c
_
m
ap_
c
o
n
vex_hull to is
l
_basic
_
ma
p
_remov
e
_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
doola
e
g
e
i
sl_affine_hu
l
l
.
c: outside_point: f
i
x error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_tab_ro
l
l
back: a
v
oid dou
b
le free on er
r
o
r p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
:
t
a
b_mat_product: avoid
N
U
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_extend_cons: avoid NULL p
o
int
e
r deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
im
p
leme
n
t antiqu
a
ted isl_b
a
sic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_ma
p
_convex_hull: avoid NULL poin
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b_
a
dd_v
a
l
i
d_eq:
r
eturn int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affi
n
e_hull
.
c: affine_hull_wit
h
_con
e
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_equ
a
lities
.
c:
p
arameter_compression_mult
i
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_basic_m
a
p_project_out: av
o
i
d N
U
LL
pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_coalesc
e
.
c: coalesce_p
a
ir
:
a
v
oid NUL
L
poi
n
ter derefe
r
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
do
o
laege
isl_co
n
vex_hull
.
c: extend: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implement
a
ntiqu
a
t
ed isl_set_n_
*
in terms
of isl_set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simplify
.
c:
normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_input
.
c: vars_drop: fix
e
r
ror
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
i
sl_convex_hull
.
c:
u
set_convex
_
hull_
w
rap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_set_wrap_facet: f
i
x error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
e
ge
isl_tab_mi
n
:
avoid N
U
L
L
pointe
r
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
isl_affin
e
_hull
.
c:
exte
n
d_affine_hull: av
o
i
d
NU
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_ex
t
end: plug
me
m
ory le
a
k on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_affine
_
hull
.
c: equalities_in_underlyin
g
_set
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
i
sl_bas
i
c_set_
p
rei
m
age: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_pip
.
c
:
no_sol_in_strict:
f
ix
error ha
n
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_affine_hul
l
.
c:
e
q
u
a
lities_in_underlying_set:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
l
a
ege
isl_
a
f
f
ine_hull
.
c:
affine_hu
l
l: fix err
o
hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_map_
p
roje
c
t_out:
fix
e
rror r
e
turn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ba
s
ic_
m
ap_
i
n
tersect_ran
g
e
:
avo
i
d NULL
p
ointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
isl
_
ta
b
_pip
.
c: find_solutions:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
i
s
l
_basic_map_alloc
_
dim: fix error ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_basic
_
m
a
p_inte
r
s
e
c
t
: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_pip
.
c: sol_map_init: avoid N
U
LL poin
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
b
asic_map_intersect_doma
i
n: avoid NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_flo
w
.
c:
c
o
m
pute_val_b
a
s
e
d_depen
d
en
c
es: fix
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_flow
_
alloc: fix err
o
r hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_access_info_compute_
f
low
:
fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
is
l
_
{
s
et,map}_f
a
s
t
_
i
s_empty: avoid NULL p
o
int
e
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
f
l
o
w
.
c: av
o
i
d
accessing dim fi
e
ld di
r
ec
t
ly
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
o
o
laege
i
s
l_
a
cc
e
s
s
_in
f
o_compute_flow: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_input
.
c:
o
bj_read
:
avoid NUL
L
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_s
u
btract
.
c
: tab_add_constraints: avoi
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c:
close_row
:
fix e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
l
a
ege
isl_
m
ap_s
i
mplify
.
c: r
e
move_
d
uplicate_di
v
s: a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_map_affine_hull: avo
i
d NULL
p
ointer
de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
isl_tab
_
add_eq
:
r
eturn
i
nt instead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_simplify
.
c: remove_duplica
t
e_constraints: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
m
a
p_
s
implify
.
c:
e
li
m
inate_divs
_
ineq
:
avo
i
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
ma
p
_elimin
a
t
e
_var
s
: avoid NU
L
L poin
t
er der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
sl_sa
m
ple
.
c
:
interv
a
l_sample:
av
o
id NU
L
L pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop
_
c
onstra
i
n
t
s_i
n
v
o
lvin
g
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_de
f
ined_var_list: a
v
oid
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laege
isl_basic_map_inter
s
ect: av
o
id NULL poi
n
ter derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdo
o
laege
i
s
l
_samp
l
e
.
c: gbr_sam
p
le: a
v
oi
d
NULL pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_t
e
st
.
c:
a
v
oid NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_test:
a
void acc
e
ssing b
a
sic set inte
r
na
l
s
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l_input
.
c: rea
d
_defined
_
var_list: avo
i
d double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hull: avoid
NULL pointer d
e
re
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_map_normalize_constr
a
ints: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_basic_m
a
p_total_dim: avo
i
d NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolae
g
e
isl_basic_
m
a
p
_order_divs: avoid NU
L
L
pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_convex_hull
.
c: isl_basic_set_add_equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoola
e
ge
isl
_
c
o
nvex_hull
.
c: c
o
mpute_fac
e
t: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolae
g
e
isl_test
.
c: map_is_equ
a
l:
c
heck input
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olae
g
e
isl_dim
.
c: copy
_
n
ames:
check i
n
put dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_dim_
d
up: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
aege
isl
_
basic_ma
p
_cow: chec
k
resu
l
t of allocat
i
on
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_stream_new_st
r
: check result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_s
t
ream
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ola
e
ge
i
s
l_tab
_
pip
.
c: fix
ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab
.
c: f
i
x typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
i
s
l_poly
n
omial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
o
lae
g
e
isl_ver
t
ices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
isl_morph
.
c:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
e
rdool
a
ege
isl_map
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
doo
l
aeg
e
i
sl_map_simplify
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
o
o
l
ae
g
e
isl_input
.
c: accept more
general
a
ffine
e
x
p
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doolaege
add 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 Verdool
a
ege
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
e
rdo
o
l
aege
ad
d
isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl_qpolyno
m
ial_
i
nvolves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n
Verdoola
e
ge
isl_polynomial
.
c: add m
i
s
si
n
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Ver
d
o
o
l
a
e
ge
isl
_
map_transitiv
e
_
c
l
osure: check whether
deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdo
o
laege
add
isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
V
e
rdoolaege
add isl_stream_s
k
i
p_lin
e
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
ad
d
rudimentary error reporting mecha
n
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
is
l
_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
isl_point
_
alloc: avoi
d
potential memory leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Verdoolaege
doc: documen
t
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaege
isl_tab_p
i
p
.
c: co
m
pare al
l
coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
next