yellowsquid/helium.git/src/Helium/Semantics/Axiomatic, branch master [no description] http://git.yellowsquid.uk/yellowsquid/helium.git/atom?h=master 2022-04-18T14:21:38Z Do a big refactor. 2022-04-18T14:21:38Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-18T14:05:24Z urn:sha1:00a0ce9082b4cc1389815defcc806efd4a9b80f4 - Replace the decidable predicates on expressions and statements with separate data types. - Reorganise the Hoare logic semantics to remove unnecessary definitions. - Make liberal use of modules to group related definitions together. - Unify the types for denotational and Hoare logic semantics. - Make bits an abstraction of array types. Add more properties for ordered structures. 2022-04-02T10:59:21Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-02T10:41:51Z urn:sha1:2167866c53aa7f9cbb52e776bfb64f53acf3fa2c Add all-in-one import for Hoare logic semantics. 2022-03-21T16:50:55Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-21T16:50:55Z urn:sha1:23e8afe152a84551491594aea133488523525410 Rename Pseudocode.Types to something more sensible 2022-03-20T14:05:57Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-20T14:05:57Z urn:sha1:0ceb2b6f579c94fe82dbe17e073408145f637fcb Add definition of Hoare logic semantics. 2022-03-19T17:26:39Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-19T17:26:39Z urn:sha1:dd97e0a58b377161fb8e9ab7b5524f63b875612c