What's Changed
- Add
--conditionalizePermissionsby @jcp19 in #628 & #629 - Allow go calls of closures by @jcp19 in #615
- Fixes running the chopper together with other Viper plugins ( issue #625) by @ArquintL in #632
- Support outlines in closures by @jcp19 in #633
- Add support for more complete exhale on demand by @jcp19 in #636
- Add support for converting floats into ints by @jcp19 in #643
- Added section on debugging to README. by @rayman2000 in #617
- Update syntax for set cardinality in the tutorial by @jcp19 in #603
- Fix #651 by @jcp19 in #652
- Fix #655 by @Felalolf in #656
- Fix #659 by @ArquintL in #660
- Parallelizing Gobra by @ArquintL in #634
- Avoiding accidental printing of ASTs by @ArquintL in #665
- Fix #668 by @Felalolf in #669
- Add flag to use Z3 via API by @Dspil in #666
- Slice from array didn't have termination measure by @Dspil in #674
- Missing termination measures by @Dspil in #675
- Enable let expressions with weakly pure subexpressions by @jcp19 in #678
- Improvements in maps by @jcp19 in #676
- Add flag to require triggers in all quantifiers by @jcp19 in #679
- Several ADT improvements by @Felalolf in #687
- Treat values of type InternalSingleMulti(t, ms) as t for nested dictionaries by @jcp19 in #699
- Allow for recursive implementations of errors.Error() by @jcp19 in #700
- Do not use underlying type when inferring the type of
some(...)by @jcp19 in #701 - Fixes #695 by @ArquintL in #696
- Re-do termination measures for methods in
errorby @jcp19 in #703 - Fix #705 by @ArquintL in #706
- Fixes Pretty Printer by @ArquintL in #711
- Flag for non-linear integer arithmetic by @Dspil in #709
- Add option to disable set axiomatization by @dnezam in #708
- Check by default that all pure and ghost functions have termination measures by @jcp19 in #718
- Fixes #697 by @ArquintL in #698
- Add opaque/reveal to Gobra by @dnezam in #715
- Improve Gobra Package Information by @ArquintL in #725
- Update ViperServer to Viper January 2024 release by @ArquintL in #729
New Contributors
- @rayman2000 made their first contribution in #617
- @dnezam made their first contribution in #708
Full Changelog: v23.02...v24.02