Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GaloisInc / copilot-1
A stream-based runtime-verification framework for generating hard real-time C code.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fcopilot-1
Fork of Copilot-Language/copilot
Stars: 0
Forks: 2
Open Issues: 2
License: None
Language: Haskell
Repo Size: 4.63 MB
Dependencies:
52
Created: almost 3 years ago
Updated: 23 days ago
Last pushed: 26 days ago
Last synced: 23 days ago
Files
Loading...
Readme
Loading...
Dependencies
copilot-c99/copilot-c99.cabal
hackage
- base >=4.9 && <5
- copilot-core ==3.12.*
- directory ==1.3.*
- filepath ==1.4.*
- language-c99 >=0.2.0 && <0.3
- language-c99-simple >=0.2.2 && <0.3
- mtl >=2.2 && <2.4
- pretty ==1.1.*
copilot-core/copilot-core.cabal
hackage
- base >=4.9 && <5
- dlist *
- pretty >=1.0 && <1.2
- HUnit * test
- QuickCheck * test
- base * test
- copilot-core * test
- pretty * test
- test-framework * test
- test-framework-hunit * test
- test-framework-quickcheck2 * test
- base >=4.9 && <5
- copilot-core *
- pretty >=1.0 && <1.2
- QuickCheck * test
- base * test
- copilot-core * test
- copilot-interpreter * test
- copilot-prettyprinter * test
- pretty * test
- test-framework * test
- test-framework-quickcheck2 * test
- base >=4.9 && <5
- copilot-core *
- pretty >=1.0 && <1.2
- base >=4.9 && <5
- bimap ==0.3.* || ==0.5.*
- bv-sized >=1.0.2 && <1.1
- containers >=0.4 && <0.7
- copilot-core ==3.12.*
- copilot-prettyprinter ==3.12.*
- data-default ==0.7.*
- directory ==1.3.*
- libBF >=0.6.2 && <0.7
- mtl >=2.0 && <2.4
- panic >=0.4.0 && <0.5
- parameterized-utils >=2.1.1 && <2.2
- parsec >=2.0 && <3.2
- pretty >=1.0 && <1.2
- process ==1.6.*
- random >=1.1 && <1.3
- transformers >=0.5 && <0.7
- what4 ==1.3.*
- xml ==1.3.*