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.

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

Improving PDDL Docs #1784

Merged
merged 4 commits into from
Feb 6, 2024
Merged

Improving PDDL Docs #1784

merged 4 commits into from
Feb 6, 2024

Conversation

ASzot
Copy link
Collaborator

@ASzot ASzot commented Jan 31, 2024

Motivation and Context

Improving documentation around PDDL.

How Has This Been Tested

TBD.

Types of changes

  • [Docs change] Addition or changes to the documentation

@facebook-github-bot facebook-github-bot added the CLA Signed Do not delete this pull request or issue due to inactivity. label Jan 31, 2024
@aclegg3 aclegg3 self-requested a review February 5, 2024 19:06
Copy link
Contributor

@aclegg3 aclegg3 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the doc improvements. :)

@ASzot ASzot marked this pull request as ready for review February 5, 2024 19:07
@aclegg3 aclegg3 changed the title [WIP] Improving PDDL Docs Improving PDDL Docs Feb 5, 2024
@aclegg3 aclegg3 merged commit 0002b02 into main Feb 6, 2024
4 checks passed
@aclegg3 aclegg3 deleted the pddl_docs branch February 6, 2024 23:00
dannymcy pushed a commit to dannymcy/habitat-lab that referenced this pull request Jul 8, 2024
* Added better PDDL docs

* Fixed is_true evaluation

* change type of target for _is_obj_state_true

* avoid circular import

---------

Co-authored-by: aclegg3 <alexanderwclegg@gmail.com>
HHYHRHY pushed a commit to SgtVincent/habitat-lab that referenced this pull request Aug 31, 2024
* Added better PDDL docs

* Fixed is_true evaluation

* change type of target for _is_obj_state_true

* avoid circular import

---------

Co-authored-by: aclegg3 <alexanderwclegg@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed Do not delete this pull request or issue due to inactivity.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants