4 people feba4de509 Add paris constraints to SMTChecker ...

Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org>

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

..

abi

Add paris constraints to SMTChecker

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

array_members

adjust nondeterministic tests

2022-11-24 13:08:06 +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

Update SMTChecker tests

2021-08-27 16:25:09 +02: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

external_calls

Add paris constraints to SMTChecker

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

file_level

adjust tests for nondeterminism

2022-01-12 18:43:18 +01:00

function_selector

update smt tests

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

functions

Consistent terminology for attached/bound functions (file rename)

2022-12-07 19:31:44 +01:00

imports

Fix internal error when deleting struct member of function type

2022-11-30 12:47:32 +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 internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function

2022-11-28 16:59:35 +01:00

operators

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +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

Add paris constraints to SMTChecker

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

try_catch

Update docker images and tests

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

typecast

update smt tests

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

types

Add paris constraints to SMTChecker

2023-01-31 11:03:04 +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

Add paris constraints to SMTChecker

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

verification_target

Fix ICE on multi-source use of abi.*

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