15 skills found
a16z / HalmosA symbolic testing tool for EVM smart contracts
Recon-Fuzz / ChimeraSmart Contract Property-Based Testing Framework
matheusgirola / Halmos Naive Set Theory OCR LaTeX ReeditionRewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
a16z / Halmos CheatcodesNo description available
redtrama / Awesome HalmosList of Halmos resources.
zobront / Halmos SoladyFormally verifying consistency between Solmate and Solady using Halmos
Recon-Fuzz / Create Chimera AppSolidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.
Recon-Fuzz / Recon ExtensionExtension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.
gblikas / Set Theory Solutions ManualSolutions for Paul Halmos' Naive Set Theory
cawfree / BythThe behavioural indexer for Ethereum.
igorganich / Halmos Helpers Libhalmos-helpers-lib is a solidity library for quick and convenient preparation of solidity project for symbolic execution stateful checks under the halmos engine.
aviggiano / Halmos Differential Erc20Halmos Differential Tests for Common ERC-20 Token Implementations
daejunpark / Sys Asm HalmosNo description available
zobront / Vyper Halmosa (work in progress) pipeline for testing vyper contracts with halmos
igorganich / Halmos Helpers ExamplesExamples of usage of halmos-helpers-lib
