PDDL - 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: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.17...v0.2.18

- Julia
Published by ztangent almost 2 years ago

PDDL - 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 https://github.com/JuliaPlanners/PDDL.jl/pull/25
• CompatHelper: bump compat for IntervalArithmetic to 0.22, (keep existing compat) by @github-actions in https://github.com/JuliaPlanners/PDDL.jl/pull/26

New Contributors

• @ReubenJ made their first contribution in https://github.com/JuliaPlanners/PDDL.jl/pull/25

Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.16...v0.2.17

- Julia
Published by ztangent over 2 years ago

PDDL - v0.2.16

• Support checking of type predicates in satisfy for compiled domains

Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.15...v0.2.16

- Julia
Published by ztangent over 2 years ago

PDDL - v0.2.15

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

Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.14...v0.2.15

- Julia
Published by ztangent almost 3 years ago

PDDL - v0.2.14

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

Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.13...v0.2.14

- Julia
Published by ztangent almost 3 years ago

PDDL - 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.

- Julia
Published by ztangent over 3 years ago

PDDL - 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.

- Julia
Published by ztangent over 3 years ago

PDDL - v0.2.11

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

- Julia
Published by ztangent over 3 years ago

PDDL - 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: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.9...v0.2.10

- Julia
Published by ztangent almost 4 years ago

PDDL - v0.2.9

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

Full Changelog: https://github.com/JuliaPlanners/PDDL.jl/compare/v0.2.8...v0.2.9

- Julia
Published by ztangent almost 4 years ago

PDDL - v0.2.8

Improved support for PDDL axioms, including: - Support for axioms in compiler and abstract interpreter. - Support for converting axioms to ground actions.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.7

Fixed another compiler warmup bug.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.6

Add support for integer and numeric arrays, fixed compiler warmup bug.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.5

Fix bugs with parsing and writing.

Parsing of floating point numbers now works as expected, and hashes # can be used in variable and constant names.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.4

Improved action grounding efficiency for untyped domains, implemented query reordering to speed up calls to satisfiers.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.3

Improved extension modularity for custom value-to-term conversions (e.g. in custom theories that introduce new types). Fixed performance regression from constructing dictionary of global functions during formula evaluation.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.2

Improvements to extension interfaces: precompilation is now supported when new datatypes, predicates or functions are registered by dependent modules.

- Julia
Published by ztangent about 4 years ago

PDDL - v0.2.1

Changelog - Faster accessor methods for compiled states - Various bugfixes and minor improvements

- Julia
Published by ztangent over 4 years ago

PDDL - v0.2.0

Changelog / New Features - Newly defined method interface and system of abstract datatypes, which support multiple concrete implementations - Abstract interpretation of PDDL semantics for use by relaxation-based planning heuristics - Domain compilation for increased speed and reduced memory usage - Domain grounding and static analysis (supports ADL, universal and existential preconditions) - Support for attaching custom theories for new datatypes (e.g. sets, arrays) - Support for custom abstractions for PDDL datatypes - Significant refactoring to aid extensibility and modularity

- Julia
Published by ztangent over 4 years ago

PDDL - v0.1.3

Bug fixes and parsing improvements.

- Julia
Published by ztangent over 5 years ago

PDDL - v0.1.2

Fixed bug introduced by new Julog parsing hygiene.

- Julia
Published by ztangent over 5 years ago

PDDL -

Make domain parsing extensible, support external functions / semantic attachments.

- Julia
Published by ztangent almost 6 years ago

PDDL -

Initial release, with support for all of PDDL 1.1, as well as numeric fluents.

- Julia
Published by ztangent almost 6 years ago