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

Update cores/serv/checks.cfg #21

Merged
merged 1 commit into from May 21, 2019
Merged

Update cores/serv/checks.cfg #21

merged 1 commit into from May 21, 2019
+3 −1

Commits on May 21, 2019

  1. Update cores/serv/checks.cfg 

    @basedir@/cores/@core@/serv-src/rtl/ser_eq.v no more exists on the https://github.com/olofk/serv repository.

I tried with this suggestion and it PASSED.
    @AlAlves
    AlAlves committed May 21, 2019
    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
    251e496