From 9534f73944ace0c005c39f560896b2271e496679 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 15 Sep 2009 10:08:46 +0000
Subject: [PATCH] Updated for 1.5

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1145 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Changelog | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Changelog b/Changelog
index 083940c9d..aa5d69f43 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.
 
-- 
GitLab