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_from_domain_and_range: implement in terms of isl_map_apply_range
2010-07-30
Sven Verdo
o
l
a
ege
i
s
l
_
m
ap
_
fr
o
m_d
o
main_and_range:
i
m
p
lemen
t
in t
e
rms
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
isl_basic_ma
p
_doma
i
n: properly set dim
e
nsio
n
o
f
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately export isl_set_res
e
t_dim and i
s
l_
m
a
p
_reset_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_map_read: e
x
tract out rea
d
_
v
ar_d
e
f
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
Verd
o
olaege
is
l
_
hash_table
_
foreach: pass pointer
t
o entry
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
i
s
l_hash_table_for
e
ach:
a
d
d
u
s
er argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_tran
s
itive_
c
losure
.
c
:
fix d
o
uble free on er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdo
o
l
a
ege
isl
_
map_g
i
st: use simple
h
ull instead of
c
onv
e
x hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaeg
e
isl_map
.
c
: fi
x
t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_cat
:
read generic objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
l
a
e
g
e
isl_printer: ad
d
NU
L
L
check
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
m
a
ke isl_ob
j
_
n
one
a
c
o
n
s
tant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add isl
_
map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_map_fast_i
s
_
u
niverse: also detec
t
red
u
ndant
r
e
presentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdool
a
e
g
e
add isl_map
_
rea
c
hing_path_l
e
ngt
h
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaege
isl_map_power:
d
el
a
y equating
p
at
h
lengths to po
w
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdo
o
laege
is
l
_
map_power: apply Floyd-W
a
rshall to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map_lexm
a
x:
produ
c
e
less cr
y
pti
c
e
rror message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n
V
erdo
o
laege
fix isl
_
basic_map_move_dims in presence of existentiall
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verd
o
olaege
isl_test: drop
d
eb
u
g
gin
g
output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_t
r
ansit
i
v
e_closure
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolae
g
e
f
ix i
s
l_map_lex_ge and is
l
_map_lex_
l
e
i
n
t
he zero-dime
n
si
o
na
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoolaege
isl_printer_p
r
i
n
t
_map: re
p
l
a
ce variable by its defini
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaeg
e
private
l
y export isl_basic_
m
ap_fast_cmp and isl_ba
s
ic_m
a
p_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verd
o
olaege
isl_dim_
s
e
t_name: don
'
t accept names that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
i
s
l_
c
onvex_hul
l
.
c: avoid side-effects i
n
cal
l
s to
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven V
e
rdoolaege
add i
s
l_hash_bu
i
l
tin
commit
|
commitdiff
|
tree
2010-07-04
S
ven Verdool
a
ege
add i
s
l_int_
g
et_
s
tr
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdool
a
eg
e
doc:
f
ix s
o
me t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am: real
l
y include includ
e
/is
l
_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_map_is_bi
j
e
ctive
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
V
e
r
doolaege
do
c
:
f
i
x
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sven Ve
r
doolaege
doc: drop d
u
plicate
b
oo
k
title from K
e
lly
1
996clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Ve
r
doolaege
doc
:
use more ex
p
l
i
cit notation to
avo
i
d c
o
nfusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
add isl_cons
t
raint_is_
d
iv_co
n
s
t
r
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
aege
isl_map_simplify
.
c: separate
o
u
t isl_basic_map_is_div_con
s
traint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
i
s
l_ba
s
i
c_map_from_constraint:
k
eep a
l
l divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oola
e
g
e
isl_basic_ma
p
_from_constraint: only return cop
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_constraint_a
d
d_div: c
o
rrectly se
t
line to f
i
rs
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oo
l
aege
isl_pip: renam
e
pip_options
to avo
i
d
c
on
f
lic
t
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l
_
convex_hull
.
c: in
i
ti
a
l_facet_constrai
n
t: fix
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verd
o
ol
a
e
g
e
d
o
c:
d
escribe backward incompatible
c
hanges
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
m
ention disc
u
s
s
io
n
group
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
ren
a
me is
l
_
basic_map_convex_hull to isl_basic_map_r
e
move_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl_affine_hull
.
c:
o
utside_po
i
nt: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ol
a
ege
isl_t
a
b
_rol
l
b
a
ck:
a
v
oid d
o
uble free on e
r
ror p
a
th
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
ool
a
ege
isl_
t
ab
.
c
:
tab_ma
t
_product:
a
void NULL pointer de
r
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
is
l
_
tab_
e
x
t
end_cons: avoid NUL
L
pointer
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoolaege
impl
e
ment antiquated i
s
l_basic_set_n_
*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
i
s
l_map_convex_hull: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_t
a
b
_add_va
l
i
d
_
eq
:
return int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affi
n
e_hull
.
c:
affine_hull_with_cone:
avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_equalities
.
c: par
a
meter_com
p
ression_multi: av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
i
s
l
_
basic_map_p
r
o
ject
_
o
ut: avoid NU
L
L
poi
n
t
e
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolae
g
e
isl_coal
e
sce
.
c:
c
oal
e
sce_pair: avoid NULL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_con
v
ex_
h
ul
l
.
c:
extend: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
impl
e
me
n
t an
t
iquated isl_set_n_* in
t
erms
of i
s
l_se
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_ma
p
_s
i
mpl
i
fy
.
c: normalize_
d
i
v
s: avoid N
U
LL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
isl_input
.
c:
v
a
rs_
d
r
o
p:
f
ix
e
r
r
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_convex_h
u
ll
.
c: uset_conv
e
x_hull_
w
r
ap_bound
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_set_wrap_
f
acet: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verd
o
olaege
i
s
l
_
tab_min:
a
void
N
U
LL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_hull
.
c: extend_affine_hull: avoid N
U
LL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_basic_
m
ap_extend: plug
m
emory l
e
ak o
n
error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
a
ffine
_
hull
.
c: equalities_in_underlying
_
s
et: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_basic_set_pr
e
image: avoid NULL poin
t
er
dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_p
i
p
.
c:
n
o_sol_in_stri
c
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
in
e
_
h
ull
.
c: e
q
ualities_in_underly
i
n
g_s
e
t
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_affine_hull
.
c: affin
e
_hull
:
fix erro ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaeg
e
isl_map_proj
e
ct_out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_
m
ap_inters
e
c
t
_ran
g
e:
a
v
oid NULL pointer derefe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_p
i
p
.
c
:
fin
d
_solu
t
ion
s
:
f
ix e
r
ror
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_map_alloc_dim: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_in
t
e
rsec
t
: avoid NULL
poin
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verd
o
olaege
isl_t
a
b_pi
p
.
c: sol_map
_
init: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_
m
ap_intersect
_
domain:
a
void NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_flow
.
c: compute_val_based_de
p
endences: f
i
x error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
isl_flow_allo
c
:
f
ix
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
sl_access_info_com
p
ute_f
l
ow: f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_{set
,
m
a
p}_fast
_
i
s_empty: avoid
N
ULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
ae
g
e
i
sl_fl
o
w
.
c: av
o
id access
i
ng d
i
m field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_access_info_comp
u
te_
f
low: a
v
oid NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
isl_input
.
c:
o
bj_
r
ead: avoid NU
L
L pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
a
eg
e
i
s
l_map_subtract
.
c
: ta
b
_
a
dd_constrain
t
s: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
isl_tab
.
c: close_row: fix e
r
r
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
ae
g
e
is
l
_
map_simp
l
ify
.
c: remove_duplicat
e
_divs:
a
v
oid NU
L
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
i
s
l_basic_m
a
p_affine_
h
u
ll: avo
i
d N
U
LL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: return in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l_map_simpli
f
y
.
c: remo
v
e
_duplic
a
te_constra
i
nts: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
i
s
l
_
map
_
simplify
.
c: e
l
im
i
nate
_
di
v
s_
i
neq: av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
a
ege
isl_
b
asi
c
_ma
p
_eliminate
_
va
r
s: avo
i
d NUL
L
poin
t
er der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
is
l
_
sample
.
c: interval_sample
:
avoid NULL
p
ointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_samp
l
e
.
c: drop_const
r
aints_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
i
sl_stream_new:
r
ea
d
_define
d
_
v
ar_list: avoid d
o
u
ble
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_basic_map_interse
c
t
:
avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c: gbr_sample:
a
v
oid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_test
.
c: avo
i
d NULL poi
n
ter der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_te
s
t:
a
v
o
id a
c
cess
i
ng
b
asic set
i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_in
p
ut
.
c: read_defined_var_list: avoid doubl
e
f
ree
.
.
.
commit
|
commitdiff
|
tree
next