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

Another lebensohl situation #100

Merged
merged 12 commits into from
Sep 21, 2024
Merged

Another lebensohl situation #100

merged 12 commits into from
Sep 21, 2024

Commits on Sep 20, 2024

  1. define a game-forcing hand

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    6e5cc0c View commit details
    Browse the repository at this point in the history

  2. define EDSL.hasStopper

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    f9cb977 View commit details
    Browse the repository at this point in the history

  3. add GF bids of new suits at the 3 level

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    f17145b View commit details
    Browse the repository at this point in the history

  4. start of a Situations for the GF bids, not done

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    ee10beb View commit details
    Browse the repository at this point in the history

  5. rename import shortcut B -> Leb

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    d892468 View commit details
    Browse the repository at this point in the history

  6. parameterize correctly

    @penguinland
    penguinland committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    ca5a81d View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2024

  1. debugging

    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    2f13f50 View commit details
    Browse the repository at this point in the history

  2. refactor shared code

    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    3a7680e View commit details
    Browse the repository at this point in the history

  3. refactor even more shared code

    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    28e0f59 View commit details
    Browse the repository at this point in the history

  4. debugging

    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    7e67ba7 View commit details
    Browse the repository at this point in the history

  5. figure out unresolved problem re: both majors in Cappelletti and show… 

    …ing diamonds
    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    9ce8d43 View commit details
    Browse the repository at this point in the history

  6. remove unnecessary wraps in nested <~ statements

    @penguinland
    penguinland committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    6f13147 View commit details
    Browse the repository at this point in the history