Martin Blicha 98446782e2 [SMTChecker] Fix compound assignment to push

2021-03-24 14:54:13 +01:00

..

abi

Fix CHC cex order

2021-03-11 10:36:40 +01:00

array_members

[SMTChecker] Fix compound assignment to push

2021-03-24 14:54:13 +01:00

blockchain_state

Fix CHC cex order

2021-03-11 10:36:40 +01:00

bmc_coverage

[SMTChecker] Added transaction constraints also for contract deployment

2021-02-01 16:46:34 +01:00

complex

Add and update tests

2020-12-17 14:42:49 +01:00

control_flow

Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time

2021-03-17 16:54:36 +01:00

crypto

[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples

2021-03-16 15:34:43 +01:00

external_calls

Fix bug in virtual functions called by constructor.

2021-03-12 16:42:28 +01:00

file_level

Do not run SMTChecker when file level functions/constants are present.

2020-12-09 12:18:55 +01:00

function_selector

[SMTChecker] Synthesize untrusted functions called externally

2021-01-15 11:56:26 +01:00

functions

[SMTChecker] Handle InaccessibleDynamicType

2021-03-24 11:53:06 +01:00

imports

[SMTChecker] Added transaction constraints also for contract deployment

2021-02-01 16:46:34 +01:00

inheritance

Fix bug in virtual functions called by constructor.

2021-03-12 16:42:28 +01:00

inline_assembly

Fix CHC cex order

2021-03-11 10:36:40 +01:00

invariants

[SMTChecker] Support check/unchecked

2020-12-30 12:14:30 +01:00

loops

Fix bug in virtual functions called by constructor.

2021-03-12 16:42:28 +01:00

math

Remove extra line breaks

2021-01-12 14:00:07 +01:00

modifiers

[SMTChecker] Synthesize untrusted functions called externally

2021-01-15 11:56:26 +01:00

operators

[SMTChecker] Reset reference variables on assignment to a variable of reference type

2021-03-12 19:51:31 +01:00

overflow

Fix bug in virtual functions called by constructor.

2021-03-12 16:42:28 +01:00

simple

[SMTChecker] Shortcut RationalNumber expressions

2019-03-11 12:53:49 +01:00

special

Fix bug in virtual functions called by constructor.

2021-03-12 16:42:28 +01:00

try_catch

Fix CHC cex order

2021-03-11 10:36:40 +01:00

typecast

[SMTChecker] correct handling of FixedBytes constants initialized with string literal

2021-03-04 15:14:47 +01:00

types

Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time

2021-03-17 16:54:36 +01:00

unchecked

Add CLI and JSON option to select SMTChecker targets

2021-01-20 17:35:37 +01:00

verification_target

Remove extra line breaks

2021-01-12 14:00:07 +01:00