about summary refs log tree commit diff
path: root/src/comp/middle/tstate
AgeCommit message (Expand)AuthorLines
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-41/+41
2011-07-12rustc: Remove a few scattered uses of exterior vectors from typestatePatrick Walton-18/+6
2011-07-12rustc: Remove some useless std::vec importsPatrick Walton-2/+0
2011-07-12rustc: Remove some interior vectors from typestate and some useless vec-relat...Patrick Walton-11/+4
2011-07-12rustc: Simplify tritv::copy; shaves a couple of seconds off typestate.Patrick Walton-17/+4
2011-07-12Add missing filesTim Chevalier-111/+44
2011-07-11Add elipses, reorganize the macro components into their own AST node.Paul Stansifer-2/+2
2011-07-11Move macro expansion to a separate phase, change macro syntax, and add parse_...Paul Stansifer-5/+4
2011-07-11Move visit to newtype-style nominal typeMarijn Haverbeke-6/+5
2011-07-08Propagate constraints through copy, move, and swapTim Chevalier-133/+442
2011-07-08Minor refactoringTim Chevalier-3/+11
2011-07-07rustc: Change lots of AST nodes to use interior vectorsPatrick Walton-62/+66
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-2/+2
2011-07-06rustc: Move middle::tstate::collect_locals over to interior vectorsPatrick Walton-9/+9
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-8/+1
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-6/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-123/+131
2011-07-06rustc: Move tstate::annotate over to interior vectorsPatrick Walton-12/+12
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-4/+24
2011-07-06rustc: Change constraints in types to use interior vectorsPatrick Walton-2/+2
2011-07-06Simplify AST for expr_anon_obj.Lindsey Kuper-2/+2
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-178/+162
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-2/+2
2011-07-06rustc: Move middle::tstate::collect_locals over to interior vectorsPatrick Walton-9/+9
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-8/+1
2011-07-06rustc: Remove some unused references to std::vec from tstate::ann and tstate:...Patrick Walton-6/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-123/+131
2011-07-06rustc: Move tstate::annotate over to interior vectorsPatrick Walton-12/+12
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-4/+24
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-23/+23
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-71/+69
2011-07-02Allow any string expression to be used with fail.Josh Matthews-4/+18
2011-06-30Don't warn about unused for-loop index variablesTim Chevalier-0/+4
2011-06-30Kill unused variablesTim Chevalier-14/+5
2011-06-30Warn for unused variablesTim Chevalier-48/+98
2011-06-29Re-enable tidy (it was broken) and fix various non-tidy things.Graydon Hoare-1/+1
2011-06-29Remove workaround for a compiler bug that, I guess, got fixedTim Chevalier-14/+3
2011-06-28Remove outdated commentsTim Chevalier-2/+0
2011-06-28Implement "claim"Tim Chevalier-3/+3
2011-06-28Teach the parser and typechecker to understand port[int](). Closes #588Eric Holk-2/+2
2011-06-28Handle lazy binops properly in typestateTim Chevalier-7/+26
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-96/+150
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-173/+89
2011-06-25Allow moving out of temporary valuesMarijn Haverbeke-15/+9
2011-06-25Partial implementation of resourcesMarijn Haverbeke-1/+8
2011-06-25Remove variable name 'res' from test suiteMarijn Haverbeke-6/+6
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-374/+397
2011-06-24Modify the fn vistors in walk so that they can handle functions without names...Michael Sullivan-15/+22