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

[VerifToSMT] Only update registers on clock posedge #7878

Merged
merged 3 commits into from
Nov 25, 2024
Merged

[VerifToSMT] Only update registers on clock posedge #7878

merged 3 commits into from
Nov 25, 2024

Commits on Nov 22, 2024

  1. [VerifToSMT] Only update registers on clock posedge

    @TaoBi22
    TaoBi22 committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    ce9bdcf View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. Drop num_regs/clock check, move num clocks check to pre-application a… 

    …nd fix tests
    @TaoBi22
    TaoBi22 committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    9f7c503 View commit details
    Browse the repository at this point in the history

  2. Drop defunct comment

    @TaoBi22
    TaoBi22 committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    32d00e5 View commit details
    Browse the repository at this point in the history