PaulRBerg / btt-examples
Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
☆60Updated last year
Related projects ⓘ
Alternatives and complementary repositories for btt-examples
- ☆35Updated last year
- ☆70Updated last year
- Permissionless onchain exploit bounties tied to a circuit breaker☆41Updated 8 months ago
- Solidity snippets too edgy to be in Solady☆111Updated 2 months ago
- ☆64Updated 9 months ago
- Console.log utility for debugging huff contracts☆65Updated last year
- Forge Snippets for VS Code☆63Updated 11 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 3 months ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆38Updated last year
- ☆80Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Diagrams for Solidity contracts☆43Updated 8 months ago
- Standard way to simulate governance actions from a timelock, multisig, or DAO.☆61Updated last month
- ☆54Updated 2 years ago
- Blazingly fast function selector miner written in Rust.☆78Updated last year
- Smart contract exploit proof of concept exploit standard interface☆16Updated last year
- Exercises for the Yield 2022 Mentorship progam☆62Updated 2 years ago
- A comprehensive guide to teach you about gas optimization patterns.☆26Updated last year
- Testing echidna vs. forge fuzzing☆75Updated last year
- ☆43Updated 2 weeks ago
- ☆65Updated last year
- ☆43Updated last year
- An opinionated template for Foundry projects.☆74Updated 5 months ago
- ☆50Updated last year
- ☆50Updated 2 years ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆51Updated last year
- Pack data tightly together and save space.☆71Updated last year