about summary refs log tree commit diff
path: root/src/comp/middle/tstate/ann.rs
AgeCommit message (Expand)AuthorLines
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-10-07Give up on providing a by-value version of map, convert fold over toMarijn Haverbeke-2/+2
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-32/+32
2011-09-02Reformat. Issue #855Brian Anderson-2/+2
2011-08-27Convert the rest of rustc::middle to istrs. Issue #855Brian Anderson-2/+2
2011-07-27Reformat for new syntaxMarijn Haverbeke-73/+63
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-2/+2
2011-07-08Minor refactoringTim Chevalier-2/+6
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-1/+0
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-0/+1
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-1/+0
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-1/+0
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-4/+15
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-8/+25
2011-06-24Remove uses of variable name 'res' from rustcMarijn Haverbeke-3/+3
2011-06-22Compute typestate properly for moveTim Chevalier-61/+69
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-1/+9
2011-06-16Reformat a bunch of recent churn.Graydon Hoare-17/+22
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-97/+96
2011-06-09Start to check expr_check and expr_call constraints in typestateTim Chevalier-0/+5
2011-05-20Correctly check that ! functions always divergeTim Chevalier-0/+7
2011-05-19Rewrite tstate.annotate to use walk instead of foldTim Chevalier-13/+23
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-1/+1
2011-05-16Started adding support for return checking and non-returning function annotat...Tim Chevalier-0/+192