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

WIP: Improve handling of implicit conjunction. #83

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

WIP: Improve handling of implicit conjunction. #83

wants to merge 13 commits into from
+379 −176

Commits on Sep 22, 2021

  1. Improve handling of implicit conjunction. 

    Now issue warnings when it happens, and rewrite. Someday this will be gone...
    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    fb091ac View commit details
    Browse the repository at this point in the history

  2. Update manual for deprecating implicit conjunction.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    ab5ae6f View commit details
    Browse the repository at this point in the history

  3. Restore missing patch to declarations.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    3103639 View commit details
    Browse the repository at this point in the history

  4. Fixes to precondition processing.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    b6de454 View commit details
    Browse the repository at this point in the history

  5. Typo in keyword.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    0429d7a View commit details
    Browse the repository at this point in the history

  6. Re-fix condition slot-type.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    db2162d View commit details
    Browse the repository at this point in the history

  7. Adjust test for changed result. 

    Changing the treatment of implicit conjunction changed the return from Openstacks plan problem, but still gives valid PDDL plan, so adjusting the comparison.
    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    ab6dc98 View commit details
    Browse the repository at this point in the history

  8. Adapt another test.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    5e5ab39 View commit details
    Browse the repository at this point in the history

  9. Fix PROCESS-PRE function. 

    Previously, it was used both for preconditions and for add and delete lists, which made it a mess.  Added `process-add-or-delete` function to handle the latter.
    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    c435ccb View commit details
    Browse the repository at this point in the history

  10. Cosmetic fixes to theorem-prover. 

    Mostly better comments, and excised some long dead code.
    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    927b523 View commit details
    Browse the repository at this point in the history

  11. Better include for Openstacks domain definition.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    83f0746 View commit details
    Browse the repository at this point in the history

  12. Fixes to PDDL validation.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    c6e3093 View commit details
    Browse the repository at this point in the history

  13. Tweaks to result handling in theorem-prover.

    @rpgoldman
    rpgoldman committed Sep 22, 2021
    Configuration menu
    Copy the full SHA
    366091f View commit details
    Browse the repository at this point in the history