Concuerror Versions Save

0.21.0 - 2020-10-31

Added

• bash_completion (#308)
• log_all option (#320)
• support for OTP 23.0 (#311)

Removed

• support for OTP 16, OTP 17, OTP 18, and OTP 19

Changed

• handling of demonitors (#281)
• handling of process_info(..., messages) (#283)

Fixed

• fixed stacktrace information (#276)

0.20 - 2018-07-15

This is the first release also available via https://hex.pm/packages/concuerror

Added

• edoc documentation (#274)
• support for OTP 21.0 (#264)
• style checking by Elvis (#266)
• base infrastructure for EUnit tests (and CT eventually) (#263)

Changed

• use rebar3 for building (#255)

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