Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / StanleyRoberts / saw-script-vim
Better vim support
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/StanleyRoberts%2Fsaw-script-vim
Fork of GaloisInc/saw-script
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 27.2 MB
Dependencies:
211
Created: over 1 year ago
Updated: 10 months ago
Last pushed: over 1 year ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
s2nTests/docker-compose.yml
docker
saw/Dockerfile
docker
saw-remote-api/Dockerfile
docker
- base >=4.9 && <5
- base >=4.7 && <5
- bv-sized *
- bytestring *
- containers *
- crucible *
- crux *
- crux-mir *
- crux-mir-comp *
- cryptol *
- cryptol-saw-core *
- lens *
- mtl *
- parameterized-utils >=1.0.8
- prettyprinter >=1.7.0
- saw-core *
- saw-core-what4 *
- saw-script *
- tasty >=0.10
- tasty-golden >=2.3
- tasty-hunit >=0.10
- tasty-quickcheck >=0.8
- template-haskell *
- text *
- transformers *
- vector *
- what4 *
- QuickCheck * test
- aig * test
- base >=4.7 test
- bytestring * test
- config-schema * test
- config-value * test
- containers * test
- crucible * test
- crux * test
- crux-mir * test
- crux-mir-comp * test
- deepseq * test
- directory * test
- filepath * test
- parsec * test
- process * test
- tasty >=0.10 test
- tasty-expected-failure >=0.11 test
- tasty-golden >=2.3 test
- tasty-hunit >=0.10 test
- tasty-quickcheck >=0.8 test
- temporary >=1.3 test
- utf8-string * test
heapster-saw/heapster-saw.cabal
hackage
rme/rme.cabal
hackage
- base ==4.*
- containers *
- vector *
saw-core/saw-core.cabal
hackage
saw-core-aig/saw-core-aig.cabal
hackage
saw-core-coq/saw-core-coq.cabal
hackage
saw-core-sbv/saw-core-sbv.cabal
hackage
- base ==4.*
- containers *
- lens *
- mtl *
- saw-core *
- sbv >=8.10 && <8.16
- text *
- transformers *
- vector *
- base >=4.9
- bv-sized >=1.0.0
- containers *
- lens *
- mtl *
- panic *
- parameterized-utils >=1.0.8 && <2.2
- reflection *
- saw-core *
- text *
- transformers *
- vector *
- what4 *
saw-script.cabal
hackage
- alex >=3.1.3 build
- happy >=1.9.4 build
- saw-script * build
- IfElse *
- QuickCheck *
- aeson >=1.4.2 && <2.0
- aig *
- ansi-terminal *
- array *
- base >=4
- bimap *
- binary *
- bv-sized ==1.0.*
- bytestring *
- constraints >=0.6
- containers *
- crucible >=0.4
- crucible-jvm *
- crucible-llvm >=0.2
- cryptol *
- cryptol-saw-core *
- deepseq *
- directory >=1.2.4.0
- directory *
- either *
- elf-edit *
- exceptions *
- executable-path *
- extra *
- fgl *
- filepath *
- flexdis86 *
- free *
- galois-dwarf >=0.2.2
- haskeline *
- heapster-saw *
- hobbits >=1.3.1
- jvm-parser *
- language-sally *
- lens *
- llvm-pretty >=0.8
- llvm-pretty-bc-parser >=0.1.3.1
- macaw-base *
- macaw-symbolic *
- macaw-x86 *
- macaw-x86-symbolic *
- modern-uri >=0.3.2 && <0.4
- mtl >=2.1
- mtl *
- old-locale *
- old-time *
- panic *
- parameterized-utils *
- parsec *
- pretty *
- pretty-show *
- prettyprinter *
- process *
- reflection *
- rme *
- saw-core *
- saw-core-aig *
- saw-core-coq *
- saw-core-sbv *
- saw-core-what4 *
- saw-script *
- sbv >=8.10 && <8.16
- split *
- template-haskell *
- temporary *
- terminal-size *
- text *
- time *
- transformers *
- transformers-compat *
- unordered-containers *
- utf8-string *
- vector *
- what4 >=0.4
- what4-transition-system *
- zenc *
- base * test
- directory * test
- filemanip * test
- filepath * test
- process * test
- tasty * test
- tasty-expected-failure * test
- tasty-hunit * test
verif-viewer/verif-viewer.cabal
hackage
.github/workflows/ci.yml
actions
- GaloisInc/.github/actions/cabal-collect-bins v1 composite
- abatilo/actions-poetry v2.0.0 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/setup-java v1 composite
- actions/setup-python v2 composite
- actions/upload-artifact v2 composite
- crazy-max/ghaction-docker-meta v1 composite
- docker/build-push-action v2 composite
- docker/login-action v1 composite
- docker/setup-buildx-action v1 composite
- haskell/actions/setup v1 composite
- ocaml/setup-ocaml v2 composite
- rlespinasse/github-slug-action v3.x composite
- satackey/action-docker-layer-caching v0.0.11 composite
- mypy 0.812 develop
- mypy-extensions 0.4.3 develop
- typed-ast 1.4.3 develop
- argo-client 0.0.10
- bitvector 3.5.0
- certifi 2021.10.8
- charset-normalizer 2.0.12
- cryptol 2.12.4
- idna 3.3
- requests 2.27.1
- typing-extensions 4.2.0
- urllib3 1.26.9