Giters
a16z
/
halmos
A symbolic testing tool for EVM smart contracts
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
717
Watchers:
10
Issues:
97
Forks:
51
a16z/halmos Issues
foundry build cache is disabled with --build-info (it always rebuilds)
Closed
a month ago
Comments count
2
FAQ section
Updated
a month ago
--early-exit doesn't work as expected
Updated
a month ago
Comments count
1
support multiple values for --array-lengths option
Updated
a month ago
Create a halmos Docker image with multiple solvers preinstalled
Updated
a month ago
Comments count
1
Support vyper jumptables
Updated
a month ago
Comments count
3
Remove `metadata` checks for files with free functions / file-level functions
Updated
a month ago
do better messaging than `WARNING:Halmos:Counterexample (potentially invalid)` if evm_exp is the reason the model is invalid
Updated
2 months ago
don't solve again if refine(query) returns the same query
Updated
2 months ago
vm.getBlockNumber not supported
Updated
2 months ago
Comments count
1
ModuleNotFoundError: No module named 'pkg_resources'
Closed
2 months ago
Comments count
5
Test keeps killing itself (timing out)
Closed
2 months ago
Comments count
2
TypeError: object of type 'BitVecRef' has no len() in padded_slice
Updated
2 months ago
Comments count
1
Error: No tests with the prefix <testFunctionName>
Updated
2 months ago
Comments count
2
Parse symbols from build to print readable traces
Updated
2 months ago
Comments count
1
Research: explicit SMT assertions for non-linear arithmetic
Updated
2 months ago
Support assert cheatcodes for forge-std 1.8.0
Updated
2 months ago
feature request: coverage report
Closed
2 months ago
Comments count
1
consider implementing strict/fail-fast/no-fork mode when running `setUp()`
Updated
2 months ago
find a better way to handle empty bytes
Updated
2 months ago
Error: setUp() failed: ValueError: constructor failed, error=Unsupported cheat code: calldata = Concat(0xffa18649, sha3_64(0x6465706c6f796572)) returndata=None
Closed
2 months ago
Comments count
3
halmos take forever to run
Closed
3 months ago
Comments count
1
Validate legality of jumpdests
Updated
4 months ago
Portfolio solving with multiple solvers
Updated
4 months ago
Comments count
1
Dump all SMT queries
Closed
5 months ago
Comments count
3
Better handling of concrete keccaks
Updated
6 months ago
Comments count
1
OverflowError: cannot fit 'int' into an index-sized integer
Closed
6 months ago
Comments count
2
`AttributeError: 'int' object has no attribute 'sort'` in `call_known`
Closed
6 months ago
improve hash reasoning and performance
Updated
6 months ago
Unsupported cheat code `vm.readFile`
Updated
7 months ago
Comments count
4
Halmos is not able to generate paths for contracts deployed with CREATE3
Updated
7 months ago
KeyError in sload'ing from etch'ed contract
Updated
7 months ago
HuffDeployer is not supported
Updated
7 months ago
Comments count
1
Huff doesn't work
Updated
7 months ago
weird --storage-layout=generic behavior on popcount test
Closed
8 months ago
Comments count
3
support for specifying dynamic type lengths
Updated
8 months ago
Comments count
1
Unexpected output after SIGINT
Updated
8 months ago
Set z3 memory limit
Updated
8 months ago
Comments count
2
`forge-build-out` doesn't work as expectation.
Updated
8 months ago
Comments count
3
Contract code, storage
Updated
8 months ago
Comments count
1
Pytest profiles
Updated
8 months ago
Support vm.fork/createSelectFork from foundry
Updated
9 months ago
Comments count
2
External call encountered an issue at DELEGATECALL
Closed
10 months ago
Comments count
3
add div axioms
Updated
10 months ago
earlier processing @custom:halmos tags
Updated
10 months ago
Comments count
1
Halmos Keccak producing incorrect values
Closed
10 months ago
Comments count
3
Support multiple setup states, possibly in parallel
Updated
10 months ago
The toy tests are missing with the new halmos version
Updated
10 months ago
Comments count
2
Better support for string comparison patterns
Updated
10 months ago
Halmos throws `Counterexample: unknown` warning on solc versions < 0.8.17
Updated
10 months ago
Comments count
2
Previous
Next