Leo 59f9ab4dee Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result ...

Fixes handling bitwise operators for z3 model checker

2023-02-09 12:16:28 +01:00

..

abi

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +01:00

array_members

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

blockchain_state

update smt tests

2022-11-24 13:08:06 +01:00

bmc_coverage

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +01:00

complex

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

control_flow

adjust nondeterministic tests

2022-11-24 13:08:06 +01:00

crypto

adjust nondeterministic tests

2022-11-24 13:08:06 +01:00

deployment

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

external_calls

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

file_level

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

function_selector

update smt tests

2022-11-24 13:08:06 +01:00

functions

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

imports

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

inheritance

Update docker images and tests

2022-08-30 11:51:59 +02:00

inline_assembly

Update SMTChecker tests

2021-08-27 16:25:09 +02:00

invariants

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +01:00

loops

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +01:00

math

Update old tests

2021-04-08 21:03:39 +02:00

modifiers

adjust nondeterministic tests

2022-11-24 13:08:06 +01:00

natspec

fix abstract nondet exception

2023-02-08 16:59:37 +01:00

operators

Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result

2023-02-09 12:16:28 +01:00

options

Add new tests

2021-04-08 21:03:38 +02:00

out_of_bounds

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +01:00

overflow

update smt tests

2022-11-24 13:08:06 +01:00

simple

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

special

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

try_catch

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

typecast

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

types

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

unchecked

changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format

2022-11-14 17:37:38 +01:00

userTypes

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

verification_target

Fix ICE on multi-source use of abi.*

2021-08-27 18:55:36 +02:00