Releases: parapluu/Concuerror
Releases · parapluu/Concuerror
0.21.0
0.20
0.19
Added
- Total state space size and time to completion estimation
--first_process_errors_only
option- Parts of aronisstav/erlang-concurrency-litmus-tests as a testsuite
- Codecov code coverage tracking
- contributor's guide
- Github Pull Request and Issue templates
Removed
- untested code for 'hijacking' processes (e.g. application_controller (#2))
Changed
- 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
Fixed
- handling of stacktraces
- exclude instrumentation time from timeouts
0.18
Update CHANGELOG
0.17
Add Homepage link to pages too [ci skip]