Packages

concuerror

0.20.0

0.21.0 0.20.0

Concuerror: Stateless Model Checking tool for Erlang programs

HexDocs

Current section

Files

Jump to

Readme 2 Versions 1 Dependency Dependants Files Activity

concuerror src concuerror.app.src

Raw

src/concuerror.app.src

{application,concuerror,
             [{description,"Concuerror: Stateless Model Checking tool for Erlang programs"},
              {vsn,"0.20.0"},
              {applications,[kernel,stdlib]},
              {maintainers,["Stavros Aronis","Kostis Sagonas"]},
              {licenses,["BSD-2-Clause"]},
              {links,[{"Github","https://github.com/parapluu/Concuerror"},
                      {"Website","http://parapluu.github.io/Concuerror"}]}]}.

Search filters

Type any of these into the search box. They can be combined with free text which searches package names and descriptions.

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

Wrap values in double quotes to include spaces, e.g. name:"my package".