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
fix isl_basic_map_move_dims in presence of existentially quantified variables
2010-07-23
Sven V
e
rdoolaege
fix isl_basi
c
_map_move_dims in prese
n
ce of ex
i
stentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_tes
t
: drop debu
g
ging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdoolae
g
e
isl_t
r
ans
i
tive_closure
.
c: fix typo in
c
omment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolaege
fix isl_map_lex_ge and
i
sl_map_lex_le
i
n the ze
r
o-dime
n
siona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven
V
erdoola
e
ge
i
s
l_printer_pri
n
t_
m
ap: replace
variable by its definiti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ver
d
ool
a
ege
pr
i
vately export i
s
l_basic_map_fas
t
_cmp and isl_basic_map_
f
a
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
doolaege
isl_
d
im_set_name: don't
a
c
c
ept
names tha
t
look
l
ike
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
ven
Verdoolaege
isl_convex_hu
l
l
.
c:
a
vo
i
d si
d
e-effects in call
s
to is
l
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaeg
e
add isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Verdoolaege
add is
l
_int_
g
et_s
t
r
commit
|
commitdiff
|
tree
2010-07-02
Sven Ver
d
oolaege
doc: fix some typo
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
i
s
l 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am: really includ
e
in
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
Ve
r
doolaege
add
i
s
l
_
m
ap_
i
s_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoo
l
aege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc
:
drop dupl
i
cate bookt
i
tle from
K
e
l
l
y
199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
V
erdoo
l
aege
doc: u
s
e
m
ore explicit no
t
ation t
o
avoid confusi
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
add isl_constra
i
nt_i
s
_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_m
a
p_simplify
.
c: separate out
i
sl_basic_map_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
V
erdool
a
e
ge
isl_basic_map_from_constraint:
ke
e
p all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_basi
c
_
m
ap_from_constraint: only return copy o
f
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoolaeg
e
isl
_
cons
t
raint_add_div: corre
c
tly set line
to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n
V
e
rdoolaeg
e
i
s
l_pip:
r
ename pi
p
_options to avoid c
o
nflict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
ege
isl_convex_hul
l
.
c
:
in
i
tial_facet_c
o
nst
r
aint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc
:
describe back
w
ard incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
doc: mention discussion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
r
ename isl_
b
as
i
c
_map_co
n
v
e
x_h
u
ll to
isl_basic_m
a
p_re
m
ove_r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_affine_h
u
ll
.
c: outside_point: fi
x
e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_
r
oll
b
ack:
avoi
d
double free
on
e
rror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
rdoolaege
isl
_
ta
b
.
c
:
t
a
b_mat_product: avoid NULL point
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
o
laege
i
s
l
_
tab_
e
xt
e
nd_co
n
s: av
o
id NULL pointer
derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
d
oolaege
i
m
plemen
t
antiquated isl_b
a
s
i
c_set_n_* in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_m
a
p_con
v
ex_hull: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_va
l
id_eq: retu
r
n int inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_af
f
ine
_
hull
.
c: aff
i
ne_hull_
w
ith_cone: avoi
d
NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolaege
is
l
_equ
a
l
i
t
i
es
.
c: p
a
ra
m
eter_compressi
o
n_
m
ulti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
b
asic_map_proj
e
c
t
_out: avoid NULL p
o
i
n
ter der
e
feren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c:
coal
e
s
c
e_pair: av
o
id NULL pointer
d
erefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_convex_hull
.
c: extend: fix
e
rror h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ola
e
ge
im
p
lem
e
nt an
t
iqu
a
ted isl_set_n_* i
n
t
erms
of is
l
_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: norm
a
lize_divs
:
avoid
N
U
L
L
p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_in
p
u
t
.
c
:
vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_convex_hull
.
c: uset_convex_hull_wrap_bounded: f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
i
s
l_
s
et
_
wrap_facet: fix error
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_t
a
b_mi
n
: avoid N
U
LL
pointer
d
er
e
fe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_a
f
fine_h
u
ll
.
c: extend_aff
i
ne_h
u
l
l: a
v
oid NULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_bas
i
c_map_exte
n
d: plug memo
r
y leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
oola
e
ge
is
l
_affine_h
u
ll
.
c
: e
q
ualities_in_underlying_set:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
sl_basic
_
set_
p
reim
a
ge:
avoid NULL pointe
r
d
e
refe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_
pi
p
.
c: no_s
o
l_i
n
_strict
:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
equalities_
i
n_under
l
ying_set:
p
l
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laeg
e
isl_
a
ffin
e
_hu
l
l
.
c
:
affine_hul
l
: fix erro handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolae
g
e
isl_map_project_
o
u
t
:
fix error ret
u
rn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_basic_
m
ap_intersect_range: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_t
a
b_pip
.
c: find_so
l
u
t
ions: fix er
r
or
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_basic
_
map_al
l
oc_dim: fix error han
d
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_basic_map_intersec
t
: avo
i
d NULL pointer d
e
r
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_tab_pip
.
c: sol_map
_
init:
a
void
N
ULL pointer dere
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_basic_map_inter
s
ect_domain: avoid
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
l
aege
isl_flow
.
c: compute_val_based_dependenc
e
s: fix
err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flow_alloc:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
r
doolaege
is
l
_acce
s
s_
i
nfo_c
o
mpute_flo
w
: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_{set,
m
ap}_fa
s
t
_
is
_
em
p
ty: avoid
N
U
L
L
pointe
r
d
e
referen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl_flow
.
c:
a
v
oid accessing
d
im f
i
eld directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_access_in
f
o_
c
o
m
pute_
f
low
:
a
void NULL point
e
r de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: obj_r
e
ad: avoid
NULL
pointer derefe
r
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
olaege
isl_ma
p
_
subtract
.
c: tab_a
d
d_constr
a
ints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab
.
c: clo
s
e
_
row: fix er
r
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_map_simpli
f
y
.
c
: re
m
ove_dup
l
icate_div
s
: avoid N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdool
a
ege
is
l
_basic_map
_
a
ffine_hull:
avoid NULL po
i
nter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_t
a
b_add_eq: return int inst
e
ad
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_s
i
mplify
.
c: remove_dupl
i
cate_constraints:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_sim
p
lify
.
c:
eliminate_div
s
_ineq: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_ba
s
ic
_
map_
e
liminate_var
s
: avoid NULL p
o
inter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
isl_sa
m
ple
.
c
:
int
e
rval_sample: avoid
N
ULL p
o
i
nte
r
derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
er
d
oolaege
isl_s
a
mple
.
c
: drop_co
n
s
traints_involving:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_stream_new: read_defined_var_list: av
o
id doubl
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolae
g
e
isl_basic_map
_
inte
r
sect
:
avoid N
U
LL poi
n
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
i
sl_s
a
mple
.
c
:
gbr_sample: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
sl_
t
es
t
.
c: a
v
o
id N
U
LL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl
_
te
s
t: avoid accessing
b
a
sic s
e
t internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
i
sl_inp
u
t
.
c: re
a
d_defined_var_list: avoid
d
o
u
ble f
r
ee
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_map_convex
_
hull: avoid NULL pointer de
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
s
l_basic_map_normal
i
ze_c
o
n
str
a
i
n
ts: avoi
d
NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_
map
_
tota
l
_dim:
avoid NULL poi
n
t
e
r derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolae
g
e
isl_basic_map_orde
r
_divs:
a
void NULL p
o
inter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_convex_h
u
ll
.
c: isl_basic_set_add_equality: a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_convex_hull
.
c: compute_f
a
ce
t
:
avoid NU
L
L
p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_test
.
c:
m
ap_is_
e
qual: check input
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_dim
.
c: co
p
y_names: check
input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_dim_dup:
check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_b
a
si
c
_map_cow: check re
s
ult of a
l
location
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n V
e
rdool
a
eg
e
isl_st
r
eam_new_str: check re
s
ult o
f
allocatio
n
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoolaege
isl_stream
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Ver
d
oolaege
isl_tab
_
pip
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoo
l
aege
isl_tab
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
ae
g
e
isl_polynomi
a
l
.
c
: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en V
e
rdoolaege
isl_vertices
.
c: fi
x
t
yp
o
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdoolaege
isl_morph
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
next