| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-03-22 | make --enforce-mut-vars always on, add mut annotations to remaining files | Niko Matsakis | -1/+1 | |
| 2012-01-19 | Remove support for the '.' after a nullary tag in a pattern | Tim Chevalier | -2/+2 | |
| (Commit also includes lots of changes to remove '.'s that a git merge messed up, or else it was monkeys.) | ||||
| 2011-12-22 | Register new snapshots, purge log_err and log_full in favour of log(...). | Graydon Hoare | -1/+1 | |
| 2011-12-22 | Register snapshots and switch logging over to use of log_full or #error / ↵ | Graydon Hoare | -2/+2 | |
| #debug. | ||||
| 2011-12-20 | Add companion-module core.rs that exports log levels and option/some/none ↵ | Graydon Hoare | -3/+0 | |
| everywhere. | ||||
| 2011-12-13 | Copy first batch of material from libstd to libcore. | Graydon Hoare | -1/+1 | |
| 2011-08-16 | Port the tests to the expr foo::<T> syntax. | Erick Tryzelaar | -5/+5 | |
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -10/+7 | |
| 2011-06-15 | Reformat source tree (minus a couple tests that are still grumpy). | Graydon Hoare | -23/+14 | |
| 2011-05-27 | In pre/postcondition computation, failing calls should set the postcondition | Tim Chevalier | -0/+30 | |
| A non-returning call should have a postcondition in which all predicates are true -- not just a poststate. Otherwise, alt expressions where one or more branches terminate in a non-returning call and others initialize a variable get rejected. Includes a test case. | ||||
