summaryrefslogtreecommitdiff
path: root/Changelog
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2009-09-15 10:08:46 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2009-09-15 10:08:46 +0000
commit9534f73944ace0c005c39f560896b2271e496679 (patch)
treec0c54d7a7ff124965a8f8f9bbebde3070a8c5156 /Changelog
parent03b8970a778a0f4985dc44722b3dffd2a0cef73f (diff)
Updated for 1.5
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1145 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'Changelog')
-rw-r--r--Changelog3
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.