Piotr Trojanek 4fee9a0d12 Reject references to attribute Result in Exceptional_Cases ...

Functions with aspect Side_Effects should not reference attribute Result in
consequences of their aspect Exceptional_Cases.

[changelog]
* docs/lrm/source/subprograms.rst (Exceptional_Cases): Reject references to
attribute Result.

2024-12-18 15:50:35 +00:00

..

_static

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

conf.py

Use pagefind for search in UG and LRM

2024-08-12 08:12:59 +00:00

declarations-and-types.rst

Fix usage of subjected

2023-11-15 10:10:21 +00:00

exceptions.rst

UC02-037 document support for exceptions in the RM

2023-04-07 12:47:31 +00:00

generic-units.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

gfdl.rst

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

gfdl.tex

(no-tn-check) replace Altran by Capgemini

2022-01-05 10:41:29 +00:00

glossary.rst

Fix unbalanced parens in SPARK RM

2022-02-04 21:28:11 +00:00

index.rst

(no-tn-check) replace Altran by Capgemini

2022-01-05 10:41:29 +00:00

introduction.rst

Fix spelling of functions with(out) "side effects"

2023-11-20 08:13:19 +00:00

language-defined-aspects-and-attributes.rst

Update of SPARK RM for functions with side-effects

2023-10-09 08:16:19 +00:00

language-defined-pragmas.rst

Move pragma No_Strict_Aliasing to fully ignored pragmas

2024-03-21 15:17:56 +00:00

lexical-elements.rst

T925-002 Update language version references in SPARK RM and UG

2020-10-01 17:46:33 +02:00

mapping-spec.rst

Fix various typos in documentation

2023-08-16 10:59:56 +00:00

names-and-expressions.rst

Fix spelling of functions with(out) "side effects"

2023-11-20 08:13:19 +00:00

packages.rst

Treat dispatching operations as boundary for all types

2024-06-12 09:45:11 +00:00

program-structure-and-compilation-issues.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00

representation-issues.rst

Reject scalar type with too large size in UC

2023-12-11 08:37:48 +00:00

restrictions-and-profiles.rst.wip

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

statements.rst

Merge branch 'topic/big_spark_variant' into 'master'

2024-10-30 11:14:20 +00:00

subprograms.rst

Reject references to attribute Result in Exceptional_Cases

2024-12-18 15:50:35 +00:00

tasks-and-synchronization.rst

Fix various typos in documentation

2023-08-16 10:59:56 +00:00

the-standard-library.rst

V527-027 replace "Extended Ravenscar" with the Jorvik profile

2022-05-30 07:35:40 +00:00

todo-summary.rst.wip

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

visibility-rules.rst

Remove deprecated "centered" Sphinx directive from SPARK RM

2021-11-29 15:42:38 +00:00