| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet. | ||||
| * | handle unterminated block comments and line comment at eof | Marijn Haverbeke | 2011-03-31 | 1 | -4/+9 |
| | | |||||
| * | Preserve comments when pretty-printing. | Marijn Haverbeke | 2011-03-31 | 1 | -0/+80 |
| | | | | | | The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way. | ||||
| * | Beginnings of support for magical self prefix; nothing profound happening yet. | Lindsey Kuper | 2011-03-29 | 1 | -0/+1 |
| | | |||||
| * | Add support for break and cont to rustc | Marijn Haverbeke | 2011-03-27 | 1 | -0/+2 |
| | | | | | | Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293 | ||||
| * | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | |||||
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c. | ||||
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | off src root. | ||||
| * | Parse FP literals without coercing to int. This allows parsing 64-bit | Tim Chevalier | 2011-03-25 | 1 | -36/+59 |
| | | | | | | | floats. However, if someone writes a literal that can't be represented precisely in 64 bits, the front-end will accept it while the back-end will (presumably) complain. | ||||
| * | make lexer unicode-aware for strings and char literals | Marijn Haverbeke | 2011-03-25 | 1 | -5/+5 |
| | | |||||
| * | Start making the standard-lib utf-8 aware | Marijn Haverbeke | 2011-03-25 | 1 | -3/+3 |
| | | | | | | | Finally implements _str.is_utf8, adds from_chars, from_char, to_chars, char_at, char_len, (push|pop|shift|unshift)_char. Also, proper character I/O for streams. | ||||
| * | Further support for floating-point. Literals with exponents work | Tim Chevalier | 2011-03-22 | 1 | -7/+68 |
| | | | | | | | and literals with the 'f32' or 'f64' suffixes work as well. In addition, logging things with the f32 or f64 type works. (float is still assumed to be a synonym for f64). | ||||
| * | Started adding support for floating-point type, floating-point literals, and ↵ | Tim Chevalier | 2011-03-21 | 1 | -12/+36 |
| | | | | | logging of floats. Other operations on float probably don't work yet. | ||||
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵ | Graydon Hoare | 2011-03-16 | 1 | -7/+7 |
| | | | | | Tweak std lib vec fns in process. | ||||
| * | Extend stream functionality | Marijn Haverbeke | 2011-03-14 | 1 | -6/+6 |
| | | | | | | | Writer and reader streams now come with methods to write and read little-endian numbers. Whether that is the right place for such methods is debatable, but for now, that's where they live. | ||||
| * | Make ret and fail stmts have 0 out-edges, Closes #250. | Graydon Hoare | 2011-03-05 | 1 | -4/+1 |
| | | |||||
| * | Teach rustc about reserved keywords | Brian Anderson | 2011-02-22 | 1 | -1/+16 |
| | | |||||
| * | Rename std._io to std.io since 'io' is no longer a keyword | Brian Anderson | 2011-02-22 | 1 | -1/+1 |
| | | |||||
| * | rustc: Lex '_' as an underscore, not as an identifier | Patrick Walton | 2010-12-15 | 1 | -1/+4 |
| | | |||||
| * | Fix token span tracking in lexer. | Graydon Hoare | 2010-12-09 | 1 | -3/+7 |
| | | |||||
| * | Implement binop= forms. Un-XFAIL bitwise.rs. | Graydon Hoare | 2010-12-08 | 1 | -1/+1 |
| | | |||||
| * | Support mach types in rustc, enable 5 more tests. | Graydon Hoare | 2010-11-22 | 1 | -34/+95 |
| | | |||||
| * | Fix lexer bug, enable 5 more tests on rustc. | Graydon Hoare | 2010-11-22 | 1 | -1/+1 |
| | | |||||
| * | Teach rustc lexer about changes to stratum, opacity and effect keywords. | Graydon Hoare | 2010-11-03 | 1 | -1/+5 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -7/+7 |
| | | |||||
| * | rustc: Lex identifiers that have numbers in them too | Patrick Walton | 2010-10-13 | 1 | -2/+6 |
| | | |||||
| * | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | 2010-09-29 | 1 | -9/+9 |
| | | | | | up and disable it entirely in the runtime. Will need extensive reworking. | ||||
| * | Translate a bunch of the material (lltrans, llasm, abi) from rustboot to ↵ | Graydon Hoare | 2010-09-23 | 1 | -0/+595 |
| rustc, and move files around. | |||||