Skip to content
Snippets Groups Projects
Commit 3bf10449 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Changelog] add entry about minimum required OCaml version

parent 159bca76
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
Changelog
+ 1
− 0
View file @ 3bf10449
...@@ -45,6 +45,7 @@ Open Source Release <next-release> ...@@ -45,6 +45,7 @@ Open Source Release <next-release>
option) on loops with several exit conditions, conditions using option) on loops with several exit conditions, conditions using
equality operators, temporary variables introduced by the Frama-C equality operators, temporary variables introduced by the Frama-C
normalization or goto statements. normalization or goto statements.
-! Kernel [2020-07-21] OCaml version greater than or equal to 4.08.1 required.
- Eva [2020-05-29] New builtins for trigonometric functions acos, asin - Eva [2020-05-29] New builtins for trigonometric functions acos, asin
and atan (and their single-precision version acosf, asinf, atanf). and atan (and their single-precision version acosf, asinf, atanf).
- Kernel [2020-05-28] Support for C11's _Thread_local storage specifier - Kernel [2020-05-28] Support for C11's _Thread_local storage specifier
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment