karmacoma
Do a quick comparison for a given trace of z3 ops including simplify with the equivalent pysmt api. We want to see if this can lower our overhead. Some extra...
We should be able to discard everything about how we got to a certain point and only consider the current state at this point, regardless of how we got there...
Quick note: cache queries across builds of the same project **Is your feature request related to a problem? Please describe.** A clear and concise description of what the problem is....
### Component Forge, Cast, Anvil, Chisel ### Describe the feature you would like on macOS, with last week's foundry, I noticed that the foundry binaries are quite large: ``` du...
fixes https://github.com/a16z/halmos/issues/229
https://github.com/foundry-rs/foundry/pull/8807 https://github.com/foundry-rs/foundry/pull/8882 we may want to replace our custom `svm.enableSymbolicStorage(address)` with the equivalent (but foundy and kontrol-compatible) `vm.setArbitraryStorage(address target)`