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 allow_unknown parameter to theta star planner #3286

Merged
merged 5 commits into from
Nov 16, 2022
Merged

Add allow_unknown parameter to theta star planner #3286

merged 5 commits into from
Nov 16, 2022

Commits on Nov 15, 2022

  1. Add allow unknown parameter to theta star planner

    @pepisg
    pepisg committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    33dafae View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2022

  1. Add allow unknown parameter to tests

    @pepisg
    pepisg committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    33dfb23 View commit details
    Browse the repository at this point in the history

  2. missing comma

    @pepisg
    pepisg committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    0638bed View commit details
    Browse the repository at this point in the history

  3. Change cost of unknown tiles

    @pepisg
    pepisg committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    f4a16da View commit details
    Browse the repository at this point in the history

  4. Uncrustify

    @pepisg
    pepisg committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    198078d View commit details
    Browse the repository at this point in the history