-
Notifications
You must be signed in to change notification settings - Fork 67
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
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
handle truncated hashes
enhancement
New feature or request
#347
opened Aug 15, 2024 by
karmacoma-eth
halmos v2 planning
enhancement
New feature or request
#346
opened Aug 15, 2024 by
daejunpark
4 of 13 tasks
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
Halmos thinks all paths will revert even though I can hardcode a counter example, due to loops
bug
Something isn't working
#327
opened Jul 22, 2024 by
GalloDaSballo
extcodehash behave as a symbolic value
bug
Something isn't working
#324
opened Jul 5, 2024 by
drgorillamd
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
support multiple values for --array-lengths option
enhancement
New feature or request
#283
opened May 4, 2024 by
daejunpark
do better messaging than Something isn't working
WARNING:Halmos:Counterexample (potentially invalid)
if evm_exp is the reason the model is invalid
bug
#280
opened Apr 20, 2024 by
karmacoma-eth
don't solve again if refine(query) returns the same query
enhancement
New feature or request
#279
opened Apr 20, 2024 by
karmacoma-eth
consider implementing strict/fail-fast/no-fork mode when running New feature or request
setUp()
enhancement
#265
opened Mar 26, 2024 by
karmacoma-eth
Support vyper jumptables
enhancement
New feature or request
#253
opened Jan 26, 2024 by
karmacoma-eth
Validate legality of jumpdests
enhancement
New feature or request
good first issue
Good for newcomers
#251
opened Jan 26, 2024 by
karmacoma-eth
Research: explicit SMT assertions for non-linear arithmetic
enhancement
New feature or request
help wanted
Extra attention is needed
research question
#247
opened Jan 10, 2024 by
karmacoma-eth
Previous Next
ProTip!
Adding no:label will show everything without a label.