Skip to content

/ riscv-formal

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

Jump to bottom

Fix PREUNSAT errors in QuickStart Guide Exercise 1 (picorv32) #43

Open
wants to merge 3 commits into
base: master
from
Open

Fix PREUNSAT errors in QuickStart Guide Exercise 1 (picorv32) #43

wants to merge 3 commits into from
+1 −1

Commits on Aug 18, 2020

  1. Pass --nopresat flag to sby

    @DonaldKellett
    DonaldKellett committed Aug 18, 2020
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    35a6553

  2. Remove --nopresat flag in checks/genchecks.py

    Donald Sebastian Leung
    Donald Sebastian Leung committed Aug 18, 2020
    d9c5076

  3. Add --nopresat flag to sby

    Donald Sebastian Leung
    Donald Sebastian Leung committed Aug 18, 2020
    b323abe