Leo Alt 3e76fd4e31 emscripten z3

2023-05-24 12:03:57 +02:00

..

scripts

Remove trailing whitespace for all files in the repository.

2018-09-04 11:30:30 +02:00

templates

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

toolchains

Update emscripten build to be compatible with new docker image.

2021-01-13 01:09:34 +01:00

EthBuildInfo.cmake

Store compiler version in CBOR metadata

2019-05-08 22:21:50 +02:00

EthCcache.cmake

CMake: Better ccache configuration

2017-09-20 16:39:41 +02:00

EthCheckCXXCompilerFlag.cmake

Fixes CMake caching issues on Windows.

2019-11-27 12:30:12 +01:00

EthCompilerSettings.cmake

emscripten z3

2023-05-24 12:03:57 +02:00

EthDependencies.cmake

Increase minimum Boost version to 1.77 on Windows

2021-09-27 13:15:57 +02:00

EthOptions.cmake

Remove the LLL compiler

2020-01-15 13:18:18 +00:00

EthPolicy.cmake

Improve comment on CMP0115

2022-08-31 12:12:15 +03:00

EthToolchains.cmake

Do not generally override CXX standard.

2020-09-01 14:29:44 +02:00

EthUtils.cmake

[CMake] Refactor libsolc linker flag for EXPORTED_FUNCTIONS and make it more readable.

2022-03-09 13:03:23 +01:00

FindCLN.cmake

Use imported CMake targets.

2018-12-17 15:15:11 +01:00

FindCVC4.cmake

Use imported CMake targets.

2018-12-17 15:15:11 +01:00

FindGMP.cmake

Use imported CMake targets.

2018-12-17 15:15:11 +01:00

FindZ3.cmake

Proper cmake failure if z3 version cannot be determined.

2019-08-12 16:23:06 +02:00

fmtlib.cmake

Adds fmtlib as 3rdparty dependency for easier string composition.

2021-10-11 13:35:08 +02:00

jsoncpp.cmake

Allow statically linked windows build in CMake.

2020-09-16 12:50:31 +02:00

range-v3.cmake

Update rangev3 to 0.12.0

2022-07-05 15:55:12 -04:00