| 
							
							
								 chriseth | 57c00eece8 | Require specific version of g++ to make PPA happy. | 2019-12-11 15:29:19 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 07d271e770 | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-10 10:07:30 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 9b4abb2b7f | Change jsoncpp version everywhere. | 2019-12-09 18:39:18 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | ac03bfc0b1 | Drop solc-js backwards compatibility for 0.6 Reverts ee3a8341 | 2019-12-09 17:33:50 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | 071a52f0ff | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-09 14:43:53 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | ee3a834165 | Add backwards compatibility to the generated soljson.js for solc-js <0.5.14 Reverts part of edd80a9 | 2019-12-09 13:17:32 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | 2f11ac3590 | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-03 21:17:15 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 96d777d7f1 | Merge commit 'a7d481fb9' into develop_060 | 2019-12-03 20:47:30 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | c9be3bdf7e | Rename cmake option | 2019-12-03 15:11:38 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | e04d8955ab | Update to Z3 4.8.7 and cherry-pick build fix commit | 2019-12-03 14:41:02 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | edd80a986d | Update emscripten to 1.39.3 | 2019-11-29 12:55:02 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | cdbaf067c7 | Internal emscripten build cleanup | 2019-11-29 10:21:29 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | f7fc42d8c3 | Merge pull request #7826 from ethereum/develop Merge develop into develop_060 | 2019-11-28 13:37:19 +01:00 |  | 
			
				
					| 
							
							
								 mingchuan | db60d123d0 | [YulOpt] Implement loop-invariant code motion | 2019-11-28 11:59:29 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 389da5228e | Merge remote-tracking branch 'origin/develop' into merge_develop_060 | 2019-11-20 12:27:40 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 0033d63522 | Run more tests on istanbul. | 2019-11-19 17:09:18 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo | 684ccea6f0 | Merge pull request #7697 from ethereum/develop Merge develop into develop_060 | 2019-11-12 15:30:34 +01:00 |  | 
			
				
					| 
							
							
								 Bhargava Shastry | 066626a3e8 | Remove obsolete installation scripts that were used by the fuzzer build CI | 2019-11-12 11:26:59 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 8148619d5b | Merge branch 'develop' into develop_060 | 2019-11-12 10:32:41 +01:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | e35a23bbcc | Add ` switch (..)to style checker | 2019-11-11 17:44:21 +01:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | e643c4ca28 | Add ` while (..)to style checker | 2019-11-11 17:28:41 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | b3174db322 | Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script. | 2019-11-11 14:55:00 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 21e65076b3 | Merge pull request #7650 from ethereum/develop Merge develop into develop_060 | 2019-11-06 21:56:55 +01:00 |  | 
			
				
					| 
							
							
								 Chris Chinchilla | c9a56d5339 | Remove macOS flag | 2019-11-05 17:02:37 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 07c67b98f6 | Merge remote-tracking branch 'origin/develop' into HEAD | 2019-10-28 12:12:52 +01:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | ec53899a10 | Fixes source extraction from docs. | 2019-10-23 22:13:24 +02:00 |  | 
			
				
					| 
							
							
								 Mathias L. Baumann | 7e01696030 | Merge pull request #7554 from ethereum/develop Merge develop into develop_060 | 2019-10-21 17:05:12 +02:00 |  | 
			
				
					| 
							
							
								 kcy1019 | 547cd2eb71 | Remove dependency on boost::regex from Whiskers | 2019-10-16 21:26:49 +09:00 |  | 
			
				
					| 
							
							
								 chriseth | 9719d28526 | Merge pull request #7475 from ethereum/move-solcjs-tests Migrate solc-js tests | 2019-10-16 12:35:09 +02:00 |  | 
			
				
					| 
							
							
								 Gaith Hallak | 9d34d7de2f | Remove trailing spaces from JSON output | 2019-10-02 18:01:47 +03:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | 8adde5abbe | Migrates solc-js test to ext. test infrastructure. solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395 | 2019-09-25 16:03:08 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | c72d1ffb65 | Merge pull request #7421 from ethereum/develop Merge develop into develop_060 | 2019-09-13 12:14:02 +02:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | ad5fe2bf45 | Fixes codespell. | 2019-09-12 22:15:03 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | acf10ef60f | Merge pull request #7393 from ethereum/develop Merge develop into 0.6.0 | 2019-09-10 12:27:02 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 998f7de2c8 | Change command line test from --ast to --ast-json. | 2019-09-06 13:46:18 +02:00 |  | 
			
				
					| 
							
							
								 Crawford Leeds | 4138fc4b59 | add support for macOS Catalina in scripts/install_deps.sh | 2019-09-05 21:20:02 -06:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | ef407ea896 | Try to fix appveyor run by chaning bytecode pull output from stderr to stdout. | 2019-09-04 10:57:01 +02:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | e91c6acbc3 | Defaulting to C++17 for building. | 2019-08-13 16:19:18 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | bd105ad4b1 | Experimental static Z3 PPA script. | 2019-08-13 16:19:18 +02:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | 30373d5719 | Test scripts: Make build dir a variable | 2019-08-13 12:44:29 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 2f48bd6fb9 | Remove ubuntu cosmic (EOL July 18, 2019) from release script. | 2019-08-12 11:36:48 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 77212627fb | Remove traces of aleth and IPC. | 2019-08-08 17:35:46 +02:00 |  | 
			
				
					| 
							
							
								 rocky | 7fd7cc1e76 | Produce AST even when there are parser errors | 2019-08-07 15:25:53 +02:00 |  | 
			
				
					| 
							
							
								 Chris Chinchilla | 85ec44826a | Add style checker Rename files
Changes from review
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Update test/docsCodeStyle.sh
Co-Authored-By: chriseth <chris@ethereum.org>
Remove extraneous brackets | 2019-08-05 13:00:30 +02:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | cb5df90251 | Change the way release_ppa.sh treats branches. Only release branch is treated release branch,
and everything else is treated a development branch. | 2019-07-22 14:49:30 +02:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | 7b3aba81fb | Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops. | 2019-06-24 17:32:58 +02:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | b58170f890 | Refactor & Speedups on CircleCI; split out out codecov into dedicated tests. | 2019-06-21 20:26:10 +02:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | c3ccce9745 | Fix run_proofs script to actually run proofs | 2019-06-20 15:58:10 +02:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 51ba7f5f17 | Add CI job for optimization proofs | 2019-06-19 22:29:23 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | cb9c35f883 | Define imported targets manually, if not provided by find_package(Boost). | 2019-06-06 21:03:33 +02:00 |  |