runtimeverification/plutus-core-semantics

This is stars and forks stats for /runtimeverification/plutus-core-semantics repository. As of 09 May, 2024 this repository has 26 stars and 4 forks.

KPlutus - K Semantics of Plutus-Core Dependencies Install needed K dependencies: https://github.com/kframework/k Update submodules: git submodule update --init --recursive Make dependencies: make deps RELEASE=true Ubuntu (20.04 Focal, 22.04 Jammy) sudo apt-get install build-essential m4 openjdk-11-jdk libgmp-dev libmpfr-dev pkg-config flex bison z3 libsecp256k1-dev libz3-dev maven python3 python3-dev python3-pip cmake gcc clang-12 lld-12 llvm-12-tools zlib1g-dev libboost-test-dev libyaml-dev libjemalloc-dev...