Skip to content
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.

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

Support up to LLVM 14 #1862

Merged
merged 1 commit into from
May 27, 2023
Merged

Support up to LLVM 14 #1862

merged 1 commit into from
May 27, 2023

Conversation

RyanGlScott
Copy link
Contributor

This adds support for LLVM versions up to 14 by:

@RyanGlScott RyanGlScott requested a review from chameco April 20, 2023 18:28
@RyanGlScott
Copy link
Contributor Author

cabal is failing to produce a build plan because the what4 submodule commit does not currently support tasty-sugar-2.1.*. I could bump the what4 submodule to allow this, but unfortunately, that would bring in the issues observed in #1860 (comment). I'll mark this as a draft until we figure this out.

@RyanGlScott RyanGlScott marked this pull request as draft April 20, 2023 18:57
This adds support for LLVM versions up to 14 by:

* Bumping the `llvm-pretty` submodule to bring in the changes from
  GaloisInc/llvm-pretty#109.
* Bumping the `llvm-pretty-bc-parser` submodule to bring in the changes from
  GaloisInc/llvm-pretty-bc-parser#219.
* Bumping the `crucible` submodule to bring in the changes from
  GaloisInc/crucible#1083.
* Updating the surrounding documentation accordingly.
@RyanGlScott RyanGlScott marked this pull request as ready for review May 26, 2023 21:10
@RyanGlScott RyanGlScott requested a review from kquick May 26, 2023 21:10
@RyanGlScott RyanGlScott added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label May 26, 2023
@mergify mergify bot merged commit 79f69bf into master May 27, 2023
@mergify mergify bot deleted the llvm-14 branch May 27, 2023 01:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants