chriseth 63861aac4a Merge pull request #3947 from ethereum/smt_storage ...

[SMTChecker] Support to integer and Bool storage vars

2018-05-15 14:54:41 +02:00

..

compilationTests

Gnosis compilation contracts.

2017-07-12 15:55:11 +02:00

contracts

Use EVM version in gas meter and optimizer.

2018-03-05 11:36:33 +01:00

libdevcore

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

libevmasm

Remove unnecessary masking of the result of known short instructions

2018-04-19 23:59:06 +01:00

libjulia

Introduce Julia filter to encapsulate top level Block as a FunctionDefinition (wasm specific)

2018-05-09 11:21:03 +02:00

liblll

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

libsolidity

Merge pull request #3947 from ethereum/smt_storage

2018-05-15 14:54:41 +02:00

tools

Fix link error when using boost shared library

2018-05-11 11:20:19 +08:00

boostTest.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

CMakeLists.txt

Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.

2018-03-12 18:40:20 +01:00

cmdlineTests.sh

Support for error on non-existant or irregular files with command line option to ignore

2018-03-28 10:25:43 +01:00

ExecutionFramework.cpp

Provide EVM version to assembly analysis.

2018-03-01 17:19:35 +01:00

ExecutionFramework.h

Add virtual destructors on base classes.

2018-05-02 13:29:16 +02:00

externalTests.sh

Remove Zeppelin patches.

2018-04-18 18:14:45 +02:00

Metadata.cpp

Some tests.

2018-03-01 17:19:35 +01:00

Metadata.h

Split out common metadata validation code

2017-05-06 11:28:01 +01:00

Options.cpp

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

Options.h

test: Rename test/TestHelper.* to test/Options.* and add Options::validate().

2018-03-14 12:04:04 +01:00

RPCSession.cpp

Merge pull request #3828 from ethereum/soltest

2018-04-05 15:22:26 +02:00

RPCSession.h

Add helper RPCSession::createAccount

2017-10-20 14:23:37 +01:00

solcjsTests.sh

Handle version for solcjs tests.

2018-02-09 18:24:12 +01:00