yellowsquid/helium.git/src/Helium/Data, 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. A proof of the simplest form of Barrett reduction. 2022-04-09T15:49:49Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-09T15:49:49Z urn:sha1:24845ef25e12864711552ebc75a1f54903bee50c Add some more algebraic properties. 2022-04-09T15:24:18Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-09T15:24:18Z urn:sha1:c6aee22d68aa614619cecc08a15332294a9de0de Minor clean up. 2022-04-05T11:06:33Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-05T11:06:33Z urn:sha1:b212c150ec0a9bf45cf6c28fba997693669e78d2 Add some more ordered division ring properties. 2022-04-04T14:51:22Z Greg Brown greg.brown@cl.cam.ac.uk 2022-04-04T14:51:22Z urn:sha1:6acd0e87fa8ab2a3230626b37f1cd02181810a1a 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 some properties of algebraic pseudocode types. 2022-03-21T16:37:12Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-21T16:37:12Z urn:sha1:5202560ea008a76048587f6ab63797f7517fbdc0 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 Fix incorrect defining properties of floor. 2022-03-20T13:59:00Z Greg Brown greg.brown@cl.cam.ac.uk 2022-03-20T13:59:00Z urn:sha1:2d204577f2e2f1a7e097971938561ad92b613d92 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