| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-12-06 | Establish 'core' library separate from 'std'. | Graydon Hoare | -316/+0 | |
| 2011-11-17 | remove compile-command from local variable blocks | Niko Matsakis | -1/+0 | |
| 2011-11-15 | Replaced constant functions with actual constants in std and updated tests | Stefan Plantikow | -6/+5 | |
| Fixes issue #1165 | ||||
| 2011-10-27 | Document std::bitv | Brian Anderson | -3/+125 | |
| 2011-10-25 | Begin documenting std and add doc generation using naturaldocs | Brian Anderson | -0/+19 | |
| Naturaldocs isn't really that great but it seems easier to get something working than with doxygen, for which we would need to convert rust code to something C++ish. We probably want to just write a rustdoc utility at some point. | ||||
| 2011-10-21 | Remove last uses of iterators from stdlib | Marijn Haverbeke | -9/+7 | |
| Issue #1056 | ||||
| 2011-09-12 | Reformat for new mode syntax, step 1 | Marijn Haverbeke | -19/+16 | |
| 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 | -5/+3 | |
| 2011-08-27 | Convert std::bitv to istrs. Issue #855 | Brian Anderson | -3/+5 | |
| 2011-08-20 | Reformat | Brian Anderson | -15/+12 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-18 | Rename various things from ivec to vec | Brian Anderson | -3/+2 | |
| 2011-08-18 | Remove or _-prefix all unused function arguments | Marijn Haverbeke | -1/+1 | |
| This should make the compilation process a bit less noisy. | ||||
| 2011-08-16 | Port the stdlib to the expr foo::<T> syntax. | Erick Tryzelaar | -4/+4 | |
| 2011-08-16 | Rename std::ivec to std::vec | Brian Anderson | -10/+10 | |
| 2011-08-16 | Rename bitv::to_ivec to to_vec | Brian Anderson | -5/+5 | |
| 2011-08-15 | The wonky for...in... whitespace was bothering me. Sorry! | Lindsey Kuper | -8/+8 | |
| 2011-08-15 | Add operator 'copy', translates as fall-through. | Graydon Hoare | -2/+5 | |
| 2011-08-12 | Remove vecs from std::bitv | Brian Anderson | -23/+3 | |
| 2011-08-12 | Change a bunch of places in the stdlib to use blocks. | Michael Sullivan | -1/+1 | |
| 2011-08-09 | Port the stdlib to the ivec type [T] syntax. | Erick Tryzelaar | -3/+3 | |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -76/+76 | |
| 2011-07-12 | stdlib: Move bit vectors over to interior vectors | Patrick Walton | -13/+32 | |
| 2011-07-12 | stdlib: Remove obsolete FIXME about state fns | Patrick Walton | -2/+0 | |
| 2011-06-30 | Get rid of an unused variable | Tim Chevalier | -1/+0 | |
| 2011-06-24 | Remove res idents from stdlib | Marijn Haverbeke | -3/+3 | |
| 2011-06-15 | Reformat source tree (minus a couple tests that are still grumpy). | Graydon Hoare | -84/+30 | |
| 2011-06-10 | rustc: Remove the bitwise not operator | Patrick Walton | -7/+3 | |
| 2011-05-22 | stdlib: Use if/alt expressions in std::bitv | Brian Anderson | -13/+12 | |
| 2011-05-20 | stdlib: Export only what's needed from std::bitv | Brian Anderson | -0/+19 | |
| 2011-05-19 | Rewrite tstate.annotate to use walk instead of fold | Tim Chevalier | -1/+1 | |
| and various other tidying in typestate | ||||
| 2011-05-19 | Add a set_all function in bitv that's the inverse of clear | Tim Chevalier | -1/+6 | |
| 2011-05-17 | Finally rename std::_xxx to std::xxx | Marijn Haverbeke | -12/+12 | |
| Except for _task, which is still a keyword. | ||||
| 2011-05-16 | Rewrite everything to use [] instead of vec() in value position. | Graydon Hoare | -1/+1 | |
| 2011-05-12 | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | -0/+222 | |
| This should be a snapshot transition. | ||||
| 2011-05-06 | Rename std modules to be camelcased | Marijn Haverbeke | -222/+0 | |
| (Have fun mergining your stuff with this.) | ||||
| 2011-05-05 | Remove 'deprecated mutable...' from our code | Marijn Haverbeke | -6/+6 | |
| This should make compilation a bit less noisy. | ||||
| 2011-05-02 | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | -5/+5 | |
| the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| 2011-05-02 | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | -5/+5 | |
| This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet. | ||||
| 2011-05-02 | Use different syntax for checks that matter to typestate | Tim Chevalier | -5/+5 | |
| This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc. | ||||
| 2011-04-19 | Remove effect system from src. | Graydon Hoare | -8/+8 | |
| 2011-04-12 | Further work on typestate. Handles expr_rec and expr_assign now. | Tim Chevalier | -3/+12 | |
| Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense. | ||||
| 2011-04-08 | Implemented computing prestates and poststates for a few expression forms. | Tim Chevalier | -0/+15 | |
| The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable. | ||||
| 2011-04-06 | Continued sketching out code for checking states against preconditions. | Tim Chevalier | -0/+22 | |
| 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. | ||||
| 2011-03-18 | Add "mutable?" to _vec in the standard library; fix callers | Patrick Walton | -1/+1 | |
| 2011-03-09 | Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ↵ | Graydon Hoare | -4/+0 | |
| root within std.rc anyway) | ||||
| 2010-11-08 | Add a check for binding an alias. Good thing, as we had two instances in our ↵ | Graydon Hoare | -1/+1 | |
| library. | ||||
| 2010-11-02 | Split out stratum-checking pass, implement more-strict (overly aggressive) ↵ | Graydon Hoare | -9/+9 | |
| impure-effect checking. | ||||
| 2010-10-21 | eliminated bitv.test, which now lives in test/run-pass | Dave Herman | -283/+0 | |
| 2010-10-21 | line length police; moved comp.util.bits to std.bitv | Dave Herman | -0/+463 | |
