Change Log

All notable changes to this project will be documented in this file, which follows the conventions of keepachangelog.com. This project adheres to Semantic Versioning.

Unreleased

...

0.4.1 - 2017-11-04

Changed

• The init-system constructor passed to the test harness should now accept the generated test context as an argument. This gives tests the opportunity to preinitialize the system state using some attributes from the context.
• Renamed on-stop test option to finalize!.

0.4.0 - 2017-10-15

Changed

• Refactored code into separate namespaces for clarity.
• Significantly better reporting output for tests.
• Many improvements to concurrent code.

0.3.0 - 2017-06-09

Changed

• :context-gen option shortened to :context.
• Exceptions thrown during an operation are now caught and used as the operation result.
• World worker thread poll time shortened to 100 ms.

Fixed

• World states visited in a linear scan are properly counted.

0.2.0 - 2017-05-25

This release includes substantial optimizations to searching for valid worldlines during concurrency tests. Rather than naively searching whole histories in a rigid order, worlds are evolved a step at a time, with cheaper worlds (those with fewer possible futures) searched first.

Added

• New world record and functions in test.carly.world namespace.

Changed

• Moved operation protocol and functions to new test.carly.op namespace.
• Many optimizations to the concurrency test world searching.

0.1.0 - 2017-05-21

Initial project release.