AdaCore/RecordFlux Issues
Bug when comparing opaque values
Updated 2Update langkit
Closed 1Problems trying to specify HDLC
Updated 1Refactoring of expressions
Updated 4C code generator
UpdatedRelease 0.9.0
Closed 1Measure coverage of test cases
Closed 2Use `why3server`
Closed 3Release 0.8.0
Closed 1Release 0.7.1
Closed 1Undefined `True`/`False`
ClosedDrop submodules
Closed 1Release 0.7.0
Closed 1Code optimization options
Updated