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_basic_map_from_constraint: only return copy of bmap on equality constraints
2010-06-27
Sven Verdoolaeg
e
isl_bas
i
c_map_from_
c
onstra
i
nt: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olae
g
e
isl_con
s
traint
_
add_div: correctl
y
set
line
t
o first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_pip: rename pip_options to
a
vo
i
d co
n
flict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_
c
onvex_hull
.
c
:
initial_facet_
c
ons
t
raint
:
f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
d
escribe backward incom
p
atible ch
a
n
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
do
c
: me
n
tion
d
iscus
s
io
n
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename
i
sl
_
bas
i
c_map
_
convex_hull to isl_
b
asic_ma
p
_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
ge
isl_affi
n
e_hull
.
c:
outside_point:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aeg
e
i
s
l_t
a
b
_
rollback: avoid double free on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaeg
e
is
l
_
t
ab
.
c:
t
ab_mat
_
pr
o
duct: avo
i
d NU
L
L
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_tab_extend_cons: avoid N
U
LL
pointer
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
ement an
t
i
q
uated isl_basic
_
set_n_* i
n
t
er
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aeg
e
i
s
l
_map
_
convex_hull: avo
i
d NULL po
i
nter d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
eg
e
isl_ta
b
_add
_
v
a
l
id
_
eq:
r
etur
n
int
i
n
stead
of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
ege
isl_affi
n
e
_
hull
.
c
: af
f
i
n
e_hull
_
with_co
n
e: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equali
t
ies
.
c
: parameter_co
m
pression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basic_map_projec
t
_out: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
c
oales
c
e
.
c: coalesce_pair: avoid
N
ULL
pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_convex_hull
.
c: extend: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
i
mplement a
n
tiqua
t
ed isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_map_simplify
.
c:
n
o
rmalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_input
.
c
:
vars_dro
p
: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_convex
_
h
u
l
l
.
c
: uset_con
v
e
x_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
set_wrap
_
fa
c
et: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab_min:
avoid NULL pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affi
n
e_
h
u
l
l
.
c: extend_aff
i
ne_
h
u
l
l
: avoid N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_basic_
m
a
p
_exten
d
: plug mem
o
ry
l
eak o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
isl_a
f
fine_hull
.
c: equal
i
ties_i
n
_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avoid
N
ULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_
t
ab_pip
.
c
:
n
o
_sol
_
in_st
r
ict: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verd
o
o
l
ae
g
e
isl_affi
n
e
_hull
.
c: equalities_in_
u
nderl
y
ing_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hull
.
c: affine_hull: fix erro ha
n
d
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
m
a
p
_project_out: fix
e
r
r
o
r
return value
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_basic_
m
ap_intersect_range: a
v
o
i
d
N
ULL
p
oin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdo
o
laege
i
sl_tab_pip
.
c:
find_solutions: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
e
ge
isl
_
ba
s
i
c_map_alloc_dim: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
i
s
l_bas
i
c_m
a
p_inte
r
sect: avoid NULL
poi
n
t
e
r dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_pip
.
c: s
o
l_map_init:
avoid NU
L
L poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdool
a
ege
isl_bas
i
c
_
m
ap_intersect_do
m
ain: avo
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaeg
e
isl_f
l
ow
.
c: compu
t
e_val_based_depend
e
nces: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
i
sl
_
flow_all
o
c
:
f
i
x error h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
r
doolaege
is
l
_
a
ccess_
i
nf
o
_compute
_
flow: fix e
r
ror
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
doolaege
isl_{set
,
map}_f
a
st_is_empt
y
: avo
i
d NULL p
o
inter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_flow
.
c: avoid access
i
ng
d
im fiel
d
d
i
rec
t
ly
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoola
e
ge
isl
_
access_info_
c
omp
u
te_
f
low: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
i
s
l_
i
nput
.
c: obj_read: avoid
N
UL
L
poin
t
er dere
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_map_su
b
tract
.
c: tab_a
d
d_con
s
traint
s
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c
:
c
lose_row: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_map_simplify
.
c: rem
o
ve
_
du
p
licate_
d
i
v
s: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_
b
as
i
c
_
map_affine_hull: avoid NULL
pointer d
e
refe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_tab_add_eq: return int instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
lae
g
e
isl_map_simplify
.
c: remove_duplicate_con
s
t
r
ain
t
s: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map
_
simpl
i
fy
.
c: elimina
t
e_divs_ine
q
:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
isl_basic_map_eliminate_vars
:
avoid NU
L
L po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaeg
e
isl
_
samp
l
e
.
c: in
t
erval
_
sample: avo
i
d NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl
_
sampl
e
.
c: drop_constraint
s
_inv
o
lving: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
ool
a
eg
e
isl
_
s
t
re
a
m_new: rea
d
_
de
f
ined_var_
l
i
st
:
a
void double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_basi
c
_map_int
e
rse
c
t: avoid
NULL pointer der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aeg
e
i
s
l
_sample
.
c: gbr_sa
m
ple: avoid NULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_test
.
c: avoid N
U
LL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_test: avoid a
c
cessing bas
i
c set in
t
ernals
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
ool
a
ege
i
s
l_input
.
c: read_
d
efined_v
a
r_
l
i
s
t: avoid d
o
uble free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_con
v
ex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoo
l
aege
isl_basic_map_normalize_con
s
trai
n
ts: avoid N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_map_t
o
tal
_
dim: avoid NULL
pointer derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_b
a
sic_map_order_div
s
: avoi
d
NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_h
u
ll
.
c: isl_basic
_
set_add_equ
a
lity: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl
_
co
n
vex_hull
.
c: c
o
mput
e
_f
a
cet: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_te
s
t
.
c
:
map_is_equal
:
check input
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
i
sl_dim
.
c: cop
y
_names: check input
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_di
m
_dup: check
i
nput d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
i
s
l_basi
c
_ma
p
_cow:
c
heck result of
a
l
lo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
e
g
e
i
sl_stre
a
m
_new_str: che
c
k re
s
ult o
f
al
l
o
c
at
i
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl
_
stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
is
l
_
tab
.
c
:
fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
ege
i
s
l_
p
o
ly
n
omial
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoo
l
a
e
ge
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
Verdoo
l
aege
isl
_
m
a
p
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
is
l
_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
g
e
isl_inp
u
t
.
c: a
c
ce
p
t mor
e
general affine express
i
ons
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaeg
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
add isl_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
add isl_s
e
t_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
rdool
a
ege
add i
s
l_map_is_
t
ransl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolae
g
e
e
xport isl_qpolynomi
a
l_involves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoola
e
ge
isl_
p
o
lynomial
.
c: add
missin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
l
aege
isl_map
_
transitive_clos
u
re: check whether decompo
s
i
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
ad
d
i
sl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erd
o
olaege
a
d
d
isl_str
e
am_skip_l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
S
ven V
e
rdoo
l
aege
add rudi
m
entary
e
rror reporting m
e
c
h
a
n
i
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
ad
d
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
i
s
l_point_al
l
oc: avoid pot
e
ntia
l
memory leak o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Ve
r
doolaege
doc: doc
u
ment isl_m
a
p_
d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdool
a
ege
is
l
_tab_pip
.
c: co
m
pare a
l
l coeff
i
cients when
c
h
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
d
o
olaege
isl_pw
_
qp
o
lynomial{,_fol
d
}_gist: use simple h
u
ll ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoo
l
aege
add
isl_set_set_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
laege
a
d
d i
s
l
_
stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
o
c: fix t
y
po
commit
|
commitdiff
|
tree
next