about summary refs log tree commit diff
path: root/src/test
AgeCommit message (Expand)AuthorLines
2011-05-06Remove a few more superfluous 'mutable' keywordsMarijn Haverbeke-4/+4
2011-05-06Rename std modules to be camelcasedMarijn Haverbeke-478/+478
2011-05-05Add quick sort function to the std lib.Kelly Wilson-0/+62
2011-05-05Enforce in typechecker that preds return a boolTim Chevalier-1/+3
2011-05-05Test cases for pred / check stuffTim Chevalier-3/+57
2011-05-05Check well-formedness of constraintsTim Chevalier-0/+26
2011-05-05Change checks to asserts in test/bench filesTim Chevalier-6/+6
2011-05-05Check that the operand in a check is a callTim Chevalier-0/+9
2011-05-05Un-XFAILed not-a-pred in stage0 (it fails correctly)Tim Chevalier-3/+0
2011-05-05Remove 'deprecated mutable...' from our codeMarijn Haverbeke-5/+5
2011-05-05Return a fresh, unreachable context after ret, break, and contMarijn Haverbeke-4/+0
2011-05-04Add missing ret statements to check_modBrian Anderson-12/+0
2011-05-04More export XFAILs.Graydon Hoare-0/+6
2011-05-04XFAIL some compile-fail tests mysteriously failing on win32 tinderbox.Graydon Hoare-0/+12
2011-05-04extend xfail-stage0 to stage1, stage2 on obj-dtor-2.rsGraydon Hoare-1/+3
2011-05-04Change two compile-fail patterns to match rustc output.Graydon Hoare-2/+2
2011-05-03Assume xfail-stage0 implies stage1 and stage2 in tests, for now.Graydon Hoare-0/+198
2011-05-03Revert "Rename the "llvm" API to "llvm-intrinsic"" due to tinderbox bustagePatrick Walton-1/+1
2011-05-03Rename the "llvm" API to "llvm-intrinsic"Patrick Walton-1/+1
2011-05-02Add some tests of tag-export interactionBrian Anderson-0/+48
2011-05-02Revert "Use check instead of assert in export-unexported-dep"Brian Anderson-1/+1
2011-05-02rustc: Remove the artificial block in ty.rs. Fixes self-hosting. Add a test c...Patrick Walton-0/+12
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton-696/+696
2011-05-02Use check instead of assert in export-unexported-depBrian Anderson-1/+1
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-696/+696
2011-05-02Add a regression test that exports can expose unexported itemsBrian Anderson-0/+24
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-696/+696
2011-05-01Add a test that imports can't circumvent exportsBrian Anderson-0/+19
2011-05-01Add a regression test for use of unexported fully-qualified pathsBrian Anderson-0/+21
2011-05-01Hide unexported tag variantsBrian Anderson-0/+17
2011-05-01Implement simple module exportBrian Anderson-2/+83
2011-05-01Fix expr-alt-generic-box2.rs and un-XFAILBrian Anderson-2/+1
2011-05-01Un-XFAIL various tests in stage0Brian Anderson-8/+0
2011-04-29Re-XFAIL lib-io.rs, not quite working yet.Graydon Hoare-0/+1
2011-04-29Un-XFAIL most library tests.Graydon Hoare-18/+0
2011-04-28rustc: Fix vec append glue for strings. Add a test case.Patrick Walton-0/+14
2011-04-28rustc: Add some value names to the vec append glue function. Un-XFAIL vec-gro...Patrick Walton-2/+0
2011-04-28test: Add a test case for vec growthPatrick Walton-0/+15
2011-04-28Consider unop deref as an lval. Un-XFAIL vec-push.Graydon Hoare-3/+1
2011-04-28rustc: Add a testcase for vector push (mutable aliases with *, really)Patrick Walton-0/+11
2011-04-28Change vec-ref-count to handle 1 or 2, so long as non-leaky and non-creeping....Graydon Hoare-4/+5
2011-04-28test: Add a test for vector reference counts, XFAIL'd in rustcPatrick Walton-0/+11
2011-04-28Enable typestate_checkTim Chevalier-11/+0
2011-04-28Fix some nested patterns in rustcTim Chevalier-0/+29
2011-04-28Fix bug in handling of expr_alt (postcond for alts was being intersected with...Tim Chevalier-0/+34
2011-04-28Support all expression forms in typestateTim Chevalier-0/+44
2011-04-28Further work on typestate_checkTim Chevalier-0/+42
2011-04-26Fix the interaction between various flags in #fmtBrian Anderson-2/+17
2011-04-26Support octal #fmt conversionsBrian Anderson-0/+11
2011-04-26Make #fmt char conversions behave like printfBrian Anderson-2/+5