Johannes Kanig

The size of message fields is limited to 63 bits. This is due to the usage of a signed integer type to store field values.

crash with variable of private type

4

The following session spec causes a crash of RecordFlux: ```ada package Local_Id is type My_Int is mod 2 ** 8; generic type T is private; with function F return T;...

Currently, scalar sequences are hardcoded to store their data in byte order High_Order_First. Creating this ticket to also support Low_Order_First. The main issue is to know which byte order to...

In PR #1051, an intermediate assertion in the client code of the `ping` example was added to help prove the example. We should strive to avoid such assertions in example...

incorrect code generation for size of scalar sequences

5

[messages.rflx.txt](https://github.com/Componolit/RecordFlux/files/7940037/messages.rflx.txt) [test.rflx.txt](https://github.com/Componolit/RecordFlux/files/7940038/test.rflx.txt) On the attached file, RFLX issues this error message: ``` test.rflx:26:46: parser: error: Expected 'for', got 'First' ``` The file contains neither "for" nor "First", so what is...

long running time with low steps

1

Hello, [repr.ae.txt](https://github.com/OCamlPro/alt-ergo/files/15304733/repr.ae.txt) On the attached reproducer, Alt-Ergo runs for a long time, despite specifying a low steps number: ``` $ alt-ergo repr.ae --steps-bound=200 ... runs for several minutes ... ```...