Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / esbmc / esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/esbmc%2Fesbmc
Stars: 258
Forks: 88
Open Issues: 464
License: other
Language: C
Repo Size: 42.4 MB
Dependencies:
35
Created: almost 9 years ago
Updated: about 20 hours ago
Last pushed: about 21 hours ago
Last synced: about 20 hours ago
Topics: automated-testing, automated-verification, bmc, c, cheri, cp-solver, cpp, incremental-learning, k-induction, kotlin, python, smt-solver, solidity-contracts
Files
Dependencies
- actions/checkout master composite
- actions/upload-artifact v1 composite
- actions/upload-artifact v2 composite
- hendrikmuhs/ccache-action v1.2 composite
- actions/checkout master composite
- actions/download-artifact v1 composite
- actions/upload-artifact v2 composite
- hendrikmuhs/ccache-action v1.2 composite
- actions/checkout v2 composite
- actions/setup-java v1 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- actions/upload-artifact v1 composite
- hendrikmuhs/ccache-action v1.2 composite
- actions/checkout master composite
- actions/checkout v2 composite
- actions/create-release v1.0.0 composite
- actions/download-artifact v1 composite
- actions/setup-python v2 composite
- actions/upload-artifact v1 composite
- actions/upload-release-asset v1.0.1 composite
- hendrikmuhs/ccache-action v1.2 composite
- actions/checkout v2 composite
- actions/upload-artifact v1 composite
- actions/upload-artifact v2 composite
- actions/checkout v2 composite
- actions/checkout v3 composite
- actions/setup-python v2 composite
- actions/upload-artifact v3 composite
- xu-cheng/latex-action v2 composite
- actions/checkout v2 composite
- actions/upload-artifact v1 composite
- actions/checkout v2 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite