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: keep track of domains for Floyd-Warshall
2010-08-02
Sv
e
n Verdoolaege
isl_transitiv
e
_closur
e
.
c: kee
p
t
rack of domain
s
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoolaege
isl_dim_d
r
op: always
r
emove tu
p
le name, even
i
f
number
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-08-02
Sven Verdoola
e
ge
isl
_
d
i
m_set
_
tup
l
e_name: allow explicit
removal of tuple
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaeg
e
add s
u
ppor
t
for union s
e
ts and relations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
doolaege
isl_trans
i
tive_closure
.
c: ex
t
ract o
u
t
s
om
e
reusab
l
e
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_pw
_
qpolyn
o
mial_re
s
et_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ver
d
oolaege
a
dd is
l
_
ma
p
_has_equal_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
V
erdoolaege
add isl
_
dim_ge
t
_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven
Ver
d
oolaege
isl_dim:
a
l
l
o
w
sp
e
cifi
c
a
tion of tup
l
e nam
e
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_
m
ap_from_domain_and_ran
g
e: implem
e
nt in t
e
rms of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolae
g
e
isl_ba
s
ic_
m
ap_do
m
ain: properly set dimen
s
ion of result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoolaege
p
rivate
l
y
e
xport isl_set_reset_
d
i
m and isl_map_reset_d
i
m
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl
_
map_read: extract out re
a
d_var_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven Verdoolaege
isl_hash
_
ta
b
l
e_f
o
reach:
p
ass p
o
inter to ent
r
y data
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_hash_t
a
ble_foreach: add use
r
argumen
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoola
e
ge
isl_transi
t
ive_
c
l
o
sur
e
.
c: fix
double
f
r
ee
o
n error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_map_gist: use simple
hull inst
e
ad 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
S
v
en Verdoolae
g
e
isl_ca
t
: read generic
o
bjects
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven
Verdoo
l
aege
i
sl_printer: a
d
d NULL checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
e
n
Verdoolaege
m
a
ke isl_ob
j
_
no
n
e a cons
t
ant
e
xpression
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
ad
d
isl_map_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven V
e
rdoo
l
aege
isl_map_fast
_
is_univ
e
rse
:
also detect redundant re
p
resentati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
a
dd
i
sl_map_rea
c
hing_path_le
n
gt
h
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
i
sl
_
map_power: del
a
y e
q
uat
i
n
g
p
ath lengt
h
s to p
o
wer
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
S
ven Verdo
o
laege
isl_
m
ap_pow
e
r: apply Floyd-W
a
r
s
hall to compu
t
e po
w
ers
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
e
r
d
oolaege
isl_m
a
p_lexmax: produc
e
less
c
ryptic error
m
ess
a
ge
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix i
s
l_basic_map_mo
v
e_dims in presence of exis
t
enti
a
lly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaeg
e
isl_test: dr
o
p deb
u
gg
i
ng outpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
ven V
e
r
doo
l
aege
isl_transi
t
ive
_
clos
u
re
.
c:
f
ix
typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en V
e
rdoolaege
fix isl_m
a
p
_lex_ge an
d
isl_map_lex_le in the z
e
r
o
-
d
imens
i
ona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
S
v
e
n
V
erdoolaege
is
l
_printer_prin
t
_
m
ap:
repla
c
e variable by its definit
i
on
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
e
n Verdoolaege
privat
e
ly export isl_ba
s
ic_ma
p
_fast
_
cmp and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Ve
r
doolaege
isl_dim_s
e
t_name: d
o
n't ac
c
ept
n
a
m
es t
h
at look like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
Sv
e
n Ve
r
do
o
l
aege
isl
_
c
o
n
vex
_
hul
l
.
c: avoid sid
e
-effects
i
n cal
l
s to
i
sl_int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdool
a
e
g
e
add isl_hash_built
i
n
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoolaege
a
dd isl_int_get_str
commit
|
commitdiff
|
tree
2010-07-02
Sven Verdoolae
g
e
doc: fix some
typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
i
s
l 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
ege
Makefile
.
am: rea
l
ly include in
c
lude/isl_vertices
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
add isl_map
_
is_bi
j
ective
commit
|
commitdiff
|
tree
2010-06-28
Sven Ver
d
oolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-28
S
v
e
n
Verdo
o
laege
doc: drop dupli
c
a
t
e
booktitle
from
Kelly1
9
96
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdool
a
ege
doc: use m
o
re explic
i
t notati
o
n to a
v
oid confusion
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doo
l
aege
add
i
s
l_constraint
_
is_
d
iv_constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
isl_map_simpl
i
f
y
.
c: separate out
isl
_
basic
_
map_is
_
div_constr
a
int
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
do
o
l
aege
isl
_
b
a
sic_map_fr
o
m_co
n
strai
n
t: keep
all divs, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verdoolaege
i
sl_basi
c
_map_from
_
constraint: only return
cop
y
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaeg
e
isl_c
o
nstraint_add_div:
c
o
rrectly
s
et lin
e
to
first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ve
r
doola
e
g
e
isl_pip: rename pip
_
options to avoid conflict
with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_
c
onvex_hull
.
c: initial_
f
ace
t
_
c
onstra
i
nt:
f
ix error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
d
oc:
de
s
cribe
b
ackwar
d
incompatible chan
g
es
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
doola
e
ge
doc
:
mention discussion
group
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doo
l
a
e
g
e
r
ename isl_basic_
m
ap_convex_hull to isl_ba
s
ic_map_remove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
isl_affine_hull
.
c: outside_poin
t
: fix
er
r
or handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
i
s
l
_tab
_
rollback:
a
void
d
o
u
ble free o
n
er
r
o
r path
commit
|
commitdiff
|
tree
2010-06-26
S
ven Ver
d
oolaege
i
sl_
t
a
b
.
c: tab_ma
t
_
p
roduct: av
o
i
d
NULL p
o
inter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_ta
b
_extend_c
o
n
s
:
a
v
o
i
d
N
ULL pointer der
e
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
imp
l
eme
n
t ant
i
quated
i
s
l
_basic_set_n_*
in terms of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_map_convex_h
u
ll: avoid NULL po
i
nter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaeg
e
i
sl_tab_add_valid_eq: return
int instead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
o
laege
isl_affine
_
h
u
ll
.
c: affine_hull_with_c
o
ne: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
e
qualiti
e
s
.
c: parameter_compres
s
ion_
m
ulti: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_basic_map_project_o
u
t: avoid N
U
LL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_c
o
a
lesce
.
c
: coa
l
e
s
c
e
_pair: av
o
id NU
L
L pointer derefere
n
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verdoolaege
is
l
_con
v
ex_hull
.
c: extend: fix e
r
ror hand
l
in
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
doolaege
impl
e
men
t
an
t
iquated
i
sl_s
e
t_n_* in terms of isl
_
set
_
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_ma
p
_simplify
.
c
:
normalize_d
i
vs: avoid
NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_
i
nput
.
c:
v
ars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_
c
o
nvex_hull
.
c: uset_conv
e
x
_hul
l
_wrap_
b
ounded: fix
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
is
l
_set_w
r
ap_facet: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab_min: av
o
id NULL point
e
r de
r
efer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_affine
_
hull
.
c: ex
t
end_affine_hull: avoi
d
NULL point
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
is
l
_basic_ma
p
_extend:
p
lug mem
o
ry
l
e
ak on e
r
r
o
r path
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
f
fine_hu
l
l
.
c: equal
i
ties_in_underl
y
ing_set: avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_b
a
sic_
s
et_pre
i
m
age:
a
vo
i
d NULL poi
n
ter deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
r
d
ool
a
ege
isl_
t
ab_
p
ip
.
c: no_sol_in_
s
t
rict: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
is
l
_affine_hull
.
c: e
q
ua
l
ities_in
_
underlying_set: p
l
u
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
i
s
l
_
affine
_
hull
.
c: affi
n
e
_hull: fix er
r
o handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
i
s
l
_map
_
project
_
out: fix e
r
ror retur
n
value
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_basic_map_i
n
terse
c
t_r
a
nge: avoid NULL pointer deref
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
is
l
_
t
ab_pi
p
.
c:
f
ind
_
so
l
u
t
ions: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
S
v
e
n Verdoo
l
aege
isl_basic_map
_
a
lloc_dim: fix err
o
r handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
a
e
ge
isl_basic_map_intersec
t
: avoid NULL poin
t
er dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoo
l
aege
i
sl_tab_pip
.
c: sol_map_
i
nit:
a
void NU
L
L po
i
nter dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdo
o
laege
i
s
l
_
b
a
sic_ma
p
_inter
s
ect_domain: avoid NULL
pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdool
a
ege
isl_flow
.
c: co
m
pute_val_based_depen
d
enc
e
s: fix
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_flow_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_a
c
cess_info_com
p
ute_flow:
fix erro
r
handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_
{
set,m
a
p}
_
fast_is_e
m
pt
y
:
a
v
o
id
NUL
L
poin
t
er dereferen
c
e
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ver
d
oolaege
isl_flow
.
c:
a
void acce
s
sin
g
d
i
m fie
l
d d
i
rectl
y
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl
_
a
c
c
ess
_
inf
o
_compute_flow: avoid NULL pointer derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_input
.
c:
o
b
j_read: avo
i
d NULL
p
o
i
nter derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
isl_map_subt
r
act
.
c: tab_add
_
constraints: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaeg
e
isl_tab
.
c
:
close
_
row:
f
i
x erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
isl_map_simp
l
ify
.
c: remove_duplica
t
e_divs: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
i
s
l
_basi
c
_map_affine_hull: avoid NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
Verd
o
olaege
isl_
t
ab_ad
d
_eq: re
t
urn
i
n
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ver
d
oolaege
isl_map_simplify
.
c: re
m
ove_duplica
t
e_con
s
t
r
aints: avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
i
s
l_map_sim
p
lify
.
c
: elimina
t
e_divs_ineq:
a
v
o
id NULL
.
.
.
commit
|
commitdiff
|
tree
next