solidity/test
chriseth 973e4ca90a
Merge pull request #7453 from ethereum/smt_lib_const_array
[SMTChecker] Add "as const: function to SMTLib2Interface
2019-09-24 11:02:34 +02:00
..
cmdlineTests Out of body again. 2019-09-17 12:30:15 +02:00
compilationTests Fixes codespell. 2019-09-12 22:15:03 +02:00
contracts Removing obsolete but timing-sensitive test. 2019-08-08 17:35:46 +02:00
evmc Add evmc. 2019-08-08 17:34:51 +02:00
externalTests Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
formal Proofs for the overflow and underflow conditions in checked arithmetic for Sol->Yul code generation. 2019-06-20 15:58:10 +02:00
libdevcore Make json output a bit prettier. 2019-07-02 18:07:05 +02:00
libevmasm Optimize obsolete ANDs in combination with certain SHIFTs 2019-03-29 10:08:05 +01:00
liblangutil Add Steve Johnson-style parser recovery rules: 2019-06-17 14:47:07 +02:00
liblll add chainid and selfbalance to lllc 2019-09-09 23:35:36 +03:00
libsolidity Merge pull request #7453 from ethereum/smt_lib_const_array 2019-09-24 11:02:34 +02:00
libyul [YulOpt] declare SSA var when control flow joins 2019-09-17 13:22:02 +02:00
tools Merge pull request #7432 from ethereum/fix-ossfuzz-build 2019-09-17 15:24:50 +02:00
.solhint.json Fix deprecated option style for docCheck 2019-08-26 11:23:29 +02:00
.solhintignore Add style checker 2019-08-05 13:00:30 +02:00
boostTest.cpp Replace preprocessor macros with constexpr expressions. 2019-09-11 13:03:05 +02:00
buglist_test_vectors.md Update bug description, add regex and tests. 2018-09-10 12:58:40 +02:00
buglistTests.js Buglist check script supports json paths 2018-09-06 18:42:21 +02:00
CMakeLists.txt Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm. 2019-07-17 10:55:33 +02:00
cmdlineTests.sh Test scripts: Make build dir a variable 2019-08-13 12:44:29 +02:00
Common.cpp Replace preprocessor macros with constexpr expressions. 2019-09-11 13:03:05 +02:00
Common.h Replace preprocessor macros with constexpr expressions. 2019-09-11 13:03:05 +02:00
docsCodeStyle.sh Add style checker 2019-08-05 13:00:30 +02:00
EVMHost.cpp Fix evmone filename for auto-discovery for windows and macos. 2019-09-11 12:28:05 +02:00
EVMHost.h Provide path to libevmone. 2019-08-08 17:35:46 +02:00
ExecutionFramework.cpp Use evmone for testing. 2019-08-08 17:35:44 +02:00
ExecutionFramework.h [isoltest] Adds support for fallback and ether functions. 2019-09-13 10:55:46 +02:00
externalTests.sh Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. 2019-06-21 20:26:10 +02:00
InteractiveTests.h Tests 2019-08-15 16:30:05 +02:00
Metadata.cpp Store compiler version in CBOR metadata 2019-05-08 22:21:50 +02:00
Metadata.h Add tiny CBOR parser 2019-03-11 13:01:37 +01:00
Options.cpp Run tests with both ABIV2 and Yul optimizer. 2019-04-04 13:18:30 +02:00
Options.h Support EVM Version rules for extracted tests. 2019-03-15 17:23:20 +01:00
solcjsTests.sh Use master branch from solc-js. 2019-02-11 15:29:58 +01:00
TestCase.cpp Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00
TestCase.h Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00