Pinned Repositories
benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
blog
Blog post ideas
doalarm
doalarm tool to send ALARM signal after a certain wallclock time
eth-bench-smt-queries
FuzzyVM
Implementation of a differential fuzzer for Ethereum Virtual Machines
hevm
symbolic EVM evaluator
hevm-presentation
hevm-presentation-research
hevm-result-test-contracts
Contracts to test FAIL/PASS/BAIL behaviours of hevm
lean4-play
lean4-play
msooseth's Repositories
msooseth/benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
msooseth/blog
Blog post ideas
msooseth/doalarm
doalarm tool to send ALARM signal after a certain wallclock time
msooseth/eth-bench-smt-queries
msooseth/FuzzyVM
Implementation of a differential fuzzer for Ethereum Virtual Machines
msooseth/hevm
symbolic EVM evaluator
msooseth/hevm-presentation
msooseth/hevm-presentation-research
msooseth/hevm-result-test-contracts
Contracts to test FAIL/PASS/BAIL behaviours of hevm
msooseth/lean4-play
lean4-play
msooseth/nixpkgs
Nix Packages collection
msooseth/opensmt
The opensmt solver
msooseth/runlim
msooseth/solidity
Solidity, the Smart Contract Programming Language
msooseth/test-hevm-for-doc