Skip to content

Merge branch 'master' into fix-5647-tail-recursion-rust-fixup

698597b
Select commit
Loading
Failed to load commit list.
Merged

Fix: Tail-Recursion for the Dafny-to-Rust compiler #5668

Merge branch 'master' into fix-5647-tail-recursion-rust-fixup
698597b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs