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