-
Notifications
You must be signed in to change notification settings - Fork 71
Issues: a16z/halmos
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
memory becomes a bottleneck with high path count
enhancement
New feature or request
#425
opened Dec 11, 2024 by
karmacoma-eth
Error: setUp() failed: ValueError: constructor failed, error=Unsupported cheat code: vm.envAddress
bug
Something isn't working
#423
opened Dec 4, 2024 by
banescusebi
Better printing for 0x0 selector in counterexample
enhancement
New feature or request
#419
opened Nov 22, 2024 by
igorganich
Infinite deepcopy recursion leads to crash
bug
Something isn't working
#416
opened Nov 17, 2024 by
igorganich
halmos should not generate private keys that correspond to deployed contract addresses
enhancement
New feature or request
#413
opened Nov 14, 2024 by
karmacoma-eth
support SELFDESTRUCT opcode
enhancement
New feature or request
#411
opened Nov 13, 2024 by
daejunpark
support expectRevert and expectEmit cheatcodes
enhancement
New feature or request
#409
opened Nov 13, 2024 by
daejunpark
Halmos fails with Something isn't working
Z3Exception: b'parser error'
bug
#402
opened Nov 7, 2024 by
aviggiano
improve symbolic byte handling in traces
enhancement
New feature or request
#400
opened Nov 1, 2024 by
karmacoma-eth
improve signal handling
enhancement
New feature or request
#399
opened Oct 30, 2024 by
karmacoma-eth
avoid reporting duplicate counterexamples
enhancement
New feature or request
#398
opened Oct 29, 2024 by
karmacoma-eth
feat request: add support for user-defined objectives like optimization
enhancement
New feature or request
#397
opened Oct 17, 2024 by
0xalpharush
support for Uniswap v2 testing workflow
bug
Something isn't working
#393
opened Oct 14, 2024 by
karmacoma-eth
createCalldata
does not display function selector
bug
#374
opened Sep 25, 2024 by
aviggiano
Allow the user to specify how many counterexamples they want (1, all)
enhancement
New feature or request
#373
opened Sep 24, 2024 by
aviggiano
feat: add support for new symbolic-friendly vm cheatcodes
devex
enhancement
New feature or request
good first issue
Good for newcomers
#365
opened Sep 17, 2024 by
karmacoma-eth
WARNING:halmos:path.append(false) in Damn Vulnerable Defi - NaiveReceiver.t.sol
bug
Something isn't working
#338
opened Aug 8, 2024 by
karmacoma-eth
use overflow predicates for arithmetic overflow conditions
enhancement
New feature or request
#335
opened Jul 30, 2024 by
daejunpark
Stateful testing: use state summaries
enhancement
New feature or request
#305
opened Jun 6, 2024 by
karmacoma-eth
Quick benchmark for pysmt
enhancement
New feature or request
#304
opened Jun 6, 2024 by
karmacoma-eth
Incremental verification
enhancement
New feature or request
#303
opened Jun 6, 2024 by
karmacoma-eth
Support properties of the form New feature or request
must always emit an event when storage is updated
enhancement
#294
opened May 22, 2024 by
karmacoma-eth
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.