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

Some utilities on invariant names #5

Merged
merged 5 commits into from
Feb 19, 2024
Merged

Some utilities on invariant names #5

merged 5 commits into from
Feb 19, 2024

Commits on Feb 19, 2024

  1. some utilities to relate invariant names and invariants

    @nikswamy
    nikswamy committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    87f3a49 View commit details
    Browse the repository at this point in the history

  2. expose a fresh_invariant construct to allocate an invariant whose nam… 

    …e is fresh w.r.t a list of allocated invariant names
    @nikswamy
    nikswamy committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    bbf1f9d View commit details
    Browse the repository at this point in the history

  3. drop SMT pats

    @nikswamy
    nikswamy committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    467037c View commit details
    Browse the repository at this point in the history

  4. Revert "drop SMT pats" 

    This reverts commit 467037c.
    @nikswamy
    nikswamy committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    e54dc0d View commit details
    Browse the repository at this point in the history

  5. rlimit bump on a pure lemma in Quicksort.Base

    @nikswamy
    nikswamy committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    248a967 View commit details
    Browse the repository at this point in the history