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

Add support for the ARM64 Linux platform #2757

Merged
merged 9 commits into from
Sep 12, 2023

Conversation

adpaco-aws
Copy link
Contributor

Description of changes:

This PR adds support for the aarch64-unknown-linux-gnu platform (ARM64 Linux). It does not include installation nor CI workflows, only manually-tested support.

The main complication came from the concrete playback feature (#2718), which returns characters instead of numbers for interpreted values in some cases. This PR includes a fix to convert them into their ASCII values.

Resolved issues:

Resolves #1367
Resolves #2718

Call-outs:

Testing:

  • How is this change tested? Manually, with existing tests on an ARM64 machine.

  • Is this a refactor change? No.

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@adpaco-aws adpaco-aws requested a review from a team as a code owner September 12, 2023 19:38
Copy link
Contributor

@jaisnan jaisnan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! But I wonder if we should include documentation changes to the same PR?

@adpaco-aws adpaco-aws enabled auto-merge (squash) September 12, 2023 22:38
@adpaco-aws adpaco-aws merged commit 246be41 into model-checking:main Sep 12, 2023
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Concrete playback prints characters for interpreted values in ARM64 Linux Buid Kani on arm linux
3 participants