Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / niswegmann / copilot-cbmc
cbmc based tool for verifying copilot programs
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/niswegmann%2Fcopilot-cbmc
Stars: 2
Forks: 2
Open Issues: 0
License: other
Language: Haskell
Repo Size: 91.8 KB
Dependencies:
8
Created: almost 13 years ago
Updated: about 10 years ago
Last pushed: over 12 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
copilot-cbmc.cabal
hackage
- base >=4.3 && <5
- bytestring >=0.9
- copilot-c99 >=0.2.4
- copilot-core >=0.2.3
- copilot-sbv >=0.4
- directory >=1.1
- pretty >=1.0.1
- process >=1.0