| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2012-05-10 | Remove `do ... while` loops from the tests and docs. | Paul Stansifer | -10/+0 | |
| 2012-03-10 | Tweak some test cases and add a few new ones | Tim Chevalier | -2/+2 | |
| 2012-03-05 | rustc: Lower case error messages | Brian Anderson | -1/+1 | |
| 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 | -1/+1 | |
| #debug. | ||||
| 2011-08-20 | Reformat | Brian Anderson | -1/+1 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-03 | Remove all xfail-stage0 directives | Brian Anderson | -1/+0 | |
| While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0. | ||||
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -12/+6 | |
| 2011-06-29 | Re-enable tidy (it was broken) and fix various non-tidy things. | Graydon Hoare | -3/+3 | |
| 2011-06-27 | Tests for while loops that may invalidate constraints | Tim Chevalier | -0/+17 | |
| Wrote some small test cases that use while loops and moves, to make sure the poststate for the loop body gets propagated into the new prestate and deinitialization gets reflected. Along with that, rewrite the code for intersecting states. I still find it dodgy, but I guess I'll continue trying to add more tests. Also, I'll probably feel better about it once I start formalizing the algorithm. | ||||
