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

Add the is operator to Dafny #153

Merged
merged 10 commits into from
Nov 16, 2023
Merged

Add the is operator to Dafny #153

merged 10 commits into from
Nov 16, 2023

Commits on Nov 8, 2023

  1. Update to generate is operator 

    Generators may generate `is` based on an `enable_is` flag. This is
disabled for differential testing because `is` is not modeled in dafny,
but it is enabled for property tests.
    @john-h-kastner-aws
    john-h-kastner-aws committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    25b4f31 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Merge remote-tracking branch 'origin/main' into feature/jkastner/is

    @john-h-kastner-aws
    john-h-kastner-aws committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    156f610 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. first pass at adding

    @khieta
    khieta committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c83145a View commit details
    Browse the repository at this point in the history

  2. generaate is head

    @john-h-kastner-aws
    john-h-kastner-aws committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    f5ae7d3 View commit details
    Browse the repository at this point in the history

  3. fixup

    @john-h-kastner-aws
    john-h-kastner-aws committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    ed171e7 View commit details
    Browse the repository at this point in the history

  4. fmt

    @john-h-kastner-aws
    john-h-kastner-aws committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    483b7a9 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'feature/jkastner/is' into dafny-is-operator

    @khieta
    khieta committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c8f734b View commit details
    Browse the repository at this point in the history

  6. fix json deserialization

    @khieta
    khieta committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    510bc32 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into dafny-is-operator

    @khieta
    khieta committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    c24a064 View commit details
    Browse the repository at this point in the history

  8. fix json deserialization

    @khieta
    khieta committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    e8885df View commit details
    Browse the repository at this point in the history