Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot

Stars: 583
Forks: 45
Open Issues: 15

License: None
Language: Haskell
Repo Size: 4.4 MB
Dependencies: 87

Created: almost 9 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago

Topics: c, copilot, embedded-systems, haskell, runtime-verification, rv, stream

Files

Loading...

Readme

Loading...

Dependencies

copilot-language/copilot-language.cabal hackage

array ==0.5.*
base >=4.9 && <5
containers >=0.4 && <0.7
copilot-core ==3.10.*
copilot-theorem ==3.10.*
data-reify ==0.6.*
mtl >=2.0 && <3
HUnit * test
QuickCheck * test
base * test
copilot-core * test
copilot-language * test
pretty * test
test-framework * test
test-framework-hunit * test
test-framework-quickcheck2 * test

copilot-libraries/copilot-libraries.cabal hackage

base >=4.9 && <5
containers >=0.4 && <0.7
copilot-language ==3.10.*
mtl >=2.0 && <2.4
parsec >=2.0 && <3.2

copilot/copilot.cabal hackage

base >=4.9 && <5
base *
copilot *
copilot-c99 ==3.13.*
copilot-c99 *
copilot-core ==3.13.*
copilot-core *
copilot-language ==3.13.*
copilot-libraries ==3.13.*
copilot-libraries *
copilot-theorem ==3.13.*
copilot-theorem *
directory ==1.3.*
filepath ==1.4.*
optparse-applicative >=0.14 && <0.18

copilot-c99/copilot-c99.cabal hackage

base >=4.9 && <5
copilot-core ==3.13.*
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
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

copilot-interpreter/copilot-interpreter.cabal hackage

base >=4.9 && <5
copilot-core ==3.13.*
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

copilot-prettyprinter/copilot-prettyprinter.cabal hackage

base >=4.9 && <5
copilot-core ==3.13.*
pretty >=1.0 && <1.2

copilot-theorem/copilot-theorem.cabal hackage

base >=4.9 && <5
bimap ==0.3.* || ==0.5.*
bv-sized >=1.0.2 && <1.1
containers >=0.4 && <0.7
copilot-core ==3.13.*
copilot-prettyprinter ==3.13.*
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.*