diff options
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,3 +1,11 @@ +- Revised and strengthened the top-level statements of semantic preservation. + In particular, we now show: + . backward simulation for the whole compiler without assuming + a deterministic external world; + . if the source program goes wrong after performing some I/O, + the compiled code performs at least these I/O before continuing + with an arbitrary behavior. + - Revised handling of annotation statements. Now they come in two forms: 1. __builtin_annot("format", x1, ..., xN) (arbitrarily many arguments; no code generated, even if some |