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: keep all divs, even redundant ones
2010-06-27
Sven Verdoolaege
isl_basi
c
_map
_
from_constraint: keep
all divs,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolaeg
e
isl_basic_
m
ap_from_constraint: only
r
eturn
c
o
py of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint
_
add_div: correct
l
y set
l
ine to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doola
e
g
e
isl_pip
:
renam
e
pip_option
s
to avoid c
o
nflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
conve
x
_hull
.
c: initial_facet_
c
onstrai
n
t
: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
do
c
: describe
ba
c
kward i
n
compatib
l
e changes
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
la
e
g
e
doc:
m
ent
i
on d
i
s
cussion
group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
d
oolaege
rename isl_basic_map_convex_hull
to isl_ba
s
ic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_a
f
fine_hull
.
c:
o
uts
i
de_point: fix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_tab_rollback: avoi
d
double free on erro
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
isl
_
tab
.
c
: tab_mat_product: avoid
N
ULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_extend_cons
:
avoi
d
NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
l
a
ege
implement antiqua
t
ed isl_basic_set
_
n_
*
in
t
erms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_map_convex_hull: avoid
NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
isl_tab_add_valid_eq: return int
i
nstead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl
_
affine_hu
l
l
.
c: affine_hul
l
_wit
h
_co
n
e
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
o
laege
isl
_
e
q
ualities
.
c: pa
r
a
m
eter_
c
ompression_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_basic_map_p
r
oject_out: avoid N
U
LL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_
c
oal
e
sce
.
c: coalesce_pair: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
is
l
_convex_hull
.
c:
e
xt
e
nd: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement antiquated
i
sl_set_n_
*
i
n
terms of isl_
s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_map_
s
implify
.
c: n
o
rmalize_divs:
avo
i
d
N
ULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_in
p
ut
.
c: vars_drop: fix error handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_c
o
n
v
e
x_hull
.
c: uset_convex
_
hull_wrap_bounded
:
f
ix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_set_wrap_facet: fix err
o
r
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
lae
g
e
i
sl_tab_m
i
n: avoid NULL point
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_affi
n
e_hull
.
c
: exten
d
_
a
ffine_
h
ull: avo
i
d NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_b
a
s
ic_map_extend: plug memory leak on err
o
r
pat
h
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaeg
e
i
sl_a
f
fine
_
hull
.
c
: equalities_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_basic_set_
p
re
i
mage: avoid
NU
L
L
p
ointer
derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ta
b
_
p
ip
.
c: no_sol_in_
s
trict
:
fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoo
l
aege
isl_affi
n
e_hull
.
c: equalitie
s
_in_unde
r
lying
_
set
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_
a
ffine_
h
ull
.
c:
affine_hull: fix erro
ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
l
aege
isl_map_proj
e
ct_out: fix er
r
or retu
r
n va
l
u
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
si
c
_map_i
n
tersect
_
range: avo
i
d NUL
L
poi
n
ter
de
r
ef
e
renc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
ege
isl_tab_pi
p
.
c: find_sol
u
tion
s
: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
doo
l
ae
g
e
i
s
l_b
a
sic_map_alloc_
d
i
m: fix error han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_map_
i
nte
r
sect: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdoo
l
aege
isl
_
t
a
b_
p
ip
.
c
:
sol
_
m
ap_init: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
as
i
c_map_intersect_domain: avo
i
d
N
UL
L
p
o
inte
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow
.
c: c
o
mpute_v
a
l_based_dependences: f
i
x e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
laege
isl_flow
_
all
o
c:
f
ix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
i
s
l_a
c
cess_info_compute_f
l
ow: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
is
l
_{set,map}_fa
s
t_is_em
p
ty: avoid
NU
L
L point
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
i
s
l_flo
w
.
c
: avoid acces
s
ing dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_i
n
fo_compute_
f
low:
a
void
NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_inpu
t
.
c: ob
j
_read: avoid
NULL pointer d
e
r
e
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
s
l_map_subt
r
a
c
t
.
c:
t
ab_add_const
r
a
ints: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laeg
e
isl_t
a
b
.
c: close_row: fix err
o
r ha
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
i
s
l_m
a
p_simplify
.
c:
r
e
m
ove_duplicate
_
d
ivs
:
avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_basic_map_aff
i
n
e
_
h
ull: avoid NULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoola
e
ge
i
sl_t
a
b_add
_
eq: r
e
t
u
rn int instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_simplify
.
c: remove_duplicate_
c
onstraints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
i
s
l_m
a
p_si
m
p
l
ify
.
c: eliminate_divs_i
n
eq: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_map_e
l
iminate_
v
ars: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_sample
.
c
:
interval_sample: av
o
i
d
NULL pointer derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: drop_
c
onstraints_involv
i
n
g
: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaeg
e
isl_stream_new: read_defined_var_list:
av
o
id double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olae
g
e
i
sl_basic_map
_
i
nt
e
rsect
:
avoid NULL po
i
nter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
s
l_samp
l
e
.
c:
g
br_sample
:
a
v
oid NULL
pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdoolaege
isl_test
.
c
: avo
i
d
NULL point
e
r dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_test: avoi
d
acce
s
si
n
g basic set
i
n
t
e
r
n
als
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_input
.
c:
r
ead_defined_
v
ar_list: avoid
d
oubl
e
free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_m
a
p_conv
e
x
_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_ba
s
ic_ma
p
_normalize_
c
onstraints: a
v
oid NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
a
e
g
e
isl_basic_map_total_dim:
avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_basic_ma
p
_orde
r
_divs: avoid NULL
p
o
i
nter
d
ere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_hull
.
c: isl_basic_
s
et_add_equality: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
a
e
g
e
isl_co
n
vex_hull
.
c: compute_facet: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_test
.
c: map_is_
e
qua
l
: check
i
nput
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim
.
c
:
copy_names: ch
e
ck i
n
put d
i
m
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
oolae
g
e
isl_
d
im_dup: check input
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_c
o
w: c
h
eck result of allo
c
ation
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_s
t
r
e
am_new_st
r
: check resul
t
of allocati
o
n
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
dool
a
ege
isl_stream
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
lae
g
e
is
l
_tab_pip
.
c:
f
i
x typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
is
l
_vertices
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdoolaege
isl_morph
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_m
a
p
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
i
s
l
_
map_
s
i
mplify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
i
sl_input
.
c: accept more general affine expres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
a
d
d isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaege
add isl_v
e
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
g
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoo
l
aege
add isl_map_i
s
_
tra
n
slation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
export isl_qp
o
lyn
o
mi
a
l_i
n
volve
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
isl_polynomial
.
c: add mis
s
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolaege
is
l
_ma
p
_
t
ransi
t
ive_closure: c
h
e
c
k whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
a
dd isl_stream_flus
h
_
t
oken
s
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
er
d
oola
e
ge
add
r
udiment
a
ry
er
r
or reporting
mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ver
d
oolaeg
e
is
l
_point_
a
lloc: a
v
oid potenti
a
l memory leak
o
n
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Verdoolaeg
e
doc: docu
m
ent isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ven V
e
rdool
a
ege
isl_tab_
p
ip
.
c
: compare all coeffici
e
nts when
ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaeg
e
i
s
l_pw_qpolyno
m
ia
l
{,_fold}
_
gist
:
use simp
l
e hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoo
l
a
ege
add isl_strea
m
_r
e
ad_set
commit
|
commitdiff
|
tree
next