about summary refs log tree commit diff
path: root/src/lib/bitv.rs
AgeCommit message (Expand)AuthorLines
2011-07-12stdlib: Move bit vectors over to interior vectorsPatrick Walton-13/+32
2011-07-12stdlib: Remove obsolete FIXME about state fnsPatrick Walton-2/+0
2011-06-30Get rid of an unused variableTim Chevalier-1/+0
2011-06-24Remove res idents from stdlibMarijn Haverbeke-3/+3
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-84/+30
2011-06-10rustc: Remove the bitwise not operatorPatrick Walton-7/+3
2011-05-22stdlib: Use if/alt expressions in std::bitvBrian Anderson-13/+12
2011-05-20stdlib: Export only what's needed from std::bitvBrian Anderson-0/+19
2011-05-19Rewrite tstate.annotate to use walk instead of foldTim Chevalier-1/+1
2011-05-19Add a set_all function in bitv that's the inverse of clearTim Chevalier-1/+6
2011-05-17Finally rename std::_xxx to std::xxxMarijn Haverbeke-12/+12
2011-05-16Rewrite everything to use [] instead of vec() in value position.Graydon Hoare-1/+1
2011-05-12Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke-0/+222
2011-05-06Rename std modules to be camelcasedMarijn Haverbeke-222/+0
2011-05-05Remove 'deprecated mutable...' from our codeMarijn Haverbeke-6/+6
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton-5/+5
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-5/+5
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-5/+5
2011-04-19Remove effect system from src.Graydon Hoare-8/+8
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-3/+12
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-0/+15
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-0/+22
2011-03-18Add "mutable?" to _vec in the standard library; fix callersPatrick Walton-1/+1
2011-03-09Remove redundant imports in lib (rustc doesn't like 'std' as a synonym for ro...Graydon Hoare-4/+0
2010-11-08Add a check for binding an alias. Good thing, as we had two instances in our ...Graydon Hoare-1/+1
2010-11-02Split out stratum-checking pass, implement more-strict (overly aggressive) im...Graydon Hoare-9/+9
2010-10-21eliminated bitv.test, which now lives in test/run-passDave Herman-283/+0
2010-10-21line length police; moved comp.util.bits to std.bitvDave Herman-0/+463