rv-jenkins

Pinned Repositories

• c-semantics

  Semantics of C in K

  Language:C3041916440

• mkr-mcd-spec

  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

  Language:Python2814939

• deposit-contract-verification

  Language:Makefile2918115

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50655347140

• haskell-backend

  The symbolic execution engine powering the K Framework

  Language:Haskell208361.3k41

• iele-semantics

  Semantics of Virtual Machine for IELE prototype blockchain

  Language:HTML132265533

• k

  K Framework Tools 7.0

  Language:Java442371.2k145

• kontrol

  Language:Python46123075

• llvm-backend

  KORE to llvm translation

  Language:C++342524021

• wasm-semantics

  A Prototype Formal Semantics of WebAssembly in K

  Language:WebAssembly78237019

rv-jenkins's Repositories