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
S
ven Verdoolaege
isl
_
map
_
fr
o
m_domain_and_ra
n
ge:
i
mpl
e
ment in terms
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ver
d
o
olaege
isl_basic_map_d
o
main
:
pro
p
e
r
ly set dime
n
sion of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaeg
e
privately export isl_set_reset
_
dim a
n
d isl_map_res
e
t_d
i
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
i
sl_m
a
p_read: ext
r
act o
u
t
read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
e
r
doolae
g
e
isl_hash_
t
able_foreach: pass point
e
r to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
e
r
doolaege
isl_ha
s
h_t
a
ble_foreac
h
: add user argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_t
r
ansitive
_
cl
o
s
u
re
.
c: fix double free o
n
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
isl
_
map_g
i
st: use simple
hul
l
ins
t
e
a
d of convex hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl
_
map
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
doolae
g
e
isl_ca
t
: re
a
d
g
eneric obj
e
cts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolae
g
e
isl_printer: add NULL che
c
ks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
ge
make isl_obj_none a constant expressi
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add i
s
l_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
ge
isl
_
map_fa
s
t_is_univer
s
e: also det
e
ct
r
edundant representati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Ve
r
doolaege
add
i
s
l
_
map_reaching_path_
l
e
ngths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
isl_
m
ap_power: delay equating path lengt
h
s to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Ve
r
doolaege
isl_map_
p
o
wer: apply Floyd
-
Warsha
l
l to com
p
ute po
w
ers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdoolaege
isl_map_lexmax: produce less c
r
yptic error me
s
sage
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolae
g
e
fix isl
_
basi
c
_map_move_d
i
ms in pr
e
sence of exis
t
entially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Ve
r
doolaege
isl
_
test: drop debugging output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doolaege
i
s
l
_
t
ransiti
v
e_closure
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
l
a
ege
fix isl_ma
p
_l
e
x_g
e
and
isl_map_lex_le in the z
e
ro
-
di
m
ensiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
ven Verdoolaege
i
sl_prin
t
e
r
_
p
rint_map: replace variab
l
e by its def
i
n
i
t
ion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
private
l
y export isl_
b
asic_map_fas
t
_
cmp and isl_basic_map_fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ve
r
doolaege
isl_
d
im_set_name: d
o
n't accept names t
h
at look like
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Ve
r
doolaeg
e
isl_convex_hull
.
c: avoid side-effects i
n
calls
to i
s
l_in
t
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoola
e
ge
a
d
d isl_ha
s
h
_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sven
Ver
d
oolaeg
e
add isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven V
e
rdoolaege
doc:
fix
some t
y
pos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
M
akefi
l
e
.
am: really in
c
lude
i
ncl
u
de/
i
sl_ver
t
i
c
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add is
l
_map_is_b
i
jective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
do
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdool
a
e
g
e
doc: drop duplicate
b
o
o
ktitle
from Kelly199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoolaege
doc: use more expli
c
i
t
notation
to avoid
co
n
fusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
add isl
_
constrain
t
_is_div_
c
onstra
i
nt
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoola
e
ge
i
sl_m
a
p_simplify
.
c: separate o
u
t isl_basic_map
_
is_di
v
_c
o
nstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
d
o
o
laege
isl_basic_map_from_constra
i
nt: keep
a
ll di
v
s, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oolae
g
e
isl_basic_
m
ap_from_
c
o
n
straint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdool
a
ege
isl_constrai
n
t_add_div: correctl
y
set li
n
e to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_pip:
rename pip_options
t
o avoid confl
i
ct w
i
th
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_
c
o
nvex_hull
.
c
:
initia
l
_
f
ace
t
_constraint: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
doc
:
describe backward in
c
ompatible changes
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaeg
e
doc:
mention discu
s
si
o
n group
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
rename isl_basic_map_
c
onvex_hull
to
i
sl_ba
s
ic_map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affi
n
e_hull
.
c: outside_point: fi
x
er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
is
l
_t
a
b_rol
l
back: a
v
oid dou
b
le free on error
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
l
aege
isl_tab
.
c
:
tab_mat_product: avoid NU
L
L po
i
nter
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_extend_con
s
: avoid
NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implem
e
nt antiquate
d
is
l
_b
a
sic_set_n_
*
in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
isl_ma
p
_convex_hull:
a
void
N
ULL poin
t
er derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_
t
ab_add_val
i
d_eq
:
re
t
urn int instead of
isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c: affine_hull_with
_
con
e
: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_equalit
i
e
s
.
c: parameter_
c
om
p
ress
i
o
n_
m
ulti: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap_project_out: av
o
i
d
NU
L
L
p
ointe
r
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl_coalesce
.
c: coalesce
_
pair:
avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_co
n
v
e
x_hull
.
c
:
extend:
fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
implement
a
n
tiquate
d
isl
_
s
e
t_n_*
i
n ter
m
s
o
f
i
sl_s
e
t_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simplify
.
c: normalize_divs: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_input
.
c: vars_dr
o
p: fi
x
e
rror handling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_convex_hull
.
c: uset_convex_hull_wrap_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
s
et_wrap_facet:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_min
:
avoid NULL p
o
inter
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hull
.
c
:
exten
d
_af
f
ine_h
u
ll: av
o
id NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoola
e
g
e
isl_basic_map_e
x
tend:
p
l
ug memory leak on error path
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affine_
h
ull
.
c: equ
a
lit
i
e
s_in_underlying_se
t
: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic_set_preimage: avoi
d
NUL
L
pointer derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl
_
tab
_
pip
.
c
: no_sol_i
n
_stri
c
t:
f
ix erro
r
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_h
u
ll
.
c: equalities_
i
n_u
n
derlyi
n
g_set
:
plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
doolaege
isl_aff
i
ne_hull
.
c: aff
i
ne_hull: fix erro
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
m
ap_project_out: fix error return value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_
b
asic_map_intersect_range: av
o
i
d NULL pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doolaege
isl_tab_pip
.
c: find_solutions:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_bas
i
c
_
m
ap_alloc_
d
im: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_ma
p
_i
n
tersec
t
: avoid N
U
LL p
o
inter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
dool
a
ege
isl_t
a
b
_pip
.
c: sol_
m
ap_ini
t
: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl
_
basic_map_intersect
_
do
m
ain: a
v
oid NULL
p
o
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
oolaege
i
sl_
f
low
.
c: compute_val_based_dependences:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_flow_all
o
c: fix e
r
ror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_access_info_comput
e
_
flow: fi
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_{
s
e
t
,map}_fast_i
s
_
e
m
p
ty:
a
vo
i
d NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl
_
flow
.
c: avoi
d
ac
c
essing dim f
i
eld di
r
e
c
tly
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
isl_a
c
cess_in
f
o_comp
u
te_flow: avoid NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
is
l
_input
.
c: ob
j
_read: a
v
oid N
U
L
L pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_
m
ap_subtract
.
c: tab_add_con
s
traints: avoid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_tab
.
c: cl
o
se_row:
f
ix er
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_ma
p
_simplify
.
c:
r
emo
v
e
_dupli
c
a
t
e_div
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doola
e
ge
i
sl_basic_m
a
p
_
a
ffine_hull: a
v
o
id NULL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aege
i
sl_
t
a
b_
a
dd_eq: retu
r
n int
i
nst
e
a
d
of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_
m
ap_simplify
.
c: remove_duplicate_
c
o
ns
t
raints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
o
l
a
ege
i
sl_m
a
p_simplify
.
c:
e
limina
t
e
_
divs_ineq:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
d
oo
l
aege
isl_
b
as
i
c_map_eliminate_v
a
r
s
: avo
i
d NULL pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ver
d
ool
a
ege
isl_sample
.
c
: interval
_
sample: avoid NULL pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
l
a
e
ge
isl_
s
ample
.
c: dr
o
p_constr
a
in
t
s_invo
l
ving: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl
_
stream_new:
r
e
a
d
_defined_var_list: a
v
oi
d
double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Ve
r
doolaege
isl_ba
s
ic_map
_
in
t
ersect
:
avoid NULL
pointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
i
s
l_samp
l
e
.
c: gbr_sample: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_test
.
c: avoid NULL pointer de
r
efe
r
enc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
doo
l
ae
g
e
is
l
_te
s
t: avo
i
d acc
e
ssing basic set
i
n
ternals
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl
_
i
n
p
ut
.
c: rea
d
_defin
e
d_var_l
i
st: avoid doub
l
e
f
ree
.
.
.
commit
|
commitdiff
|
tree
next