yellowsquid/helium.git/src/Helium/Semantics/Axiomatic, 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 Generalise slice and join into cut and splice. 2022-02-21T16:54:01Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-21T16:53:13Z urn:sha1:91cd436bce90fbcf863ecf4c1256bf4ef8769428 Begin work on axiomatic semantics. 2022-02-16T16:00:08Z Greg Brown greg.brown@cl.cam.ac.uk 2022-02-16T16:00:08Z urn:sha1:273b6354ea17be93a0dfe4f50cd047b328762b02