Runtime Verification Inc

Local development testnet for Stellar based on K semantics.

MIR Semantics Use `kmir <command> --help` with each command for more details.

Kontrol combines KEVM and Foundry to grant developers the ability to perform formal verification

Images for https://github.com/kframework/k

Z3 compiled from source with a given version of LLVM

A supporting build image used for developing and testing runtimeverification/riscv-semantics

Ubuntu Jammy Z3 Prebuilt Images

K Semantics of the Ethereum Virtual Machine

Images built for https://github.com/kframework/c-semantics

Common base images for projects in https://github.com/kframework

Image based on ubuntu:bionic, with timezone and locale set, and a default user.

Debian image with locale and user settings.

Pre-compiled version of rust using different compilers.

Contains common perl packages for https://github.com/kframework

Contains the ocaml dependencies for https://github.com/kframework/k

Has haskell stack 2.1.1 installed

Images for https://github.com/kframework/evm-semantics