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

..

architecture

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

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

booklet

fix all pre-commit violations in spark2014 repo

2023-09-20 09:36:25 +00:00

case_study

fix all pre-commit violations in spark2014 repo

2023-09-20 09:36:25 +00:00

develguide

Use environment variables to pass socket and semaphore name to other executables

2024-07-19 09:19:34 +00:00

flow

UA26-010 enforce python styles via flake8 and black

2021-12-16 10:26:01 +09:00

guidance

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

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

lrm

Reject references to attribute Result in Exceptional_Cases

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

marketing

Minor addition of text for Systematic competitiveness cluster

2014-04-03 16:24:57 +02:00

papers

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

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

shared

Use pagefind for search in UG and LRM

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

sphinx_support

Update Ada pygments for new attribute Initialized

2024-05-30 15:48:41 +02:00

ug

Merge branch 'topic/764-kanig-typos' into 'master'

2024-11-13 09:46:57 +00:00