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

Support for numeric fluents and action costs #92

Merged
merged 68 commits into from
Oct 18, 2023
Merged

Support for numeric fluents and action costs #92

merged 68 commits into from
Oct 18, 2023

Commits on Mar 13, 2023

  1. ✅ Add simple hello-world domain & problem for numerical-fluents

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    8c4c724 View commit details
    Browse the repository at this point in the history

  2. 📝 Add requirements files

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    044f38a View commit details
    Browse the repository at this point in the history

  3. 📝 Add docstring to function operators

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    b976080 View commit details
    Browse the repository at this point in the history

  4. ✨ Sort imports

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    f47452c View commit details
    Browse the repository at this point in the history

  5. 📝 Add FunctionOperator __init__ docstrings

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    415b1bb View commit details
    Browse the repository at this point in the history

  6. ✨ Fix pytest warning due to 'setup'

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    4db9885 View commit details
    Browse the repository at this point in the history

  7. 🔥 Remove requirements files

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    10e490e View commit details
    Browse the repository at this point in the history

  8. 🐛 Fix mypy issues

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    409e3a4 View commit details
    Browse the repository at this point in the history

  9. ✅ Pass simple formatter tests for hello world

    @MathisFederico
    MathisFederico committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    36c7f3f View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2023

  1. Merge branch 'main' of github.com:AI-Planning/pddl into feat/numerica… 

    …l-fluents

# Conflicts:
#	pddl/core.py
#	pddl/formatter.py
#	pddl/helpers/base.py
#	pddl/parser/domain.py
#	pddl/parser/symbols.py
#	tests/test_formatter.py
    @francescofuggitti
    francescofuggitti committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    45f383e View commit details
    Browse the repository at this point in the history

  2. add numeric fluents to requirements

    @francescofuggitti
    francescofuggitti committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    2db7227 View commit details
    Browse the repository at this point in the history

  3. fix: types validation for functions

    @francescofuggitti
    francescofuggitti committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    30d6b80 View commit details
    Browse the repository at this point in the history

  4. fix: lark domain file to parse numeric fluents and domain parser

    @francescofuggitti
    francescofuggitti committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    12c676c View commit details
    Browse the repository at this point in the history

  5. fix: formatting tests

    @francescofuggitti
    francescofuggitti committed Oct 7, 2023
    Configuration menu
    Copy the full SHA
    850a09d View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2023

  1. fix: domain parsing

    @francescofuggitti
    francescofuggitti committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    954465d View commit details
    Browse the repository at this point in the history

  2. fix: hello-world problem test

    @francescofuggitti
    francescofuggitti committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    e094558 View commit details
    Browse the repository at this point in the history

  3. fix: equalto call on gd_comparison rule in domain parsing

    @francescofuggitti
    francescofuggitti committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    06591d9 View commit details
    Browse the repository at this point in the history

  4. fix: problem grammar and parsing to support part of numeric fluents

    @francescofuggitti
    francescofuggitti committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    d6ad432 View commit details
    Browse the repository at this point in the history

  5. fix: formatter test as predicates definition in domain is optional

    @francescofuggitti
    francescofuggitti committed Oct 8, 2023
    Configuration menu
    Copy the full SHA
    fc04b29 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. fix: issue on problem parsing causing a failure on the type-check wit… 

    …h the domain
    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f60cd00 View commit details
    Browse the repository at this point in the history

  2. apply style checks

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    f327c19 View commit details
    Browse the repository at this point in the history

  3. update: whitelist.py

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    5802fca View commit details
    Browse the repository at this point in the history

  4. fix: copyright header

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    bb7ca51 View commit details
    Browse the repository at this point in the history

  5. add actions costs and metric specification to domain and problem

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    b3d9d1d View commit details
    Browse the repository at this point in the history

  6. add total cost and metric classes, and fix formatting issues

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    004b842 View commit details
    Browse the repository at this point in the history

  7. update vulture whitelist.py

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    3e9f10e View commit details
    Browse the repository at this point in the history

  8. add consistency check on actions costs and total-cost

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    bbcf49c View commit details
    Browse the repository at this point in the history

  9. add some tests

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    8a215e3 View commit details
    Browse the repository at this point in the history

  10. apply style

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    7e3ad07 View commit details
    Browse the repository at this point in the history

  11. fix linting

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    53a106e View commit details
    Browse the repository at this point in the history

  12. add some further tests

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    92b0113 View commit details
    Browse the repository at this point in the history

  13. apply style

    @francescofuggitti
    francescofuggitti committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    ec33589 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. fix issue #93 and update test, fix other test on function operators

    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    8b91ec0 View commit details
    Browse the repository at this point in the history

  2. adjust the metric class to handle multiple functions

    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    acca31f View commit details
    Browse the repository at this point in the history

  3. add check for the numeric fluents requirement when functions are spec… 

    …ified
    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    86d99d1 View commit details
    Browse the repository at this point in the history

  4. fix empty constants printing and apply style checks

    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3edfa22 View commit details
    Browse the repository at this point in the history

  5. fix empty constants printing and apply style checks

    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    662e3d5 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/feat/numerical-fluents' into fea… 

    …t/numerical-fluents
    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    81b7ad1 View commit details
    Browse the repository at this point in the history

  7. add some tests for building domains and problems with numeric fluents… 

    … and action costs
    @francescofuggitti
    francescofuggitti committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    bedbead View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. fix check for numeric requirement and tests

    @francescofuggitti
    francescofuggitti committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    7b376b4 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. add all new numeric symbols

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    610cb6b View commit details
    Browse the repository at this point in the history

  2. add all new numeric symbols and requirements

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    56118ec View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/feat/numerical-fluents' into fea… 

    …t/numerical-fluents
    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    8515202 View commit details
    Browse the repository at this point in the history

  4. new definition of functions data structure to handle full support to … 

    …numeric fluents
    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    ee87a47 View commit details
    Browse the repository at this point in the history

  5. adjust pddl grammar to handle full numeric fluents and metrics

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    fd36af7 View commit details
    Browse the repository at this point in the history

  6. adjust domain and problem parsers to support all numeric fluents

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    16b6e5b View commit details
    Browse the repository at this point in the history

  7. add missing types checks for new functions classes, and adjust core m… 

    …odule
    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    c0debe5 View commit details
    Browse the repository at this point in the history

  8. adjust tests for the new data structure

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    2484c72 View commit details
    Browse the repository at this point in the history

  9. add numericValue and totalCost rules in the type checker

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    3c090f4 View commit details
    Browse the repository at this point in the history

  10. add scaleUp and scaleDown operators to complete the domain parsing of… 

    … numeric fluents, fix numEffect in domain parsing
    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    1cf7560 View commit details
    Browse the repository at this point in the history

  11. apply isort check

    @francescofuggitti
    francescofuggitti committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    673f539 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2023

  1. fix domain and problem parsing

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    4013d44 View commit details
    Browse the repository at this point in the history

  2. update tests to reflect the new data structure

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    b109722 View commit details
    Browse the repository at this point in the history

  3. add new tests

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    a2b8d99 View commit details
    Browse the repository at this point in the history

  4. update readme and whitelist

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    0e6c359 View commit details
    Browse the repository at this point in the history

  5. add the possibility to parse the deprecated number type of functions

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    83de952 View commit details
    Browse the repository at this point in the history

  6. adjust data structure to parse typed functions

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    09ddc10 View commit details
    Browse the repository at this point in the history

  7. update tests and whitelist

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    64d9f76 View commit details
    Browse the repository at this point in the history

  8. add some more domains with numeric fluents and action costs

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    047313f View commit details
    Browse the repository at this point in the history

  9. apply style checks

    @francescofuggitti
    francescofuggitti committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    fbb0118 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2023

  1. fix functions requirements validation

    @francescofuggitti
    francescofuggitti committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    7986702 View commit details
    Browse the repository at this point in the history

  2. fix functions to_string

    @francescofuggitti
    francescofuggitti committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    6ba1424 View commit details
    Browse the repository at this point in the history

  3. add rovers numeric domain and update whitelist

    @francescofuggitti
    francescofuggitti committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    8a4af87 View commit details
    Browse the repository at this point in the history

  4. decapitalize objects types rovers

    @francescofuggitti
    francescofuggitti committed Oct 14, 2023
    Configuration menu
    Copy the full SHA
    9b57554 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2023

  1. address some of the review comments on the PR

    @francescofuggitti
    francescofuggitti committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    144b615 View commit details
    Browse the repository at this point in the history

  2. fix issue #96 (thanks @marcofavorito) and remove old comments

    @francescofuggitti
    francescofuggitti committed Oct 15, 2023
    Configuration menu
    Copy the full SHA
    7eacf32 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2023

  1. add idempotency into flattening method of operands and fix spotting n… 

    …ested duplicated elements (found by @marcofavorito, thanks!).
    @francescofuggitti
    francescofuggitti committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    2682e2f View commit details
    Browse the repository at this point in the history

  2. remove duplicated code (thanks @haz)

    @francescofuggitti
    francescofuggitti committed Oct 16, 2023
    Configuration menu
    Copy the full SHA
    a18263c View commit details
    Browse the repository at this point in the history