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
add isl_dim_get_hash
2010-07-31
S
v
en Verdool
a
ege
a
dd isl_dim_get_has
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
di
m
: allow speci
f
icati
o
n of
tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
olaege
i
sl_map_from_do
m
ain_and_r
a
nge: implement in terms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_basic
_
map_domain: prop
e
rly set d
i
mensi
o
n of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
p
rivately
export i
s
l_
s
et_res
e
t
_
dim an
d
i
s
l
_map_res
e
t_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_read:
e
xtract out read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oola
e
ge
isl_h
a
sh_table_foreach: pass pointer
to entry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoolaege
is
l
_hash_ta
b
l
e
_
f
or
e
ach:
a
dd u
s
er argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verd
o
o
laege
isl_transi
t
iv
e
_
closur
e
.
c: fix doub
l
e f
r
ee on
e
rror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
isl_map_gist: use
s
im
p
l
e hull in
s
tead of convex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl
_
map
.
c:
fix
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n Verdoo
l
a
e
ge
isl
_
cat: read
g
eneric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
i
sl_pr
i
nter: a
d
d NULL chec
k
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
m
a
ke isl_obj_n
o
ne a co
n
stant expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoolaege
a
d
d isl_map_get
_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_fast_is_universe:
a
lso detect red
u
ndant repre
s
entati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
add i
s
l_
m
ap_reaching_path_l
e
ngths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
o
olaege
i
s
l
_
m
ap_power: dela
y
e
qua
t
i
n
g
path
l
engths to power
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoo
l
aege
isl_map
_
powe
r
: apply
Floyd-Warshall t
o
compute powers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
r
d
oolae
g
e
isl_ma
p
_
lex
m
ax: produce less
c
ryptic erro
r
me
s
sage
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ver
d
oolaege
fix
i
sl_basic_map_move_dim
s
in presence of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Ver
d
o
olaege
isl_test: d
r
op d
e
bu
g
ging output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdoolae
g
e
isl_transitive_c
l
os
u
re
.
c: fix
typo in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdo
o
laeg
e
fix isl_map_lex_ge
a
nd
isl_map_l
e
x_le in the zero-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
en Verdoolaege
isl_p
r
inter_print_map
:
r
e
place variable by
i
ts
definition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
pri
v
ately expor
t
isl_b
a
sic_map_f
a
st_cmp and
isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
ven Verdoolaege
isl_di
m
_set_name: don't acc
e
pt names that look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
Tobias
G
ros
s
er
Remove
c
omma a
t
the
e
n
d of enumeration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
ven Verdo
o
l
ae
g
e
isl_convex_hull
.
c: avoid si
d
e
-
ef
f
ec
t
s in call
s
to isl_i
n
t_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en
V
erdo
o
la
e
g
e
add isl_has
h
_
builtin
commit
|
commitdiff
|
tree
2010-07-04
S
v
en Verdoolaeg
e
a
dd
i
sl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
S
v
en V
e
rdoolaege
doc: fix som
e
t
y
p
os
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
isl
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
l
a
ege
M
a
kefile
.
am: really include
i
nclude
/
isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
add
isl_map_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
S
v
en
V
e
rdoolaege
doc
:
dro
p
d
u
plic
a
t
e
b
ooktit
l
e
from Kelly199
6
closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
S
ven Verdoolaege
doc: use
m
ore explicit n
o
tat
i
on t
o
avo
i
d
c
onfusion
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaeg
e
add isl
_
c
o
nstraint_is_div
_
constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl
_
map_simplif
y
.
c: s
e
parate
o
ut isl_bas
i
c
_
map_is
_
div_constrai
n
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl
_
basic_ma
p
_from_co
n
straint: keep
all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doolaege
isl_basic_map_from_cons
t
ra
i
nt:
only retur
n
cop
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Ve
r
doolaeg
e
isl_c
o
nstraint_ad
d
_div: correctl
y
se
t
l
i
ne
t
o
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdool
a
ege
i
s
l_pi
p
: renam
e
pip_optio
n
s
to avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_convex_hu
l
l
.
c: initial_facet_cons
t
raint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
doc
:
d
e
s
cribe
backwa
r
d
incompa
t
ible changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
d
o
c: me
n
tion discussion gr
o
up
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
rename isl_basic_map_convex_hull to isl_basi
c
_ma
p
_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_a
f
f
ine_hull
.
c:
outside_point: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_
t
ab_rollba
c
k: avoid double free on err
o
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aege
isl_tab
.
c: tab_mat_
p
roduct: avo
i
d NU
L
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doolaege
i
s
l_tab_e
x
t
e
nd_cons: avoid N
U
LL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
olaege
implement antiquated isl_basic_se
t
_n
_
* in
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
la
e
g
e
isl_map_
c
onvex_hu
l
l: avoid NULL pointer
dere
f
e
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l_t
a
b
_
a
dd_va
l
id_eq: ret
u
rn
int
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
i
s
l_affine_hull
.
c:
a
f
f
ine_hull_w
i
th_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
ge
isl_equalities
.
c: parameter_compre
s
si
o
n_mu
l
ti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
a
ege
i
s
l_ba
s
ic
_
map_project_out
:
a
v
oid NU
L
L
pointer de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
i
s
l
_coalesc
e
.
c: co
a
lesce_pair: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
l
aege
isl
_
conve
x
_hull
.
c: extend:
fix
error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
ement antiquated i
s
l
_
set_n_* i
n
terms of isl_se
t
_dim
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdool
a
ege
i
sl_map_sim
p
lify
.
c:
normaliz
e
_divs: avoid NUL
L
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
erdoola
e
ge
is
l
_input
.
c: vars
_
dro
p
: fix
e
rror
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoola
e
ge
isl_convex_hull
.
c: uset_co
n
ve
x
_hull_wrap_
b
ou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
o
laege
isl_set_wrap_facet: fix
e
rror ha
n
dl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verd
o
olaege
i
sl_tab_min: avoi
d
NULL
p
oint
e
r der
e
ferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
is
l
_affine_
h
ul
l
.
c: extend_a
f
fine_hull: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_basic
_
m
ap_extend: plug memory leak on err
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl
_
af
f
i
n
e_hull
.
c: equ
a
liti
e
s
_
i
n_underlyin
g
_se
t
:
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
b
asic_set_preimage: avo
i
d
NULL
p
ointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_p
i
p
.
c:
n
o
_s
o
l
_in_strict: fix error hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_affin
e
_hu
l
l
.
c:
equalities_in_un
d
erlyin
g
_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdo
o
laege
isl_affine_hu
l
l
.
c: a
f
f
i
ne_h
u
ll: fix erro ha
n
dli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_map_proje
c
t_out: fix error return valu
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_
m
ap
_
intersect_range: avoid NU
L
L
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_tab_pip
.
c: f
i
nd_solutions: fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_m
a
p_allo
c
_dim: f
i
x
e
rr
o
r
h
a
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_basic_map_interse
c
t: avo
i
d NU
L
L
pointer der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_tab_pip
.
c: sol_map_in
i
t: a
v
oid NULL p
o
inter d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
doo
l
aege
isl_b
a
sic_map_interse
c
t_domain: a
v
oid NULL p
o
inter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
i
sl_
f
low
.
c: comp
u
te_val_based_dependences: fix er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaege
isl_flow
_
alloc: fix e
r
ror
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl
_
access_info_
c
ompute_fl
o
w: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
isl_{se
t
,map}_fast_is_empty: avoid
N
U
L
L pointer
derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oo
l
aege
is
l
_flow
.
c
:
avoid accessi
n
g
d
im field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_access_info_compute_fl
o
w: avoid NULL pointer de
r
e
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_input
.
c
:
obj_read: avoid NUL
L
p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
m
ap
_
sub
t
r
a
ct
.
c:
t
ab_add_
c
onstraint
s
:
av
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
la
e
ge
i
sl_tab
.
c: close_ro
w
: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
e
r
d
oolae
g
e
i
sl_map_simpli
f
y
.
c: remove_duplic
a
t
e_divs:
a
v
oid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
isl_basi
c
_
map_af
f
ine_hull
:
avoid NULL pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
V
e
rdoolaege
isl_tab_add_eq: re
t
urn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoo
l
ae
g
e
isl_m
a
p_s
i
mplify
.
c: remove_dup
l
icate_constrain
t
s:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdool
a
ege
isl_map_
s
im
p
lify
.
c: e
l
iminate_div
s
_
i
neq: avoi
d
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_basic_m
a
p
_
elimi
n
at
e
_vars: avoid
NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoolaege
isl_sample
.
c: interval_sample: avoid NULL
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
g
e
is
l
_sam
p
le
.
c: drop_constrai
n
t
s
_involving:
a
void NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
stream_new: read_
d
efined_var
_
li
s
t: a
v
oid doub
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_b
a
sic_map_intersec
t
: avoi
d
NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Verdoolaege
isl_sample
.
c:
gbr_s
a
mple: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
next