Update dependency: llvm-backend/src/main/native/llvm-backend #3883
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…2941c49630893c944faf9b5b59
added 6 commits
December 18, 2023 16:50
…meverification/llvm-backend
…9f63f884fc415759727af23fdd
…fe0d189c22db1fa3040f789de5
This was referenced Dec 20, 2023
rv-jenkins
pushed a commit
to runtimeverification/llvm-backend
that referenced
this pull request
Dec 20, 2023
The frontend test suite catches a bug introduced in #933, where byte literal values that overflow a signed character are printed incorrectly. I took a look at the best place to test this (i.e. whether it was worth backporting the relevant test into the backend test suite), and it is indeed in the frontend because of the way that we provide test cases in each project. I have run the downstream K test suite and verified that it passes with this fix applied. Fixes: runtimeverification/k#3883
Baltoli
approved these changes
Dec 20, 2023
|
CI got confused here when I accidentally closed the PR branch; I had to push the commit manually to get CI to get the update and trigger a run |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.