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

Bump verif/core-v-verif from 6779193 to 4f9dd2a #29

Conversation

dependabot[bot]
Copy link

@dependabot dependabot bot commented on behalf of github Apr 8, 2024

Bumps verif/core-v-verif from 6779193 to 4f9dd2a.

Commits
  • 4f9dd2a Merge pull request #2401 from ThalesSiliconSecurity/fix/spike-ambiguous-get_e...
  • 6f0235c Fix cva6 issue 1972: Spike crash when using CV-X-IF with another extension.
  • 64f8dc1 Merge pull request #2387 from ThalesSiliconSecurity/feature/spike-cmdline-params
  • 54c6474 Merge pull request #2400 from ThalesSiliconSecurity/fix_cvxif
  • 8a866ba Add a comment for each proprty and sequence
  • 7830e8c Remove strong operator in cvxif SVA to match VCS 2023 version
  • c68d6e8 Fix Spike buildbreaker: a leftover 'std::any' occurrence in Proc.cc.
  • 3630a6c Merge pull request #2398 from ThalesSiliconSecurity/cvxif_fix
  • b14c6f3 [Spike params] Replace 'any a' with separate typed fields. Adapt API.
  • 55f585b [Spike params] Add help message for '--param PATH=VALUE' option.
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [verif/core-v-verif](https://github.com/openhwgroup/core-v-verif) from `6779193` to `4f9dd2a`.
- [Release notes](https://github.com/openhwgroup/core-v-verif/releases)
- [Commits](openhwgroup/core-v-verif@6779193...4f9dd2a)

---
updated-dependencies:
- dependency-name: verif/core-v-verif
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
Copy link
Author

dependabot bot commented on behalf of github Apr 8, 2024

The following labels could not be found: Component:Verif.

Copy link
Author

dependabot bot commented on behalf of github Apr 15, 2024

Superseded by #30.

@dependabot dependabot bot closed this Apr 15, 2024
@dependabot dependabot bot deleted the dependabot/submodules/verif/core-v-verif-4f9dd2a branch April 15, 2024 17:38
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.

0 participants