concuerror 0.20.0

Concuerror: Stateless Model Checking tool for Erlang programs

Links

License

BSD-2-Clause

Downloads

0 20 40 60 80 Last 30 days, 0.20.0
  • 514 514
    this version
  • 0 0
    yesterday
  • 2 2
    last 7 days
  • 577 577
    all time

Versions (2)

Dependencies (1)

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

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

rebar3

Owners

Publisher

aronisstav

Dependents (0)

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.