yellowsquid/cfe-proof.git/src/Cfe/Type, branch cleanup
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=cleanup
2021-04-12T16:35:25Z
Remove unnecessary Type construction.
2021-04-12T16:35:25Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-12T16:35:25Z
urn:sha1:7cc5e28370079de3aab98ab536ae601392c31065
Remove unnecessary comment.
2021-04-12T16:32:33Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-12T16:32:33Z
urn:sha1:0dd077cd1f9d062bab43e1bfa4bd05e318ed09b2
Cleanup Type properties.
2021-04-12T16:32:02Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-12T16:32:02Z
urn:sha1:f84e919e12c92c241d3d38203400c2bb14fb0017
Cleanup Type base.
2021-04-06T15:14:54Z
Chloe Brown
chloe.brown.00@outlook.com
2021-04-06T15:14:54Z
urn:sha1:337615b3beb2e0440c2374724fae09d7ec384952
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.
Prove lemma 3.5 (7).
2021-03-24T17:01:29Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-24T17:01:29Z
urn:sha1:abe9461e0dc194c160d97fee23a1646097a0c264
Prove lemma 3.5 (5).
2021-03-24T15:55:34Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-24T15:55:34Z
urn:sha1:11dddff1955a696538afbc1cfb604bbc640242a6
Make progress on lemma 3.5 (4).
2021-03-24T15:24:34Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-24T15:24:34Z
urn:sha1:ee1b20ca53363eee0362f5a2bbd61b5951098156