Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Revised Stacking and Asmgen passes and Mach semantics: | 2013-03-01 | |
* | Remove some useless "Require". | 2012-12-30 | |
* | - Revised non-overflow constraints on memory injections so that | 2012-07-23 | |
* | Support for indirect symbols under MacOS X (final). | 2012-07-14 | |
* | Support for MacOS X's indirect symbols. (first try) | 2012-07-13 | |
* | More careful treatment of 'load immediate 0' as 'xor self' | 2011-08-18 | |
* | Locations.v: add Loc.diff_dec. | 2011-08-14 | |
* | Cleaned up handling of composite conditions | 2011-08-05 | |
* | Revised handling of annotation statements, and more generally built-in functi... | 2011-06-13 | |
* | Merge of branch "unsigned-offsets": | 2011-04-09 | |
* | Improvements for int8 and int16 stores | 2010-09-10 | |
* | Merge of the reuse-temps branch: | 2010-09-02 |