Piotr Trojanek 8d91a5f709 Document assumption about time arithmetic operators ...

The lack of preconditions on Ada.Real_Time and Ada.Execution_Time
routines used to be described as a tool limitation, but vanished
while changing limitations to assumptions. List it again, until
a proper solution is implemented.

[changelog]
* docs/ug/en/source/how_to_use_gnatprove_in_a_team.rst
(Complete List of Assumptions): Add explicit assumption.

2025-05-05 10:07:41 +02: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

fix all pre-commit violations in spark2014 repo

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

flow

UA26-010 enforce python styles via flake8 and black

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

guidance

fix all pre-commit violations in spark2014 repo

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

lrm

Reject scalar type with too large size in UC

2023-12-12 11:51:12 +01: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

sphinx_support

UA26-010 enforce python styles via flake8 and black

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

ug

Document assumption about time arithmetic operators

2025-05-05 10:07:41 +02:00

favicon.ico

minor add favicon to RM and UG html pages

2016-10-27 13:54:21 +02:00