about summary refs log tree commit diff
path: root/src/lib/bitv.rs
AgeCommit message (Collapse)AuthorLines
2011-12-06Establish 'core' library separate from 'std'.Graydon Hoare-316/+0
2011-11-17remove compile-command from local variable blocksNiko Matsakis-1/+0
2011-11-15Replaced constant functions with actual constants in std and updated testsStefan Plantikow-6/+5
Fixes issue #1165
2011-10-27Document std::bitvBrian Anderson-3/+125
2011-10-25Begin documenting std and add doc generation using naturaldocsBrian Anderson-0/+19
Naturaldocs isn't really that great but it seems easier to get something working than with doxygen, for which we would need to convert rust code to something C++ish. We probably want to just write a rustdoc utility at some point.
2011-10-21Remove last uses of iterators from stdlibMarijn Haverbeke-9/+7
Issue #1056
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-19/+16
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-02Reformat. Issue #855Brian Anderson-5/+3
2011-08-27Convert std::bitv to istrs. Issue #855Brian Anderson-3/+5
2011-08-20ReformatBrian Anderson-15/+12
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-18Rename various things from ivec to vecBrian Anderson-3/+2
2011-08-18Remove or _-prefix all unused function argumentsMarijn Haverbeke-1/+1
This should make the compilation process a bit less noisy.
2011-08-16Port the stdlib to the expr foo::<T> syntax.Erick Tryzelaar-4/+4
2011-08-16Rename std::ivec to std::vecBrian Anderson-10/+10
2011-08-16Rename bitv::to_ivec to to_vecBrian Anderson-5/+5
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-8/+8
2011-08-15Add operator 'copy', translates as fall-through.Graydon Hoare-2/+5
2011-08-12Remove vecs from std::bitvBrian Anderson-23/+3
2011-08-12Change a bunch of places in the stdlib to use blocks.Michael Sullivan-1/+1
2011-08-09Port the stdlib to the ivec type [T] syntax.Erick Tryzelaar-3/+3
2011-07-27Reformat for new syntaxMarijn Haverbeke-76/+76
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
and various other tidying in typestate
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
Except for _task, which is still a keyword.
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
This should be a snapshot transition.
2011-05-06Rename std modules to be camelcasedMarijn Haverbeke-222/+0
(Have fun mergining your stuff with this.)
2011-05-05Remove 'deprecated mutable...' from our codeMarijn Haverbeke-6/+6
This should make compilation a bit less noisy.
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton-5/+5
the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-5/+5
This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-5/+5
This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc.
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
Also changed the ts_ann field on statements to be an ann instead, which explains most of the changes. As well, got rid of the "warning: no type for expression" error by filling in annotations for local decls in typeck (not sure whether this was my fault or not). Finally, in bitv, added a clone() function to copy a bit vector, and fixed is_true, is_false, and to_str to not be nonsense.
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-0/+15
The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-0/+22
It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
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 ↵Graydon Hoare-4/+0
root within std.rc anyway)
2010-11-08Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare-1/+1
library.
2010-11-02Split out stratum-checking pass, implement more-strict (overly aggressive) ↵Graydon Hoare-9/+9
impure-effect checking.
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