Use Listable to prove equality of registers and opcodes #845
JasonGrosscoq-docker.yml
on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
docker-check-all
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ExtractionHaskell-source-master
|
23.5 MB |
|
|
ExtractionJsOfOCaml-source-master
|
6.05 MB |
|
|
ExtractionOCaml-master
|
868 MB |
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1020 MB |
|
|
standalone-docker-coq-dev
|
11.7 MB |
|