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

🔍 Implement razoring #429

Merged
merged 10 commits into from
Oct 17, 2023
Merged

🔍 Implement razoring #429

merged 10 commits into from
Oct 17, 2023

Commits on Oct 5, 2023

  1. Implement razoring

    Eduardo Caceres committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    310390a View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. Check that score < beta before applying any razoring, despite the com… 

    …ment in CPW about not doing it for depth == 1
    @eduherminio
    eduherminio committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    b67b0e6 View commit details
    Browse the repository at this point in the history

  2. Reduce Razoring_MaxDepth to 2

    @eduherminio
    eduherminio committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    e64be21 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2023

  1. Merge remote-tracking branch 'origin/main' into search/razoring

    Eduardo Caceres committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    9c63e88 View commit details
    Browse the repository at this point in the history

  2. Remove 4 problematic mate tests

    Eduardo Caceres committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    9eaed01 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. Merge branch 'main' into search/razoring

    @eduherminio
    eduherminio committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    9082209 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into search/razoring

    @eduherminio
    eduherminio committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    cff51c2 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2023

  1. Merge branch 'main' into search/razoring

    @eduherminio
    eduherminio committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    47af755 View commit details
    Browse the repository at this point in the history

  2. Add Razoring CPW link to README

    @eduherminio
    eduherminio committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    a683507 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into search/razoring

    @eduherminio
    eduherminio committed Oct 17, 2023
    Configuration menu
    Copy the full SHA
    f866d9c View commit details
    Browse the repository at this point in the history