EVM-SMT / solver
proof first, evm specific smt solver
☆69Updated 2 years ago
Alternatives and similar repositories for solver:
Users that are interested in solver are comparing it to the libraries listed below
- Making your life easier with simple Univ3 examples☆84Updated 2 years ago
- ☆75Updated 2 years ago
- ☆36Updated 3 years ago
- Solidity static analyzer☆83Updated last year
- Book showing how to interact with Ethereum from Rust☆40Updated 3 years ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- ☆81Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- A proxy node example using Reth!☆94Updated last year
- ☆65Updated 2 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Example project for forge☆55Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- ☆46Updated 8 months ago
- ☆61Updated last year
- ☆43Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- ☆54Updated 2 years ago
- ☆75Updated last year
- Complex numbers for Solidity☆53Updated last year
- ☆76Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago