| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -1/+5 |
| | | | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. | ||||
| * | More work on typestate. Sketched out code for computing and checking ↵ | Tim Chevalier | 2011-04-06 | 1 | -0/+2 |
| | | | | | prestates and poststates. Still a long ways away. | ||||
| * | Re-enable typestate_check in build, was lost during merge. Sorry. | Graydon Hoare | 2011-04-01 | 1 | -0/+1 |
| | | |||||
| * | rustc: Get tag variants from the crate metadata | Patrick Walton | 2011-04-01 | 1 | -0/+1 |
| | | |||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | 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. | ||||
| * | rustc: Write out an index of definition info in crate metadata | Patrick Walton | 2011-03-31 | 1 | -0/+2 |
| | | |||||
| * | Tweak build command on rustc. | Graydon Hoare | 2011-03-31 | 1 | -1/+1 |
| | | |||||
| * | Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵ | Graydon Hoare | 2011-03-29 | 1 | -0/+1 |
| | | | | | run a simple 'use std;' example now. | ||||
| * | Move all allocas to dedicated basic block at top of function, to keep frames ↵ | Graydon Hoare | 2011-03-28 | 1 | -0/+2 |
| | | | | | finite. Un-comment next size in nbody.rs. | ||||
| * | rustc: Parse types in external metadata | Patrick Walton | 2011-03-28 | 1 | -0/+2 |
| | | |||||
| * | rustc: Look up names in "use"d crates | Patrick Walton | 2011-03-25 | 1 | -0/+1 |
| | | |||||
| * | rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵ | Patrick Walton | 2011-03-24 | 1 | -0/+1 |
| | | | | | XFAIL use-import-export.rs in rustc | ||||
| * | rustc: Switch over to using rustllvm.dll exclusively, ending the ↵ | Patrick Walton | 2011-03-23 | 1 | -12/+6 |
| | | | | | "Franken-LLVM" problem | ||||
| * | Revert 6fdb81fa17b3c7147a69edc5217c9f93ff485410, it is causing failures in | Rafael Ávila de Espíndola | 2011-03-16 | 1 | -1/+0 |
| | | | | | the bots. | ||||
| * | rustc: Open "use"d crates with the LLVM object file reader | Patrick Walton | 2011-03-15 | 1 | -0/+1 |
| | | |||||
| * | rustc: Add a stub crate reader module for "use" directives | Patrick Walton | 2011-03-15 | 1 | -0/+1 |
| | | |||||
| * | Append 'svn' to version in dll name, hopefully to bring win32 up again. | Graydon Hoare | 2011-03-15 | 1 | -1/+1 |
| | | |||||
| * | rustc: Add Rust bindings to the LLVM object file library | Patrick Walton | 2011-03-15 | 1 | -3/+9 |
| | | |||||
| * | Bump LLVM version strings to 3.0svn, we're effectively tied to it now anyways. | Graydon Hoare | 2011-03-14 | 1 | -3/+3 |
| | | |||||
| * | rustc: Add some stub metadata to each crate | Patrick Walton | 2011-03-11 | 1 | -0/+2 |
| | | |||||
| * | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -0/+1 |
| | | | | | | It now uses a string writer to also fill in for middle.ty.ast_ty_to_str | ||||
| * | Remove old pretty-printer from rustc | Brian Anderson | 2011-03-07 | 1 | -1/+0 |
| | | |||||
| * | Add a pretty-printer | Marijn Haverbeke | 2011-03-07 | 1 | -0/+5 |
| | | | | | | Adds a -pp option to the compiler which will cause it to simply pretty-print the given file. | ||||
| * | Begin an AST pretty-printer | Brian Anderson | 2011-03-02 | 1 | -0/+1 |
| | | |||||
| * | Begin implementing #fmt in rustc | Brian Anderson | 2011-03-02 | 1 | -0/+1 |
| | | |||||
| * | Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵ | Graydon Hoare | 2011-02-24 | 1 | -1/+1 |
| | | | | | if, alt. | ||||
| * | Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵ | Graydon Hoare | 2011-01-21 | 1 | -0/+2 |
| | | | | | in trans.rs | ||||
| * | rustc: Move type logic out of typeck so trans doesn't look like it's calling ↵ | Patrick Walton | 2010-12-21 | 1 | -0/+1 |
| | | | | | into typeck | ||||
| * | rustc: First stab at a typechecker | Patrick Walton | 2010-11-19 | 1 | -0/+1 |
| | | |||||
| * | Switch rustc to llvm 2.8 rather than 2.8svn on windows. | Graydon Hoare | 2010-11-05 | 1 | -1/+1 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -1/+1 |
| | | |||||
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -1/+0 |
| | | |||||
| * | created a first draft of the bit-set library needed for typestate | Dave Herman | 2010-10-20 | 1 | -0/+1 |
| | | |||||
| * | Add the beginnings of an ast folder plus an empty module for resolve. | Graydon Hoare | 2010-10-06 | 1 | -0/+2 |
| | | |||||
| * | More work on trans, almost getting to the point of emitting an upcall. | Graydon Hoare | 2010-09-24 | 1 | -0/+1 |
| | | |||||
| * | Translate a bunch of the material (lltrans, llasm, abi) from rustboot to ↵ | Graydon Hoare | 2010-09-23 | 1 | -3/+8 |
| | | | | | rustc, and move files around. | ||||
| * | Move llvm-using code in rustc to trans module. | Graydon Hoare | 2010-09-22 | 1 | -1/+6 |
| | | |||||
| * | Add session, span tracking, error reporting, beginning of a function to ↵ | Graydon Hoare | 2010-09-01 | 1 | -0/+1 |
| | | | | | parse an item to rustc. | ||||
| * | Simplify lexer/parser structure to use stdio_reader. | Graydon Hoare | 2010-08-18 | 1 | -1/+2 |
| | | |||||
| * | Add mod token to rustc. | Graydon Hoare | 2010-08-18 | 1 | -0/+1 |
| | | |||||
| * | Add mod common to rustc. | Graydon Hoare | 2010-08-18 | 1 | -0/+4 |
| | | |||||
| * | Change indent on rustc.rc. | Graydon Hoare | 2010-08-18 | 1 | -16/+17 |
| | | |||||
| * | Fix symbol names on LLVM C library binding and library-name for LLVM. | Graydon Hoare | 2010-08-18 | 1 | -3/+5 |
| | | |||||
| * | Absent any deep overhauls to syntax or constant-handling, hack in the ↵ | Graydon Hoare | 2010-08-16 | 1 | -1/+17 |
| | | | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs. | ||||
| * | Add mostly-empty AST module to rustc. | Graydon Hoare | 2010-08-12 | 1 | -0/+1 |
| | | |||||
| * | Start bringing in LLVM bindings. | Graydon Hoare | 2010-07-12 | 1 | -0/+4 |
| | | |||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+20 |