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: separate out isl_basic_map_is_div_constraint
2010-06-27
Sv
e
n
Verd
o
ola
e
ge
i
s
l
_ma
p
_si
m
p
l
i
fy
.
c: separ
a
te out isl_ba
s
ic_map_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdo
o
laege
i
sl_b
a
sic_m
a
p_f
r
om_constraint
:
keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
isl_basic_map_
f
rom
_
cons
t
raint
:
only return c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoo
l
aege
isl_constraint_add_div: co
r
rectly set
li
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip:
r
ename
pip_op
t
ions
to
avoid con
f
lict wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: initial_facet
_
constraint: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
doc: describe
b
ackward incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
doc
:
m
e
ntio
n
discussion grou
p
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
rename isl_basic
_
map
_
convex_hull to
i
sl_basi
c
_map_r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
olae
g
e
isl_affine_hull
.
c: outs
i
de_poi
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_tab_
r
ollback
:
a
v
o
id
d
ouble free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_tab
.
c
:
tab_mat_pr
o
du
c
t: avoi
d
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_extend
_
con
s
:
avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
implem
e
nt a
n
t
i
qu
a
t
ed isl_basic_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oo
l
aege
isl_map_convex
_
hul
l
: avoi
d
NULL
pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_tab_add_valid_
e
q
:
retu
r
n
int in
s
tea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_affi
n
e_hull
.
c:
affine_hull_with_cone: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
oolaege
isl_equ
a
lities
.
c
:
parame
t
er_com
p
ression_multi: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_pr
o
ject_out: avoid NULL poi
n
ter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_coalesce
.
c: co
a
lesce_pair: a
v
oid NULL
p
o
i
nter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_convex_hull
.
c
:
ext
e
nd: fix error h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
impl
e
ment anti
q
uated i
s
l_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
isl_map_simplify
.
c:
normalize_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_inp
u
t
.
c: vars
_
d
rop: fix
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_convex_hull
.
c: uset_c
o
nv
e
x_hull
_
wrap_
b
ounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_
s
e
t_
w
rap_face
t
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
er
d
oo
l
a
e
ge
i
s
l
_tab_min:
a
vo
i
d NULL poi
n
ter
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_affine_hull
.
c: e
x
tend_affine_hul
l
: avoid NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
is
l
_b
a
sic_map_extend: plug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
laege
isl_affin
e
_hull
.
c: equalitie
s
_in
_
un
d
e
rlying_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_s
e
t_preimage:
avoid NULL pointer d
e
refere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_t
a
b
_pip
.
c: n
o
_sol_i
n
_strict: f
i
x e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_affi
n
e_hull
.
c: equ
a
l
i
t
i
es_i
n
_
u
nder
l
ying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
ege
isl_affin
e
_hull
.
c: aff
i
ne
_
hu
l
l
:
fix err
o
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_map_project_out
:
fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
a
e
ge
i
sl_ba
s
i
c
_map_in
t
er
s
ect
_
range: a
v
o
id NU
L
L
p
o
inter d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab_pip
.
c: find_
s
o
lu
t
ions: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_all
o
c_dim: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
is
l
_b
a
s
ic
_
ma
p
_
inter
s
ect: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ve
r
doolaeg
e
isl_ta
b
_pip
.
c: sol_
m
ap_init: avo
i
d NULL po
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_b
a
sic_map_in
t
e
rsect
_
d
omain: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
flow
.
c: compu
t
e_val
_
based
_
dependences:
f
i
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_flow_alloc:
fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access
_
info
_
c
o
mpute_
f
low: f
i
x er
r
or
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_{set,map
}
_
fast_is_empty: avoid NU
L
L poi
n
ter de
r
efere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_fl
o
w
.
c: avoid acce
s
sing
dim f
i
el
d
d
i
rectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
a
ccess_inf
o
_compu
t
e
_
f
low: avoid
NULL poin
t
er de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
sl_inpu
t
.
c:
o
b
j_rea
d
: av
o
id NULL p
o
inter de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoola
e
ge
isl_map_subtract
.
c
: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
do
o
laege
i
s
l_t
a
b
.
c: close_row: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_map_sim
p
l
i
fy
.
c: remove_duplicate_d
i
vs: avoid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l_ba
s
ic_map_affine_hull: avoid NU
L
L poin
t
er
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ver
d
oola
e
ge
isl_tab_add
_
eq
:
return i
n
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_sim
p
lify
.
c: remove_du
p
licat
e
_c
o
n
s
traints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simp
l
ify
.
c: elim
i
nate_d
i
vs_in
e
q: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basi
c
_map_e
l
i
m
inate
_
vars: a
v
o
i
d
NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_sample
.
c: in
t
erval_sample
:
avoid NULL po
i
nter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_sampl
e
.
c:
dr
o
p_c
o
nstrai
n
ts_in
v
olving: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
s
t
r
e
am_new
:
read_d
e
fined
_
var_list: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_inte
r
sect:
a
void NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_sampl
e
.
c:
g
b
r
_sample:
a
v
oid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c:
a
void NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_test:
a
void a
c
cessing
b
a
s
i
c set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_input
.
c:
r
ead_defi
n
ed_var_
l
i
s
t: avoi
d
double f
r
ee
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_convex_hu
l
l: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
laeg
e
isl_basic_map_normalize
_
constraints: avoid NULL
p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_map_total_dim
:
avoi
d
NULL pointer
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doolaege
i
sl_basic_map_order_divs: a
v
oid NULL pointer d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_convex_hull
.
c
: isl_basi
c
_s
e
t
_
add_equality:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
s
l_convex_hull
.
c:
co
m
pute_
f
a
cet: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
sl_te
s
t
.
c: map
_
is_equa
l
: check
i
n
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
i
sl_dim
.
c:
copy_names:
check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
i
sl_dim_
d
up: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_b
a
s
ic_map_
c
ow:
chec
k
r
e
s
ult of allocation
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rd
o
olaege
is
l
_stream_new_str:
check result o
f
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl
_
stream
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
lae
g
e
is
l
_tab_pi
p
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
i
s
l_tab
.
c: fix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_po
l
ynomial
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Ve
r
doolaege
i
s
l_vertices
.
c
: f
i
x ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
isl_map
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl
_
m
a
p_sim
p
lify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
i
s
l
_inpu
t
.
c: accept more g
e
neral affine e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
add
i
sl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
a
d
d
i
sl_vec
_
sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdool
a
ege
add
i
sl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sv
e
n V
e
rdoolaeg
e
add isl_ma
p
_is_tran
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olae
g
e
e
x
port isl_qpolynomia
l
_invol
v
es_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaeg
e
is
l
_polynomial
.
c: a
d
d
missin
g
include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaeg
e
i
sl_map_transitive_cl
o
sure: chec
k
wheth
e
r d
e
co
m
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
ege
add i
s
l
_
stream_flu
s
h
_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
a
dd i
s
l_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
aege
add rudi
m
entary e
r
ro
r
repo
r
ting mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
add isl_vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
isl_poin
t
_all
o
c: avoid pot
e
nti
a
l memo
r
y leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
e
n
V
erdoolaege
doc: doc
u
men
t
isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
isl_tab_pi
p
.
c
:
compa
r
e
all coeffic
i
ents when
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaege
isl_pw_qpolyn
o
mial{,_fold}_gist: us
e
si
m
ple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add isl
_
s
e
t_set_dim_na
m
e
commit
|
commitdiff
|
tree
next