From a1d9acb0ea638e9c29aa770bf819f943f0b36e4f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 26 Mar 2009 10:16:32 +0000
Subject: [PATCH] Update

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

diff --git a/Changelog b/Changelog
index 5e1ac53bd..e3deb9682 100644
--- a/Changelog
+++ b/Changelog
@@ -1,5 +1,30 @@
+Release 1.4,
+========================
+
+- Modularized the processor dependencies in the back-end.
+
+- Three target architectures are now supported:
+       PowerPC / MacOS X       (most mature)
+       PowerPC / EABI & Linux  (getting stable)
+       ARM / Linux EABI        (still experimental)
+
+- Added alignment constraints to the memory model.
+
+- Clight: added support for conditional expressions (a ? b : c);
+  removed support for array accesses a[i], now a derived form.
+
 - New optimization over RTL: turning calls into tail calls when possible.
 
+- Instruction selection pass: elimination of redundant casts following
+  a memory load of a "small" memory quantity.
+
+- Linearization pass: improved the linearization heuristic.
+
+- Reloading pass: more economical use of temporaries.
+
+- Back-end: removed "alloc heap" instruction; removed pointer validity
+  checks in pointer comparisons.
+
 
 Release 1.3, 2008-08-11
 =======================
-- 
GitLab