yellowsquid/helium.git/src/Helium/Instructions, branch axiomatic [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=axiomatic 2022-03-08T18:49:39Z Migrate to agda-stdlib-2.0-dev. 2022-03-08T18:49:39Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T18:49:39Z urn:sha1:69b82b0f568dd840f05f6aa9902ee6dcd5df5cad Add if_then_ statements 2022-02-22T13:41:21Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-22T13:41:21Z urn:sha1:209a40f37aa9667a9c03acc4f69a760061cfaeb4 Replace nat indices with fins. 2022-02-21T12:18:31Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T12:18:31Z urn:sha1:281a29f01346bd2f00fbaca8391f38d856a45d6d Unalias bit type. 2022-02-19T16:06:57Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-19T16:06:57Z urn:sha1:5250643e58e3eb4d277178f06c8984027ca3e01a Remove declare case of Procedure. 2022-02-18T10:45:35Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-18T10:45:35Z urn:sha1:ad5322977632dd2dcec7cb75082d5c128b4a8bd5 Make call and invoke take All instead of tuple. 2022-02-17T16:34:54Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-17T16:34:54Z urn:sha1:60b201d0c8752b84194753bb72eee777bf245fe3 Make expressions unable to change state. 2022-02-15T17:04:28Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-15T17:04:28Z urn:sha1:78aad93db3d7029e0a9a8517a2db92533fd1f401 Write pseudocode definition of Barrett reduction 2022-02-13T15:28:51Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-13T15:28:51Z urn:sha1:d00c4d301f2995ac40a011b711f2c16526e188b8 Define vmla instruction. 2022-02-13T15:14:26Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-13T15:14:26Z urn:sha1:ed3c730a0f967a0b7e80b4ce6cb1c69ec926ac24 Extract common code from pseudocode instructions 2022-02-13T14:59:37Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-13T14:59:37Z urn:sha1:219088388dccd1841add145f6000da5ef5399dfc