-
Notifications
You must be signed in to change notification settings - Fork 105
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Silently fails to parse alternative paths of the artifacts
bugSomething isn't workingSomething isn't workingStatus: Open.#582 In a16z/halmos;- Status: Open.#580 In a16z/halmos;
False Counterexample for Valid Assertion
bugSomething isn't workingSomething isn't workingStatus: Open.#579 In a16z/halmos;symbolic storage variables are not included in the counterexample model
bugSomething isn't workingSomething isn't workingStatus: Open.#577 In a16z/halmos;support for vm.toString()
enhancementNew feature or requestNew feature or requestStatus: Open.#565 In a16z/halmos;Spurious CEx for both Halmos and hevm
bugSomething isn't workingSomething isn't workingStatus: Open.#562 In a16z/halmos;Add the way to make an external call to targets from any place in solidity
enhancementNew feature or requestNew feature or requestStatus: Open.#560 In a16z/halmos;Make unique states checking for regular symbolic tests
enhancementNew feature or requestNew feature or requestStatus: Open.#559 In a16z/halmos;support for switchActor-style handlers
enhancementNew feature or requestNew feature or requestStatus: Open.#558 In a16z/halmos;callback error with excludeSender
bugSomething isn't workingSomething isn't workingStatus: Open.#557 In a16z/halmos;Nested libraries lead to library-placeholder crash
bugSomething isn't workingSomething isn't workingStatus: Open.#555 In a16z/halmos;Human readable counterexamples
enhancementNew feature or requestNew feature or requestStatus: Open.#554 In a16z/halmos;