chriseth 5c50e8fa99 Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA.		2019-02-06 15:48:07 +01:00
..
bytecodecompare
cpp-ethereum
travis-emscripten	Patch soljson.js to provide backwards compatibility with older emscripten versions.	2019-01-21 15:33:36 +01:00
build_emscripten.sh	Update to emscripten 1.38.22	2019-01-18 16:49:21 +00:00
build.sh	build.sh bash script cleanup	2018-12-10 14:59:55 +01:00
check_style.sh
codespell_whitelist.txt
create_source_tarball.sh	Change uid and gid for source tarball to 0:0.	2019-01-07 13:56:50 +01:00
docker_build.sh
docker_deploy_manual.sh
docker_deploy.sh
Dockerfile
Dockerfile_alpine
docs.sh
extract_test_cases.py
fix_homebrew_paths_in_standalone_zip.py
get_version.sh
install_cmake.sh
install_deps.bat
install_deps.cmake	Ensuring we use at least boost 1.65, build static on Xenial, and adapt CircleCI accordingly.	2019-01-14 16:10:26 +01:00
install_deps.sh	Install static boost on Alpine linux.	2019-02-04 13:13:34 +01:00
install_obsolete_jsoncpp_1_7_4.sh
isolate_tests.py
isoltest.sh
release_emscripten.sh
release_ppa.sh	Switch from Z3 to CVC4 as SMT solver for Ubuntu PPA.	2019-02-06 15:48:07 +01:00
release.bat	Remove support for Visual Studio 2015.	2018-12-17 18:56:23 +01:00
release.sh
report_errors.sh
soltest.sh
test_emscripten.sh
tests.sh	Update to use memorydb for aleth.	2018-12-13 12:07:32 +01:00
uniqueErrors.sh
update_bugs_by_version.py