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
Sve
n
Ve
r
doolaege
isl_
b
as
i
c_map
_
domain
:
properly set dimens
i
on of
r
e
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoo
l
aege
p
r
ivately export isl_set_reset_di
m
and isl_map_re
s
et_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
is
l
_ma
p
_re
a
d: extract out
r
ead_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_hash_t
a
ble_
f
oreach: pass
p
oi
n
ter t
o
entry dat
a
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl
_
has
h
_tabl
e
_for
e
ach: add u
s
er a
r
gument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erd
o
olaege
i
sl_transitive_
c
losure
.
c: fix double f
r
ee on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_g
i
st
:
u
se simple hu
l
l instead of convex
hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl
_
map
.
c:
f
ix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
is
l
_
c
at: read
gen
e
ric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verd
o
olaege
i
sl_printer: add NULL check
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
mak
e
isl
_
obj_n
o
ne a
c
onstant express
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
add isl_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Ve
r
doolaege
isl
_
ma
p
_f
a
st_is_uni
v
e
rse: also detect redundant
r
epresentati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
erdoolaege
add i
s
l_m
a
p_reaching_path_len
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaeg
e
i
sl_m
a
p_
p
o
wer: delay equatin
g
path lengths to
p
ower
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ve
r
doolae
g
e
i
s
l_map_power
:
ap
p
l
y
Fl
o
yd-
W
ars
h
a
ll t
o
c
o
m
put
e
pow
e
rs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaeg
e
i
s
l_map_le
x
max: p
r
oduce less
c
ryptic error message
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoo
l
aege
fix isl_basic_map
_
move
_
d
i
ms in
p
r
esence
of exis
t
entially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_test: drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_trans
i
t
i
v
e_closure
.
c:
f
i
x
typo
i
n c
o
mmen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sv
e
n Verdoolaege
fix isl_map_le
x
_ge
a
nd isl_map_lex_
l
e in the
zero
-
d
imens
i
ona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sve
n
Verdoolaege
isl_
p
rinter
_
pri
n
t_map: replace
v
ar
i
able by its definitio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sv
e
n Verdoo
l
a
e
ge
privately export i
s
l_b
a
sic_map_fast_cmp and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verd
o
o
laege
isl_dim_s
e
t_name:
d
on't accept na
m
e
s
that look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
Tobias Grosser
Remove comma at t
h
e end of
en
u
merati
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoolaege
isl_convex_hu
l
l
.
c
:
avoid side-effects in ca
l
ls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven
Verdoolaege
add
isl
_
hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
a
d
d isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc:
f
ix
s
ome typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
la
e
ge
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
M
a
kefi
l
e
.
am: really include in
c
lude
/
isl_vert
i
ce
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
add isl_map_is_bijectiv
e
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
do
c
: dr
o
p
duplicate booktitle
f
rom Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verd
o
olaege
doc:
u
se more expl
i
cit notat
i
on to av
o
id confus
i
on
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aeg
e
add is
l
_cons
t
r
a
int_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdool
a
eg
e
i
s
l_map_simplify
.
c: separate out isl_bas
i
c_map_is
_
div
_
co
n
straint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
d
o
o
laege
isl_basic_map_from_constraint: keep all divs, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
is
l
_basic_map_from_c
o
nstraint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
isl_constra
i
nt_
a
d
d
_div
:
correctly set
line to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
isl
_
pip: rename
p
ip_opt
i
o
n
s
t
o avoid con
f
lict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
c
onvex_hull
.
c: initial_facet_constraint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describe backw
a
rd incompatible cha
n
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc:
me
n
tion discuss
i
on grou
p
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
rename isl_basic_map_convex_hul
l
to isl_bas
i
c_map_rem
o
ve_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
o
l
aege
isl_affine_
h
ull
.
c
: ou
t
side_poi
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
ta
b
_
rollback: a
v
o
i
d doub
l
e
f
r
ee on
err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_tab
.
c
: tab_ma
t
_product: avoid
N
ULL
p
ointer d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_tab_exte
n
d
_cons
:
avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
implement antiquated isl
_
b
a
s
ic_
s
e
t_n_* i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_map_convex_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_tab_add
_
v
al
i
d_eq: return int ins
t
ead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l
_affine_
h
ull
.
c: affine_hull_wi
t
h_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equa
l
ities
.
c: par
a
meter_com
p
ression_
m
u
l
t
i: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_b
a
sic_ma
p
_
p
roject_out: avoid N
U
LL poin
t
er de
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_coalesce
.
c:
coalesce_pair
:
avoid NU
L
L pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
c
onvex_
h
u
ll
.
c: extend: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
implement antiqua
t
ed isl
_
set_n
_
* in ter
m
s of isl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
map_simplify
.
c: normalize_divs: av
o
id NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
ae
g
e
isl_input
.
c: vars_drop: fix er
r
or h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
ae
g
e
isl
_
convex_hull
.
c:
u
s
et_convex_hull_wrap_bounded: fi
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
ge
is
l
_set_wra
p
_
face
t
: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_tab_min: avoid NU
L
L pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
isl_affin
e
_
hull
.
c: extend_affine_
h
u
ll: avoid
NULL p
o
in
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_basic
_
map_extend: plug m
e
mory lea
k
on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_aff
i
ne
_
hull
.
c: equalities
_
in
_
u
nder
l
y
ing
_
set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_basi
c
_set_preimage: av
o
i
d
NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tab
_
pip
.
c:
n
o_sol_in_strict: fix error ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_aff
i
ne_
h
ull
.
c: equa
l
ities_
i
n_underly
i
n
g
_
set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
isl_affine_hull
.
c
:
affi
n
e_hull: fix erro
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
ool
a
ege
isl_map_project_out: fix
error return
value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
i
s
l_basic_
m
ap
_
in
t
erse
c
t_rang
e
: avoi
d
NUL
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab
_
pi
p
.
c: find_so
l
u
ti
o
ns
:
fi
x
e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdool
a
e
g
e
isl
_
b
a
s
i
c_m
a
p_alloc_dim: fix
err
o
r handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolae
g
e
isl
_
basic_map_intersect: a
v
oid NULL poi
n
t
e
r dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
isl_tab_pip
.
c
: sol_m
a
p_ini
t
:
a
void NULL pointer der
e
f
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_i
n
te
r
sect_d
o
main: avoid
NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_flow
.
c: compute
_
val_based_
d
e
pendences: fi
x
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_flow_alloc
:
fix er
r
o
r
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl_ac
c
ess
_
info_compute_fl
o
w: fix
e
r
r
o
r h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoolaege
isl_{
s
et,map}_fast_is_empty: avoid N
U
LL
pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
rdoolaege
isl_flow
.
c
:
a
void a
c
cessing dim field di
r
ect
l
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl
_
access_info_c
o
m
p
ute_flow
:
avoid
N
U
LL pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c:
o
b
j_re
a
d: avoid NULL
p
ointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ve
r
doolaege
isl_map_subtra
c
t
.
c
: tab_add_constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab
.
c: cl
o
se_r
o
w: fix er
r
or
handlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
m
ap_simpli
f
y
.
c: r
e
move
_
duplicate_div
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_basi
c
_
map_affine_hu
l
l:
avoid
NULL po
i
nter d
e
ref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_tab
_
add_e
q
: return in
t
instead of is
l
_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
i
s
l_map_si
m
plify
.
c: rem
o
ve_duplic
a
te_constraints:
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rd
o
olaege
isl_ma
p
_simpl
i
fy
.
c: eliminate_div
s
_ine
q
:
avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaeg
e
isl_basic_map_eliminate_vars: avo
i
d NULL poi
n
ter d
e
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sa
m
ple
.
c: interv
a
l_s
a
mpl
e
: av
o
i
d NULL pointer
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
V
e
rdoola
e
ge
isl_
s
a
mple
.
c
:
d
r
op_constr
a
in
t
s_involving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_st
r
eam_
n
e
w
: read_defined_
v
ar_list: avoi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_ma
p
_interse
c
t: av
o
id NULL pointer
d
e
r
efe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
s
l_sample
.
c
:
gbr_
s
a
mple:
avoid NULL point
e
r derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolae
g
e
i
sl_test
.
c: avoid
N
U
LL p
o
i
n
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
ae
g
e
i
s
l_test
:
avoid acce
s
sing
ba
s
ic
set in
t
er
n
als
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
isl_input
.
c: r
e
ad_defined_v
a
r_
l
is
t
:
a
void double
f
re
e
.
.
.
commit
|
commitdiff
|
tree
next