chriseth 1f8f1a3db9 Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis ...

Fix revert pruner modifying function flows wrong

2021-06-04 12:44:35 +02:00

..

abi

…

array_members

…

blockchain_state

…

bmc_coverage

…

complex

…

control_flow

…

crypto

…

external_calls

Fix ICE on external calls from constructor

2021-06-01 14:21:48 +02:00

file_level

…

function_selector

…

functions

Update test expectations.

2021-06-04 12:04:04 +02:00

imports

Fix ICE on external calls from constructor

2021-06-01 14:21:48 +02:00

inheritance

…

inline_assembly

…

invariants

…

loops

Update test nondet

2021-05-26 22:12:49 +02:00

math

…

modifiers

Fix control-flow handling of modifiers without body.

2021-06-03 13:31:15 +02:00

natspec

tests

2021-05-11 21:20:42 +02:00

operators

tests

2021-05-11 21:20:42 +02:00

options

…

out_of_bounds

…

overflow

…

simple

…

special

…

try_catch

…

typecast

Fix conversion from bytes to fixed bytes

2021-06-01 17:55:18 +02:00

types

SMTChecker: fixed struct constructor where FixedBytes member is initialized with a string literal

2021-05-17 13:52:37 +02:00

unchecked

…

verification_target

…