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