{"id":13800815,"url":"https://github.com/parapluu/Concuerror","last_synced_at":"2025-05-13T09:32:01.921Z","repository":{"id":15699868,"uuid":"18437700","full_name":"parapluu/Concuerror","owner":"parapluu","description":"Concuerror is a stateless model checking tool for Erlang programs.","archived":false,"fork":false,"pushed_at":"2025-04-22T07:19:44.000Z","size":11061,"stargazers_count":338,"open_issues_count":17,"forks_count":42,"subscribers_count":15,"default_branch":"master","last_synced_at":"2025-04-22T08:29:29.734Z","etag":null,"topics":["automatic","codecov","codecov-badge","concuerror","concurrent-erlang-programs","concurrent-programming","debugging","erlang","erlang-programs","erlang-versions-badge","model-checker","model-checking","otp","stateless-model-checking","systematic-testing","testing","tool","travis-badge","verification"],"latest_commit_sha":null,"homepage":"http://parapluu.github.io/Concuerror","language":"Erlang","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"boldperspective/Whiteboard-Framework","license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/parapluu.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2014-04-04T12:04:51.000Z","updated_at":"2025-04-22T07:19:40.000Z","dependencies_parsed_at":"2023-02-16T15:46:27.839Z","dependency_job_id":"2d420b29-e560-4056-88bd-7c6a9626dc6e","html_url":"https://github.com/parapluu/Concuerror","commit_stats":{"total_commits":2148,"total_committers":22,"mean_commits":97.63636363636364,"dds":0.3393854748603352,"last_synced_commit":"af3e1cf276aba9864b7cf443fed6184788a776c0"},"previous_names":[],"tags_count":9,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/parapluu%2FConcuerror","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/parapluu%2FConcuerror/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/parapluu%2FConcuerror/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/parapluu%2FConcuerror/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/parapluu","download_url":"https://codeload.github.com/parapluu/Concuerror/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253913248,"owners_count":21983287,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["automatic","codecov","codecov-badge","concuerror","concurrent-erlang-programs","concurrent-programming","debugging","erlang","erlang-programs","erlang-versions-badge","model-checker","model-checking","otp","stateless-model-checking","systematic-testing","testing","tool","travis-badge","verification"],"created_at":"2024-08-04T00:01:16.518Z","updated_at":"2025-05-13T09:31:56.906Z","avatar_url":"https://github.com/parapluu.png","language":"Erlang","funding_links":[],"categories":["Code Analysis"],"sub_categories":[],"readme":"[![Hex Docs][hex badge]][hex]\n[![Tests][tests badge]][tests]\n[![Codecov][codecov badge]][codecov]\n\n# Concuerror\n\nConcuerror is a stateless model checking tool for Erlang programs. It can be used to systematically test programs for concurrency errors, detect and report errors that only occur on few, specific schedulings or **verify** their absence.\n\n[Visit the website][website] for documentation, examples, tutorials, publications, and many more!\n\n## Supported OTP Releases\n\n[![Erlang Versions][erlang versions badge]][tests]\n\n## How to build\n\n* Compile             : `make`\n* Build documentation : `make edoc`\n* Run the testsuites  : `make tests tests-real tests-unit`\n* Run Dialyzer        : `make dialyzer`\n* Run Elvis           : `make lint`\n* Check code coverage : `make cover`\n* Cleanup             : `make clean`\n\nThe preferred way to start concuerror is via the `bin/concuerror` escript.\n\n## Is there bash_completion?\n\n[Yes!][bash_completion]\n\n## Is there a changelog?\n\n[Yes!][changelog]\n\n## How to prepare for a release?\n\n[Read this][release]\n\n## Copyright and License\n\nCopyright (c) 2014-2023,\nStavros Aronis (\u003caronisstav@gmail.com\u003e) and\nKostis Sagonas (\u003ckostis@cs.ntua.gr\u003e).\nAll rights reserved\n\nCopyright (c) 2011-2013,\nAlkis Gotovos (\u003cel3ctrologos@hotmail.com\u003e),\nMaria Christakis (\u003cmchrista@softlab.ntua.gr\u003e) and\nKostis Sagonas (\u003ckostis@cs.ntua.gr\u003e).\nAll rights reserved.\n\nConcuerror is distributed under the Simplified BSD License.\nDetails can be found in the [LICENSE][license] file.\n\n\u003c!-- Links --\u003e\n[bash_completion]: ./resources/bash_completion/concuerror\n[changelog]: ./CHANGELOG.md\n[codecov]: https://codecov.io/gh/parapluu/Concuerror\n[hex]: https://hexdocs.pm/concuerror/\n[license]: ./LICENSE\n[release]: ./resources/how-to-release.md\n[tests]: https://github.com/parapluu/Concuerror/actions/workflows/tests.yml\n[website]: http://parapluu.github.io/Concuerror\n\n\u003c!-- Badges --\u003e\n[codecov badge]: https://codecov.io/gh/parapluu/Concuerror/branch/master/graph/badge.svg\n[erlang versions badge]: https://img.shields.io/badge/erlang-20.3%20to%2023.3-blue.svg\n[hex badge]: https://img.shields.io/badge/hex-docs-green.svg\n[tests badge]: https://github.com/parapluu/Concuerror/actions/workflows/tests.yml/badge.svg\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fparapluu%2FConcuerror","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fparapluu%2FConcuerror","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fparapluu%2FConcuerror/lists"}