Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GaloisInc / pate
Patches Assured up to Trace Equivalence
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fpate
Stars: 14
Forks: 2
Open Issues: 88
License: other
Language: Haskell
Repo Size: 7.17 MB
Dependencies:
41
Created: almost 4 years ago
Updated: 1 day ago
Last pushed: about 3 hours ago
Last synced: about 3 hours ago
Topics: arm, binary-analysis, compositional-verification, powerpc, static-analysis, verification
Files
Loading...
Readme
Loading...
Dependencies
pate.cabal
hackage
- aeson *
- ansi-terminal >=0.7 && <0.12
- ansi-wl-pprint *
- asl-translator *
- async *
- dismantle-ppc *
- dismantle-tablegen *
- lumberjack >=0.1 && <1.1
- macaw-aarch32 *
- macaw-aarch32-symbolic *
- macaw-loader-aarch32 *
- macaw-loader-ppc *
- macaw-ppc *
- macaw-ppc-symbolic *
- parameterized-utils *
- prettyprinter *
- prettyprinter-ansi-terminal ==1.1.*
- semmc-aarch32 *
- semmc-ppc *
- threepenny-gui ==0.9.*
- time *
- what4 *
- asl-translator * test
- dismantle-arm-xml * test
- dismantle-ppc * test
- dismantle-tablegen * test
- galois-dwarf * test
- macaw-aarch32 * test
- macaw-aarch32-symbolic * test
- macaw-loader-aarch32 * test
- macaw-loader-ppc * test
- macaw-ppc * test
- macaw-ppc-symbolic * test
- semmc-aarch32 * test
- semmc-ppc * test
- what4 * test
.github/workflows/main.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- alex-page/github-project-automation-plus v0.8.1 composite
Dockerfile
docker
- ubuntu 20.04 build