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

Add a "mode" option to cfg file #28

Merged
merged 3 commits into from Aug 9, 2019
Merged

Add a "mode" option to cfg file #28

merged 3 commits into from Aug 9, 2019
+31 −3

Commits on Aug 5, 2019

  1. Add a "mode" option to cfg file 

    Add a "mode" option on .cfg file to define whether you are going for a bmc or an induction proof
    @AlAlves
    AlAlves committed Aug 5, 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
    3d40d10

Commits on Aug 8, 2019

  1. add RISCV_FORMAL_UNBOUNDED variable

    thales
    thales committed Aug 8, 2019
    158e07b

  2. fixed const_2_time

    thales
    thales committed Aug 8, 2019
    6c6d8fa