Pinned Repositories
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
gevulot-workloads
mx-semantics
oopsla-23-chen
oopsla-23-chen: Fetch/run Xiaohong Chen's "OOPSLA '23 Artifact"
proof-checker-public
rust-demo-semantics
Demonstration Rust Semantics in K
solidity-demo-semantics
Demonstration Solidity Semantics in K
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
PI Squared's Repositories
Pi-Squared-Inc/proof-checker-public
Pi-Squared-Inc/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Pi-Squared-Inc/rust-demo-semantics
Demonstration Rust Semantics in K
Pi-Squared-Inc/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Pi-Squared-Inc/mx-semantics
Pi-Squared-Inc/solidity-demo-semantics
Demonstration Solidity Semantics in K
Pi-Squared-Inc/gevulot-workloads
Pi-Squared-Inc/oopsla-23-chen
oopsla-23-chen: Fetch/run Xiaohong Chen's "OOPSLA '23 Artifact"