yellowsquid/helium.git, branch dev/bitvec-arith [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=dev%2Fbitvec-arith 2021-12-10T17:48:09Z initial work on arithmetic properties 2021-12-10T17:48:09Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-10T17:48:09Z urn:sha1:15f1c45a5260f868e507c0d76996715bc560906d 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 Initial commit. 2021-12-10T17:41:34Z Greg Brown greg.brown@cl.cam.ac.uk 2021-12-10T17:41:34Z urn:sha1:c440f10c78171475c611c1ef978bef0315e0d403