about summary refs log tree commit diff
path: root/src/comp/middle/tstate/ck.rs
AgeCommit message (Expand)AuthorLines
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-1/+1
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-10Cleanup unused importsHaitao Li-8/+5
2011-10-21Drop support for iter, put, and for-eachMarijn Haverbeke-4/+3
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-1/+2
2011-09-14Rename ast::controlflow to ast::ret_styleMarijn Haverbeke-2/+2
2011-09-12Factor imports mindlessly.Graydon Hoare-35/+9
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-10/+9
2011-09-02Reformat. Issue #855Brian Anderson-27/+20
2011-09-01Rename std::istr to std::str. Issue #855Brian Anderson-1/+1
2011-08-31Check all paths return properly in blocks. Closes #874.Michael Sullivan-1/+1
2011-08-27Convert rustc::driver::session to istrs. Issue #855Brian Anderson-12/+12
2011-08-27Convert pretty-printer to istrs. Issue #855Brian Anderson-5/+6
2011-08-27Convert the rest of rustc::middle to istrs. Issue #855Brian Anderson-14/+14
2011-08-27Convert ast::ident to istr. Issue #855Brian Anderson-5/+12
2011-08-22Move functions from syntax::ast to syntax::ast_utilBrian Anderson-1/+1
2011-08-20ReformatBrian Anderson-8/+9
2011-08-18Don't warn about unused vars whose name starts with _Marijn Haverbeke-2/+3
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-2/+2
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-3/+3
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-1/+1
2011-08-15Fix bad argument type of pprust::print_typeMarijn Haverbeke-1/+1
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-3/+3
2011-08-01Handle bang functions correctly in typestateTim Chevalier-11/+10
2011-07-27Reformat for new syntaxMarijn Haverbeke-55/+57
2011-07-19Beginnings of support for constrained typesTim Chevalier-5/+4
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-1/+1
2011-07-12Add missing filesTim Chevalier-34/+24
2011-07-07rustc: Change lots of AST nodes to use interior vectorsPatrick Walton-3/+3
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-6/+0
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-0/+6
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-6/+0
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-22/+23
2011-06-30Kill unused variablesTim Chevalier-1/+2
2011-06-30Warn for unused variablesTim Chevalier-22/+33
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-4/+4
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