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

feat: support BitVec.ofBool in bv_decide #5852

Merged
merged 8 commits into from
Oct 26, 2024
Merged

feat: support BitVec.ofBool in bv_decide #5852

merged 8 commits into from
Oct 26, 2024

Commits on Oct 26, 2024

  1. feat: prepare reflection with additional lemmas

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    edcaa4a View commit details
    Browse the repository at this point in the history

  2. feat: readd implication

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    a5be093 View commit details
    Browse the repository at this point in the history

  3. feat: support ofBool in bv_decide

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    175be6a View commit details
    Browse the repository at this point in the history

  4. test: ofBool in bv_decide

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    682fbf2 View commit details
    Browse the repository at this point in the history

  5. doc: new functions and invariants

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    fe73f24 View commit details
    Browse the repository at this point in the history

  6. doc: lemma reflection monad

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    9139dbf View commit details
    Browse the repository at this point in the history

  7. chore: adapt rewriter tests

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    6515aa2 View commit details
    Browse the repository at this point in the history

  8. doc: fix doc

    @hargoniX
    hargoniX committed Oct 26, 2024
    Configuration menu
    Copy the full SHA
    1be3dc4 View commit details
    Browse the repository at this point in the history