165 Commits

Author	SHA1	Message	Date
chriseth	f6fb7d96d3	Merge pull request #2990 from ethereum/someMoreSMTStuff ... Basic SMT tests.	2017-10-04 14:56:24 +02:00
chriseth	e952946b22	Use byzantium version of eth.	2017-10-03 10:45:00 +01:00
chriseth	3be37d15e0	Install libz3-dev from PPA if the distribution does not provide it.	2017-09-29 15:31:00 +02:00
Paweł Bylica	b9e4d5b6c8	Windows: Copy install_deps.cmake from cpp-dependencies repo	2017-09-19 20:55:47 +02:00
Paweł Bylica	48e0e3b97f	Circle CI: Emscripten build	2017-09-15 16:06:05 +02:00
Paweł Bylica	622a2d8251	Travis CI: Fix Emscripten build	2017-09-12 22:11:21 +02:00
chriseth	47b08fa752	Merge pull request #2765 from ethereum/emscripten ... Emscripten	2017-08-25 17:38:23 +02:00
chriseth	a5ce02d333	Leave artifact also on root.	2017-08-25 15:44:03 +02:00
Paweł Bylica	6e9f93e043	Emscripten, CI: Use CMake toolchain file	2017-08-25 15:43:00 +02:00
Paweł Bylica	e088f48c55	Travis CI: Cleanup emscripten build script	2017-08-25 15:43:00 +02:00
chriseth	b79401b165	Do not include soltest and .so files in zip archives.	2017-08-25 14:46:50 +02:00
chriseth	6dd7f6284b	Require libz3-dev for ubuntu PPA builds.	2017-08-24 12:04:50 +02:00
Alex Beregszaszi	957f23a9f4	Merge pull request #2538 from ethereum/z3Conditions ... z3 conditions	2017-08-24 00:27:09 +01:00
Alex Beregszaszi	a0d515c1a7	Keep REPO_ROOT as absolute path	2017-08-23 23:07:18 +01:00
chriseth	e8d1658b58	Add external tests.	2017-08-23 21:11:03 +01:00
chriseth	cf5e1d6120	Review changes.	2017-08-23 17:37:35 +02:00
chriseth	c9cf24458b	Prepare build system for Z3.	2017-08-23 17:37:35 +02:00
Paweł Bylica	4974ff3962	CMake: Add option to static link solc	2017-08-22 22:50:25 +02:00
chriseth	a8d78bb767	Refactor compilation tests.	2017-07-13 21:47:29 +02:00
chriseth	d3b447c203	Ignore the docs build directory.	2017-07-13 21:47:29 +02:00
Alex Beregszaszi	32a76f15e0	Upgrade isolate_tests.py to support extracting code from docs	2017-07-13 17:10:37 +02:00
chriseth	ac84b36144	Added various contracts for testing.	2017-07-05 12:39:55 +02:00
chriseth	90ada403dd	Merge pull request #2515 from ethereum/ubuntuRelease ... Some fixes for the PPA release scripts.	2017-07-04 19:21:38 +02:00
chriseth	758ad3594d	Some fixes for the PPA release scripts.	2017-07-04 12:12:37 +02:00
chriseth	066e995bbd	Only push to bytecode repository if there is something to push.	2017-07-03 18:25:37 +02:00
chriseth	76d3b7c5a1	Merge pull request #2510 from ethereum/develop ... Version 0.4.12	2017-07-03 14:52:29 +02:00
Alex Beregszaszi	f13feed7f2	Add script to retrieve version	2017-07-01 11:25:02 +01:00
Alex Beregszaszi	b0e4555db3	Read version from CMakeLists in test_emscripten	2017-07-01 11:22:54 +01:00
Alex Beregszaszi	cc4f2500fb	Use BuildInfo.h to retrieve version	2017-06-28 17:58:08 +01:00
Alex Beregszaszi	913b9c0e6b	Run solc-js tests on emscripten build	2017-06-28 17:58:08 +01:00
chriseth	314f8beef1	This might fix our windows tests.	2017-06-20 17:47:06 +02:00
chriseth	a87b22c122	Change windows CI to use the same bytecode directory as linux.	2017-06-14 18:59:23 +02:00
chriseth	6d8afab928	Use actual hash.	2017-05-29 15:53:15 +02:00
chriseth	0ca941942b	Use HEAD for report directory name	2017-05-24 14:36:46 +02:00
Alex Beregszaszi	e12b990038	Move COMMIT_DATE	2017-05-24 11:03:38 +01:00
chriseth	1ce9b91275	Make bytecode upload more robust and use date for directory name.	2017-05-19 21:08:13 +01:00
chriseth	b741f51bde	Also put prerelease.txt into release tarball.	2017-05-17 11:59:34 +02:00
chriseth	bf5c6b7acb	Remove wily and add zesty.	2017-05-05 12:50:54 +02:00
chriseth	b024fce150	Do not run IPC tests on windows.	2017-04-26 12:36:23 +02:00
chriseth	89bb8cbd6a	Update shasum to new eth version.	2017-04-25 16:47:44 +02:00
chriseth	8758d9fb3c	Install eth (including dependencies).	2017-04-25 16:47:44 +02:00
chriseth	cdc64e3cbb	Use fixed binary for eth.	2017-04-25 16:47:44 +02:00
chriseth	dae5f7d350	Fix test script.	2017-04-25 16:47:43 +02:00
chriseth	cc1d5e47f9	Do not install eth from PPA for CI.	2017-04-25 16:47:43 +02:00
Alex Beregszaszi	ed32a57b86	Run tests in docker only on Travis	2017-04-25 16:47:43 +02:00
chriseth	1caf1f0b8d	Test using eth from docker.	2017-04-25 16:47:43 +02:00
Yoichi Hirai	1927148604	Merge pull request #2128 from ethereum/bytecodeNoPull ... Run bytecode upload only if encrypted variables are available.	2017-04-18 14:53:41 +02:00
chriseth	4694eaec43	Run bytecode upload only if encrypted variables are available.	2017-04-18 12:32:38 +02:00
chriseth	a7e605a7a1	Create and update bugs by version list.	2017-04-12 15:20:07 +02:00
chriseth	5c3a80ab5b	Also generate optimized code.	2017-03-23 09:56:18 +01:00