.. |
cmdlineTests
|
Commandline test for unimplemented IR.
|
2020-09-15 14:42:04 +02:00 |
compilationTests
|
Update tests.
|
2020-07-07 12:16:18 +02:00 |
contracts
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
evmc
|
Update EVMC to 7.2.0
|
2020-05-13 22:29:35 +01:00 |
externalTests
|
[SMTChecker] Fix imports
|
2020-09-11 13:34:46 +02:00 |
formal
|
Verify simplification rule exp(2, X) to shl(X, 1)
|
2020-09-16 17:36:39 +02:00 |
libevmasm
|
[yul] Adding support for accessing subobjects via .
|
2020-07-21 17:56:11 +02:00 |
liblangutil
|
Expose hex literal to the Yul parser
|
2020-08-28 19:34:52 +01:00 |
libsolidity
|
Make the test for invalid named arguments more robust
|
2020-09-17 17:29:28 +02:00 |
libsolutil
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
libyul
|
Do not run reasoning test if no SMT Solver is available.
|
2020-09-17 13:43:35 +02:00 |
tools
|
Make ReasoningBasedSimplifier available as step.
|
2020-09-15 15:57:59 +02:00 |
yulPhaser
|
Make ReasoningBasedSimplifier available as step.
|
2020-09-15 15:57:59 +02:00 |
.solhint.json
|
Test require with string literals
|
2019-11-13 12:01:25 +01:00 |
.solhintignore
|
|
|
boostTest.cpp
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
buglist_test_vectors.md
|
|
|
buglistTests.js
|
|
|
CMakeLists.txt
|
Rename libsolidity/SolidityScanner to liblangutil/Scanner in tests
|
2020-08-05 13:39:18 +01:00 |
cmdlineTests.sh
|
Commandline test for unimplemented IR.
|
2020-09-15 14:42:04 +02:00 |
Common.cpp
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
Common.h
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
CommonSyntaxTest.cpp
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
CommonSyntaxTest.h
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
docsCodeStyle.sh
|
|
|
EVMHost.cpp
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
EVMHost.h
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
ExecutionFramework.cpp
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
ExecutionFramework.h
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
externalTests.sh
|
|
|
InteractiveTests.h
|
Review 1
|
2020-07-23 18:49:03 +02:00 |
Metadata.cpp
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
Metadata.h
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
TestCase.cpp
|
Add SPDX license identifier if not present already in source file
|
2020-07-17 20:24:12 +05:30 |
TestCase.h
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
TestCaseReader.cpp
|
Add corpus based multi source fuzzer
|
2020-07-21 13:43:29 +02:00 |
TestCaseReader.h
|
Add corpus based multi source fuzzer
|
2020-07-21 13:43:29 +02:00 |