Stable silver-gv

What's Changed

• Show parse errors during test runs by @hgouni in #1
• Merge GV changes with modern viper silver by @ruiz-m in #5
• Revert "Merge GV changes with modern viper silver" by @ruiz-m in #6

New Contributors

• @hgouni made their first contribution in #1
• @ruiz-m made their first contribution in #5

Full Changelog: https://github.com/gradual-verification/silver-gv/commits/v0.1.0