about summary refs log tree commit diff
path: root/src/comp/middle/tstate/auxiliary.rs
AgeCommit message (Expand)AuthorLines
2011-07-27Reformat for new syntaxMarijn Haverbeke-529/+476
2011-07-26Initial implementation of typestate for closures.Michael Sullivan-0/+9
2011-07-26Remove all uses of tuples from the compiler and stdlibMarijn Haverbeke-36/+38
2011-07-25Rename the block type to be blk also. Sorry.Michael Sullivan-6/+6
2011-07-21Instantiate function preconditions inside the function bodyTim Chevalier-0/+23
2011-07-19Beginnings of support for constrained typesTim Chevalier-71/+91
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-11/+11
2011-07-12rustc: Remove some useless std::vec importsPatrick Walton-1/+0
2011-07-12rustc: Remove some interior vectors from typestate and some useless vec-relat...Patrick Walton-8/+4
2011-07-12Add missing filesTim Chevalier-7/+7
2011-07-08Propagate constraints through copy, move, and swapTim Chevalier-23/+258
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-1/+1
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-5/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-41/+50
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-3/+15
2011-07-06rustc: Change constraints in types to use interior vectorsPatrick Walton-2/+2
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-67/+50
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-1/+1
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-5/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-41/+50
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-3/+15
2011-07-06rustc: Change constraints in types to use interior vectorsPatrick Walton-2/+2
2011-07-06Remove temporary stdlib placeholders, use actual stdlib functionsMarijn Haverbeke-9/+12
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-18/+14
2011-06-30Kill unused variablesTim Chevalier-1/+0
2011-06-30Warn for unused variablesTim Chevalier-1/+19
2011-06-29Remove workaround for a compiler bug that, I guess, got fixedTim Chevalier-14/+3
2011-06-27pure_exp should set the state, not extend itTim Chevalier-2/+2
2011-06-25Use single-bar or to make tstate/states.rs prettierMarijn Haverbeke-18/+4
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-16/+86
2011-06-24Remove uses of variable name 'res' from rustcMarijn Haverbeke-20/+20
2011-06-22Compute typestate properly for moveTim Chevalier-41/+122
2011-06-22Fix bug: globbed imports were importing everything visible from the otherPaul Stansifer-0/+2
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-1/+1
2011-06-21Move expr ids into the expr record typeMarijn Haverbeke-10/+9
2011-06-20Get rid of def_ids and anns in AST nodes, use single node_idMarijn Haverbeke-73/+70
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-5/+6
2011-06-19Revert previous 6 commits. Hopefully put out Windows fire.Brian Anderson-6/+5
2011-06-19rustc: Rename session.span_err -> span_fatal, err -> fatalBrian Anderson-5/+6
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-4/+23
2011-06-16Reformat a bunch of recent churn.Graydon Hoare-9/+8
2011-06-15Refactor data structures representing constraints (again...)Tim Chevalier-6/+11
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-265/+198
2011-06-15Fix assignments to immutable fields throughout the codeMarijn Haverbeke-2/+2
2011-06-13Refactor some typestate-related data structuresTim Chevalier-53/+58
2011-06-10Reject programs with unsatisfied predicate constraintsTim Chevalier-85/+79
2011-06-10Fix unsafe uses of mutable referencesMarijn Haverbeke-5/+5
2011-06-09Further support for predicate constraintsTim Chevalier-39/+138
2011-06-07Removing dead code and redundant fails; changing fails to sess.bugLindsey Kuper-1/+1
2011-06-01Redo typestate-related data structures to support predicate constraints. No a...Tim Chevalier-37/+164