Skip to content
Snippets Groups Projects
Commit bcceb903 authored by Jan Rochel's avatar Jan Rochel
Browse files

[e-acsl] modify Changelog entry to avoid confusion

The old message might be misinterpreted in the sense of axiomatic
specification being supported by E-ACSL.
parent aa4997c4
No related branches found
No related tags found
No related merge requests found
......@@ -32,8 +32,9 @@ Plugin E-ACSL <next-release>
-* E-ACSL [2024-09-03] handle negative integers generated by RTE
- E-ACSL [2024-09-03] add support for labelled logic functions in case
they are called only with the Here label.
-* E-ACSL [2024-08-30] fix typing exception occurring for applications
of axiomatically defined premises and logic functions
-* E-ACSL [2024-08-30] no longer crash with an exception during typing
phase when encountering certain unsupported expressions;
instead emit the usual not-yet-supported warning.
-* E-ACSL [2024-08-22] fix arity confusion of generated functions.
When a logic function is called from different contexts
requiring different return types, this was not correctly
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment