Martin Blicha 8927015e5a [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine

2020-12-11 17:41:50 +01:00

..

aon_blog_post.sol

[SMTChecker] Add engine prefix to verification target error messages

2020-09-25 19:09:06 +02:00

loop_basic_for.sol

[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine

2020-12-11 17:41:50 +01:00

loop_basic.sol

[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine

2020-12-11 17:41:50 +01:00

loop_nested_for.sol

Add unknown message to all verification targets

2020-10-19 20:54:13 +01:00

loop_nested.sol

[SMTChecker] Support crypto functions in CHC

2020-10-16 14:57:13 +01:00

state_machine_1_fail.sol

Update tests

2020-10-13 17:49:04 +01:00

state_machine_1.sol

Set tests that CVC4 can't handle to Z3 only

2019-12-09 15:32:08 +01:00