All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog and this project adheres to Semantic Versioning.
- moved from Travis to Github Actions
0.21.0 - 2020-10-31
- bash_completion (#308)
- log_all option (#320)
- support for OTP 23.0 (#311)
- support for OTP 16, OTP 17, OTP 18, and OTP 19
- handling of demonitors (#281)
- handling of process_info(..., messages) (#283)
- fixed stacktrace information (#276)
0.20 - 2018-07-15
- edoc documentation (#274)
- support for OTP 21.0 (#264)
- style checking by Elvis (#266)
- base infrastructure for EUnit tests (and CT eventually) (#263)
- use rebar3 for building (#255)
0.19 - 2018-05-21
- Total state space size and time to completion estimation
--first_process_errors_onlyoption- Parts of aronisstav/erlang-concurrency-litmus-tests as a testsuite
- Codecov code coverage tracking
- contributor's guide
- Github Pull Request and Issue templates
- untested code for 'hijacking' processes (e.g. application_controller (#2))
- progress bar format
- symbolic PIDs are now shown as "<symbol/last registered name>"
- report shows mailbox contents when a deadlock is detected
- significantly optimized DPOR implementations
- moved concuerror executable to /bin directory
- handling of stacktraces
- exclude instrumentation time from timeouts
0.18 - 2018-02-20
--observersoption as a synonym of--use_receive_patterns- Support for erlang:hibernate/3
- Support for more safe built-in operations
- A Changelog
- Completely reworked the implementation of
--use_receive_patterns --use_receive_patternsdefault is nowtrue
- Handling of exit_signals sent to self() (#5)