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

[DNM, WIP] 2024/01 catch up with dependencies #25

Closed
wants to merge 9 commits into from

Conversation

nwf-msr
Copy link
Contributor

@nwf-msr nwf-msr commented Jan 13, 2024

These changes catch us up with the (TBA) sail 0.17.2 and riscv/sail-riscv#371 once that lands. Once it does, this series can also bump the submodule commit.

Adapt Alex's 182dc52ef468884f31c0e002118a8c75df0a69fb
Adapts Alex's 3e6a55f69ee74ba5dcbd63506f992151870c24a6
This is a strict subset of the sail-riscv model's riscv_step_rvfi.sail to omit
fregs absent in CHERIoT.
@rmn30
Copy link
Collaborator

rmn30 commented Jan 25, 2024

Looks like you've committed a subrepo pointer with local patches applied so it points at a commit that doesn't exist upstream. As David says we should find a better way to do this.

@nwf-msr nwf-msr closed this Feb 12, 2024
@nwf-msr nwf-msr deleted the 202401-catch-up branch February 12, 2024 16:12
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.

2 participants