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_reset_dim: finalize result
2010-08-02
Sven
Verdoolaege
isl_basic_map_reset_d
i
m: finalize resu
l
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
is
l
_
transitiv
e
_clos
u
r
e
.
c: anonymize in
p
ut map during
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdool
a
ege
i
sl_transitive_closur
e
.
c: keep track of
dom
a
ins for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_d
i
m_
d
rop
:
al
w
ays r
e
move
tuple name, even
if num
b
e
r
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
isl_
d
i
m_
s
et
_
tuple
_
na
m
e: allow explicit re
m
o
va
l
of
t
u
ple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
e
rdoolaege
add s
u
pport for
u
n
ion sets and rela
t
ions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
isl_transitive_closure
.
c: extract out som
e
r
eus
a
ble
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n
Verdoolaeg
e
a
dd isl_pw_
q
poly
n
o
mial_
r
e
set_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olaege
ad
d
i
s
l_map_has_equal_
d
im
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdoo
l
aege
a
d
d isl_dim_get_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
isl_dim: al
l
ow
s
p
e
c
ific
a
tion of tuple names
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
s
l_ma
p
_
from_
d
omai
n
_and_rang
e
: im
p
lement in terms o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
ege
isl_basic_map_dom
a
in: properly set
d
imensi
o
n of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laege
p
r
ivately export isl_set_res
e
t_dim a
n
d isl_map_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map
_
r
ead: extract
out read_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
i
sl
_
hash_table_forea
c
h: pass pointe
r
t
o en
t
ry data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdool
a
e
g
e
is
l
_hash
_
t
ab
l
e_for
e
ach: add user argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
isl_transitive
_
closu
r
e
.
c:
f
ix double f
r
ee on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
isl_
m
ap_gist: use simple hul
l
ins
t
ea
d
of conv
e
x
h
u
l
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
V
erdoolaege
isl_map
.
c: fix
t
y
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaeg
e
isl_cat: read ge
n
eric objects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laege
isl_printer: a
d
d
N
ULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
m
a
k
e
isl
_
o
b
j_none a
c
onst
a
nt expression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add isl_map_
g
et_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaeg
e
isl_
m
ap_fast_is_universe: als
o
detect redundan
t
representa
t
i
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoola
e
ge
a
d
d
isl_map_reaching_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verdoolaege
isl_map
_
power: delay equa
t
ing pa
t
h lengths to p
o
wer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven V
e
rdoolae
g
e
isl_map_power: apply Floyd-Warshall to compute
p
owers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verdoolaege
isl_map_lexm
a
x
:
p
roduce less cryptic error mess
a
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verd
o
olaeg
e
fix isl_
b
asic_map_move_dims in pr
e
sence of existentially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven
V
erdoolaege
isl_test:
d
rop debuggin
g
output
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
s
l_transitive_c
l
osure
.
c
:
fi
x
typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_m
a
p
_
l
e
x_ge an
d
isl_map_le
x
_le in the z
e
ro-dimensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sven Verdo
o
laege
isl_
p
rinter_print_map: replace var
i
a
b
le by its d
e
finiti
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoola
e
ge
pri
v
ately
e
x
po
r
t
isl_basic
_
map_fa
s
t_cmp and isl
_
b
a
sic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sve
n
Ve
r
doolaeg
e
isl_dim_
s
e
t
_
name
:
do
n
't acce
p
t n
a
mes that lo
o
k
li
k
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n
V
erdool
a
ege
isl_con
v
ex_hull
.
c: avoid side-effec
t
s in calls to
i
sl_
i
nt_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolae
g
e
add isl_h
a
sh_b
u
iltin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n Ve
r
doolaeg
e
add isl_int_get_st
r
commit
|
commitdiff
|
tree
2010-07-02
S
v
e
n Verdoolae
g
e
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
isl 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Mak
e
file
.
am: real
l
y includ
e
in
c
l
u
de/is
l
_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ve
r
dool
a
ege
add isl_map_is_bijec
t
iv
e
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-28
S
v
en Verdo
o
laege
do
c
: drop dupl
i
cate
b
o
oktitle from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
o
l
aege
d
o
c
:
use
m
ore ex
p
licit notation to avoid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
a
d
d isl_constraint_is_div_constr
a
i
n
t
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoo
l
aege
isl_ma
p
_simplify
.
c: separate out i
s
l_b
a
sic_map_is_div_
c
onstraint
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rd
o
olaege
isl_basi
c
_map_from_constraint: keep
all
d
ivs,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
r
doola
e
ge
isl_bas
i
c_map_from_constraint: only return copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoola
e
ge
i
s
l_co
n
strain
t
_add_div: cor
r
ect
l
y set li
n
e to
f
irst
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
V
e
r
doola
e
ge
isl_pip: rename pip_opti
o
ns
t
o
avoid conflict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdo
o
l
a
ege
is
l
_conv
e
x_hull
.
c:
initial_facet_const
r
aint: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: describ
e
b
ackw
a
rd incompatible changes
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
V
e
rdoolaege
d
o
c: mention discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
r
e
name i
s
l_basic
_
map_co
n
vex_hull to
i
sl_basi
c
_
map_remove_red
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_affine_hull
.
c: outside_p
o
i
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
isl_ta
b
_roll
b
ack: avoid double fre
e
o
n error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_tab
.
c: tab_mat_produc
t
: avo
i
d NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
tab_extend_cons:
avo
i
d NULL pointer
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
eg
e
i
m
plement antiquated isl_
b
asic_set_n
_
* in
terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ver
d
oolaege
isl_map_convex_hull: avoid NULL
p
o
i
nter d
e
re
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
s
l_t
a
b_add_valid_eq: return int ins
t
ead
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_aff
i
ne_
h
ull
.
c:
a
f
f
i
n
e_hull
_
with_cone: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
oolaeg
e
i
sl_equalities
.
c:
p
aram
e
ter_
c
ompre
s
sion_
m
ulti: a
v
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolae
g
e
isl_ba
s
ic_map
_
pr
o
ject_out: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_coal
e
sce
.
c
:
coalesce_pair:
a
void NU
L
L poin
t
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoo
l
aege
i
s
l_convex_
h
ul
l
.
c: ex
t
end
:
fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoo
l
aege
i
mplement antiquated
i
sl_set_n_* i
n
terms
o
f isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
aege
isl_ma
p
_simplify
.
c: normali
z
e_divs: avoid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
sl_inp
u
t
.
c: va
r
s_
d
rop: fix error
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n
Verdoolaeg
e
isl_con
v
ex_h
u
ll
.
c: uset
_
convex_hul
l
_wrap
_
bo
u
n
d
e
d: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erd
o
olaege
isl_set_wrap_facet: f
i
x
error handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
is
l
_tab_m
i
n: avoid
N
ULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_affine_hull
.
c
: extend_a
f
fine_hul
l
: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
g
e
isl_basic_map_ext
e
nd: pl
u
g
m
emo
r
y
leak on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolae
g
e
is
l
_affine_hull
.
c: equali
t
ies_in_underlying_set
:
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
aege
i
s
l_basic_set_pre
i
mage: a
v
oid NUL
L
p
ointer deref
e
re
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl
_
tab_pip
.
c:
n
o
_
so
l
_
i
n_stri
c
t: fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
isl_af
f
ine_hull
.
c: equalities
_
i
n
_un
d
erly
i
n
g_set: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affi
n
e_hull
.
c: affine_hull: fix
e
r
ro
handling
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_map_project_out
:
fix error ret
u
rn value
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
ege
isl_basic_map_intersect_range: avoid NU
L
L pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
dool
a
eg
e
isl_
t
ab_pip
.
c: find_
s
olu
t
io
n
s: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basi
c
_ma
p
_
a
lloc_dim: fix
e
rror
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
la
e
ge
isl_basic_map_intersec
t
: avoid NULL pointer dere
f
erence
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoo
l
aeg
e
isl_tab_pip
.
c:
s
o
l
_map_init:
a
void NULL pointer dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoo
l
aege
isl
_
b
a
sic_map_
i
ntersect_dom
a
in:
avoi
d
NU
L
L
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_flo
w
.
c: compute_val_based_depe
n
dences: fix er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_flow_alloc: fix erro
r
h
an
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olae
g
e
isl_access_info_comput
e
_flow: fix
e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Verdoola
e
ge
isl_{
s
et,map}
_
f
a
st_is_empty: avoid NULL point
e
r dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_flow
.
c: avoid access
i
n
g dim field
d
irectly
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
i
s
l_access_info_com
p
u
te_
f
low: avoid NULL
p
ointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_in
p
u
t
.
c:
o
bj_read: avoid
NULL pointer derefe
r
en
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rd
o
olaege
i
s
l
_map_subtract
.
c
:
t
ab_add_const
r
a
ints: avo
i
d NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
e
g
e
is
l
_
tab
.
c: clo
s
e
_row: fix erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ma
p
_s
i
mplify
.
c
:
r
emove_dupli
c
at
e
_d
i
v
s
:
a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolaege
i
s
l_bas
i
c_map_
a
ffine_hull: avoid
NULL p
o
inter d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_tab
_
a
d
d
_eq: return int inste
a
d of isl_tab *
commit
|
commitdiff
|
tree
next