-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Detect effect-less code fragments
enhancementNew feature or requestNew feature or requestStatus: Open.#39 In dgpv/bsst;Conditions in data references
enhancementNew feature or requestNew feature or requestStatus: Open.#36 In dgpv/bsst;- Status: Open.#34 In dgpv/bsst;
Model values generated by first z3check are interdependent, need to show them by default
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In dgpv/bsst;Handle OP_SUCCESS-like behavior for opcodes like CHECKCONTRACTVERIFY
enhancementNew feature or requestNew feature or requestStatus: Open.#10 In dgpv/bsst;