v0.1.0

What's Changed

• CsLemon: Lemon ported to C#, verified, with a validated LR(1) parser and C# output by @ashalkhakov in #1
• CI/CD, packages, verify → erase → Tarp, README split into docs/ by @ashalkhakov in #2
• Verifier: foreach, goto loops, rectangular arrays, ref cells and locals, mutable structs by @ashalkhakov in #3
• Library contracts, BCL contracts, async/await by @ashalkhakov in #8

New Contributors

• @ashalkhakov made their first contribution in #1

Full Changelog: https://github.com/ashalkhakov/CsVerify/commits/v0.1.0