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)

Wiki: cram_core/ChangeList (last edited 2012-09-24 15:25:46 by Lorenz Mösenlechner)