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

Automatic PR dev->master #873

Merged
merged 7 commits into from
Sep 14, 2023
Merged

Automatic PR dev->master #873

merged 7 commits into from
Sep 14, 2023

Commits on Sep 7, 2023

  1. Adding memory access to rvfi trace log

    Yoann Pruvost committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    692165c View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. RVFI - Better mask for memory access

    Yoann Pruvost committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    d85ea99 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #871 from YoannPruvost/dev_rvfi_trace_log 

    Adding physical address for memory access on rvfi trace log
    @davideschiavone
    davideschiavone authored Sep 12, 2023
    Configuration menu
    Copy the full SHA
    531b867 View commit details
    Browse the repository at this point in the history

  3. RVFI - better dcsr reporting

    Yoann Pruvost committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    479141d View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. RVFI - Improving cv.lbu reporting on corner case

    Yoann Pruvost committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    d56010a View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Removing unused code

    Yoann Pruvost committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    e1c6e75 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #872 from YoannPruvost/dev_rvfi_debug 

    RVFI - fixing dcsr reporting and cv.lbu reporting issue when in debug test
    @davideschiavone
    davideschiavone authored Sep 14, 2023
    Configuration menu
    Copy the full SHA
    d0f3305 View commit details
    Browse the repository at this point in the history