Settings View Source Makina Changelog

legend

Legend

• [+] Added for new features
• [-] Removed for now removed features
• [C] Changed for changes in existing functionality
• [F] Fixed for any bug fixes
• [O] Obsolete for soon-to-be removed features
• [T] Technical change that doesn't affect the API (eg. refactoring, tooling, etc.)

next-release

Next release

0-3-0

0.3.0

• [+] New Makina constructions:
  • Command
    • abstract commands.
    • valid (says if the generated call is successful).
• [C] Some changes in the original composition rules and callbacks:
  • Command
    • callbacks can now return nil.
  • Composition
    • extension always refines the base callbacks.
    • improved parallel composition rules.
• [F] Generated code now doesn't produce Dialyzer warnings.
• [T] Improved internal documentation.
• [-] Tracer removed, it is no longer needed.
• [T] Move tests to this repository.

0-2-2

0.2.2

• [T] Documentation improved.

0-2-1

0.2.1

• [+] Initial public release of Makina. Supported constructions:
  • State
    • attribute names
    • initial values
    • types
    • invariants
  • Command
    • argument names
    • types
    • pre (precondition)
    • arg (argument generators)
    • valid args (precondition used during shrinking)
    • call (the call to system under test)
    • next (calculates the next state of the model)
    • post (postcondition that compares the system under test result with the model)
  • Composition
    • Extension (inheritance)
    • Parallel composition