yellowsquid/helium.git, 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 semantics of Hoare logic assertions. 2022-03-08T17:14:41Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T17:14:41Z urn:sha1:c32c75ab3d5628163a4ece83e38d85152bf9e189 Add semantics of Hoare logic terms. 2022-03-08T16:27:38Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T16:23:39Z urn:sha1:2ed2b3f6007ad497fc331c079ee2f74724b00669 Add Hoare logic assertions 2022-03-08T16:23:18Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T16:23:18Z urn:sha1:e3bfd6aa1594a84be897d7a50e882d3a2c54067a Add reference substitution to terms. 2022-03-08T15:44:13Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T15:44:13Z urn:sha1:c86ae0d13408aa3dc2fccde9abacd116d33af7dd Separate out Hoare logic terms. 2022-03-08T13:24:34Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-08T13:24:34Z urn:sha1:2dcbf2eab0b8cbe5f517c59b5c895ad119342bf6 Add function to eliminate all calls in expressions 2022-03-03T17:15:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-03T17:15:01Z urn:sha1:0d0d8de69677529b8d72a9015ca531694289d879 Add way to convert function calls to expressions 2022-03-03T12:14:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-03T12:14:01Z urn:sha1:b9bdfbc24d518492f4a61049746a750a30f0701a 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 Change stateful expressions to index on expression 2022-02-22T10:30:58Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-22T10:22:11Z urn:sha1:cdd3cfc485ee43b1a119559b3f1bb2531376f616