yellowsquid/helium.git/src/Helium, branch abstract [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=abstract 2021-12-19T09:19:22Z Define relation on numeric types. 2021-12-19T09:19:22Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-19T09:19:22Z urn:sha1:d9018bc2c447fc13ff7dc30ae0a001b5c3c6a2f2 Modify multiplicative inverse to not require zero. 2021-12-19T09:18:45Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-19T09:18:45Z urn:sha1:4e617e45594c6a272678923878319fc7f1584452 Introduce definition of a field. 2021-12-17T12:45:09Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-16T12:40:35Z urn:sha1:4643e5107299a8f55a4f130c1da84d6011f1e017 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 Define BitVec as a bit-vector. 2021-12-10T17:41:42Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-10T17:41:42Z urn:sha1:229bd0de77ab5bba7eb2ad5362c526c098d62ac7