about summary refs log tree commit diff
path: root/src/comp/middle/tstate/tritv.rs
AgeCommit message (Expand)AuthorLines
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-09-12Pretty-print for new arg-mode syntaxMarijn Haverbeke-0/+7
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-13/+20
2011-09-02Reformat. Issue #855Brian Anderson-5/+12
2011-08-27Convert the rest of rustc::middle to istrs. Issue #855Brian Anderson-5/+5
2011-08-20ReformatBrian Anderson-14/+21
2011-08-15Add operator 'copy', translates as fall-through.Graydon Hoare-2/+2
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-2/+2
2011-08-05Initialize all constraints to FalseTim Chevalier-0/+6
2011-07-27Reformat for new syntaxMarijn Haverbeke-158/+168
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-2/+2
2011-07-12rustc: Simplify tritv::copy; shaves a couple of seconds off typestate.Patrick Walton-17/+4
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-3/+3
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-3/+3
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-3/+3
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-7/+21
2011-06-25Remove variable name 'res' from test suiteMarijn Haverbeke-3/+3
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-16/+34
2011-06-24Remove uses of variable name 'res' from rustcMarijn Haverbeke-3/+3
2011-06-22Compute typestate properly for moveTim Chevalier-0/+246