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

jasper SLEC script changes #1003

Merged
merged 13 commits into from
Jun 18, 2024
Merged

jasper SLEC script changes #1003

merged 13 commits into from
Jun 18, 2024

Commits on Jun 12, 2024

  1. jasper SLEC script changes 

    Updated jasper SLEC script for parameters usage. Added assumption files and bind file scripts/slec/cadence folder.
    @mret55
    mret55 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    162574d View commit details
    Browse the repository at this point in the history

  2. Update README.rtf 

    Added license headers
    @mret55
    mret55 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    62c8b57 View commit details
    Browse the repository at this point in the history

  3. Delete .DS_Store

    @mret55
    mret55 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    cc3fe88 View commit details
    Browse the repository at this point in the history

  4. Delete scripts/.DS_Store

    @mret55
    mret55 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    cf61744 View commit details
    Browse the repository at this point in the history

  5. Delete scripts/slec/.DS_Store

    @mret55
    mret55 authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    6483ac1 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Changes made to run.sh. Added a new folder for assume and bind files

    @mret55
    mret55 committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    d4971dc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' of https://github.com/mret55/cv32e40p into dev

    @mret55
    mret55 committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    f700261 View commit details
    Browse the repository at this point in the history

  3. Delete scripts/slec/.DS_Store

    @mret55
    mret55 authored Jun 16, 2024
    Configuration menu
    Copy the full SHA
    5f5dc4e View commit details
    Browse the repository at this point in the history

  4. Delete scripts/.DS_Store

    @mret55
    mret55 authored Jun 16, 2024
    Configuration menu
    Copy the full SHA
    84940f4 View commit details
    Browse the repository at this point in the history

  5. Delete scripts/slec/cadence/.DS_Store

    @mret55
    mret55 authored Jun 16, 2024
    Configuration menu
    Copy the full SHA
    06dc30f View commit details
    Browse the repository at this point in the history

  6. Delete .DS_Store

    @mret55
    mret55 authored Jun 16, 2024
    Configuration menu
    Copy the full SHA
    fd8ddc0 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Replaced headers in assume and bind files with the ones in formal dir… 

    …. Uncommented the row4 trigger_match_i assertion from controller_assert file
    @mret55
    mret55 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4951be4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' of https://github.com/mret55/cv32e40p into dev

    @mret55
    mret55 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    f5ce76d View commit details
    Browse the repository at this point in the history