| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | line length police; moved comp.util.bits to std.bitv | Dave Herman | 2010-10-21 | 1 | -463/+0 |
| * | tests and bugfixes: fns take aliases, fixed binary arithmetic in create, elim... | Dave Herman | 2010-10-21 | 1 | -29/+318 |
| * | simpler computation of uint_bits(), plus whitespace police | Dave Herman | 2010-10-20 | 1 | -13/+2 |
| * | created a first draft of the bit-set library needed for typestate | Dave Herman | 2010-10-20 | 1 | -0/+185 |