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_transitive_closure.c: anonymize input map during incremental computation
2010-08-02
Sven Ve
r
doolaege
isl_tr
a
n
s
itive_closure
.
c
:
anonymiz
e
input map during
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven V
e
rd
o
olaege
isl_transitive
_
c
l
osure
.
c: keep track of domains f
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
ve
n
Verdoola
e
ge
is
l
_dim_drop: always
r
emove
t
uple nam
e
, even
i
f
number
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
i
s
l_dim_set_tuple_n
a
me: allow exp
l
icit
removal of tuple
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolae
g
e
add support for union
s
ets
a
nd r
e
lations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_t
r
ansitive_closure
.
c: extrac
t
out some
r
eusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
dd isl_pw_qpolynomial_
r
eset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
a
d
d isl_map_has_
e
qual
_
dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoola
e
ge
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_
d
im: a
l
low sp
e
cification of tuple names
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_map_from
_
domain_and_range: implement in terms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
i
sl_
b
asic_map_doma
i
n: properly set dimension
o
f
r
esu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
privately export isl_set_reset
_
d
i
m
and isl_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_
m
ap_re
a
d: extract out
read_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
l
aege
isl_h
a
s
h
_t
a
b
l
e_
f
oreach:
p
ass pointer to
e
ntry
d
ata
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
oolaege
isl_hash_table_
f
ore
a
ch: add use
r
arg
u
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_t
r
ansitiv
e
_
closur
e
.
c
:
fix double fr
e
e
o
n error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_ma
p
_
g
ist
:
use si
m
ple hul
l
inst
e
ad of
c
onv
e
x hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
is
l
_map
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
erdoolaege
isl_cat: read gen
e
ric objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl
_
printer:
add NULL c
h
eck
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laege
mak
e
isl_obj_none a constant expression
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdo
o
l
a
e
g
e
a
d
d isl_map_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
erdoolaege
isl_map_fast
_
is
_
un
i
vers
e
:
also detect
redundant repr
e
se
n
t
ati
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
en Verdoolaeg
e
add isl
_
m
a
p_reaching_pat
h
_l
e
n
g
ths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
V
erdoo
l
aege
isl_map_power: d
e
lay e
q
uating path
l
engths to pow
e
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
Verd
o
olaege
i
s
l_map_power: apply Floyd-Warsh
a
ll to compute
powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n
V
erdo
o
l
aege
isl_m
a
p
_lexmax: produce less crypti
c
error m
e
s
s
age
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven
Verd
o
ol
a
ege
f
ix
isl_basic_
m
a
p
_
move_dims
i
n
p
resence of existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ve
n
Ver
d
oolaege
isl
_
test: d
r
o
p debugg
i
ng out
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
ven Verdo
o
laeg
e
isl_transi
t
ive_
c
losu
r
e
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
Verdo
o
l
a
ege
fix isl_
m
ap_lex_ge and isl_map_lex
_
le
in
the
zero-
d
ime
n
siona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
S
v
e
n Verdool
a
ege
isl_printer
_
print
_
ma
p
: repl
a
ce variable b
y
its def
i
nition
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdoolaege
pr
i
v
a
tely exp
o
rt isl_bas
i
c_map_fast_c
m
p a
n
d isl_basi
c
_ma
p
_f
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
isl_di
m
_set_name: don
'
t a
c
c
e
pt names that look lik
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven
V
e
r
doolaege
isl
_
conv
e
x_hull
.
c: avoid
s
i
de-effect
s
in
calls to isl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
add isl
_
hash_built
i
n
commit
|
commitdiff
|
tree
2010-07-04
S
v
e
n Verdo
o
la
e
ge
a
d
d
isl
_
int_
g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolaege
doc: fix som
e
typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoola
e
g
e
i
s
l 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
Makefile
.
am
:
r
eally include i
n
c
lude/i
s
l
_
vertice
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_
m
a
p
_is_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n Verdo
o
laege
doc: drop
dupl
i
ca
t
e
boo
k
title
from Kelly1996closure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
d
oc: us
e
mor
e
ex
p
lici
t
nota
t
ion to avoid con
f
usion
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoo
l
ae
g
e
add isl_co
n
straint_is_di
v
_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
ven V
e
rdoolae
g
e
isl_map
_
simplify
.
c
: separate out isl_basic_
m
ap_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdool
a
ege
isl
_
basic_map_fro
m
_cons
t
raint: keep all divs, even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdo
o
la
e
ge
isl
_
b
a
sic_
m
ap_from_constraint:
only return copy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en
Verdoolaege
i
s
l_c
o
ns
t
r
a
int_add_div:
c
orrectl
y
s
e
t line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdoo
l
ae
g
e
isl_pip: rename pip_options t
o
avoid conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl
_
convex_hull
.
c: in
i
t
i
al_facet_con
s
traint: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
doc: describe backward i
n
co
m
pat
i
ble
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc: mention d
i
scussion
g
ro
u
p
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
r
doolaege
rena
m
e isl_basic_map_con
v
ex_
h
ull to is
l
_bas
i
c_map_remove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ve
r
d
o
olaege
i
s
l_affine_hu
l
l
.
c:
outside
_
point: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
isl_tab_rollback: avoid double
free on error path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl_t
a
b
.
c: tab_mat_product: avoid NULL poin
t
e
r dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_ta
b
_extend_cons: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
doolaege
implement antiq
u
ated
isl_
b
asic_set_n_*
i
n t
e
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaeg
e
isl_map_convex_hu
l
l: avoid NUL
L
poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoola
e
g
e
isl_tab_add_
v
ali
d
_eq: re
t
urn int instead of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_
h
ull
.
c: affine_hull_with_co
n
e: avoi
d
N
U
LL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equalit
i
es
.
c: parameter_comp
r
ession_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl
_
basic_map_project_
o
u
t: av
o
id NULL po
i
n
t
er derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdool
a
ege
isl_coal
e
sce
.
c: coa
l
e
s
ce_pai
r
: avoid NULL pointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
isl_conv
e
x_hull
.
c: extend
:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
implemen
t
antiquated isl
_
set_n_* in terms of isl_set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_map_simplify
.
c
:
normalize_divs:
a
void NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_input
.
c: va
r
s
_
d
r
op: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
sl
_
convex
_
hull
.
c: uset
_
convex
_
hull_wr
a
p_bounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_set_wrap_facet: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
ol
a
eg
e
i
sl_tab_m
i
n:
avoid NU
L
L pointer
d
erefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
affine_hull
.
c: extend_affine_hull: a
v
oid NULL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
isl
_
basic_map
_
extend: plug
m
emory
l
eak on
e
rror path
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
i
s
l_
a
ffine_hull
.
c: equalit
i
es_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ve
r
doolae
g
e
i
sl_b
a
sic_s
e
t_pre
i
mage: a
v
oid N
U
LL
p
ointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_tab_pip
.
c:
n
o_sol_in_strict:
f
ix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_affine_hull
.
c: equalities_in_underlying_s
e
t: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_hull
.
c:
affine
_
hull: fi
x
erro
handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_m
a
p_pr
o
ject_out
:
fix
e
rror return v
a
lue
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoola
e
ge
isl_bas
i
c
_
ma
p
_intersect_rang
e
: avoi
d
NUL
L
pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_p
i
p
.
c: find_s
o
lutions: fix error
h
andl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_b
a
sic_map_alloc_d
i
m: f
i
x error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolae
g
e
i
s
l
_basic_map_i
n
tersect: avoi
d
NULL pointer deref
e
ren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_t
a
b
_
pip
.
c: sol_map_init: avoid NULL poin
t
er dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
i
s
l_
b
asic_
m
ap_intersec
t
_
d
om
a
i
n
: avoid NULL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_flow
.
c: co
m
pute_val_based
_
depend
e
nce
s
: fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
o
laege
isl
_
flow_alloc: fix error
h
andling
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
laege
is
l
_access_info_compute_flow: fix
e
rror h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
oolaege
isl_{set,ma
p
}_fast_is_
e
mpty
:
avoi
d
NULL p
o
inter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verd
o
olaege
isl_
f
low
.
c: avoid accessing dim fiel
d
directl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl
_
access_info_co
m
pute
_
flow: avoid NUL
L
pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_input
.
c: obj
_
read: avoid NULL pointer
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_s
u
btrac
t
.
c: tab_add_constr
a
int
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
i
sl_tab
.
c: close_row: fix
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_map_simpl
i
fy
.
c: remove_duplicate_
d
ivs: avoi
d
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
olaege
i
sl_basic_m
a
p_affine_hul
l
: avoid NULL p
o
inter de
r
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
i
sl_tab_add_eq: return i
n
t
instead of isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_map_simplify
.
c
: remove_duplicate_constr
a
ints
:
avoi
d
.
.
.
commit
|
commitdiff
|
tree
next