Giters
a16z
/
halmos
A symbolic testing tool for EVM smart contracts
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
709
Watchers:
10
Issues:
94
Forks:
47
a16z/halmos Issues
non-hexadecimal number found in fromhex() arg
Closed
10 months ago
Comments count
2
Add vyper support
Updated
8 months ago
Comments count
8
Support vm.addr(privateKey) cheatcode
Updated
10 months ago
Add support for symbolic storage
Closed
8 months ago
Comments count
15
missing CREATE failure semantics
Closed
7 months ago
Comments count
1
Support for portfolio solving
Updated
10 months ago
Support for custom NatSpec annotations
Closed
10 months ago
Display foundry-style traces
Updated
10 months ago
Support for missing EVM opcodes
Updated
a month ago
Comments count
3
Introduce EVM version setting
Updated
10 months ago
Improve testing of EVM correctness
Updated
25 days ago
Comments count
1
Provide a halmos github action
Updated
2 months ago
Support configuration via halmos.toml
Closed
5 days ago
Comments count
1
vm.prank doesn't work during contract creation
Closed
10 months ago
Print version number with `--version`
Closed
10 months ago
Comments count
2
Not reverting storage states
Closed
10 months ago
Support for static storage arrays
Closed
8 months ago
Comments count
6
Ability to ignore tests
Closed
a year ago
Comments count
3
Library linking
Closed
9 months ago
Comments count
5
Counterexample: unknown
Closed
9 months ago
Comments count
1
Struct type parameters not supported
Closed
10 months ago
Comments count
1
Improve unsupported cheatcode error messages
Updated
a year ago
failed to run halmos in windows
Closed
10 months ago
Comments count
23
Trouble running halmos after a fresh install
Closed
a year ago
Comments count
2
test contracts initialization
Closed
10 months ago
bug: false positive for equivalence of two calls
Updated
a year ago
vm.createFork() not supported
Updated
a year ago
Comments count
1
Unable to install halmos on macOs ventura 13.0.1
Closed
a year ago
Comments count
2
Uncaught exceptions
Closed
a year ago
Comments count
5
Running with python3.8 results in error
Closed
a year ago
Comments count
1
Z3 Type
Closed
a year ago
Comments count
2
Support for Foundry EVM cheatcodes
Closed
a year ago
Comments count
4
Add support for multiple compilation units
Closed
a year ago
Comments count
4
Features to support
Updated
10 months ago
Comments count
2
Previous
Next