pddl

pddl copied to clipboard

Subtype Incompatibility Error with Predicate Term Types

11

### Subject of the issue When a predicate is defined with a type and is called in other places such as an action precondition with a subtype as a term...

mgkwon

Bumps [jinja2](https://github.com/pallets/jinja) from 3.1.3 to 3.1.4. Release notes Sourced from jinja2's releases. 3.1.4 This is the Jinja 3.1.4 security release, which fixes security issues and bugs but does not otherwise...

dependabot[bot]

Don't remove comments when formatting

2

**Is your feature request related to a problem? Please describe.** If, for example, in the command-line I execute `pddl problem problem.pddl` the formatted file will have the comments removed **Describe...

Tonelllo

Bumps [idna](https://github.com/kjd/idna) from 3.4 to 3.7. Release notes Sourced from idna's releases. v3.7 What's Changed Fix issue where specially crafted inputs to encode() could take exceptionally long amount of time...

dependabot[bot]

Bumps [black](https://github.com/psf/black) from 23.3.0 to 24.3.0. Release notes Sourced from black's releases. 24.3.0 Highlights This release is a milestone: it fixes Black's first CVE security vulnerability. If you run Black...

dependabot[bot]

Support subtraction in preconditions in domains.

11

**Is your feature request related to a problem? Please describe.** The DomainParser cannot seem to handle `(- (function_name object_name) 1)` as part of a precondition. Here is an example domain...

MichaelJFishman

Some minor touchup to preconditions and fix for minus.

2

## Proposed changes Forgo negating an expression for the ability to subtract two expressions. ## Fixes Fixes #100, but also breaks the use of `-` as something that negates. ##...

haz

Add more linters/code-quality tools

2

**Is your feature request related to a problem? Please describe.** Consider adding more linters, e.g.: ~- [ ] `darglint`~ ~- [ ] `pylint`~ ~- [ ] `flake8-eradicate`~ ~- [x] ~`flake8-isort`~...

marfvr

Types validation is case sensitive

5

### Subject of the issue When types are validated, if the same type is written with different cases (e.g., sometimes capitalized sometimes not), the parser throws an error. The specific...

francescofuggitti

Add more consistency checks

2

## Proposed changes Improve consistency check of PDDL domains and problems instances. ## Fixes n/a ## Types of changes What types of changes does your code introduce? _Put an `x`...

marfvr