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.

Sign up for GitHub

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

Jump to bottom

Merge from CV32E40X #413

Merged
merged 3 commits into from Mar 6, 2023
Merged

Merge from CV32E40X #413

merged 3 commits into from Mar 6, 2023

Commits on Mar 6, 2023

  1. Bugfix: Mintstatus.mil could be set to zero when an NMI was taken. 

    Guarded CLIC-specific assertions with CLIC parameter to avoid unmet covers while running formal.
Removed unused port wu_wrs_i.

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
    @silabs-oysteink
    silabs-oysteink committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    fc28edd View commit details
    Browse the repository at this point in the history

  2. Merge pull request #796 from silabs-oysteink/silabs-oysteink_nmi-mint… 

    …status-fix

Bugfix: Mintstatus.mil could be set to zero when an NMI was taken.
    @Silabs-ArjanB
    Silabs-ArjanB committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    271d9d5 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'openhw_e40x/master' into silabs-oystein… 

    …k_merge-w10-1

Signed-off-by: Oystein Knauserud <Oystein.Knauserud@silabs.com>
    @silabs-oysteink
    silabs-oysteink committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    77ac82e View commit details
    Browse the repository at this point in the history