What's Changed
- Update Submodules by @viper-admin in #887
- Fix type-checker crash when encountering an invalid ADT by @ArquintL in #897
- Update Submodules by @viper-admin in #896
- Fix bug 805 by @jcp19 in #900
- Fix error obtained when importing
syncwith flag --noassumeInjectivityOnInhale by @jcp19 in #854 - Update Submodules by @viper-admin in #908
- Fix issue 858 by @jcp19 in #868
- errors.New by @ArquintL in #909
- Fix issue 866 by @jcp19 in #918
- Update Submodules by @viper-admin in #917
- Update Submodules by @viper-admin in #920
- Add support for converting maps to dicts by @jcp19 in #923
- Package invariants by @jcp19 in #810
- Update Submodules by @viper-admin in #926
- Fix using for range over map without using visited by @ThomasMayerl in #933
- Generate cleaner output by @jcp19 in #927
- Fix 864 by @jcp19 in #925
- Update Submodules by @viper-admin in #941
- Hyper Gobra by @jcp19 in #802
- Error reporting by @bruggerl in #945
- Use
elemto denote ghost collection containment by @ArquintL in #944 - Fix issue 943 by @jcp19 in #947
- Fix issue 883 by @jcp19 in #952
- Add support for indexing strings by @jcp19 in #961
- Bump actions/checkout from 4 to 5 in the all group by @dependabot[bot] in #967
- Remove deprecated initialization postconditions by @jcp19 in #971
New Contributors
- @ThomasMayerl made their first contribution in #933
Full Changelog: v25.02...v25.09