v25.09

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 sync with 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 elem to 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