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_lexmax: produce less cryptic error message when result is unbounded
2010-07-24
Sven Ve
r
d
o
o
laege
i
s
l_map_le
x
max: pro
d
u
c
e
less c
r
yptic er
r
or message
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sve
n
Verdoolaege
fix isl_basic_map_mov
e
_dims i
n
presence
o
f ex
i
stentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
isl_test: drop
d
ebugging out
p
ut
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
isl_transitive_clo
s
ure
.
c:
f
ix typo in c
o
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolaeg
e
f
ix isl_m
a
p_lex_ge and
isl_map
_
lex_le in the zer
o
-d
i
me
n
siona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven V
e
r
d
o
olaege
isl_printe
r
_print_map:
replace variab
l
e
by its
d
e
finit
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
priv
a
t
e
ly
export isl_basic_
m
ap_fa
s
t_cmp and
isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n
Verdoolaeg
e
isl_dim_se
t
_name: don't accep
t
names
t
hat look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
ven Verdoolaege
isl_convex_hul
l
.
c: avoid side-eff
e
cts in c
a
lls to is
l
_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdoolaege
a
dd isl_hash_buil
t
in
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoo
l
aege
add is
l
_
i
nt_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc:
fix some typo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaeg
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
Makefile
.
am: real
l
y
include includ
e
/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
add isl_map_is_bi
j
ect
i
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sven
Ve
r
doolaege
doc
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
Sven
Ver
d
oolaege
doc: drop duplicate booktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en V
e
rdoola
e
ge
doc
:
use m
o
r
e explicit
n
otation to
avoid confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
S
ve
n
Verdo
o
lae
g
e
add isl_co
n
str
a
int_is
_
div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_m
a
p_simplify
.
c: separa
t
e out
i
sl_basic_
m
ap_is_div_co
n
stra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_
b
asic_map_from_cons
t
raint: ke
e
p all
d
ivs, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
is
l
_basi
c
_
m
ap_f
r
om_co
n
stra
i
nt: on
l
y retu
r
n
c
op
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
is
l
_constra
i
n
t
_
a
d
d
_
d
iv:
c
o
rrec
t
ly set line to fir
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
isl_pip:
rename pip_opti
o
ns
t
o avo
i
d
c
o
nf
l
i
c
t
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_c
o
nvex_
h
ull
.
c: initial_facet_constraint: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
doc: describe backward incompatib
l
e cha
n
g
e
s
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
doc: m
e
n
tion discussi
o
n gr
o
up
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
re
n
ame isl_basic
_
map
_
c
onvex_hu
l
l to isl_
b
asic_map_remove_
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine_hull
.
c: ou
t
side_p
o
int: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_rollbac
k
: avoid dou
b
l
e
fr
e
e
on error p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erd
o
o
l
aege
isl_tab
.
c: tab_mat_p
r
oduct: avoid NULL point
e
r derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
isl_t
a
b_extend_cons: avoi
d
NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaeg
e
implement a
n
tiquated isl_basic_
s
et_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
is
l
_map_convex
_
hull
:
av
o
id NULL pointer d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
is
l
_tab_add_valid_e
q
: return int inst
e
ad
o
f is
l
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_affine_hull
.
c
:
affine_hull_with_cone: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_equalit
i
es
.
c
:
parameter_
c
om
p
r
ession_multi: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basi
c
_map_project_ou
t
: avo
i
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl
_
co
a
lesce
.
c: coalesce_
p
air: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_convex
_
hull
.
c: extend: fix erro
r
hand
l
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
a
e
ge
imple
m
ent antiqua
t
ed
i
sl_set_n_* i
n
terms
of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l
_map_simpl
i
fy
.
c: normalize_divs:
a
void NUL
L
po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
o
l
a
ege
isl_
i
n
p
u
t
.
c: vars_
d
ro
p
: fix
e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_conv
e
x_hull
.
c
: u
s
et_convex_h
u
ll_
w
rap_boun
d
ed: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_set_wrap_face
t
: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
o
olaege
i
sl_tab_
m
in: avoid NU
L
L poi
n
ter derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
is
l
_a
f
fine_hull
.
c: extend_affine_hull:
a
void NU
L
L po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
r
d
o
o
l
aeg
e
i
s
l_basic_map_extend: plu
g
memory leak on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_aff
i
n
e_hull
.
c
:
equa
l
i
t
ies_in_und
e
rlying_se
t
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_set_preimage: avoid NULL pointer de
r
efere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
isl_tab_pip
.
c: no
_
sol_in_strict: fi
x
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolae
g
e
isl_af
f
ine_hul
l
.
c
:
e
qualitie
s
_
in_und
e
r
lying_
s
e
t:
p
lug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
doolaege
i
s
l
_affine_hull
.
c
:
affine_
h
u
ll: fix erro handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_map_project_out:
fix error
r
eturn
v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_
b
asic_map_intersec
t
_range: avoid NULL pointer
d
erefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
p
ip
.
c:
f
ind_solutions: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic_map_alloc_dim:
f
ix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolaege
isl_bas
i
c
_map_interse
c
t: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oola
e
g
e
isl_tab_pip
.
c: sol_map_init: avo
i
d NULL pointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_bas
i
c
_
map_i
n
t
e
rsect_d
o
main: avoid
NULL
p
oi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_flow
.
c: c
o
mp
u
te
_
val_base
d
_dependences: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_fl
o
w
_alloc: fi
x
error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
access_info_c
o
m
p
ute_flow: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_{set,map}_fast_is_empty: avoid NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
is
l
_fl
o
w
.
c: avoid accessing
d
i
m field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
erdoo
l
aege
isl_
a
ccess_
i
nfo
_
c
o
mpu
t
e_
f
low: avoid N
U
L
L
pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
i
nput
.
c: o
b
j_read: av
o
id NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
i
s
l_map_
s
u
btract
.
c: t
a
b_add_constraints
:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_tab
.
c: close_row
:
f
ix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
m
ap_
s
im
p
li
f
y
.
c: remove_
d
uplicate_divs: av
o
i
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_map_affine
_
hul
l
: a
v
oid NULL poi
n
ter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl_tab_
a
dd_eq: return in
t
instead of is
l
_t
a
b *
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
ge
isl_map_simplify
.
c: r
e
m
ove_
d
uplicate
_
constraint
s
: a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
i
sl_map
_
simp
l
ify
.
c:
elim
i
nat
e
_divs_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
sl_basic_map_
e
l
iminate_vars: avoid NU
L
L pointer
d
e
r
eferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sa
m
p
l
e
.
c: in
t
e
r
val_sample: avoi
d
NULL
p
oint
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_sample
.
c: drop_constraints_involvi
n
g:
a
void
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
rdoolaege
is
l
_str
e
am_new: r
e
ad_de
f
i
n
ed_var_list:
av
o
id do
u
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
doolae
g
e
isl_
b
asic_m
a
p
_
in
t
ersect: avo
i
d
NULL pointer d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doolaege
isl
_
sam
p
le
.
c:
gbr_sample: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doolae
g
e
isl_te
s
t
.
c
: av
o
i
d NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
test:
a
void
accessing basic set internals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_input
.
c: read_defined_var_list: a
v
oid double free
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_map_convex_hull: a
v
oid N
U
LL
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_b
a
sic_
m
ap_normalize_const
r
aints: avoid NULL
p
oi
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
do
o
laege
isl_
b
asic_map_total_dim: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl
_
bas
i
c_map_or
d
er_divs
:
avoi
d
N
ULL pointer de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_convex_
h
ull
.
c: isl_basic_set_
a
dd_equality:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaeg
e
isl_co
n
vex_h
u
ll
.
c: com
p
ute_fac
e
t: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
isl_te
s
t
.
c: map_is_e
q
ual
:
check
i
n
put
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_di
m
.
c: copy_names: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
d
im_
d
up: check input di
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_cow:
c
heck result of all
o
catio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_str
e
am_new_str
:
check result o
f
alloca
t
ion
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
olaeg
e
isl_tab_pip
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_t
a
b
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
isl_p
o
lynomial
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_ver
t
ic
e
s
.
c
:
fi
x
ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdo
o
laege
i
sl_morph
.
c: fix
typ
o
commit
|
commitdiff
|
tree
next