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
deferstatement 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