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
privately export isl_set_reset_dim and isl_map_reset_dim
2010-07-30
Sven Verdoo
l
a
ege
priv
a
tely export isl_set
_
re
s
et_dim and isl_map_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ver
d
oolaege
isl_map_read: extract out rea
d
_
v
ar_def
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Ve
r
doolaege
isl_hash_table
_
fo
r
ea
c
h:
pass pointer to entry d
a
ta
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Ver
d
o
o
laege
isl_ha
s
h_table_foreach: add us
e
r
argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoolaege
is
l
_t
r
ansitive_
c
lo
s
ure
.
c: fix dou
b
le free
o
n error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
ven
V
erdoolaege
i
s
l_map_gist:
use s
i
mple hu
l
l instead of
c
on
v
ex hull
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sv
e
n
Verd
o
olaege
isl_
m
ap
.
c
:
fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdoolaege
isl_cat: read gen
e
ric obje
c
ts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en V
e
rdoolaege
isl_pr
i
nt
e
r: add NUL
L
che
c
ks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verd
o
o
l
aege
make isl_obj_none
a
constant expre
s
sion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
S
v
en Verdoola
e
g
e
add isl_map_
g
et_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-30
Sven Verdo
o
l
a
ege
isl_ma
p
_fast_is_univer
s
e: also detect red
u
n
dant representati
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Ver
d
oolaege
ad
d
isl_map_reaching_path_lengths
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven Verd
o
olaege
isl_map_power: delay equa
t
ing path lengt
h
s to po
w
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaege
i
s
l
_map_powe
r
:
ap
p
ly Floyd-Warshall
t
o compute
p
ower
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-24
Sven
V
erdoolaeg
e
isl_ma
p
_
l
e
x
m
ax: pr
o
d
uc
e
l
ess cryptic
err
o
r me
s
sage
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en Verdoolaege
fix isl_basic_map_
m
ove_dims in presenc
e
of existentia
l
ly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Ve
r
doola
e
ge
isl
_
test: drop
debugg
i
ng
o
utput
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
S
v
en
Verd
o
ola
e
g
e
isl_transi
t
i
ve_closur
e
.
c: fix t
y
po in c
o
mment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-23
Sven Verdoolaege
fix isl_map_l
e
x_ge
and i
s
l_map_lex_le i
n
the
zer
o
-di
m
ensiona
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-19
Sv
e
n
Verdoolaege
i
sl_p
r
inter_pri
n
t_map
:
r
eplace variable by
i
ts defi
n
ition
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
Sven Ver
d
o
o
lae
g
e
privately expor
t
i
sl_b
a
sic_map_fast_cmp and isl_basic_map_fa
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-14
S
v
en Verdoolaege
i
s
l_
d
im_set_
n
ame: don
'
t accept names that lo
o
k like
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-11
T
obias Grosser
Remove comma at the e
n
d of enumeration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-05
S
v
en Verdoolaege
i
s
l
_co
n
vex_
h
ull
.
c: a
v
o
id
s
i
d
e-effe
c
t
s
in calls to
i
sl
_
int_
.
.
.
commit
|
commitdiff
|
tree
2010-07-04
S
v
en
Verdo
o
l
ae
g
e
add
i
sl_hash_
b
uiltin
commit
|
commitdiff
|
tree
2010-07-04
Sven Verdoola
e
g
e
add isl_int_g
e
t_str
commit
|
commitdiff
|
tree
2010-07-02
Sve
n
Verdool
a
ege
doc: fix some typos
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
e
r
doolaege
isl 0
.
0
3
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
Ma
k
efile
.
am
:
really include include
/
isl_ve
r
ti
c
e
s
.
h
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
add
isl_m
a
p_
i
s_bijecti
v
e
commit
|
commitdiff
|
tree
2010-06-28
Sve
n
Verdoola
e
ge
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
doc: drop
dupli
c
ate b
o
o
kt
i
tl
e
from Kelly1
9
96clos
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Ver
d
ool
a
ege
doc: u
s
e m
o
r
e
expli
c
i
t notat
i
o
n
t
o avoid confusio
n
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
laege
add
isl_constra
i
nt_is_div_constraint
commit
|
commitdiff
|
tree
2010-06-27
S
v
en Verd
o
olae
g
e
isl_ma
p
_
s
implify
.
c: separate out isl_basi
c
_
map
_
is_div_c
o
nstraint
commit
|
commitdiff
|
tree
2010-06-27
S
ven Verdoolaege
i
s
l_basi
c
_map_from_constraint:
k
ee
p
al
l
div
s
, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven
Ve
r
doolaege
isl_basic_map_from_con
s
t
r
aint: only
ret
u
rn copy of
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
isl_constraint_add_div
:
correc
t
ly set line to first
.
.
.
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
o
o
la
e
ge
isl_pip: rename pip_
o
pt
i
ons to
a
void conflict with
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oolaege
isl_convex_hull
.
c:
initial_
f
a
cet_c
o
nstraint: fix er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoola
e
ge
d
o
c: describe b
a
ckw
a
rd inc
o
mpatible
changes
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rd
o
o
l
aege
d
o
c: me
n
tion discussion group
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdo
o
laege
rename isl_
b
asic_map_convex_hull t
o
isl_basic_map
_
re
m
ove_re
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdool
a
e
ge
i
s
l
_affi
n
e_hull
.
c: outside_point: fix error
h
a
nd
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n V
e
r
d
oolaege
isl_tab_
r
ol
l
bac
k
: av
o
id dou
b
le free on error pa
t
h
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdo
o
laege
isl_tab
.
c
: tab_ma
t
_
product: avoid
NULL p
o
int
e
r der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
is
l
_
tab
_
extend_con
s
: avo
i
d NUL
L
pointer
d
e
r
ef
e
rence
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
o
ola
e
g
e
implement
ant
i
quated isl
_
basic_s
e
t_n_*
in term
s
of
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_ma
p
_convex_hull: avoid
N
U
L
L
p
ointer derefere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
isl_tab
_
add_valid_eq: return in
t
instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaeg
e
isl_affine_
h
u
ll
.
c
: affine_hull_with_cone: avoid
NUL
L
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_equali
t
ies
.
c: p
a
r
a
meter_compr
e
s
s
i
on_multi: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_basic_map_project_out: a
v
oid NULL
pointer dere
f
ere
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
sl_coalesce
.
c: coalesce_
p
air: avoid NULL pointe
r
derefe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
is
l
_con
v
ex_hull
.
c
:
extend: fix error
handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
implement antiquated isl_set_n_* in terms of isl_set_dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
Ve
r
do
o
lae
g
e
i
s
l_map_sim
p
lif
y
.
c: norma
l
ize_divs: avo
i
d N
U
LL pointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Verdoolaege
isl_input
.
c
:
vars_drop: fix error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_conve
x
_hul
l
.
c: uset_conve
x
_hull_wrap_bounded:
f
i
x
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaeg
e
isl
_
set_wr
a
p_fa
c
et:
f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_
t
ab_min: avoid NU
L
L
pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_affine_hull
.
c
:
e
x
tend_a
f
fine_hul
l
: avoid NULL po
i
nter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laege
i
s
l_b
a
sic
_
m
a
p_extend: plug memor
y
leak on err
o
r
path
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_
a
ffine_hull
.
c: equalities_in_underlying_set: av
o
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rdoolaege
i
s
l
_basic_set_preimage: avoi
d
NULL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
is
l
_tab_p
i
p
.
c:
no_
s
ol_in
_
strict: f
i
x error handl
i
ng
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolaege
is
l
_affine_hull
.
c: equalities_in_
u
nder
l
ying_
s
et: plug
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
is
l
_a
f
fine_
h
ull
.
c: affine_hu
l
l
:
fix err
o
h
and
l
ing
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_map_project_out: fix err
o
r r
e
turn value
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
Ver
d
oolaege
isl_b
a
sic_ma
p
_inters
e
c
t
_
r
a
nge:
a
vo
i
d NULL
p
ointer de
r
eference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ta
b
_pip
.
c: f
i
nd_
s
olutions: f
i
x error han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoola
e
ge
isl
_
b
a
sic_map_alloc_d
i
m: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_basic_map_inters
e
ct:
a
void
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_tab_pip
.
c: sol_map_in
i
t: a
v
o
i
d NULL pointer
d
e
re
f
erenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
o
o
l
a
ege
isl_basic_map_intersect_do
m
a
in: a
v
oid N
U
LL poi
n
t
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_
f
low
.
c: co
m
pute_val_bas
e
d
_
dependences: fi
x
e
r
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Ve
r
d
o
olaeg
e
isl_flow_a
l
loc:
f
i
x
e
rror han
d
ling
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl
_
access
_
info_
c
om
p
u
t
e_flow: f
i
x error handling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
lae
g
e
is
l
_{s
e
t,map}_fa
s
t
_
is_emp
t
y: avoid NULL pointer der
e
fe
r
ence
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoo
l
aege
isl_flow
.
c: avoid accessing dim field directly
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_access_info_compute_flow: avoid
NULL pointer dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdo
o
la
e
ge
isl_input
.
c: obj_read: avoid NULL pointe
r
derefer
e
n
ce
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Verdoolaege
i
sl_map_su
b
tract
.
c: tab_add_constra
i
nts: avoid
NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
r
doolaege
isl_tab
.
c
:
close_row: fix e
r
ror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_map_simpl
i
fy
.
c
:
r
e
move_duplicate_div
s
: avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erd
o
ola
e
ge
isl_ba
s
ic_
m
ap_affine_
h
u
l
l:
avoid NULL pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sve
n
V
e
r
doolaege
isl_tab_add_eq: re
t
urn int
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_map_simplify
.
c:
remove_
d
uplicate_
c
onstr
a
ints: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaege
isl_map_simplify
.
c: eliminate_d
i
vs
_
i
ne
q
:
avoid NULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoo
l
a
ege
isl
_
basic_map_eli
m
i
n
a
t
e_vars:
avoid
N
UL
L
pointer dere
f
eren
c
e
commit
|
commitdiff
|
tree
2010-06-26
Sven Ve
r
d
o
olaege
isl_sa
m
pl
e
.
c
:
i
nterval_sa
m
ple: avoid NULL po
i
n
ter
der
e
ference
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
e
r
dool
a
ege
isl_sample
.
c: d
r
op_constraints_involvi
n
g: a
v
oid
N
ULL
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
isl_s
t
ream_n
e
w:
r
ead_defined_var_
l
is
t
:
a
void double
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n Ver
d
oolaege
i
sl_basic_map_inter
s
e
ct: a
v
oid NULL
poin
t
er derefer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_sample
.
c
:
gbr_sample: a
v
oid N
U
LL pointer dereferenc
e
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_te
s
t
.
c
: avoid NULL poi
n
ter dereference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
i
s
l_tes
t
:
a
v
oi
d
ac
c
essing basic set int
e
rnals
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
i
sl_input
.
c: re
a
d_d
e
fined_var_list: av
o
id double fr
e
e
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdoolaege
isl_map
_
convex_hu
l
l: a
v
oid NUL
L
pointer d
e
r
e
ference
commit
|
commitdiff
|
tree
next