about summary refs log tree commit diff
path: root/src/comp/middle/tstate/ck.rs
AgeCommit message (Expand)AuthorLines
2011-06-25Use single-bar or to make tstate/states.rs prettierMarijn Haverbeke-3/+3
2011-06-24Modify the fn vistors in walk so that they can handle functions without names...Michael Sullivan-4/+6
2011-06-22Compute typestate properly for moveTim Chevalier-6/+6
2011-06-20Get rid of def_ids and anns in AST nodes, use single node_idMarijn Haverbeke-13/+12
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-4/+4
2011-06-19Revert previous 6 commits. Hopefully put out Windows fire.Brian Anderson-4/+4
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-4/+4
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-33/+53
2011-06-16Reformat a bunch of recent churn.Graydon Hoare-1/+2
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-60/+52
2011-06-15Fix assignments to immutable fields throughout the codeMarijn Haverbeke-5/+5
2011-06-13Refactor some typestate-related data structuresTim Chevalier-2/+3
2011-06-01Redo typestate-related data structures to support predicate constraints. No a...Tim Chevalier-5/+5
2011-05-31Consolidate formatting functions a bit more.Graydon Hoare-3/+3
2011-05-26Track spans for each local variable in typestateTim Chevalier-9/+17
2011-05-23Add line breaks to typestate error messagesTim Chevalier-4/+4
2011-05-20Correctly check that ! functions always divergeTim Chevalier-1/+15
2011-05-20Error instead of warning for missing returns. Huzzah!Tim Chevalier-4/+2
2011-05-19Move type cache and node type table into type context.Graydon Hoare-3/+3
2011-05-19Typestate checking code no longer uses fold -- only walk.Tim Chevalier-40/+9
2011-05-19Rewrite pre_postconditions to use walk instead of foldTim Chevalier-7/+6
2011-05-19Rewrite tstate.annotate to use walk instead of foldTim Chevalier-66/+59
2011-05-17rustc: Make return value checking warnings a little prettier. Also introduce ...Patrick Walton-3/+5
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-8/+8
2011-05-16Started adding support for return checking and non-returning function annotat...Tim Chevalier-0/+231