Updated mir-semantics submodule #142

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

jberthold merged 1 commit into proofs from dc/update-mir-semantics-submodule

Dec 17, 2025

Collaborator

dkcumming commented Dec 17, 2025 •

edited by jberthold

Loading

Python tool updates Update dependency: deps/pyproject-build-systems mir-semantics#893 , Update dependency: deps/uv2nix mir-semantics#892
Function pointer support feat: support terminator call from a function pointer mir-semantics#894
Stable-MIR-JSON update Update dependency: deps/stable-mir-json_release mir-semantics#896, fix: include function pointer arguments in call_edges for reduce_to mir-semantics#898
update spl/p-token.md to use
#execTerminatorCall
Add --fail-fast and --maintainence-rate pyk flags (Add --fail-fast and --maintainence-rate pyk flags #900)


          Updated mir-semantics submodule

9928dd2

dkcumming requested review from Stevengre and jberthold

December 17, 2025 17:01

jberthold approved these changes

View reviewed changes

Member

jberthold left a comment

🚀

jberthold merged commit 73db3ab into proofs

1 check passed

jberthold deleted the dc/update-mir-semantics-submodule branch

December 17, 2025 22:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet