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 flatMap to the set class in the library #1588

Merged
merged 9 commits into from
Oct 16, 2024
Merged

Add flatMap to the set class in the library #1588

merged 9 commits into from
Oct 16, 2024

Commits on Oct 11, 2024

  1. add flatmap to set

    @samuelchassot
    samuelchassot committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    d7f8c8b View commit details
    Browse the repository at this point in the history

  2. add flatmap postcondition

    @samuelchassot
    samuelchassot committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    ff2043d View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. update set

    @samuelchassot
    samuelchassot committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    d0dc10d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into sam/set

    @samuelchassot
    samuelchassot authored Oct 14, 2024
    Configuration menu
    Copy the full SHA
    4d18542 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Move forall and exists to the SetOps class

    @samuelchassot
    samuelchassot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    0897b25 View commit details
    Browse the repository at this point in the history

  2. move to extension methods instead of implicit class

    @samuelchassot
    samuelchassot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    ce2004e View commit details
    Browse the repository at this point in the history

  3. new timeout for sat precond test

    @samuelchassot
    samuelchassot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    58468a0 View commit details
    Browse the repository at this point in the history

  4. new big timeout

    @samuelchassot
    samuelchassot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    8dc93f4 View commit details
    Browse the repository at this point in the history

  5. ignore sat-precondition/valid/SATPrecond4 with Princess

    @samuelchassot
    samuelchassot committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7e167f8 View commit details
    Browse the repository at this point in the history