0.1.9 (forthcoming)

0.1.8 (2012-09-24)

• cram_designators:

  • added function COPY-DESIGNATOR

  • renamed slot valid to effective.

  • added function MAKE-EFFECTIVE-DESIGNATOR

  • improved handling of default roles

  • location designator validation functions must return :ACCEPT, :MAYBE-REJECT, :UNKNOWN or :REJECT now.

• cram_language:

  • The :name initarg is not mandatory for fluents anymore.

  • Added TRY-EACH-IN-ORDER.

  • Fixed packaging issues.
  • Fixed handling of pulses in fluent networks.

  • Deprecated DEF-PLAN and DEF-TOP-LEVEL-PLAN in favor of DEF-CRAM-FUNCTION and DEF-TOP-LEVEL-CRAM-FUNCTION.

• cram_process_modules:

  • Cleanups: removed unused functionality and parameters.
  • Implemented asynchronous process modules
  • Fixed a race condition in PM-EXECUTE.

0.1.7 (2012-07-18

• Pull lisp_unit from a file server, not from git.

0.1.6 (2012-07-18)

• Many clean-ups.
• Added hooks for failures and process modules.

• Added CUT to cram_reasoning's prolog engine.

• Added lisp-unit testing framework.
• Added many tests.
• Got rid of dependencies on 5am.

• Renamed process_modules and designators to cram_process_modules and cram_designators.

• Deleted liswip.

• Refactored process modules to be able to run different process modules in parallel.

• Added cram_projection.

• Proper handling of suspension in process modules.

0.1.5 (2011-10-14)

• designators:

  • Complete refactoring of location designators

  • Changed the way how designator properties are declared (new macro DEF-DESIG-PACKAGE)

• cram_language: Fixed type declarations and result values on evaporation

• Fixes to work with sbcl 1.0.50

• process_modules: Fixed race-condition

0.1.4 (2011-05-17)

• designators:

  • Added DESIGNATOR-PROPERTY declaration

  • Added functions to get all solutions as a lazy-list

  • New method DESIGNATOR-POSE

  • New method and interface RESOLVE-DESIGNATOR to select different roles under which a designator should be resolved

• cram_reasoning:

  • Added SETOF predicate

  • Added support for lazy-lists in prolog solutions
  • Added CUT operator

• cram_language: Fixed fluent-net wrappers to have the same signature as the CL equivalents

• cram_utilities: Added some more utility functions

0.1.3 (2011-03-04)

• cram_utilities:

  • Added LAZY-TAKE function

  • Fixed LAZY-APPEND function to handle NIL parameters correctly

• cram_reasoning:

  • Prolog facts can be used as fallback solutions for prolog-handlers

  • Added TAKE predicate

  • Added support for lazy-lists in MEMBER predicate

• designators: API change. Renamed REGISTER-DESIGNATOR-TYPE to REGISTER-DESIGNATOR-CLASS

• cram_language:

  • Fixed type declarations

  • Wrapped and shadowed SLEEP because sleep does not respect deadlines

0.1.2

• cram_language:

  • Switched to a new implementation based on message passing
  • Makefiles 3rd party packages download tarballs now instead of checking out repositories

• cram_reasoning:

  • Warn and (prolog-)fail on lisp errors in LISP-PRED and LISP-FUN instead of entering the debugger

  • Added if-then-else operator and TRUE predicate

0.1.1

• 3rd party makefiles create relative links for asdf files now.

0.1.0 (Initial release)