| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-03-02 | Move src/comp to src/rustc | Graydon Hoare | -242/+0 | |
| 2012-02-29 | optionally enforce local variable mutability | Niko Matsakis | -1/+1 | |
| 2012-02-28 | change def's that are always local to use node_id, add --inline opt | Niko Matsakis | -2/+2 | |
| 2012-02-10 | Remove a vestige of return-by-reference | Marijn Haverbeke | -1/+1 | |
| 2012-02-09 | Remove some pointless imports | Marijn Haverbeke | -1/+0 | |
| 2012-01-18 | Remove '.' after nullary tags in patterns | Tim Chevalier | -1/+1 | |
| Does what it says on the tin. The next commit will remove support for this syntax. | ||||
| 2012-01-13 | deprecate fn exprs and the fn() type, preferring fn@ and native fn | Niko Matsakis | -1/+1 | |
| 2012-01-12 | Make driver::session::session no longer an object | Marijn Haverbeke | -0/+1 | |
| Rather, it is now a struct where properties like opts are accessed directly, and the error-reporting methods are part of a static impl (with the same name as the type). | ||||
| 2011-12-29 | split proto from fn_decl, as not all fn_decls know the proto. | Niko Matsakis | -1/+1 | |
| this will address the (crashing) new test added. | ||||
| 2011-12-23 | Go back to a single visit_fn function in visit.rs | Marijn Haverbeke | -1/+1 | |
| 2011-12-22 | Register snapshots and switch logging over to use of log_full or #error / ↵ | Graydon Hoare | -3/+3 | |
| #debug. | ||||
| 2011-12-21 | Make { || ... } sugar for any type of closure, inferred | Niko Matsakis | -1/+1 | |
| 2011-12-13 | Copy first batch of material from libstd to libcore. | Graydon Hoare | -2/+2 | |
| 2011-11-17 | remove compile-command from local variable blocks | Niko Matsakis | -1/+0 | |
| 2011-11-10 | Cleanup unused imports | Haitao Li | -2/+2 | |
| 2011-10-20 | Make fn denote a bare function. Convert fn to fn@ as needed | Brian Anderson | -1/+1 | |
| 2011-09-28 | Don't descend into functions from relax_precond_block | Marijn Haverbeke | -1/+2 | |
| Closes #913 | ||||
| 2011-09-15 | Forbid assignment to by-reference bindings | Marijn Haverbeke | -1/+1 | |
| Issue #918 | ||||
| 2011-09-12 | Factor imports mindlessly. | Graydon Hoare | -21/+7 | |
| 2011-09-12 | Reformat for new mode syntax, step 1 | Marijn Haverbeke | -35/+33 | |
| Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit. | ||||
| 2011-09-02 | Reformat. Issue #855 | Brian Anderson | -6/+6 | |
| 2011-08-27 | Convert rustc::driver::session to istrs. Issue #855 | Brian Anderson | -6/+6 | |
| 2011-08-20 | Reformat | Brian Anderson | -11/+11 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-18 | Remove or _-prefix all unused function arguments | Marijn Haverbeke | -2/+2 | |
| This should make the compilation process a bit less noisy. | ||||
| 2011-08-16 | Port the compiler to the expr foo::<T> syntax. | Erick Tryzelaar | -1/+1 | |
| 2011-08-16 | Port the compiler to the typaram foo<T> syntax. | Erick Tryzelaar | -4/+4 | |
| 2011-08-16 | Rename std::ivec to std::vec | Brian Anderson | -8/+8 | |
| 2011-08-15 | The wonky for...in... whitespace was bothering me. Sorry! | Lindsey Kuper | -1/+1 | |
| 2011-08-09 | Port the compiler to the ivec type [T] syntax. | Erick Tryzelaar | -3/+3 | |
| 2011-08-05 | Initialize all constraints to False | Tim Chevalier | -0/+5 | |
| Previously, typestate was initializing the init constraint for a declared-but-not-initialized variable (like x in "let x;") to False, but other constraints to Don't-know. This led to over-lenient results when a variable was used before declaration (see the included test case). Now, everything gets initialized to False in the prestate/poststate- finding phase, and Don't-know should only be used in pre/postconditions. This aspect of the algorithm really needs formalization (just on paper), but for now, this closes #700 | ||||
| 2011-07-31 | Change bitvectors::relax_precond_block to use visit instead of walk | Tim Chevalier | -24/+28 | |
| 2011-07-29 | Refactor typestate code involving stmt_decls | Tim Chevalier | -0/+10 | |
| To handle multiple-LHS declarations with initializers properly, I changed seq_states to take a list of expressions paired with optional names, not just a list of expressions. Then, the same logic that handles ordered lists of subexpressions everywhere else can handle multi- declarations. | ||||
| 2011-07-27 | Fix damage done by the pretty-printer | Marijn Haverbeke | -3/+1 | |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -117/+99 | |
| 2011-07-26 | Remove all uses of tuples from the compiler and stdlib | Marijn Haverbeke | -1/+1 | |
| 2011-07-25 | Rename the block type to be blk also. Sorry. | Michael Sullivan | -2/+2 | |
| 2011-07-21 | Instantiate function preconditions inside the function body | Tim Chevalier | -0/+4 | |
| so that if we have a function like: f(...) : p(x) { ... } p(x) is true inside the body of f. Closes #694. | ||||
| 2011-07-19 | Beginnings of support for constrained types | Tim Chevalier | -42/+20 | |
| Programs with constrained types now parse and typecheck, but typestate doesn't check them specially, so the one relevant test case so far is XFAILed. Also rewrote all of the constraint-related data structures in the process (again), for some reason. I got rid of a superfluous data structure in the context that was mapping front-end constraints to resolved constraints, instead handling constraints in the same way in which everything else gets resolved. | ||||
| 2011-07-13 | Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases. | Graydon Hoare | -3/+3 | |
| 2011-07-12 | rustc: Remove a few scattered uses of exterior vectors from typestate | Patrick Walton | -6/+1 | |
| 2011-07-08 | Minor refactoring | Tim Chevalier | -1/+5 | |
| 2011-07-06 | rustc: Make AST paths use interior vectors | Patrick Walton | -1/+1 | |
| 2011-07-06 | rustc: Remove unused or seldom-used imports from ↵ | Patrick Walton | -2/+1 | |
| middle::tstate::{bitvectors, ck} | ||||
| 2011-07-06 | rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ↵ | Patrick Walton | -12/+12 | |
| interior vectors | ||||
| 2011-07-06 | rustc: Make the various constraint-related types in middle::ty use interior ↵ | Patrick Walton | -1/+9 | |
| vectors | ||||
| 2011-07-06 | rustc: Revert the conversion to interior vectors due to heap corruption | Patrick Walton | -21/+14 | |
| 2011-07-06 | rustc: Make AST paths use interior vectors | Patrick Walton | -1/+1 | |
| 2011-07-06 | rustc: Remove unused or seldom-used imports from ↵ | Patrick Walton | -2/+1 | |
| middle::tstate::{bitvectors, ck} | ||||
| 2011-07-06 | rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ↵ | Patrick Walton | -12/+12 | |
| interior vectors | ||||
| 2011-07-06 | rustc: Make the various constraint-related types in middle::ty use interior ↵ | Patrick Walton | -1/+9 | |
| vectors | ||||
