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_domain: properly set dimension of result
2010-07-30
Sven Verdoolaege
isl_basic_
m
ap_domain: properly s
e
t dim
e
nsion of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n Ver
d
oolaege
priva
t
ely
e
x
p
o
rt
isl_se
t
_
r
eset_d
i
m and
i
sl_ma
p
_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
read: extra
c
t out read_va
r
_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
e
rdoolaege
isl_hash_table_foreach: pas
s
poin
t
er
to entry da
t
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
i
sl_has
h
_tab
l
e
_
foreach: add user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
t
rans
i
t
i
ve_closu
r
e
.
c: fi
x
double f
r
ee on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
m
ap_gist: use simple hull instead of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
i
s
l
_map
.
c: fi
x
typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdo
o
l
a
ege
i
s
l_cat: read ge
n
eric
o
bject
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdo
o
l
aege
isl_printe
r
: a
d
d NULL chec
k
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
make
isl_obj
_
no
n
e a cons
t
ant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
oola
e
g
e
ad
d
isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdool
a
ege
isl_map_f
a
s
t
_is_universe: als
o
d
e
t
e
ct redundan
t
representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
Ver
d
ool
a
ege
add is
l
_map_
r
eaching_path
_
len
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_pow
e
r: d
e
l
a
y equati
n
g path lengths
t
o pow
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verd
o
olaege
isl_map_p
o
wer:
apply Floyd-Wa
r
shall to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdool
a
eg
e
isl_map_lexmax: pro
d
uce less cr
y
ptic error me
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_bas
i
c_map_move
_
dims in presence of existe
n
tia
l
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
s
l
_
test: dr
o
p debuggin
g
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verdo
o
l
a
e
ge
isl_transit
i
v
e_closure
.
c:
f
ix typo
in
c
omm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
e
rdoo
l
aege
fix is
l
_map_
l
ex_g
e
and isl_map
_
lex_le in th
e
zero-dimensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sve
n
V
e
rdoola
e
ge
is
l
_
pr
i
n
te
r
_
p
rint_map: r
e
place variabl
e
by its definition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven
Verdoolaege
priv
a
tely
export i
s
l_basic_map_fast_cm
p
and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
i
s
l_dim_set_name: don't accept names that look
l
ike
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoola
e
ge
i
sl_conv
e
x_hull
.
c
:
avoid side-effe
c
ts in
c
alls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
add is
l
_h
a
s
h
_bui
l
tin
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rd
o
olaege
add
i
s
l_int_ge
t
_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
e
n
Ver
d
o
olaege
d
o
c
: f
i
x
some typ
o
s
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdo
o
laege
Ma
k
efile
.
a
m: really include
i
nc
l
ude
/
isl_verti
c
es
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
a
d
d isl_map_is_
b
i
j
ective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaege
doc: drop duplica
t
e bookt
i
tle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
doc
:
use
more e
x
plicit nota
t
ion to
a
v
oid confu
s
i
o
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add
i
sl_constrai
n
t_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verd
o
olaege
i
sl_m
a
p
_
simplify
.
c:
sep
a
rate out isl_
b
asic_map_is_
d
iv_const
r
ai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoola
e
ge
isl_basic_map_fr
o
m_const
r
aint: k
e
ep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
ven V
e
rdoola
e
ge
isl_basic_map_fr
o
m_constr
a
int: onl
y
re
t
ur
n
copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
e
n Verdoolaege
isl_con
s
trai
n
t_add_div
:
correctl
y
set li
n
e t
o
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verd
o
olaege
isl_pip: ren
a
me pip_options to
a
void c
o
n
f
li
c
t wit
h
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hull
.
c: ini
t
ial_face
t
_cons
t
rain
t
: fix e
r
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe backwar
d
inco
m
patible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
ege
doc: ment
i
on disc
u
s
s
ion
g
roup
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Ve
r
doolaege
renam
e
i
s
l_b
a
sic
_
map_c
o
nvex_h
u
ll to isl_basic_map_re
m
ove_r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
isl_affine_h
u
l
l
.
c: outside_point: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl
_
t
ab
_
r
o
l
l
ba
c
k: avoid doub
l
e
fre
e
on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_
t
ab
.
c: t
a
b_mat
_
product: av
o
id NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab_extend_cons
:
avoi
d
N
U
L
L
p
ointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
i
mplement antiquated is
l
_b
a
s
ic
_
set_n_* in t
e
rms
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
m
ap_convex_hull:
avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_
v
alid
_
eq
:
retu
r
n
i
nt instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
erdoolaege
isl_af
f
ine_hull
.
c: affine_hull_w
i
th_cone: a
v
o
i
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
eg
e
isl
_
equalities
.
c:
p
aramete
r
_c
o
m
pression_mu
l
ti:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_b
a
s
i
c_
m
a
p
_
proje
c
t_ou
t
:
avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_coalesce
.
c:
c
oal
e
s
c
e_pair
:
avoid NULL pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_convex_hull
.
c: extend:
f
i
x
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
implement
a
ntiquated isl_set_
n
_* i
n
terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_map_simpli
f
y
.
c: nor
m
a
l
ize_di
v
s: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c: v
a
rs_
d
ro
p
: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_conve
x
_
h
ull
.
c
:
uset_
c
o
nvex_hull_wrap_bounded:
fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_set
_
wrap_fa
c
e
t: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab_min:
a
v
oid NU
L
L pointer de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_affine_hul
l
.
c
: exten
d
_affine_
h
ull: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
aeg
e
isl_basic_map_
e
xtend:
p
l
u
g me
m
ory leak on error
p
ath
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_af
f
ine_hull
.
c: equalities
_
in
_
und
e
rlyin
g
_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_set_preimage: avo
i
d NULL pointer
d
e
re
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_tab
_
pip
.
c: no_sol_in_stric
t
: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
r
doolaege
isl_affi
n
e_hull
.
c: equalities_
i
n_underlying_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
affine_hull
.
c:
a
f
f
in
e
_hull: fix er
r
o handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
i
sl_map
_
project_out: fix error
r
etu
r
n value
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
isl_b
a
sic_map_inte
r
se
c
t_rang
e
: avoid NUL
L
point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l_tab_pip
.
c: find_solutions: fix e
r
ror
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_ba
s
i
c
_map_alloc_d
i
m: f
i
x e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
dool
a
ege
isl_basic_map_i
n
tersect: avoid NULL poin
t
er d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ver
d
o
o
l
aege
isl_tab
_
pip
.
c: sol_map_i
n
it
:
av
o
id NULL po
i
nter dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
sl_
b
asic_map_intersect_domain
:
avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_flow
.
c: compute_val_based_depen
d
e
n
ces: fix e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_flow_alloc: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info
_
compu
t
e_flow:
f
ix
e
r
ro
r
h
a
n
d
li
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaeg
e
isl_
{
s
e
t,map
}
_fast_i
s
_empty: avoid N
U
LL pointer
derefer
e
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
f
low
.
c: avoid ac
c
essing dim field dire
c
tly
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
is
l
_access_info_
c
o
m
pute_f
l
ow
:
avoid NULL po
i
n
t
er d
e
re
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_input
.
c: obj_read: a
v
oid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map
_
su
b
tract
.
c: t
a
b_a
d
d_co
n
s
traints:
avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_
t
ab
.
c
:
close_
r
o
w: fix
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_map_simplify
.
c: remove_d
u
plicate_divs:
avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
a
ege
isl_basic_map_affine_hull:
a
void NULL poi
n
ter derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_tab_add_eq: ret
u
r
n int in
s
tead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_simplify
.
c: remo
v
e_duplicate_cons
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
d
oolaege
isl_map
_
simplify
.
c: eliminate_divs_ineq: avoi
d
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_basic_
m
ap_eliminate_vars: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_sample
.
c:
interval_samp
l
e: avo
i
d NULL po
i
nter d
e
re
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_sample
.
c:
d
rop_constraints_involving: avoi
d
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_stream_ne
w
: r
e
ad_defined_var_l
i
st: avoid double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
is
l
_basic_map_inter
s
e
c
t: avoid NULL pointer derefer
e
nc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_sample
.
c: gbr_sample
:
avoid NULL
p
ointe
r
d
e
re
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl
_
tes
t
.
c: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
isl_test: avoid
a
ccessing basic s
e
t internals
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_input
.
c: read_defined_va
r
_list:
avoid double
f
ree
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
map_convex_hull
:
av
o
id NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
next