v24.02

What's Changed

• Add --conditionalizePermissions by @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 error by @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