Leonardo 7405dc5b7f Merge pull request #10836 from ethereum/smt_fix_cex_inheritance ...

Fix inheritance bug in CHC cex

2021-02-03 18:49:25 +01:00

..

abi

[SMTChecker] Added transaction constraints also for contract deployment

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

array_members

[SMTChecker] added missing type constraints for Address

2021-01-27 20:39:24 +01:00

blockchain_state

[SMTChecker] Added transaction constraints also for contract deployment

2021-02-01 16:46:34 +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

[SMTChecker] Synthesize untrusted functions called externally

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

crypto

[SMTChecker] Added transaction constraints also for contract deployment

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

external_calls

[SMTChecker] Added transaction constraints also for contract deployment

2021-02-01 16:46:34 +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] Added transaction constraints also for contract deployment

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

imports

[SMTChecker] Added transaction constraints also for contract deployment

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

inheritance

Fix inheritance bug in CHC cex

2021-02-02 18:06:32 +01:00

inline_assembly

[SMTChecker] Basic support for inline assembly using over-approximating analysis

2021-01-26 16:20:50 +01:00

invariants

[SMTChecker] Support check/unchecked

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

loops

[SMTChecker] added missing type constraints for Address

2021-01-27 20:39:24 +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] Added transaction constraints also for contract deployment

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

overflow

[SMTChecker] added missing type constraints for Address

2021-01-27 20:39:24 +01:00

simple

[SMTChecker] Shortcut RationalNumber expressions

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

special

[SMTChecker] Added transaction constraints also for contract deployment

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

try_catch

[SMTChecker] Added transaction constraints also for contract deployment

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

typecast

[SMTChecker] Synthesize untrusted functions called externally

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

types

[SMTChecker] updates to the tests

2021-02-03 15:53:58 +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