Daniel Kirchner 33c12e2195 Do not assume successful analysis on fatal error.

2023-06-13 17:31:10 +02:00

..

benchmarks

…

cmdlineTests

Do not assume successful analysis on fatal error.

2023-06-13 17:31:10 +02:00

compilationTests

…

contracts

…

evmc

Upgrade to evmc 10.1.0

2023-04-23 15:51:06 +02:00

externalTests

Enable unoptimized presets in those external tests where they now pass

2023-06-07 16:45:45 +02:00

formal

…

libevmasm

test: some tests for push0

2023-04-12 00:10:24 +02:00

liblangutil

…

libsolidity

Do not let low-level semantic test calls depend on a well-defined contract ABI.

2023-06-07 13:40:14 +02:00

libsolutil

…

libyul

Update test expectations

2023-06-07 12:13:39 +02:00

scripts

…

solc

Make --optimize-yul work again

2023-06-06 09:54:07 +02:00

tools

Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

yulPhaser

…

.solhint.json

…

.solhintignore

…

buglist_test_vectors.md

…

buglistTests.js

…

CMakeLists.txt

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

cmdlineTests.sh

cmdlineTests: Add prefixes for temporary files/dirs

2023-06-02 16:10:40 +02:00

Common.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

Common.h

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

CommonSyntaxTest.cpp

…

CommonSyntaxTest.h

…

docsCodeStyle.sh

…

EVMHost.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

EVMHost.h

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

ExecutionFramework.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

ExecutionFramework.h

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

external_tests.py

Fix throw of ExternalTestNotFound in external_tests.py

2023-04-28 18:28:07 +02:00

FilesystemUtils.cpp

…

FilesystemUtils.h

…

InteractiveTests.h

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

localeTest.sh

…

lsp.py

Keep test/lsp.py working when not on a tty

2023-03-19 16:09:42 -04:00

Metadata.cpp

…

Metadata.h

…

pyscriptTests.py

…

soltest.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

stopAfterParseTests.sh

cmdlineTests: Add prefixes for temporary files/dirs

2023-06-02 16:10:40 +02:00

TestCase.cpp

Migrate yulStackShuffling tests to isoltest

2023-04-25 15:53:01 +02:00

TestCase.h

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

TestCaseReader.cpp

…

TestCaseReader.h

…