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

Double trap - Add Ssdbltrp and Smdbltrp extensions #416

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

ved-rivos
Copy link
Contributor

Copy link

github-actions bot commented Apr 14, 2024

Test Results

712 tests  ±0   712 ✅ ±0   0s ⏱️ ±0s
  6 suites ±0     0 💤 ±0 
  1 files   ±0     0 ❌ ±0 

Results for commit 4c0a4fb. ± Comparison against base commit 40ed0c5.

♻️ This comment has been updated with latest results.

@ved-rivos ved-rivos force-pushed the double_trap branch 2 times, most recently from 64cf632 to 55280d6 Compare April 21, 2024 16:02
@ved-rivos ved-rivos force-pushed the double_trap branch 2 times, most recently from 152392c to 4c0a4fb Compare June 22, 2024 19:32
@ved-rivos
Copy link
Contributor Author

Has a dependence on #396 as Smdbltrp also extends Smrnmi. When #396 is merged this PR will be updated with the additional extensions. This PR should be merged after #396 is merged and the updates included.

@ved-rivos ved-rivos changed the title Double trap - Add unratified Ssdbltrp and Smdbltrp extensions Double trap - Add Ssdbltrp and Smdbltrp extensions Aug 23, 2024
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.

1 participant