Runtime Verification Inc.'s repositories
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
haskell-backend
The symbolic execution engine powering the K Framework
publications
Publications of Runtime Verification, Inc.
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
llvm-backend
KORE to llvm translation
blockchain-k-plugin
K plugin for IELE and KEVM
kontrol-solady
Solady formal verification with Kontrol
kontrol-cheatcodes
Cheatcodes library for your symbolic Kontrol tests
pl-tutorial
The K Programming Language Tutorial
optimism-ci
CI Hosting Symbolic Execution for Ethereum-Optimism
k-pldi-tutorial
Code supporting K tutorial session at PLDI 2023.
kasmer-multiversx
Wasm semantics for the Elrond/MultiversX blockchain network
_audits_Ethereum-optimism_pausability
Optimism is Ethereum, scaled.
_audits_lidofinance_dual-governance_fork
Lido Dual Governance contracts
benchmarks
Symbolic Execution Benchmarks for Ethereum Smart Contracts
homebrew-k
K Homebrew tap
morpho-blue
🟦 Morpho Blue Protocol
rust
Empowering everyone to build reliable and efficient software.
smir_pretty
KMIR Rust Library
z3-images
Repository for publishing Z3 images automatically