4 commits

Author	SHA1	Message	Date
Dave Herman	dbe27199b8	line length police; moved comp.util.bits to std.bitv	2010-10-21 11:39:53 -07:00
Dave Herman	da8b6795c7	tests and bugfixes: fns take aliases, fixed binary arithmetic in create, eliminated wasted bit per uint	2010-10-21 07:36:13 -07:00
Dave Herman	ce3224652f	simpler computation of uint_bits(), plus whitespace police	2010-10-20 22:04:19 -07:00
Dave Herman	8f71dad2c9	created a first draft of the bit-set library needed for typestate	2010-10-20 17:04:15 -07:00