Tobias Reiher
Tobias Reiher
draw.io is able to load and save diagrams as SVG with embedded XML. It would be very nice if this would also be possible with this app, as the SVG...
The GNAT Studio plugin should be installable without access to the source code. The installation could be realized using a specific sub-command of `rflx` (e.g., `rflx install_gnatstudio`). The plugin needs...
This is caused by missing entries in the generated `locations.json`. ### Example ```console % rflx graph -d generated specs/ipv4.rflx Parsing specs/ipv4.rflx Processing IPv4 Creating generated/IPv4_Option.svg Creating generated/IPv4_Packet.svg ``` ```console %...
Null messages are currently represented by an empty structure in `AbstractMessage`. This leads to special handling in some cases. For example in `graph` and `pyrflx.typevalue`: ```Python 178 assert isinstance(self.__data, Message)...
Postponed evaluation of annotations will become the default in Python 3.10: - https://docs.python.org/3/whatsnew/3.7.html#pep-563-postponed-evaluation-of-annotations - https://www.python.org/dev/peps/pep-0563/ Type hinting generics in standard collections are supported since Python 3.9: - https://www.python.org/dev/peps/pep-0585/ Since Python...
The typing information in expressions should be used to only convert integers in the generated SPARK code when it is necessary.
### Context and Problem Statement Exception transitions are intended for critical (potentially non-recoverable) errors (cf. #544): - Insufficient memory for setting a field of a message - Insufficient memory for...
In certain instances, GNATprove shows warnings of the form `warning: "X" is set by "Y" but not used after the call` for calls into the generated SPARK code. These warnings...
The CVC4-only verification tests almost always fail in our CI for no apparent reason. Neither an error message nor a log of the failing step is provided. We should disable...
### Context and Problem Statement In some protocols, the length field is encoded using a variable-length encoding scheme. In MQTT, such an encoding is used for the [Remaining Length](http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html#_Toc398718023) field....