Updated for 1.5

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1145 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 3 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index 083940c..aa5d69f 100644
--- a/Changelog
+++ b/Changelog
@@ -8,6 +8,9 @@ Release 1.5, 2009-08-28
 - Traces for diverging executions are now uniquely defined;
   tightened semantic preservation results accordingly.
 
+- Emulated assignments between structures 
+  (during the C to Clight initial translation).
+
 - Fixed spurious compile-time error on Clight statements of the form
   "x = f(...);" where x is a global variable.