Skip to content
Snippets Groups Projects
Commit b6cc2fef authored by Julien Signoles's avatar Julien Signoles
Browse files

changelog

parent bc128017
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 5
− 0
View file @ b6cc2fef
......@@ -19,6 +19,11 @@
# configure configure
###############################################################################
- E-ACSL [2019/08/28] Support of rational numbers and operations.
-! E-ACSL [2019/08/28] Deactivate the unsound support of real
numbers (that are not rationals). They were previously
unsoundly converted to floating point numbers.
##############################
Plugin E-ACSL 19.0 (Potassium)
##############################
......
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