concuerror 0.20.0
Concuerror: Stateless Model Checking tool for Erlang programs
License
BSD-2-ClauseDownloads
-
601
601
this version -
0
0
yesterday -
0
0
last 7 days -
909
909
all time
Recent Activity
- Oct 31, 2020 Publish documentation for release 0.21.0
- Oct 31, 2020 Publish documentation for release 0.21.0
- Oct 31, 2020 Publish release 0.21.0
- Jul 15, 2018 Publish documentation for release 0.20.0
- Jul 15, 2018 Publish release 0.20.0
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
Owners
Publisher
aronisstav