a3d4 3698cd54a5 Complete error coverage of Parser and SyntaxChecker		2020-09-29 16:07:02 +02:00
..
cmdlineTests	Update tests	2020-09-24 17:07:43 +02:00
compilationTests
contracts
evmc
externalTests
formal	Verify simplification rule exp(2, X) to shl(X, 1)	2020-09-16 17:36:39 +02:00
libevmasm
liblangutil
libsolidity	Complete error coverage of Parser and SyntaxChecker	2020-09-29 16:07:02 +02:00
libsolutil	Add LEB128 encoding functions & tests.	2020-09-28 16:06:19 -05:00
libyul	Merge pull request #9162 from ethereum/memoryEscalator	2020-09-21 20:03:38 +02:00
tools	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02:00
yulPhaser	Make ReasoningBasedSimplifier available as step.	2020-09-15 15:57:59 +02:00
.solhint.json
.solhintignore
boostTest.cpp	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02:00
buglist_test_vectors.md
buglistTests.js
CMakeLists.txt	Add LEB128 encoding functions & tests.	2020-09-28 16:06:19 -05:00
cmdlineTests.sh
Common.cpp
Common.h
CommonSyntaxTest.cpp
CommonSyntaxTest.h
docsCodeStyle.sh
EVMHost.cpp	EVMHost: keep precompile balance/settings across resets	2020-09-24 18:51:39 +01:00
EVMHost.h	EVMHost: keep precompile balance/settings across resets	2020-09-24 18:51:39 +01:00
ExecutionFramework.cpp
ExecutionFramework.h
externalTests.sh
InteractiveTests.h	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02:00
Metadata.cpp
Metadata.h
TestCase.cpp
TestCase.h
TestCaseReader.cpp
TestCaseReader.h