repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
[Ada] Unnesting: improve support for entries in protected objects
2018-07-31
Ed Sch
o
n
berg
[Ad
a
] Unnesting: improve suppor
t
for e
n
tries in protecte
d
.
.
.
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Ed Scho
n
berg
[Ad
a
] Refine generatio
n
of range checks to happen
i
n
.
.
.
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[
Ada
]
Unne
s
ting
:
fi
n
d local s
u
bps
i
n
nested stm
t
sequences
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonber
g
[Ada] S
p
u
rious
e
rror on defa
u
lt parameter
in pr
o
te
c
ted
.
.
.
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[
A
d
a
] Sp
u
rious wa
r
ning o
n
iteration ove
r
range of
6
4
.
.
.
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[A
d
a]
F
ix resolut
i
on
o
f
class-wide operations that
.
.
.
2018-07-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonbe
r
g
[Ada] Spurious error on pref
i
xed call in an instant
i
ation
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed
Schonberg
[
Ada] Fix expansion of aggregates compon
e
nts rewritten
.
.
.
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed
S
chonberg
[
Ada]
Missing check
o
n illegal
e
quality operat
i
o
n in
.
.
.
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
E
d
Schonberg
[Ada] Unnest
i
ng: do
n
't
u
se Get_Actual_Su
b
t
y
pe for recor
d
.
.
.
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed Schon
b
e
r
g
[Ada
]
Fix Enc
l
osing_S
u
b
p
rogr
a
m
f
o
r
protecte
d
entries
.
.
.
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Einfo: update docu
m
e
ntation for Scalar
_
Range
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed Schon
b
e
r
g
[Ada]
Fix unnesting issues in
v
olving tasks
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-17
Ed Scho
n
b
e
rg
[Ada] F
i
x hand
l
in
g
of inhe
r
ited discri
m
inant
con
s
traints
2018-07-17
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Fix ex
p
ansion of blo
c
ks in loops insid
e
e
l
abor
a
tion
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed S
c
honberg
[Ada] Deep
c
opy
o
per
a
nd
s
of membershi
p
operations for
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
E
d
Schonb
e
rg
[Ada] Unnesting: handle 'Addre
s
s references t
h
at are
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ad
a
] Unnesting: handle the
sema
n
tic of Sto
r
age_Po
o
l
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed Sc
h
onberg
[Ada] Fix Default_Storage_Poo
l
a
spect
h
andling i
n
generic
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Major code cleanu
p
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
E
d
Scho
n
be
r
g
[
A
d
a] Use common routin
e
Expand
_
Nonbinary_Modular_O
p
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonbe
r
g
[Ada]
A
dd a missin
g
check for trivia
l
predicates on
.
.
.
2018-07-16
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Unnesti
n
g: ref
a
ctor hand
l
ing
of upl
e
v
e
l refs
.
.
.
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
E
d
Schonberg
[Ada] Missing predicate function bo
d
y for derive
d
type
.
.
.
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada]
U
nnesting: robust
i
f
y analys
i
s of block
s
t
atements
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
E
d Sc
h
onberg
[A
d
a] Unn
e
s
ting: fix handling of generic
associations
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonb
e
r
g
[Ada]
U
nnesting: fix handl
i
ng of
stubs
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Ed Sch
o
nberg
[
A
da] Cra
s
h with Inline_Always on a fun
c
tion with an
.
.
.
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
E
d
Schonber
g
[A
d
a] Crash on instantiation of neste
d
ge
n
eric
i
n priva
t
e
.
.
.
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Unnest
i
ng: impro
v
e
h
andling of bounds for formal
.
.
.
2018-06-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Ed S
c
ho
n
berg
[
A
d
a
] Static predicate c
h
eck on ch
a
r
a
cters of a
s
t
r
ing
.
.
.
2018-05-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonb
e
rg
[Ad
a
]
Ille
g
al copy of
limited
o
bject
2018-05-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
E
d
Schon
b
erg
[
Ada] Mi
n
or comm
e
n
t
i
mpro
v
ement
2018-05-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonberg
[
A
da] Unnesting: add a
predica
t
e to help exp
a
n
sion
.
.
.
2018-05-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonbe
r
g
[
A
da]
Convert o
p
erands of generated
co
d
e to Stan
d
ard
.
.
.
2018-05-31
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schonberg
[
A
da] Unnesting: alw
a
ys tran
s
form local
R
aise stat
e
ments
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schon
b
erg
[Ada]
Unnesting: handle t
h
e semantic of Proc
e
dure_To_Call
.
.
.
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed Schonberg
[Ada] Unnesting: skip
u
nanalyzed Component_Ass
o
cation
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed Scho
n
berg
[Ada] Extend the applica
b
ility of Thread_Local_Storage
.
.
.
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed Scho
n
berg
[Ada] R
e
fine
l
o
gic to set Needs_Activati
o
n_Record on
.
.
.
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
E
d Schon
b
e
r
g
[Ada] Unnesting: look for spe
c
ification of m
a
in
u
ni
t
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed
Schonberg
[Ad
a
] Unn
e
sting: pro
p
erly handle local subpro
g
ram in
.
.
.
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-30
Ed
S
chonberg
[Ada] Unnesting: prope
r
ly handle subprogram instantiations
2018-05-30
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed Sch
o
nberg
[Ada] A
t
tac
h
reference to finalizers to tree
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ada]
Unnesting: handle statement sequences that includ
e
.
.
.
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
E
d
Scho
n
berg
[Ada] U
n
ne
s
t
i
ng: do not generate push/pop for e
x
ceptions
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonbe
r
g
[Ada] Imp
r
op
e
r
behavior o
f
floating-point attribu
t
es
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[
A
da
]
Cla
r
ify
use of Activation_Record_Component
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed Schonberg
[Ad
a
] Set scope of c
o
mponent of subt
y
pe
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-29
Ed
Schonber
g
[Ada] Unnesting:
exclud
e
s
e
l
ec
t
ed components whose
.
.
.
2018-05-29
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Unnesting: check index expressions for uplevel
.
.
.
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[A
d
a] Unnesting: all
o
w uplevel reference
s
to e
x
ce
p
tions
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonberg
[Ada] Imp
r
ove un
n
esti
n
g for dis
c
rim
i
n
a
nts of reco
r
d
.
.
.
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed
S
chon
b
erg
[
Ada] Introduce
a new Needs_Acti
v
ation_Rec
o
r
d e
n
tity
.
.
.
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Sc
h
onber
g
[
A
d
a
] B
e
tt
e
r
a
ccu
r
acy in float-to-fixed
c
o
nversion
s
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed
S
chonberg
[A
d
a]
D
on't
c
reate
empty activati
o
n
records
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonb
e
rg
[Ada] Copy index e
x
p
r
essi
o
n tre
e
s rath
e
r th
a
n relocatin
g
.
.
.
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Ed Schonb
e
rg
[Ada] Warning on recursive
c
all within postcondi
t
i
o
n
2018-05-28
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[
A
d
a
] Spur
i
ous error on fixed-point op
e
ration
w
h
ose
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] Fix expansi
o
n of qu
a
ntified expressions as part
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[Ada] Crash on classwide preconditio
n
o
n
subprogr
a
m
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed
S
c
h
o
nberg
[Ada] Stre
n
gthen checks for ins
t
a
n
tiation
w
i
th interfa
c
e
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
E
d
Schon
b
e
rg
[Ada
]
Checks on insta
n
ti
a
tion
s
wit
h
f
o
rmal derived
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed Schonberg
[
A
d
a
]
Refine
checks for upleve
l
r
e
f
er
e
nces
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-25
Ed
Schonberg
[Ada] Compiler loo
p
on exp
r
ession function and p
r
edicate
.
.
.
2018-05-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Ed S
c
honberg
[
Ada] Add a new Is_Activation_Record flag on
I
N
p
arameters
2018-05-24
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
E
d
S
c
honberg
[Ada]
I
n
f
inite loo
p
in the compiler when war
n
ing
o
n
.
.
.
2018-05-24
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-24
Ed Schon
b
erg
[Ada] Add
war
n
i
ng on
r
edundan
t
others_cla
u
s
e
in array
.
.
.
2018-05-24
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[Ada] S
p
urious error
o
n insta
n
tiation with type
w
ith
.
.
.
2018-05-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonberg
[Ad
a
] Impl
e
mentation of AI
1
2
-
0
1
31: leg
a
lity of c
l
ass
.
.
.
2018-05-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Ed S
c
honberg
[Ada] Missing
leg
a
lity check on iterato
r
over f
o
rmal
.
.
.
2018-05-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Ed Schonb
e
rg
[
Ada] Crash on predicate
i
n
v
olving qu
a
lifi
e
d expre
s
sion
.
.
.
2018-05-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-23
Ed Sch
o
n
berg
[Ada]
Compiler fails to
r
ej
e
c
t
i
llegal
s
tore of
a
nonymous_
a
c
.
.
.
2018-05-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonberg
[Ada] Better erro
r
message on
illegal
'
Acc
e
ss on forma
l
.
.
.
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonberg
[A
d
a] Ada2020: Red
u
ction expr
e
s
s
i
ons
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
E
d
Schonberg
[
Ada] Crash with private
types
a
n
d
renamed discriminants
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed
Schonberg
[Ad
a
] Spurious vis
i
bility
error in a n
e
sted in
s
tance
.
.
.
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed Sc
h
onberg
[Ada] Spurious visibility error
o
n aspect i
n
g
e
neric
.
.
.
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed Schonb
e
rg
[Ada] C
r
ash on pragm
a
C
om
p
ile_Tim
e
_
Warning w
i
t
h
dec
l
ar
e
d
.
.
.
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-22
Ed Scho
n
be
r
g
[Ada
]
Sp
u
ri
o
us
s
iz
e
error on fixed point t
y
p
e
with
.
.
.
2018-05-22
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Ed Schonberg
[Ada] Spurious warning on object declaration with ad
d
ress
.
.
.
2018-05-21
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Ed S
c
h
o
n
berg
[Ada] E
r
r
or message on i
n
valid conv
e
rsio
n
i
n
volving
.
.
.
2018-05-21
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
E
d
S
cho
n
berg
[
Ada] Exit state
m
ent in lo
o
ps over ite
r
able objects
2018-05-21
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
E
d Schonber
g
[Ada] Sp
u
rious
e
rror on in
d
exed call as pref
i
x
o
f a
.
.
.
2018-05-21
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-05-21
Ed Schonb
e
r
g
[
A
da] Exte
n
d legality of Scalar_S
t
orage_
O
rder t
o
formal
.
.
.
2018-05-21
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Ed
Schon
b
er
g
[Ada] Crash on bui
l
d-
i
n-place ca
l
l
with add
r
e
s
s s
p
e
cificatio
.
.
.
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada
]
S
puri
o
us e
r
r
o
r on ref
e
rene to sub
c
oponrnt
in
.
.
.
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonberg
[Ada] Crash o
n
e
x
pression function
a
s completion
,
wit
h
.
.
.
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
E
d S
c
honberg
[A
d
a] Warning
o
n use of pre
d
efined o
p
era
t
ions on
an
.
.
.
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
Ed Schonber
g
[Ada] Han
d
ling of pragma Predicate
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
E
d
Schonberg
[Ada] I
l
legal p
r
otected calls in inherited pre/pos
t
conditions
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2018-01-11
E
d Scho
n
berg
[Ad
a
] Crash on
itera
t
e
d
_compo
n
ent_association i
n
expr
e
ssion
.
.
.
2018-01-11
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-10-10
Ed S
c
h
o
nberg
cl
a
ss_wide4
.
a
d
b: Fix a
ty
p
o
.
commit
|
commitdiff
|
tree
2017-09-06
Ed Schon
b
er
g
freeze
.
a
d
b (Fre
e
ze_En
t
ity): Do
not g
e
ne
r
ate a fre
e
ze
.
.
.
2017-09-06
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-04-27
Ed Schonb
e
rg
sem_util
.
a
db, [
.
.
.
]
(Bu
i
ld_Class_Wid
e
_
C
l
one_
B
ody):
.
.
.
2017-04-27
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-04-25
Ed Schonber
g
sem_util
.
adb, [
.
.
.
] (From_Nes
t
e
d
_Pack
a
ge): Ne
w
predica
t
e
.
.
.
2017-04-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-04-25
Ed Sch
o
nberg
sem
_
ch6
.
adb
(Analyze_E
x
pr
e
ssion_Fun
c
tion): If ex
p
ress
i
on
.
.
.
2017-04-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-04-25
Ed Schonb
e
rg
sem_ch3
.
a
db
(
Chec
k
_
E
n
try_
C
ont
r
act): Call Pre
a
nalyze
_
Spec_Exp
.
.
.
2017-04-25
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-01-23
E
d
Schonberg
se
m
_prag
.
adb
(
Default_In
i
t
i
al_Condit
i
on):
I
f the de
s
ired
.
.
.
2017-01-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
2017-01-23
Ed Schon
b
erg
sem
_
ch4
.
adb
(Try_Pri
m
itive_O
p
erations, [
.
.
.
]): argument
.
.
.
2017-01-23
Ed Schonberg
<schonberg@adacore.com>
commit
|
commitdiff
|
tree
next