-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Record max depth reached in CFG construction
enhancementNew feature or requestNew feature or requestStatus: Open.#41 In franck44/evm-dis;Add info about max stack size
enhancementNew feature or requestNew feature or requestStatus: Open.#38 In franck44/evm-dis;Add information about Segment Gas cost
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In franck44/evm-dis;Make the IsValid predicates
ghostpredicates.enhancementNew feature or requestNew feature or requestStatus: Open.#34 In franck44/evm-dis;Add script to collect data on CFG tests
enhancementNew feature or requestNew feature or requestStatus: Open.#33 In franck44/evm-dis;Fix semantics of self-destruct
enhancementNew feature or requestNew feature or requestStatus: Open.#31 In franck44/evm-dis;Detect similar segments
enhancementNew feature or requestNew feature or requestStatus: Open.#21 In franck44/evm-dis;Finish implementation of
StackPosBackWardTrackerenhancementNew feature or requestNew feature or requestStatus: Open.#20 In franck44/evm-dis;- Status: Open.#19 In franck44/evm-dis;
Add concrete tests for WPre.
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In franck44/evm-dis;Report issues in Python/Java code generation
invalidThis doesn't seem rightThis doesn't seem rightStatus: Open.#14 In franck44/evm-dis;Add option to control colouring of CFGs.
enhancementNew feature or requestNew feature or requestStatus: Open.#11 In franck44/evm-dis;