Tobias Reiher
59caf45a96
Fix validity of null messages in PyRFLX
...
Ref. eng/recordflux/RecordFlux#1841
2025-02-04 11:29:40 +01:00
Tobias Reiher
4743adc348
Rewrite basic expressions in Rust
...
Ref. eng/recordflux/RecordFlux#1774
2024-12-12 14:23:01 +01:00
Alexander Senier
01003936c2
Normalize templates
...
Ref. eng/recordflux/RecordFlux#1659
2024-12-03 12:48:01 +00:00
Alexander Senier
63f5c584eb
Normalize templates
...
Ref. None
2024-12-03 12:48:01 +00:00
Alexander Senier
462b250e80
rflx.ada: more consistent newline handling
...
Ref. None
2024-12-03 12:48:01 +00:00
Alexander Senier
3d1a094b3a
rflx.ada: Refactor subprogram specification
...
Ref. None
2024-12-03 12:48:01 +00:00
Alexander Senier
a29132f160
rflx.ada: Omit additional parentheses for if/case expressions
...
Ref. None
2024-12-03 12:48:01 +00:00
Andres Toom
60dc679878
Add style check for unsigned integers specified as range integers
...
Ref. eng/recordflux/RecordFlux#1775
2024-11-06 12:01:30 +02:00
Tobias Reiher
d42c4540c5
Add fallback location for ID
...
Ref. eng/recordflux/RecordFlux#1785
2024-11-04 17:26:51 +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
f6b60f478c
Remove generator unit tests to improve maintainability
...
These unit tests were cumbersome to maintain and the functionality was
already covered by integration or feature tests.
Ref. eng/recordflux/RecordFlux#1069
2024-10-08 13:36:17 +02:00
Tobias Reiher
24fdb9de8e
Rename Session to State Machine
...
Ref. eng/recordflux/RecordFlux#1772
2024-09-11 08:50:18 +00:00
Tobias Reiher
d69b896ade
Refactor suppression of warnings in generated code
...
Ref. None
2024-09-06 17:43:00 +02:00
Tobias Reiher
26d8c3759b
Fix missing checks in state machine
...
Ref. eng/recordflux/RecordFlux#1704
2024-09-06 17:43:00 +02:00
Tobias Reiher
ba9dceb998
Use type operators in generated state machine code
...
Ref. eng/recordflux/RecordFlux#1704
2024-09-04 15:30:06 +02:00
Tobias Reiher
9331e3cd2a
Fix uncompilable code for messages with variable as field condition
...
Ref. eng/recordflux/RecordFlux#1762
2024-08-29 17:29:33 +02:00
Tobias Reiher
f4962f12a1
Fix state machine contracts for external IO buffers
...
Ref. eng/recordflux/RecordFlux#1704
2024-08-12 14:53:38 +00:00
Corentin Machu
922c1e9b11
Improve fixed sized field with size aspect error
...
Ref. eng/recordflux/RecordFlux#1746
2024-08-09 08:36:28 +00:00
Tobias Reiher
7c29a5af02
Fix separation of externally defined functions from state machine
...
Ref. eng/recordflux/RecordFlux#1032
2024-08-08 08:55:36 +00:00
Tobias Reiher
55dbdbb521
Fix generic setters for opaque fields
...
Ref. None
2024-08-08 08:55:36 +00:00
Corentin Machu
47c7fb7170
Improve non scalar parameter error message
...
Ref. eng/recordflux/RecordFlux#1740
2024-07-31 17:16:37 +02:00
Johannes Kanig
fc96bb2a56
Separate function for each field for Field_First
...
Ref. eng/recordflux/RecordFlux#1706
2024-07-17 14:12:46 +00:00
Tobias Reiher
e0a70f83cf
Fix SPARK proofs
...
Ref. eng/recordflux/RecordFlux#1496
2024-07-16 16:22:52 +02:00
Tobias Reiher
07da59c837
Enable use of external IO buffers in state machines
...
Ref. eng/recordflux/RecordFlux#1496
2024-07-16 16:22:52 +02:00
