v0.24.0

Added

• Vim and Neovim syntax highlighting support (eng/recordflux/RecordFlux#1749)
• Project file support in code optimizer (eng/recordflux/RecordFlux#1766)

Changed

• CLI subcommand rflx optimize expects project file instead of directory containing generated code (eng/recordflux/RecordFlux#1766)
• Improve generation of predicate for single-field messages (eng/recordflux/RecordFlux#1761)
• Rename Session to State Machine in documentation (eng/recordflux/RecordFlux#1772)
• Rename session keyword to machine in specifications (eng/recordflux/RecordFlux#1772)
• Rename Session keyword to Machine in integration files (eng/recordflux/RecordFlux#1772)
• Rename *_Functions.Context to *_Environment.State to prevent confusions (eng/recordflux/RecordFlux#1769)
• Exception transitions are required in more cases as result of fixing missing checks in state machine (eng/recordflux/RecordFlux#1704)

Removed

• CLI flag --optimize of rflx generate subcommand (eng/recordflux/RecordFlux#1766)
• CLI option --timeout of rflx generate and rflx optimize subcommands (eng/recordflux/RecordFlux#1766)
• Initialize and Finalize functions for session functions context (eng/recordflux/RecordFlux#1768)

Fixed

• Generation of uncompilable code for messages with variable as field condition (eng/recordflux/RecordFlux#1762)
• Missing checks in state machine to improve provability (eng/recordflux/RecordFlux#1704)
• Copying of sequence fields for external IO buffers (eng/recordflux/RecordFlux#1704)
• Syntax highlighting for identifiers with numbers or keywords (#1301, eng/recordflux/RecordFlux#1776)
• Fatal errors caused by missing locations after proof timeouts (eng/recordflux/RecordFlux#1782)
• Fatal errors when generating code for list comprehensions without condition or True condition (#1302, eng/recordflux/RecordFlux#1786)