Stavros Aronis
Stavros Aronis
Using rebar3: ``` ===> Compiling gproc _build/default/lib/gproc/src/gproc_dist.erl:23: Warning: behaviour gen_leader undefined _build/default/lib/gproc/src/gproc_pool.erl:379: Warning: crypto:rand_uniform/2 is deprecated and will be removed in a future release; use rand:uniform/1 _build/default/lib/gproc/src/gproc_pool.erl:570: Warning: crypto:rand_uniform/2 is...
This PR fixes a bug. **Description** When running `rebar3 compile` on a strange environment (Windows...), a `cmd` command in a `vsn` attribute in an `.app.src` file failed. **Expected behaviour** An...
**Is your feature request related to a problem? Please describe.** In OTP 22 new BIFs that can be involved in races will be officially introduced. They are available already in...
**Describe the bug** Concuerror does not work out-of-the-box with Erlang 24.0, and the first issue one can encounter is lack of support for the new alias mechanism in OTP libraries....
**Is your feature request related to a problem? Please describe.** It is desirable to drop support for earlier versions of Erlang/OTP, in order to eliminate special code, test handling and...
This is a 'maintainer's documentation' issue, which can help when the project is inspected by new developers.
It should be possible to "kill" the tool (e.g. via an OS signal) and still get some meaningful info about the state of exploration.
When applying Concuerror on large software projects it is desirable to be able to use mocks, in order to not modify application code. ## Features: - have arbitrary code in...
The current organisation is at the point where it has to be re-thought. Individual tests could live in their own files and the name of such a file should be...
The summary of commit 4cdf5aa is 'Show available commands if none is specified'. This means that `git issue` == `git issue help`. I'd rather have `git issue` == `git issue...