v0.16.0

Added

• Support for FSF GNAT 13.2 (eng/recordflux/RecordFlux#1458)
• --reproducible option to rflx generate and rflx convert (eng/recordflux/RecordFlux#1489)

Changed

• Improve parallelization of message verification (#444, eng/recordflux/RecordFlux#444)
• Improve message verification (#420, #1090, eng/recordflux/RecordFlux#420, eng/recordflux/RecordFlux#1090, eng/recordflux/RecordFlux#1476)

Fixed

• Proving of validity of message field after update with valid sequence (eng/recordflux/RecordFlux#1444)
• Style check warnings for license header (#1293, eng/recordflux/RecordFlux#1461)

v0.15.0

Added

• Support for SPARK Pro 24.0 (eng/recordflux/RecordFlux#1409)
• Support for GNAT Pro 24.0 (eng/recordflux/RecordFlux#1443)

Changed

• Syntax for passing repeated -i and -v options to rflx validate (eng/recordflux/RecordFlux#1441)
• Simplify setter code and remove internal Successor function (eng/recordflux/RecordFlux#1448)
• Improve names of enum literals generated from IANA registries (eng/recordflux/RecordFlux#1451)

Fixed

• User defined GNATCOLL_ICONV_OPT environment variable is ignored (#1289, eng/recordflux/RecordFlux#1437)
• Fatal errors caused by condition on message type field (#1291, eng/recordflux/RecordFlux#1438)

Removed

• Support for SPARK Pro Wavefront 20230905 (eng/recordflux/RecordFlux#1409)
• Short form field conditions (eng/recordflux/RecordFlux#617)

v0.14.0

Added

• Functions Valid_Next_Internal, Field_Size_Internal, Field_First_Internal (eng/recordflux/RecordFlux#1382)
• rflx validate -v and -i options accept multiple directories (eng/recordflux/RecordFlux#1393)
• rflx validate -v and -i options accept also files (eng/recordflux/RecordFlux#1418)
• Caching of successful verification of derived messages and refinements (eng/recordflux/RecordFlux#1421)

Changed

• Removed Predecessor field from Field_Cursor record (eng/recordflux/RecordFlux#1387)
• Improve stability and performance of language server (eng/recordflux/RecordFlux#1417)
• Improve performance of model verification

Fixed

• Code generation for accesses to optional fields whose presence is ensured by a condition (eng/recordflux/RecordFlux#1420)
• Error when passing checksum module to validator on the command line

Removed

• Functions Valid_Predecessor and Path_Condition (eng/recordflux/RecordFlux#1382)

v0.13.0

Added

• Support for SPARK Pro Wavefront 20230905 (eng/recordflux/RecordFlux#1403, eng/recordflux/RecordFlux#1409)

Changed

• Reject duplicate optional arguments in rflx CLI (eng/recordflux/RecordFlux#1342)
• Split the Valid_Context into multiple functions (eng/recordflux/RecordFlux#1385)
• IANA registries with unsupported content are skipped with a warning (eng/recordflux/RecordFlux#1406)

Removed

• Support for GNAT Pro 20.2 and GNAT Community 2020 (eng/recordflux/RecordFlux#1403)
• Support for SPARK Pro 23.1 (eng/recordflux/RecordFlux#1403)

v0.12.0

Added

• Language server (eng/recordflux/RecordFlux#1355)
• VS Code extension (eng/recordflux/RecordFlux#1355)
• Support for GNAT Pro 23.2
• Logging of required runtime checks during code generation (#1204, eng/recordflux/RecordFlux#1204)

Changed

• Prevent unnecessary runtime checks in generated code (#1204, eng/recordflux/RecordFlux#1204)
• Removal of discriminant in Field_Cursor type (eng/recordflux/RecordFlux#1377)

Fixed

• Missing quotes in error messages about invalid aspects (#1267, eng/recordflux/RecordFlux#1267)
• Subsequent errors caused by style errors (#1268, eng/recordflux/RecordFlux#1268)
• Missing type checking in refinement conditions (eng/recordflux/RecordFlux#1360)
• Exception caused by comparing integer field to aggregate (#1251, eng/recordflux/RecordFlux#1251)
• Unexpected errors when using --max_errors=1 (#825, eng/recordflux/RecordFlux#825)
• Incorrect detection of conditions as always true for enumerations with Always_Valid aspect (#1276, eng/recordflux/RecordFlux#1276)
• Potential name conflicts with internally used identifiers that start with RFLX_ (#638, eng/recordflux/RecordFlux#638)
• Deadlocks during verification caused by forked processes (eng/recordflux/RecordFlux#1366)

v0.11.1

Fixed

• Caching of successful verification (eng/recordflux/RecordFlux#1345)
• Locations of message fields and field sizes in error messages (eng/recordflux/RecordFlux#1349)
• Invalid use of First aspect that led to overlay of multiple fields (eng/recordflux/RecordFlux#1332)
• Update of message field with invalid sequence (eng/recordflux/RecordFlux#1353)
• Detection of negative field size (eng/recordflux/RecordFlux#1357)

v0.11.0

Removed

• Support for installing RecordFlux package with GNAT Pro 20, GNAT Pro 21 and GNAT Community 2020 (eng/recordflux/RecordFlux#1335)

v0.10.0

Changed

• Allow update of generated files (#1275, eng/recordflux/RecordFlux#1275)
• Integrate parser into RecordFlux package (eng/recordflux/RecordFlux#1316)
• Simplify shape of the Valid_Context predicate (eng/recordflux/SparkFlux#11)

Fixed

• Installation of GNAT Studio plugin (eng/recordflux/RecordFlux#1293)
• Order of types and sessions after parsing (#1076, eng/recordflux/RecordFlux#1076)
• Strict dependency on specific versions of shared libraries (eng/recordflux/RecordFlux#1316)
• Displaying of graphs in GNAT Studio (#1169, eng/recordflux/RecordFlux#1169)

v0.9.1

Fixed

• Missing with clause in session package for indirectly used enumeration types (#1298)
• Compilation error for message field access in state transition (#1299)
• Warning about that with RFLX.RFLX_Types is unreferenced or might be moved to body of session package

v0.9.0

Added

• Support for Python 3.11

Removed

• Bindings (#724)