yellowsquid/helium.git/src/Helium/Data/BitVec, branch abstract [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=abstract 2021-12-17T12:45:09Z Finish initial definition of bitvectors. 2021-12-17T12:45:09Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-15T16:22:55Z urn:sha1:f879394a8e467a674dd1ef0b28d3f6003c5d03ac Add properties of conversions to and from bit vectors. 2021-12-10T17:41:48Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-10T17:41:48Z urn:sha1:783eb445342c6847db20a4e65bf3caf1deafdc64 Add properties of bit-wise manipulations of bit vectors. 2021-12-10T17:41:45Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-10T17:41:45Z urn:sha1:8b49e70a5adad8f96523442641d21e36bb8b5381