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

Don't unwrap when not synthesizing witness. #275

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Don't unwrap when not synthesizing witness. #275

wants to merge 4 commits into from

Commits on Mar 20, 2024

  1. test: added test for sponge api & multiple cs

    @tchataigner
    tchataigner committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    27accef View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. refactor: bellpepper from dev

    @tchataigner
    tchataigner committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    02f8c46 View commit details
    Browse the repository at this point in the history

  2. Don't unwrap when not synthesizing witness.

    @porcuquine @tchataigner
    porcuquine authored and tchataigner committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    497e8d2 View commit details
    Browse the repository at this point in the history

  3. refactor: fixed xclippy 

    Signed-off-by: Thomas Chataigner <[email protected]>
    @tchataigner
    tchataigner committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    c13a31c View commit details
    Browse the repository at this point in the history