Leo Alt bef69b595b Ignore cex in SMT test

2022-02-28 18:56:20 +01:00

..

cmdlineTests

Update tests.

2022-02-21 14:32:52 +01:00

compilationTests

…

contracts

…

evmc

…

externalTests

Neutralize packaged Uniswap contracts in yield-liquidator external test

2022-02-16 13:16:44 +01:00

formal

pylint: Enable and fix no-self-use warnings

2021-12-21 15:30:11 +01:00

libevmasm

Properly compute source mappings for immutables.

2021-10-12 17:56:17 +02:00

liblangutil

LineColumn handling for CharStream.

2021-12-01 15:16:01 +01:00

libsolidity

Ignore cex in SMT test

2022-02-28 18:56:20 +01:00

libsolutil

Function to read a number of bytes from an input stream.

2021-12-01 16:24:56 +01:00

libyul

Improved stack shuffling in corner cases.

2022-01-21 15:41:30 +01:00

scripts

Python script for parsing eth-gas-reporter output

2022-02-09 17:02:40 +01:00

solc

Fix running tests from any drive

2022-02-22 18:11:42 +01:00

tools

Include used events in `--hashes` output

2022-02-09 13:50:42 +01:00

yulPhaser

Fix genetic algorithms CI failure

2022-01-17 13:35:07 +01:00

.solhint.json

…

.solhintignore

…

boostTest.cpp

Remove a reference to unused SolidityFixedFeeRegistrar

2022-02-05 15:14:18 +01:00

buglist_test_vectors.md

…

buglistTests.js

…

CMakeLists.txt

Improved stack shuffling in corner cases.

2022-01-21 15:41:30 +01:00

cmdlineTests.sh

Fix whitespace problem.

2021-12-01 12:46:02 +01:00

Common.cpp

Test batcher.

2021-12-30 15:02:05 +01:00

Common.h

Test batcher.

2021-12-30 15:02:05 +01:00

CommonSyntaxTest.cpp

…

CommonSyntaxTest.h

…

docsCodeStyle.sh

Use consistent syntax for Bash function declarations

2021-11-08 16:34:07 +01:00

EVMHost.cpp

…

EVMHost.h

…

ExecutionFramework.cpp

Rename gas constants in ExecutionFramework

2021-11-15 16:31:52 +01:00

ExecutionFramework.h

Fixes CI build error for ArchLinux.

2021-12-20 13:11:00 +01:00

externalTests.sh

externalTests: Benchmark reports

2022-02-09 17:02:40 +01:00

FilesystemUtils.cpp

Clarify symlink handling on Windows

2022-02-05 03:44:54 +01:00

FilesystemUtils.h

Ensure that native path separators are always used in symlink targets on Windows

2021-09-27 13:14:10 +02:00

InteractiveTests.h

Control flow side-effects for user-defined functions.

2021-10-14 17:46:07 +02:00

lsp.py

pylint: Enable and fix singleton-comparison warnings

2021-12-21 15:30:11 +01:00

Metadata.cpp

…

Metadata.h

…

pyscriptTests.py

…

stopAfterParseTests.sh

Use consistent syntax for Bash function declarations

2021-11-08 16:34:07 +01:00

TemporaryDirectory.cpp

…

TemporaryDirectory.h

…

TemporaryDirectoryTest.cpp

…

TestCase.cpp

…

TestCase.h

…

TestCaseReader.cpp

…

TestCaseReader.h

…