| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Re-XFAIL lib-io.rs, not quite working yet. | Graydon Hoare | 2011-04-29 | 1 | -0/+1 | |
| | | ||||||
| * | Un-XFAIL most library tests. | Graydon Hoare | 2011-04-29 | 17 | -18/+0 | |
| | | ||||||
| * | rustc: Fix vec append glue for strings. Add a test case. | Patrick Walton | 2011-04-28 | 1 | -0/+14 | |
| | | ||||||
| * | rustc: Add some value names to the vec append glue function. Un-XFAIL ↵ | Patrick Walton | 2011-04-28 | 1 | -2/+0 | |
| | | | | | vec-growth.rs. | |||||
| * | test: Add a test case for vec growth | Patrick Walton | 2011-04-28 | 1 | -0/+15 | |
| | | ||||||
| * | Consider unop deref as an lval. Un-XFAIL vec-push. | Graydon Hoare | 2011-04-28 | 1 | -3/+1 | |
| | | ||||||
| * | rustc: Add a testcase for vector push (mutable aliases with *, really) | Patrick Walton | 2011-04-28 | 1 | -0/+11 | |
| | | ||||||
| * | Change vec-ref-count to handle 1 or 2, so long as non-leaky and ↵ | Graydon Hoare | 2011-04-28 | 1 | -4/+5 | |
| | | | | | non-creeping. un-XFAIL. | |||||
| * | test: Add a test for vector reference counts, XFAIL'd in rustc | Patrick Walton | 2011-04-28 | 1 | -0/+11 | |
| | | ||||||
| * | Enable typestate_check | Tim Chevalier | 2011-04-28 | 11 | -11/+0 | |
| | | | | | | Enable typestate checking (just for uninitialized vars) and un-XFAIL the relevant tests for stage0. | |||||
| * | Fix some nested patterns in rustc | Tim Chevalier | 2011-04-28 | 1 | -0/+29 | |
| | | | | | | | In rustc, nested patterns were potentially matching when they shouldn't match, because a loop index wasn't being incremented. Fixed it and added one test case. | |||||
| * | Fix bug in handling of expr_alt (postcond for alts was being intersected ↵ | Tim Chevalier | 2011-04-28 | 1 | -0/+34 | |
| | | | | | with postcond for scrutinee) | |||||
| * | Support all expression forms in typestate | Tim Chevalier | 2011-04-28 | 2 | -0/+44 | |
| | | | | | | | | | | | | | Added support for self_method, cont, chan, port, recv, send, be, do_while, spawn, and ext; handled break and cont correctly. (However, there are no non-xfailed test cases for ext or spawn in stage0 currently.) Although the standard library compiles and all test cases pass with typestate enabled, I left typestate checking disabled as rustc terminates abnormally when building the standard library if so, even though it does generate code correctly. | |||||
| * | Further work on typestate_check | Tim Chevalier | 2011-04-28 | 2 | -0/+42 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Lots of work on typestate_check, seems to get a lot of the way through checking the standard library. * Added for, for_each, assign_op, bind, cast, put, check, break, and cont. (I'm not sure break and cont are actually handled correctly.) * Fixed side-effect bug in seq_preconds so that unioning the preconditions of a sequence of statements or expressions is handled correctly. * Pass poststate correctly through a stmt_decl. * Handle expr_ret and expr_fail properly (after execution of a ret or fail, everything is true -- this is needed to handle ifs and alts where one branch is a ret or fail) * Fixed bug in set_prestate_ann where a thing that needed to be mutated wasn't getting passed as an alias * Fixed bug in how expr_alt was treated (zero is not the identity for intersect, who knew, right?) * Update logging to reflect log_err vs. log * Fixed find_locals so as to return all local decls and exclude function arguments. * Make union_postconds work on an empty vector (needed to handle empty blocks correctly) * Added _vec.cat_options, which takes a list of option[T] to a list of T, ignoring any Nones * Added two test cases. | |||||
| * | Fix the interaction between various flags in #fmt | Brian Anderson | 2011-04-26 | 1 | -2/+17 | |
| | | ||||||
| * | Support octal #fmt conversions | Brian Anderson | 2011-04-26 | 1 | -0/+11 | |
| | | ||||||
| * | Make #fmt char conversions behave like printf | Brian Anderson | 2011-04-26 | 1 | -2/+5 | |
| | | ||||||
| * | Fix busted iter/put code. Un-XFAIL foreach-box-drop.rs. | Graydon Hoare | 2011-04-23 | 1 | -2/+0 | |
| | | ||||||
| * | New minimal test for current stage2 blocker. | Graydon Hoare | 2011-04-22 | 1 | -0/+17 | |
| | | ||||||
| * | test: Un-XFAIL drop-parametric-closure-with-bound-box.rs, oops. | Patrick Walton | 2011-04-21 | 1 | -2/+0 | |
| | | ||||||
| * | test: XFAIL lib-box on stage0. Upstream LLVM doesn't have the library ↵ | Patrick Walton | 2011-04-21 | 2 | -0/+4 | |
| | | | | | reading patch yet. | |||||
| * | stdlib: Add a pointer equality function to the standard library and a test case | Patrick Walton | 2011-04-21 | 1 | -0/+12 | |
| | | ||||||
| * | Fix #335, log context needs to be a scope to capture cleanups. | Graydon Hoare | 2011-04-20 | 1 | -0/+6 | |
| | | ||||||
| * | Add testcase for bootstrap blocker and fix for each result type to nil. | Graydon Hoare | 2011-04-19 | 1 | -0/+22 | |
| | | ||||||
| * | Un-XFAIL a few recently passing tests. | Graydon Hoare | 2011-04-19 | 6 | -8/+0 | |
| | | ||||||
| * | rustc: Make structured comparison glue instead of emitting it inline | Patrick Walton | 2011-04-19 | 2 | -1/+10 | |
| | | ||||||
| * | Handle nested items correctly in typestate_check | Tim Chevalier | 2011-04-19 | 1 | -0/+12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Summary says it all. Actually, only nested objects and functions are handled, but that's better than before. The fold that I was using before to traverse a crate wasn't working correctly, because annotations have to reflect the number of local variables of the nearest enclosing function (in turn, because annotations are represented as bit vectors). The fold was traversing the AST in the wrong order, first filling in the annotations correctly, but then re-traversing them with the bit vector length for any outer nested functions, and so on. Remedying this required writing a lot of tedious boilerplate code because I scrapped the idea of using a fold altogether. I also made typestate_check handle unary, field, alt, and fail. Also, some miscellaneous changes: * added annotations to blocks in typeck * fix pprust so it can handle spawn * added more logging functions in util.common * fixed _vec.or * added maybe and from_maybe in option * removed fold_block field from ast_fold, since it was never used | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 43 | -119/+98 | |
| | | ||||||
| * | Precision overrides 0-padding in #fmt | Brian Anderson | 2011-04-18 | 1 | -1/+11 | |
| | | ||||||
| * | Left-justification overrides 0-padding in #fmt | Brian Anderson | 2011-04-18 | 1 | -1/+11 | |
| | | ||||||
| * | Support 0 flag in #fmt | Brian Anderson | 2011-04-18 | 1 | -0/+17 | |
| | | ||||||
| * | Remove use of 'use' from type-params-in-for-each.rs, put out darwin fire. | Graydon Hoare | 2011-04-18 | 1 | -3/+9 | |
| | | ||||||
| * | Support the space flag in #fmt | Brian Anderson | 2011-04-17 | 1 | -0/+9 | |
| | | ||||||
| * | Support + flag in #fmt | Brian Anderson | 2011-04-17 | 1 | -0/+5 | |
| | | ||||||
| * | Support #fmt precision for bools, with same rules as strings | Brian Anderson | 2011-04-17 | 1 | -0/+8 | |
| | | | | | | Not totally confident this is desirable. The alternative would be to make it a compile error. | |||||
| * | Fix indentation in syntax-extension-fmt.rs | Brian Anderson | 2011-04-17 | 1 | -44/+44 | |
| | | ||||||
| * | Treat char #fmt conversions just like str conversions | Brian Anderson | 2011-04-17 | 1 | -0/+6 | |
| | | | | | Add missing tests | |||||
| * | Support #fmt precision for signed types | Brian Anderson | 2011-04-17 | 1 | -12/+20 | |
| | | ||||||
| * | Support #fmt precision for unsigned types | Brian Anderson | 2011-04-17 | 1 | -16/+16 | |
| | | ||||||
| * | Support #fmt precision for string types | Brian Anderson | 2011-04-17 | 1 | -0/+37 | |
| | | ||||||
| * | Support left-justification in #fmt conversions | Brian Anderson | 2011-04-16 | 1 | -0/+10 | |
| | | ||||||
| * | Add another test for #fmt conversion widths | Brian Anderson | 2011-04-16 | 1 | -0/+1 | |
| | | ||||||
| * | Make #fmt support explicit conversion widths | Brian Anderson | 2011-04-16 | 1 | -0/+10 | |
| | | ||||||
| * | More tests for #fmt | Brian Anderson | 2011-04-16 | 1 | -0/+7 | |
| | | ||||||
| * | rustc: Capture type parameters into for-each blocks. Add a test case. | Patrick Walton | 2011-04-15 | 1 | -0/+11 | |
| | | ||||||
| * | Work on destructors, not entirely functional yet (no tydesc integration). | Graydon Hoare | 2011-04-14 | 1 | -0/+18 | |
| | | ||||||
| * | rustc: Add a test case for previous commit | Patrick Walton | 2011-04-14 | 1 | -0/+11 | |
| | | ||||||
| * | Add support for upper-case hex and binary output to #fmt. | Brian Anderson | 2011-04-13 | 2 | -0/+13 | |
| | | | | | Only works for uints at present. Necessitated the addition of _str.to_upper. | |||||
| * | Add support for printing uints as lower-case hex to ExtFmt. | Brian Anderson | 2011-04-13 | 1 | -0/+1 | |
| | | | | | | Begin passing an ExtFmt.RT.conv parsed format description to each of the ExtFmt.RT.conv* functions. | |||||
| * | Add ExtFmt test for unsigned type | Brian Anderson | 2011-04-13 | 1 | -0/+1 | |
| | | ||||||