diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index abb6cec90b200cbd2d0c8b71e1f877170720334a..05a83745c674dedb2fb90889d6b4346d00332e25 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,8 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +-* E-ACSL [2017/03/01] Correct support of stdin, stdout and stderr + in annotations. -* E-ACSL [2017/02/24] Fix crash with casts from non-integral terms to integral types (bts #2284). -* E-ACSL [2017/02/17] Fix bug with goto which points to a labeled