viperproject/gobra v22.10

on GitHub

What's Changed

• Add termination measure to shStructDefault by @jcp19 in #495
• Introduce support for closures by @stefanomil in #479
• Add script to generate parser by @jcp19 in #498
• Make closure calls deferrable by @stefanomil in #501
• Add initial support for global variables by @jcp19 in #465
• Range by @Dspil in #496
• Remove unnecessary check by @jcp19 in #507
• Use ghostComparableTypes when type-checking PIn by @jcp19 in #508
• Use underlying type in type-checking range loops by @jcp19 in #509
• Allow constants of defined types, as long as there are constant values for their underlying type by @jcp19 in #510
• Introduce ghost equality (===) and inequality (!==) by @jcp19 in #514
• Update Gobra to the newest Viper version by @jcp19 in #499
• Update to latest version of silver with parallel branches by @jcp19 in #516
• Fixes #519 by @Felalolf in #520
• Remove redundant checks when comparing interfaces with the nil literal by @jcp19 in #522
• Remove unnecessary occurrences of the 'true' literal by @jcp19 in #524
• Add option to disable the behaviour of "moreCompleteExhale" by @jcp19 in #526
• Verify chopped parts in parallel by @jcp19 in #525
• Fix default value of option disableMoreCompleteExhale by @jcp19 in #527
• Changed Map and Slice Literals to Statements since they have side-effects by @Felalolf in #528
• updated viperserver version by @Felalolf in #530
• Remove node and strategy by @Felalolf in #529
• Use let expressions in encoding to reduce redundancy by @Felalolf in #535
• Fixes conversion to interfaces and interfaces in struct literals by @jcp19 in #537
• Auto-update ViperServer submodule by @ArquintL in #539
• Create gobrafied debug files by @ArquintL in #540
• Update Submodules by @viper-admin in #542
• CLI Option for Disabling Support for Global Variables by @ArquintL in #541
• Constant propagation by @jcp19 in #538
• Fix #544 by @jcp19 in #545

New Contributors

• @stefanomil made their first contribution in #479

Full Changelog: v22.07...v22.10