Tobias Reiher
|
a07f337cda
|
Rectify year of first publication
Ref. None
|
2026-01-02 11:54:09 +01:00 |
|
Tobias Reiher
|
857ac277e2
|
Remove version in generated documentation
Ref. eng/recordflux/RecordFlux#1836
|
2024-12-18 18:38:05 +01:00 |
|
Alexander Senier
|
e1b876cf5a
|
Include generated documentation in repo and dist package
Ref. eng/recordflux/RecordFlux#1822
|
2024-12-02 16:19:30 +00:00 |
|
Alexander Senier
|
f229b3a423
|
Extend documentation copyright to current year
Ref. None
|
2024-12-02 16:19:30 +00:00 |
|
Andres Toom
|
5c667469c5
|
Use shorthand unsigned type definitions in examples and tests
Ref. eng/recordflux/RecordFlux#1398
|
2024-10-28 19:46:09 +00:00 |
|
Andres Toom
|
39d8be1ac0
|
Add shorthand syntax for unsigned integer types
Ref. eng/recordflux/RecordFlux#1398
|
2024-10-28 19:46:09 +00:00 |
|
Tobias Reiher
|
c26f0c9834
|
Remove requirements tool and references for feature coverage
Ref. eng/recordflux/RecordFlux#1783
|
2024-09-13 10:23:09 +00:00 |
|
Tobias Reiher
|
b8dfd5503b
|
Fix description of state machine representation in SPARK
Ref. eng/recordflux/RecordFlux!1673
|
2024-09-11 08:50:18 +00:00 |
|
Tobias Reiher
|
24fdb9de8e
|
Rename Session to State Machine
Ref. eng/recordflux/RecordFlux#1772
|
2024-09-11 08:50:18 +00:00 |
|
Tobias Reiher
|
26d8c3759b
|
Fix missing checks in state machine
Ref. eng/recordflux/RecordFlux#1704
|
2024-09-06 17:43:00 +02:00 |
|
Andres Toom
|
d7db7d677c
|
Define "IO state" in the LR
Ref. eng/recordflux/RecordFlux#223
|
2024-07-17 16:18:00 +00:00 |
|
Andres Toom
|
b64b3bebb4
|
Refine the cross-reference style in LR
This style works also with simple previewers, including the GitLab previewer.
Ref. eng/recordflux/RecordFlux#223
|
2024-07-17 16:18:00 +00:00 |
|
Tobias Reiher
|
d85a19440e
|
Update devutils
Ref. None
|
2024-03-22 16:18:23 +01:00 |
|
Alexander Senier
|
ca1293ff65
|
Support multiple initial links in messages
Ref. None
|
2024-03-15 14:03:56 +00:00 |
|
Alexander Senier
|
45e75269f3
|
Check validity of LRM grammar
Ref. eng/recordflux/RecordFlux#958
|
2024-01-24 14:23:11 +00:00 |
|
Alexander Senier
|
876a5fee6e
|
Make Sphinx warnings errors
Ref. eng/recordflux/RecordFlux#958
|
2024-01-24 13:18:34 +00:00 |
|
Alexander Senier
|
a0e90bc49e
|
LRM: Formalize complete grammar
Ref. eng/recordflux/RecordFlux#958
|
2024-01-24 13:18:34 +00:00 |
|
bortolussi
|
e7fe635c1e
|
Add the AdaCore logo in the doc
Also update the background color of the table of content and add a
favicon.
eng/recordflux/RecordFlux#1463
|
2023-11-16 14:15:01 +00:00 |
|
Alexander Senier
|
046f55d8f5
|
Deprecate short-form if for message fields
|
2023-11-03 14:26:57 +00:00 |
|
Johannes Kanig
|
8945f7d123
|
fix typo in RM
|
2023-11-02 00:19:11 +00:00 |
|
Andres Toom
|
86dbb774fa
|
Minor refinements in the user guide and language reference
* Refine the installation instructions in UG
* Fix the enumeration literal syntax in LR
Ref. eng/recordflux/RecordFlux#1328
|
2023-09-25 13:44:30 +03:00 |
|
Alexander Senier
|
a79edc25c3
|
Use lankit parser for syntax highlighting
Fixes eng/recordflux/RecordFlux#1290
|
2023-09-05 13:15:56 +00:00 |
|
Tobias Reiher
|
e00eee92e2
|
Enable checking of line length
|
2023-08-17 14:05:50 +02:00 |
|
Tobias Reiher
|
477d68c827
|
Adapt code to ruff's COM rules
|
2023-08-15 11:28:49 +02:00 |
|
Tobias Reiher
|
3d3a2c0dd3
|
Adapt code to ruff's PTH rules
|
2023-08-15 11:28:49 +02:00 |
|