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

Enforce a maximum visit limit to avoid numeric overflow #562

Open
wants to merge 10 commits into
base: next
Choose a base branch
from
Open

Enforce a maximum visit limit to avoid numeric overflow #562

wants to merge 10 commits into from

Commits on Apr 28, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed Apr 28, 2018
    Configuration menu
    Copy the full SHA
    ae332a4 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 1, 2018
    Configuration menu
    Copy the full SHA
    99e1bd7 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 3, 2018
    Configuration menu
    Copy the full SHA
    2f5ad3f View commit details
    Browse the repository at this point in the history

Commits on May 5, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 5, 2018
    Configuration menu
    Copy the full SHA
    a1944b2 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 5, 2018
    Configuration menu
    Copy the full SHA
    ca7b6a3 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 5, 2018
    Configuration menu
    Copy the full SHA
    f1d601d View commit details
    Browse the repository at this point in the history

Commits on May 6, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 6, 2018
    Configuration menu
    Copy the full SHA
    51d8a36 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2018

  1. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 8, 2018
    Configuration menu
    Copy the full SHA
    2c0007a View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'refs/remotes/glinscott/next' into next

    @Tilps
    Tilps committed May 8, 2018
    Configuration menu
    Copy the full SHA
    1d061eb View commit details
    Browse the repository at this point in the history

  3. Apply an upper bound to visits during search 

    The existing limit on nodes is not sufficient to avoid integer overflow
of visit count, if search starts visiting terminal states, as terminal
state visits never result in new children being added.
    @Tilps
    Tilps committed May 8, 2018
    Configuration menu
    Copy the full SHA
    1c4ff99 View commit details
    Browse the repository at this point in the history