V1.3

Simplified primitives for logging variables and events.

v1.2

• Handle event arguments: enable the possibility to log argument of an event when committing, therefore reducing statespace
• Handle argument mapping: enable the possibility to map argument with a TLA+ action by overriding MapArgs operator (enable to handle some partial records for example)
• Add scripts and templates

v1.1

• Rename instrumentation class to BehaviorRecorder
• commitChanges function can throw an IOException, user should now manage it
• Manage and record internal exception in trace file
• Manage user exception record in trace file

Full Changelog: v1.0...v1.1

First stable release

First stable release of instrumentation

• instrumentation to trace
• virtual variables (to link with variable spec) manipulation
• commit changes with description

Stable beta

First beta release of instrumentation tools.