Bump verif/core-v-verif from 6779193
to 4f9dd2a
#29
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.
Bumps verif/core-v-verif from
6779193
to4f9dd2a
.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-params54c6474
Merge pull request #2400 from ThalesSiliconSecurity/fix_cvxif8a866ba
Add a comment for each proprty and sequence7830e8c
Remove strong operator in cvxif SVA to match VCS 2023 versionc68d6e8
Fix Spike buildbreaker: a leftover 'std::any' occurrence in Proc.cc.3630a6c
Merge pull request #2398 from ThalesSiliconSecurity/cvxif_fixb14c6f3
[Spike params] Replace 'any a' with separate typed fields. Adapt API.55f585b
[Spike params] Add help message for '--param PATH=VALUE' option.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)