Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / runtimeverification / iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/runtimeverification%2Fiele-semantics
Stars: 130
Forks: 33
Open Issues: 32
License: other
Language: HTML
Repo Size: 5.47 MB
Dependencies:
898
Created: over 6 years ago
Updated: about 2 years ago
Last pushed: 10 months ago
Last synced: 23 days ago
Files
Loading...
Readme
Loading...
Dependencies
package/docker/Dockerfile
docker
- runtimeverificationinc/kframework-k ubuntu-${DISTRO}-${K_COMMIT} build
- base >=4.7 && <5
- base *
- bifunctors *
- bytestring *
- cereal *
- containers *
- iele-assemble *
- lens *
- parsec ==3.1.*
- pretty *
- sandi *
- template-haskell *
- validation *
- base * test
- iele-assemble * test
- parsec ==3.1.* test
- tasty * test
- tasty-hunit * test
web/package.json
npm
- http-server ^0.12.3 development
- k-web-theme file:k-web-theme
.github/workflows/release.yml
actions
- actions/checkout v2.3.4 composite
- cachix/install-nix-action v14.1 composite
- ttuegel/upload-release.nix v1.0 composite
.github/workflows/test.yml
actions
- actions/checkout v2.3.4 composite
- cachix/cachix-action v10 composite
- cachix/install-nix-action v14.1 composite
.github/workflows/update.yml
actions
- actions/checkout v2.3.4 composite
- cachix/install-nix-action v14.1 composite
Dockerfile
docker
- runtimeverificationinc/kframework-k ubuntu-bionic-${K_COMMIT} build
package/debian/Dockerfile
docker
- ${BASE_IMAGE} latest build