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: describe backward incompatible changes
2010-06-26
Sven Verdo
o
laege
d
o
c
: describe backward i
n
c
ompati
b
le cha
n
ges
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Ver
d
o
olaege
d
o
c: men
t
ion discussion g
r
oup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
rena
m
e isl_b
a
sic
_
map_convex_hull to is
l
_basic_map_remove_
r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_
a
ffine_hull
.
c
:
outside_point:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_t
a
b_rollback
:
avo
i
d double
free on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab
.
c: t
a
b_m
a
t_p
r
oduc
t
: av
o
i
d
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_tab_
e
xtend_cons: a
v
oid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaeg
e
implement
a
ntiquated isl_basic_set
_
n_* in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
map
_
convex_hull:
a
v
o
id NULL pointer de
r
ef
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
i
s
l_t
a
b_add_valid_
e
q: return int
i
n
stead
of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
rdoolaege
isl_affine_hull
.
c: affine_
h
ull_w
i
th_cone:
a
void NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
is
l
_equaliti
e
s
.
c:
p
a
r
ameter_compressio
n
_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
basic_map_proje
c
t_ou
t
: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c:
c
oalesce_pa
i
r: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaeg
e
isl_conve
x
_
h
u
ll
.
c: exte
n
d: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
implement antiq
u
ated isl_
s
et_
n
_* in t
e
rms
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
i
sl_map_sim
p
lify
.
c: normalize
_
div
s
: avoi
d
N
U
L
L pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaeg
e
i
sl_input
.
c: var
s
_drop: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_convex
_
hull
.
c
: us
e
t
_convex_hull_
w
rap_bounded: fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
i
sl_se
t
_wrap_facet: fix
e
rror h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_min: avoid NULL pointe
r
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoo
l
a
ege
isl
_
affine_hu
l
l
.
c: exte
n
d_
a
f
f
ine_hull: avoi
d
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
g
e
isl_basic_map_extend: plug
m
emory leak o
n
erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_hull
.
c
: equalit
i
e
s
_in_underlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
isl_bas
i
c
_
set_
p
reima
g
e: av
o
id NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_pip
.
c: no_sol
_
in_strict: fi
x
erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
i
s
l_affine_
h
ull
.
c: equalitie
s
_in_unde
r
lying_
s
e
t: p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_af
f
ine_h
u
ll
.
c
:
af
f
ine_hull:
fix erro
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_map_
p
roject_out: fix error r
e
turn value
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_basic_map_i
n
tersect_range: a
v
oid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b_pip
.
c
: f
i
n
d_solutio
n
s: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_alloc_dim
:
fix error ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
dool
a
ege
i
s
l_
b
asic_m
a
p_inte
r
sect: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
is
l
_tab_pip
.
c
:
sol_m
a
p_init: avo
i
d NULL poi
n
ter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
i
s
l_basic
_
map_inte
r
sect_domain: a
v
oi
d
NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
e
g
e
isl_flow
.
c: c
o
mput
e
_
v
a
l
_
b
a
sed
_
d
ependences: fix e
r
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdo
o
laege
isl_flow
_
alloc: fix
er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oola
e
ge
i
s
l
_
access_info_compute_
f
low: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_{set
,
map}_fast_is_empty: avoi
d
NULL poi
n
t
er deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaege
isl_flow
.
c: avoid a
c
c
essing
dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
c
cess_i
n
fo_co
m
p
u
te_flow:
avoid
N
ULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_input
.
c: obj_re
a
d: a
v
oid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doo
l
aege
isl_ma
p
_sub
t
r
a
c
t
.
c: ta
b
_add_const
r
ain
t
s: avo
i
d NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: clos
e
_row: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
isl
_
ma
p
_si
m
p
l
if
y
.
c: re
m
ove_dup
l
ic
a
te_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oo
l
aeg
e
isl
_
b
asi
c
_ma
p
_affine_hul
l
: avoid
NULL pointer derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq:
return int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_map_simplify
.
c:
r
e
move_duplicate_
c
onstraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olae
g
e
isl_map_simplify
.
c:
eliminate_divs_in
e
q: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
g
e
isl_b
a
sic_map_e
l
im
i
nate_vars: av
o
id NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sample
.
c: interval_sample: avoid NUL
L
pointe
r
dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_
s
ample
.
c:
dro
p
_constraints_involving:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
e
ge
isl_
s
tream_new: r
e
ad
_
defined
_
var_l
i
st: avoid
d
ouble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rd
o
o
l
aege
isl_
b
asic_m
a
p_
i
nterse
c
t: avoid NUL
L
poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_sample
.
c: gbr
_
sample: avoid
N
ULL
p
ointer
d
ereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_
test
.
c: avoid NUL
L
poi
n
t
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
o
ol
a
ege
isl_test: avoid
accessing basi
c
set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
oolaeg
e
isl_input
.
c: read_de
f
ined_var_list:
a
void do
u
ble fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doo
l
aege
isl_map_convex
_
hull:
a
v
oid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
isl_b
a
sic_map_n
o
r
malize_cons
t
ra
i
nts: a
v
oi
d
NU
L
L
poi
n
te
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
sl_basi
c
_map_total_di
m
: av
o
id NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doo
l
ae
g
e
i
s
l_basic_map_order_divs: avo
i
d
NULL po
i
nter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
isl_convex_hull
.
c: isl_basic_set_add_equality: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
i
sl_
c
on
v
ex_
h
ull
.
c: co
m
pute_facet:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolae
g
e
i
s
l_test
.
c: map_is_equ
a
l: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_
d
im
.
c: copy_names: check i
n
p
ut dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_dim_d
u
p: check input
d
im
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olae
g
e
isl_basic_map_
c
ow: check resu
l
t of alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new_str: check r
e
sult
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oola
e
ge
isl_tab_pip
.
c:
f
ix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
ola
e
ge
isl_
t
ab
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_polyno
m
i
a
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Ver
d
oolaege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_mo
r
p
h
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ve
n
Verdoo
l
aege
isl_
m
ap
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simplify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaeg
e
isl_input
.
c: accept more general affine
e
xpressio
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl
_
vec_
a
dd
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
olae
g
e
a
d
d isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
o
l
aege
add isl
_
set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add i
s
l_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
V
erdoolaege
export
isl_qpo
l
ynomial_in
v
o
l
ves_dim
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
eg
e
i
sl_
p
ol
y
n
o
m
i
al
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl_map_transitive_
c
losure: c
h
eck wh
e
ther decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aeg
e
add isl_stream
_
flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verd
o
olaege
add isl_s
t
r
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
add rudimentary error reporting
m
e
ch
a
n
is
m
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
a
d
d
isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Verdool
a
e
g
e
is
l
_point_alloc: avoid po
t
ent
i
al mem
o
ry
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
do
c
: d
o
c
u
ment
i
sl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaege
isl_ta
b
_pip
.
c: compare all coefficients when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw
_
qpolyno
m
ial{,_fold}
_
gist: use
s
imple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
ad
d
isl_set_set_
d
im_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
Verdoolae
g
e
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
i
s
l
_qpolynomial_l
i
f
t
:
f
ix lifting in absen
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally (an
d
by default) use be
r
nstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
privately expo
r
t isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw
_
q
polynomial_
f
old_forea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
next