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

Fixes for problem_generator.py #112

Merged
merged 11 commits into from
Dec 27, 2023
Merged

Fixes for problem_generator.py #112

merged 11 commits into from
Dec 27, 2023

Commits on Dec 18, 2023

  1. problem_generator.py: Simplified config, and runs with default args a… 

    …gain
    @trey0
    trey0 committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    16fa901 View commit details
    Browse the repository at this point in the history

  2. Removed run number argument from planner actions

    @trey0
    trey0 committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    76223a0 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Add support for PlanSys2 terminal output; remove num-orders from config

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    574cb88 View commit details
    Browse the repository at this point in the history

  2. Refactor problem_generator.py to more cleanly support two output formats

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    9dba17c View commit details
    Browse the repository at this point in the history

  3. plan_interpreter.py works with default arguments again

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    43d453e View commit details
    Browse the repository at this point in the history

  4. Update .isort.cfg using scripts/git/configure_isort_paths.sh

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    4016f26 View commit details
    Browse the repository at this point in the history

  5. jem_survey_dynamic.yaml: Remove unused run parameter.

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    c7bc8ec View commit details
    Browse the repository at this point in the history

  6. Fix legacy isort styling error in unrelated file so lint passes

    @trey0
    trey0 committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    33e62c7 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2023

  1. Added let-other-robot-reach constraint so we can solve the full probl… 

    …em with POPF/OPTIC
    @trey0
    trey0 committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    c186b58 View commit details
    Browse the repository at this point in the history

  2. Fix pylint and mypy complaints

    @trey0
    trey0 committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    3091d4a View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2023

  1. Make predicates on one line.

    @bcoltin
    bcoltin committed Dec 26, 2023
    Configuration menu
    Copy the full SHA
    8a3db0c View commit details
    Browse the repository at this point in the history