concuerror 0.21.0

Concuerror: Stateless Model Checking tool for Erlang programs

License

BSD-2-Clause

Downloads

0 20 40 60 80 Last 30 days, all versions
  • 142 142
    this version
  • 0 0
    yesterday
  • 0 0
    last 7 days
  • 690 690
    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)