Tobias Reiher
Tobias Reiher
The use of a qualified type name in an expression should be detected as error. Currently, the following message specification is erroneously considered valid: ```Ada package Test is type T...
```Ada package Test is type Protocol is (PROTO_X) with Size => 8; type M is message Protocol : Protocol; Data : Opaque with Size => 0; end message; type X...
### Context and Problem Statement For the session model verification (#633) as well as for the prevention of unnecessary checks in the generated SPARK code (#1131), the semantics of actions...
The size of a sequence field must be a multiple of 8 bit. The following specification should not be accepted: ```Ada package Test is type T is mod 2 **...
The size of a sequence must be multiple of its element size (at least for sequences of scalars). The following specification should be rejected: ```Ada package Test is type T...
It should be verified if an inner message fits into the refined opaque field of the outer message. A refinement should be rejected, if the inner message is too small...
Using the same target directory for code generation for different specifications (or variants of a specification without clean up between two consecutive runs) can lead to conflicts, which just get...
For certain assignments, the generated code will not compile due to a missing integer type conversion. ### Assignment to message field ```ada package Test is type A is mod 2...
https://github.blog/changelog/2021-08-25-github-actions-reduce-duplication-with-action-composition/ Related to https://github.com/Componolit/RecordFlux/pull/848#discussion_r749256068.
Feature tests with a missing `test.rflx` are silently ignored. Although the behavior is documented (cf. [tests/README.md](https://github.com/Componolit/RecordFlux/blob/main/tests/README.md#integration-tests-testsintegration)), this approach is suboptimal and should be changed.