Claire Dross ebc06883ac Check compatibility rules for exception propagation in ghost code

2025-10-16 07:10:28 +00:00

..

_static

Remove deprecated "centered" Sphinx directive from SPARK RM

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

conf.py

Use Boris' pagefind extension for SPARK doc

2024-10-16 11:27:24 +00:00

declarations-and-types.rst

Do not emit checks for memory leaks in Static ghost code and assertions

2025-07-28 11:51:20 +00:00

exceptions.rst

Check compatibility rules for exception propagation in ghost code

2025-10-16 07:10:28 +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

Document Ada 2022 aspect Exclusive_Functions as supported in SPARK

2024-10-10 15:40:12 +02: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

Document assertion levels in the SPARK RM

2025-07-25 16:15:06 +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

Minor optimizations for overlays of constant objects

2025-07-18 10:14:08 +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

Document assertion levels in the SPARK RM

2025-07-25 16:15:06 +00:00

subprograms.rst

Fix rule about global outputs of ghost subprograms in the RM

2025-09-16 18:30:42 +00:00

tasks-and-synchronization.rst

Fix various typos in documentation

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

the-standard-library.rst

Remove an obsolete section about Random Numbers from the RM

2025-05-05 17:45:53 +03: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