yellowsquid/cfe-proof.git/src/Cfe/Language, branch lemma3.5
[no description]
http://git.yellowsquid.uk/yellowsquid/cfe-proof.git/atom?h=lemma3.5
2021-03-27T13:10:40Z
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
Change Language definition to respects instead of custom congruence.
2021-03-16T18:45:27Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-16T18:45:27Z
urn:sha1:02a0f87be944b1d43fda265058b891f419d25b65
Prove lemma 3.3
2021-03-05T00:22:20Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-05T00:22:20Z
urn:sha1:90c7597b6f80e0bd5bb2a9a7245d097d40486518
Separate out some Language properties.
2021-03-05T00:10:08Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-05T00:10:08Z
urn:sha1:9c5540562f53be81bfb03ef2b96d7f59b3ddea44
Complete proofs up to Proposition 3.2 (excluding unrolling)
2021-03-05T00:04:46Z
Chloe Brown
chloe.brown.00@outlook.com
2021-03-05T00:00:04Z
urn:sha1:5302e4a27a64cb2a97120517df4b6998da7b3168
Another redefinition of Language.
2021-02-18T19:04:09Z
Chloe Brown
chloe.brown.00@outlook.com
2021-02-18T19:04:09Z
urn:sha1:ff3600687249a19ae63353f7791b137094f5a5a1