| .. |
|
cmdlineTests
|
Add stack limit evader.
|
2020-09-17 22:13:27 +02:00 |
|
compilationTests
|
|
|
|
contracts
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
|
evmc
|
|
|
|
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
|
Merge pull request #9880 from ethereum/smt-abi-type
|
2020-09-24 17:02:17 +02:00 |
|
libsolutil
|
|
|
|
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
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02: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
|
|
|
|
CommonSyntaxTest.h
|
|
|
|
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
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02:00 |
|
Metadata.cpp
|
|
|
|
Metadata.h
|
|
|
|
TestCase.cpp
|
|
|
|
TestCase.h
|
Add support for ewasm evmc vm.
|
2020-09-08 12:41:42 -05:00 |
|
TestCaseReader.cpp
|
|
|
|
TestCaseReader.h
|
|
|
