v0.2.18

New Features

• Support tuple-based indexing in the Array theory / extension
• Support set-based abstraction of concrete values
• Support abstract interpretation of arrays
• Support fluent-specific abstractions in the abstract interpreter
• Add documentation for abstract interpreter and extension interfaces

Bug Fixes

• Fixed the implementation of satisfy for the abstract interpreter
• Fixed handling of both values in the abstract interpreter
• Fixed the abstraction of Boolean functions
• Fixed implementation of copy for compiled states

Full Changelog: v0.2.17...v0.2.18

v0.2.17

What's Changed

• Support for interpolation of Julia variables and expressions when using the pddl"..." macro to parse PDDL formulae
• Simplified and streamlined the parser's grammar
• Added test cases for PDDL parser
• More informative error messages in execute, regress and transition
• Generic implementations of PDDL.get_precond(action::Action, args)
• Removed dependency on IntervalArithmetic.jl
• Fix white_space matching expression for comments by @ReubenJ in #25
• CompatHelper: bump compat for IntervalArithmetic to 0.22, (keep existing compat) by @github-actions in #26

New Contributors

• @ReubenJ made their first contribution in #25

Full Changelog: v0.2.16...v0.2.17

v0.2.16

• Support checking of type predicates in satisfy for compiled domains

Full Changelog: v0.2.15...v0.2.16

v0.2.15

• Update package compatibility in Project.toml
• Ensure compatibility with latest version of IntervalArithmetic.jl

Full Changelog: v0.2.14...v0.2.15

v0.2.14

Bug fixes to handling nested forall effects in the compiler, and caching of compiled domains.

Full Changelog: v0.2.13...v0.2.14

v0.2.13

• PDDL.no_op is now an alias for pddl"(--)", the term that refers to the no-op action (the corresponding action schema is PDDL.NoOp().)
• Introduced the PDDL.include_no_op! and PDDL.include_no_op utility functions to add the no_op action to a GenericDomain.

v0.2.12

New features and usability improvements:

• Support for domain caching with CachedDomains
• Documentation of utilities (grounding, analysis, caching, etc.)
• Pretty-printing of Domain, Problem, Action and State via Base.display.

v0.2.11

Fixed minor bug in action grounding that occurred when universally quantified effect formulae simplified to (true).

v0.2.10

Bugfixes and performance improvements, including:

• Less repeated work during action grounding
• Avoiding combinatorial explosion during formula dequantification
• Use of static preconditions to restrict grounding where possible
• Faster interpretation of effect formulas
• Removal of (undocumented) support for extended unification

Full Changelog: v0.2.9...v0.2.10

v0.2.9

Fixed various bugs with axiom compilation and PDDL.evaluate, clean up analysis code

Full Changelog: v0.2.8...v0.2.9