yellowsquid/cfe-proof.git/src/Cfe/Language, branch cleanup
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=cleanup
2021-04-24T14:30:30Z
Cleanup Derivation.
2021-04-24T14:30:30Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-24T14:30:30Z
urn:sha1:0708355c7988345c98961cad087dc56eeb16ea7f
Cleanup Type properties.
2021-04-12T16:32:02Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-12T16:32:02Z
urn:sha1:f84e919e12c92c241d3d38203400c2bb14fb0017
Add lexicographic expression ordering.
2021-04-06T14:12:09Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-06T14:08:08Z
urn:sha1:e890218fab378f8e427d2d3c046875128a23d50b
Add some missing properties for singleton languages.
2021-04-05T19:18:17Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-05T19:18:17Z
urn:sha1:aaeb5a3572e96e32abbad5a137f5fc14575a8d66
Clean-up Language hierarchy.
2021-04-05T13:31:57Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-05T13:31:57Z
urn:sha1:da429008d25ac87ec67a4fb18a5cbee0ba756bcf
Introduce < for Languages.
2021-03-29T17:08:09Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-29T17:08:09Z
urn:sha1:13e0839831a528d26478a3a94c7470204460cce4
Move around some definitions.
Introduce non-terminating proof of derivation existence.
2021-03-27T20:32:03Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-27T20:32:03Z
urn:sha1:adad5280af0d81a2f171df619e9c7169dcb43a02
Begin soundness proof.
2021-03-27T13:34:32Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-24T09:30:13Z
urn:sha1:a95622ca33a31a8c6d3cb31c7ca3b390e7aa5624
Prove satisfaction for concatenation.
2021-03-27T13:10:40Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-27T13:10:40Z
urn:sha1:a062b83551010213825e41a7acb0221a6c74e6af
Prove sequential unique decomposition.
2021-03-25T18:01:19Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-25T18:01:19Z
urn:sha1:ba7e3b5d9c868af4b5dd7c3af72c48a1dd27cc31
Fix faulty definition of flast set.