What's Changed
- Fixes for Issue38 & Issue40 by @jennalwise in #41
- Issue42 by @jennalwise in #43
- Issue46 by @jennalwise in #47
- initial opt for issue-35; opt perms for framing added to OH in produce by @jennalwise in #48
- Minor changes to improve source line and column position reporting. by @advancingdragon in #57
- Modifications for debugger support by @advancingdragon in #58
- Added loop invariant logging and path condition formatting. by @advancingdragon in #59
- Enable short-circuiting eval for And/Or by @pgupta751 in #61
New Contributors
- @advancingdragon made their first contribution in #57
- @pgupta751 made their first contribution in #61
Full Changelog: https://github.com/gradual-verification/silicon-gv/commits/v0.1.0
Contributors
advancingdragon, jennalwise, and pgupta751