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 Verdoolaege
isl
_
t
r
ansitive_closur
e
.
c: anonym
i
ze input
map d
u
r
i
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Ver
d
oolaege
i
sl_transit
i
ve_closure
.
c:
keep t
r
ack of domai
n
s
f
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
S
v
en Verdoolaege
i
s
l
_
dim_drop:
al
w
a
ys remove tuple name, even if nu
m
b
er
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_
d
im_set_tu
p
le_nam
e
: allow explicit removal of tupl
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add support
f
or union
s
ets and re
l
ation
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
l
aege
isl_transitive_cl
o
sur
e
.
c: extract out some reusable
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoo
l
aege
add isl_pw_qpol
y
nom
i
al_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
o
laege
add isl_
m
a
p
_h
a
s
_
equal_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doo
l
a
e
ge
add isl
_
dim_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verd
o
olae
g
e
isl_dim: allow specification
of tuple name
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoo
l
a
e
ge
isl_m
a
p_
f
rom_domain_and_range:
i
mplement in
t
erms of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdoolaege
isl_basic_m
a
p_domain: pr
o
per
l
y set dime
n
s
io
n
of result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
privately e
x
port isl_se
t
_rese
t
_dim and i
s
l_map_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Ver
d
oolaege
isl_map_read: extract out
r
ead_var_def
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdoolaege
isl_h
a
sh_table
_
f
ore
a
ch:
p
ass
p
o
i
n
t
er to entry data
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
is
l
_h
a
sh
_
table_foreach
:
add u
s
e
r
a
rgu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdool
a
e
ge
isl
_
tran
s
iti
v
e_closure
.
c:
f
ix doubl
e
fr
e
e
o
n er
r
or
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sve
n
Verdo
o
laege
is
l
_map
_
gist: us
e
simple hull instead
o
f
convex hu
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
laege
is
l
_map
.
c: fix ty
p
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Ve
r
doolaege
isl
_
cat:
read gene
r
ic ob
j
e
c
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
do
o
laeg
e
is
l
_
pr
i
nter: add NULL checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven
V
erdoolaege
m
a
ke isl
_
obj_none a constant expressio
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
add is
l
_map_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en
V
e
r
doolaege
isl_ma
p
_fast_is_universe:
al
s
o detect redundan
t
r
e
p
r
e
senta
t
i
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
S
v
e
n
Verdoolaege
add isl_
m
a
p
_reaching_path
_
lengths
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
e
rdoolaege
isl_
m
a
p
_power: del
a
y e
q
uating path l
e
ngths to power
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sve
n
V
erdoolaege
isl_map_pow
e
r
: appl
y
Floyd-Warshall to compute powers
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-24
Sv
e
n Verdoolaege
isl_map_lexmax
:
produce less c
r
ypt
i
c
erro
r
mes
s
age
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
e
n
V
e
rdo
o
la
e
ge
fix isl_basic_map_move_dims
in
p
r
e
s
e
n
ce of exi
s
tentially
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
isl_tes
t
: drop debugging
o
utp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
i
s
l_tr
a
nsitive_clos
u
re
.
c: f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdo
o
l
a
e
g
e
fix isl
_
map_le
x
_ge
a
nd isl_map_lex_le in
th
e
ze
r
o-dim
e
nsiona
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-19
Sven Ver
d
oola
e
ge
i
s
l_pri
n
ter_
p
r
i
nt_map:
r
e
p
lace var
i
able by
its d
e
f
initio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven Verdo
o
laege
p
r
ivately
e
xpo
r
t isl_
b
asic_map_f
a
st_cmp and isl_basic_ma
p
_
fa
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-14
Sven V
e
rdool
a
ege
isl_dim
_
set_
n
ame: don't accept name
s
that look li
k
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-11
T
o
bia
s
Grosser
Remov
e
com
m
a at the en
d
of enum
e
ration
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-05
Sven Verdoo
l
aege
is
l
_co
n
ve
x
_
h
ull
.
c: a
v
oid side-effects in calls
t
o
i
sl_
i
nt
_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdo
o
la
e
ge
ad
d
isl_hash_builtin
commit
|
commitdiff
|
tree
2010-07-04
Sv
e
n V
e
rdoolaeg
e
add
i
sl_int_
g
et_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdool
a
ege
doc:
fix some typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verd
o
olaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
Makefile
.
am
:
reall
y
in
c
lude include
/
isl_vertic
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
add is
l
_map
_
i
s_bijective
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
Verdoo
l
aege
d
o
c:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoola
e
ge
do
c
:
d
r
o
p duplicate
booktitle fro
m
Kelly1
9
9
6
closur
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n
V
e
r
doola
e
ge
do
c
: use
more explicit notatio
n
to avoid co
n
fusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
add i
s
l_constrain
t
_is_div_cons
t
rain
t
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_m
a
p
_
si
m
plify
.
c: separate
o
ut i
s
l_
b
a
s
ic_map_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doo
l
aege
isl_basic_m
a
p_fro
m
_constraint: keep all d
i
vs
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolae
g
e
isl_basic
_
map_from_constraint: only return
c
opy
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoo
l
aege
isl_constraint_add_div: corre
c
tly set line
to fi
r
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_pip: rena
m
e pip_options to avoid conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
conve
x
_h
u
ll
.
c
:
initial_fa
c
et_co
n
straint: fix erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
doc:
d
escribe backward incomp
a
tible chan
g
es
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
ege
doc:
m
ention discus
s
ion group
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
re
n
ame
i
sl_basic
_
map_conve
x
_hull t
o
isl_basi
c
_m
a
p_remove_r
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_affine_
h
u
l
l
.
c
:
ou
t
side_po
i
n
t: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_tab_rollback: avoid
d
ou
b
l
e fr
e
e on error path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
isl_tab
.
c: tab_mat
_
pr
o
duct: avoi
d
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oola
e
ge
is
l
_tab
_
extend_cons: avo
i
d NULL pointer der
e
fer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
S
ven
Verdoola
e
ge
i
mplement antiquated isl_ba
s
i
c_set_n_* in ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
do
o
l
a
ege
isl_
m
ap_con
v
ex_hull: avoid NU
L
L poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_tab_add_v
a
lid_eq: return int i
n
stead
of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verd
o
o
laege
isl_a
f
fine_hull
.
c: affine_hu
l
l_with_cone
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_equ
a
lities
.
c: parameter_compression_
m
u
l
ti
:
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaeg
e
isl_basic_map_project_out: avoid NULL point
e
r d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_coalesc
e
.
c: co
a
l
esce_
p
ai
r
: avo
i
d NULL
p
o
i
nter der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_convex_hull
.
c: extend: fix err
o
r handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
im
p
lement
antiquated isl_set_n_* in ter
m
s of
isl_set_
d
im
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaeg
e
is
l
_map_simplify
.
c: no
r
malize_di
v
s: a
v
o
i
d
N
U
LL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
isl_in
p
ut
.
c: vars_drop: fix error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_convex_hu
l
l
.
c: uset_conve
x
_hul
l
_w
r
ap_bou
n
ded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
g
e
isl_set_wrap
_
facet: fix error
hand
l
ing
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
lae
g
e
isl_tab_min: avoi
d
N
ULL point
e
r
d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_affine_
h
ull
.
c: ex
t
e
nd_affine_hu
l
l: avoid NULL poin
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
o
olaege
isl
_
basic_map_ext
e
nd: p
l
ug memory le
a
k on
e
rr
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoolaege
isl_affine_hull
.
c: equal
i
ties_in_underlying_set: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
s
et_preimage: a
v
oid NULL pointer d
e
ref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
aege
isl_tab_pip
.
c: no
_
sol_
i
n
_
strict: fix e
r
ror hand
l
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_af
f
ine_
h
ull
.
c: equalit
i
es_i
n
_underly
i
ng_set
:
p
l
ug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
isl_aff
i
n
e_hull
.
c: affine_hul
l
: fix erro han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_
m
a
p_
p
roject
_
out:
fix
e
rror return valu
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
basic_
m
ap_intersect_rang
e
: avoi
d
NULL po
i
nter derefe
r
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_tab_pip
.
c: find_solutio
n
s: fi
x
erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
sl_basic_map
_
a
l
loc_dim:
fi
x
erro
r
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verd
o
olaege
i
s
l_bas
i
c
_
m
ap_intersect: avoid N
U
LL
p
ointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_tab_
p
ip
.
c:
sol
_
m
ap_in
i
t: a
v
oid N
U
LL pointer
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
v
en V
e
rdoolaege
isl_basic_map_int
e
r
sect_dom
a
in
:
avoid NULL pointe
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdool
a
ege
isl_
f
low
.
c
: comp
u
te_val_based_dependences
:
fix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdo
o
l
a
e
g
e
is
l
_
f
l
ow_allo
c
: f
i
x error h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_
acce
s
s_inf
o
_compute_flow: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl
_
{set,m
a
p}_fast_
i
s_empty: avoid NUL
L
pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_flow
.
c: avoid accessing dim
f
i
e
l
d directly
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
i
sl_access
_
in
f
o_compute_
f
low: avoid N
U
L
L
p
o
i
nte
r
d
e
referenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_input
.
c: obj_read:
a
void N
U
LL pointer derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
isl_map_subtract
.
c: tab_add_const
r
aints
:
a
v
oid NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab
.
c: close_row: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en
Ve
r
doolaege
i
s
l_map_simplify
.
c: remove_
d
uplicate
_
divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic
_
ma
p
_a
f
fine_hull: avoid NUL
L
pointe
r
dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_tab_add
_
e
q
: r
e
turn int inst
e
ad of isl_tab
*
commit
|
commitdiff
|
tree
next