Alex Beregszaszi 957f23a9f4 Merge pull request #2538 from ethereum/z3Conditions ...

z3 conditions

2017-08-24 00:27:09 +01:00

..

scripts

Include SOL_VERSION_COMMIT/SOL_VERSION_PLATFORM in buildinfo.h

2017-01-17 12:54:58 +00:00

templates

Add other licenses.

2017-07-01 22:59:08 +01:00

EthBuildInfo.cmake

Make versioning semver compatible and force commit hash availability.

2016-08-26 10:14:44 +02:00

EthCompilerSettings.cmake

CMake: Build static libs by default

2017-08-18 13:32:35 +02:00

EthDependencies.cmake

Merge pull request #2783 from ethereum/cmake-dead-code

2017-08-23 21:10:21 +01:00

EthOptions.cmake

Make the Solidity repository standalone.

2016-08-01 01:45:11 -07:00

EthPolicy.cmake

Make the Solidity repository standalone.

2016-08-01 01:45:11 -07:00

EthUtils.cmake

CMake: Remove unused scripts

2017-08-23 17:25:29 +02:00

FindZ3.cmake

Prepare build system for Z3.

2017-08-23 17:37:35 +02:00