about summary refs log tree commit diff
path: root/src/comp/middle/tstate/bitvectors.rs
AgeCommit message (Expand)AuthorLines
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-2/+2
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-10Cleanup unused importsHaitao Li-2/+2
2011-10-20Make fn denote a bare function. Convert fn to fn@ as neededBrian Anderson-1/+1
2011-09-28Don't descend into functions from relax_precond_blockMarijn Haverbeke-1/+2
2011-09-15Forbid assignment to by-reference bindingsMarijn Haverbeke-1/+1
2011-09-12Factor imports mindlessly.Graydon Hoare-21/+7
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-35/+33
2011-09-02Reformat. Issue #855Brian Anderson-6/+6
2011-08-27Convert rustc::driver::session to istrs. Issue #855Brian Anderson-6/+6
2011-08-20ReformatBrian Anderson-11/+11
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-2/+2
2011-08-16Port the compiler to the expr foo::<T> syntax.Erick Tryzelaar-1/+1
2011-08-16Port the compiler to the typaram foo<T> syntax.Erick Tryzelaar-4/+4
2011-08-16Rename std::ivec to std::vecBrian Anderson-8/+8
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-1/+1
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-3/+3
2011-08-05Initialize all constraints to FalseTim Chevalier-0/+5
2011-07-31Change bitvectors::relax_precond_block to use visit instead of walkTim Chevalier-24/+28
2011-07-29Refactor typestate code involving stmt_declsTim Chevalier-0/+10
2011-07-27Fix damage done by the pretty-printerMarijn Haverbeke-3/+1
2011-07-27Reformat for new syntaxMarijn Haverbeke-117/+99
2011-07-26Remove all uses of tuples from the compiler and stdlibMarijn Haverbeke-1/+1
2011-07-25Rename the block type to be blk also. Sorry.Michael Sullivan-2/+2
2011-07-21Instantiate function preconditions inside the function bodyTim Chevalier-0/+4
2011-07-19Beginnings of support for constrained typesTim Chevalier-42/+20
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-3/+3
2011-07-12rustc: Remove a few scattered uses of exterior vectors from typestatePatrick Walton-6/+1
2011-07-08Minor refactoringTim Chevalier-1/+5
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-1/+1
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-2/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-12/+12
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-1/+9
2011-07-06rustc: Revert the conversion to interior vectors due to heap corruptionPatrick Walton-21/+14
2011-07-06rustc: Make AST paths use interior vectorsPatrick Walton-1/+1
2011-07-06rustc: Remove unused or seldom-used imports from middle::tstate::{bitvectors,...Patrick Walton-2/+1
2011-07-06rustc: Move middle::tstate::auxiliary and middle::tstate::bitvectors over to ...Patrick Walton-12/+12
2011-07-06rustc: Make the various constraint-related types in middle::ty use interior v...Patrick Walton-1/+9
2011-07-05Move everything syntax-related to syntax/, break deps on rest of compilerMarijn Haverbeke-1/+2
2011-06-27Tests for while loops that may invalidate constraintsTim Chevalier-16/+20
2011-06-24Invalidate constraints correctly after an assignment expressionTim Chevalier-0/+35
2011-06-24Remove uses of variable name 'res' from rustcMarijn Haverbeke-7/+7
2011-06-22Compute typestate properly for moveTim Chevalier-42/+66
2011-06-20Get rid of def_ids and anns in AST nodes, use single node_idMarijn Haverbeke-14/+16
2011-06-17Restructure the "checking" pass in typestateTim Chevalier-0/+45
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-74/+56
2011-06-13Refactor some typestate-related data structuresTim Chevalier-22/+21
2011-06-10Reject programs with unsatisfied predicate constraintsTim Chevalier-2/+2
2011-06-10Fix unsafe uses of mutable referencesMarijn Haverbeke-1/+1
2011-06-09Start to check expr_check and expr_call constraints in typestateTim Chevalier-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 03:23:19 +0000