feat: bump dafny verification and code gen to dafny 4.8.0#520
Merged
josecorella merged 26 commits intomainfrom dafny-47Sep 10, 2024
+13,179-1,910
Commits
Commits on Sep 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 7, 2024
- committed