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

uc-crux-llvm: Prefer `TypeApplications` when using `Proxy` #938

Merged

langston-barrett merged 1 commit into master from lb/type-apps-proxy

Dec 9, 2021

Contributor

langston-barrett commented Dec 9, 2021

Fixes #937


          uc-crux-llvm: Prefer TypeApplications when using Proxy

ed6ac76

langston-barrett added the uc-crux label

langston-barrett requested a review from travitch

December 9, 2021 17:46

langston-barrett self-assigned this

travitch approved these changes

View reviewed changes

langston-barrett merged commit 0d01800 into master

langston-barrett deleted the lb/type-apps-proxy branch

December 9, 2021 19:29

robdockins added a commit to GaloisInc/saw-script that referenced this pull request


          Bump submodules

6be04af

Pulls in:
GaloisInc/what4#176
GaloisInc/what4#177
GaloisInc/what4#179
GaloisInc/what4#181

GaloisInc/crucible#945
GaloisInc/crucible#952
GaloisInc/crucible#948
GaloisInc/crucible#950
GaloisInc/crucible#947
GaloisInc/crucible#946
GaloisInc/crucible#944
GaloisInc/crucible#943
GaloisInc/crucible#939
GaloisInc/crucible#938
GaloisInc/crucible#931
GaloisInc/crucible#921
GaloisInc/crucible#933

GaloisInc/macaw#257
GaloisInc/macaw#249
GaloisInc/macaw#246
And a fix for: GaloisInc/macaw#260

Of these, GaloisInc/crucible#945 is the most disruptive, causing
quite a few downstream changes in Macaw and a smaller number here
in SAWScript, addressed in subsequent patches.

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

Labels

uc-crux