v22.07

What's Changed

• Example using Shared Variables by @ArquintL in #259
• Add support for short-hand for implementation proofs by @jcp19 in #463
• Add support for perm constants by @jcp19 in #462
• add variable to proofName to generate unique names by @Dspil in #464
• Outline statement by @Felalolf in #460
• Aliased type for any = interface{} by @gavinleroy in #467
• Encoding refactor by @Felalolf in #466
• Simple defer by @Felalolf in #469
• Make defer statement ghostifiable by @jcp19 in #470
• Improve trigger for acc(s) when s is a slice by @jcp19 in #471
• Fix duplicate type tags in the encoding by @jcp19 in #472
• fixed an incorrect type argument by @Felalolf in #476
• Add support for arrays of custom declared types by @jcp19 in #481
• Fix issue #151 by @jcp19 in #482
• Fix 475 by @jcp19 in #483
• Fix issue 486 (V2) by @Felalolf in #488
• Fix issue #489 by @jcp19 in #490
• Fix gobraDirectory and change severity of the warnings by @jcp19 in #493
• Embedded interfaces by @Dspil in #492

New Contributors

• @gavinleroy made their first contribution in #467

Full Changelog: v22.05...v22.07