diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-08-27 09:47:59 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-08-27 09:47:59 +0000 |
commit | 82d24661bf10875afa1a56868ef87649623a4687 (patch) | |
tree | c4044e94b2ad21ec99eaa01c699fbf24a3796e13 /Changelog | |
parent | 71ad90909af2440cbc25dd70607bef0f5bfd3323 (diff) |
Updated for release 1.5
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1141 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 31 |
1 files changed, 31 insertions, 0 deletions
@@ -1,3 +1,34 @@ +Release 1.5 +========= + +- Support for "goto" in the source language Clight. + +- Added small-step semantics for Clight. + +- Traces for diverging executions are now uniquely defined; + tightened semantic preservation results accordingly. + +- Fixed spurious compile-time error on Clight statements of the form + "x = f(...)" where x is a global variable. + +- Fixed spurious compile-time error on Clight initializers where + the initial value is the result of a floating-point computation + (e.g. "double x = 3.14159 / 2;"). + +- Simplified the interface of the generic dataflow solver. + +- Reduced running time and memory requirements for the constant propagation + pass. + +- Improved the implementation of George and Appel's graph coloring heuristic: + runs faster, produces better results. + +- Revised the implementation of branch tunneling. + +- Improved modularization between processor-dependent and + processor-independent parts. + + Release 1.4.1, 2009-06-05 ========================= |