| 
							
							
								 chriseth | 9f407fe0e7 | Merge pull request #9031 from ethereum/extend-check-srcipt Add check for 0000_error to script | 2020-05-27 18:29:26 +02:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | 7548441b4f | Check for wrong error codes in the CI | 2020-05-27 18:02:58 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 421f9f3876 | Disable smt checker for bytecodecompare. | 2020-05-27 11:12:40 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 75df2342d6 | Adding some debug messages to bytecode store. | 2020-05-27 09:39:45 +02:00 |  | 
			
				
					| 
							
							
								 Harikrishnan Mulackal | 21e34d7ca9 | Fixed seed for randomness, fixed conflicts in errorids | 2020-05-26 18:21:47 +05:30 |  | 
			
				
					| 
							
							
								 Mathias Baumann | 7f3d437ffe | Fix caret position for errors with utf source | 2020-05-25 14:27:03 +02:00 |  | 
			
				
					| 
							
							
								 a3d4 | a499ef16fa | Fix spelling errors | 2020-05-25 02:54:37 +02:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | c6742e3752 | Fix typo in correct error ids script | 2020-05-17 23:24:31 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 8fe27ac4b4 | Add Dockerfile for an Emscripten build environment and use it for CI runs. | 2020-05-14 18:14:47 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | b71a3f1f1d | Merge pull request #8939 from ethereum/updateZ3 Update z3 to version 4.8.8. | 2020-05-14 16:36:49 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 61c746a575 | Merge pull request #8873 from ethereum/picosha2 Update picosha2 from upstream | 2020-05-14 14:33:56 +02:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | a7f6a4bee6 | Update PPA scripts. | 2020-05-14 14:12:01 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | bcc4bbcad7 | Update test extraction script to recognize license identifier. | 2020-05-13 22:16:34 +02:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | d5d9ff6513 | Update picosha2 from upstream | 2020-05-12 15:25:22 +02:00 |  | 
			
				
					| 
							
							
								 Harikrishnan Mulackal | 170291f738 | Merge pull request #8904 from ethereum/error-id-ignore-folders [error_id] Only walk into a given set of directories | 2020-05-12 16:20:33 +05:30 |  | 
			
				
					| 
							
							
								 Harikrishnan Mulackal | bf7ab8d277 | Error ids only walk into a given set of directories | 2020-05-12 14:58:31 +05:30 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | c1ed5bbb0f | Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them. | 2020-05-11 17:35:01 +02:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | ff084c2809 | Make error correction script user interaction case insensitive | 2020-05-07 11:29:57 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 5e46ef7df5 | Merge pull request #8680 from a3d4/fix-5819-tagging-error-cases Tag error cases with unique IDs | 2020-05-07 01:12:56 +02:00 |  | 
			
				
					| 
							
							
								 a3d4 | 2d984b77a1 | Add a script to correct IDs | 2020-05-06 14:25:13 +02:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | a93d79ff28 | Remove obsolete flag --optimize-yul from scripts | 2020-05-06 11:49:40 +02:00 |  | 
			
				
					| 
							
							
								 Alexander Arlt | d0bed50260 | [ci] add chk_shellscripts | 2020-04-27 07:55:59 -05:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | 3e65bcfd7f | Allow SOLIDITY_BUILD_DIR outside of REPO_ROOT in scripts that respect this variable | 2020-04-17 19:09:22 +02:00 |  | 
			
				
					| 
							
							
								 Kamil Śliwak | a80b032081 | Fix inconsistent indentation in scripts/ - NOT reindenting all files. Just choosing one style in files that were using multiple. | 2020-04-17 19:09:02 +02:00 |  | 
			
				
					| 
							
							
								 Leonardo | 4fbe39b5e6 | Merge pull request #8649 from ethereum/tryRight Fix error reporting on diff. | 2020-04-15 15:27:35 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | cf2bd41837 | Merge pull request #8554 from aarlt/yul_coverage_script Add script to determine percentage of tests compilable via Yul. | 2020-04-15 11:58:57 +02:00 |  | 
			
				
					| 
							
							
								 chriseth | 8dd02f2712 | Change error reporting from left to right. | 2020-04-09 17:27:50 +02:00 |  | 
			
				
					| 
							
							
								 David Cian | f682942f96 | Make CircleCI post diff review for style violation The CircleCI robot now also posts a review comment
directly on the diff (on GitHub, the changes tab),
where the style violations take place. | 2020-04-09 16:56:25 +02:00 |  | 
			
				
					| 
							
							
								 Jason Cobb | 1cf8a6c9d2 | Use readlink -f instead of realpath in ASTImportTest.sh | 2020-04-06 10:10:58 -04:00 |  | 
			
				
					| 
							
							
								 Alexander Arlt | d8671d9c14 | Add script to determine percentage of tests compilable via Yul. | 2020-04-04 18:04:54 -05:00 |  | 
			
				
					| 
							
							
								 Djordje Mijovic | 64ae889dd7 | Enabling pragma with > in minimum version check | 2020-03-31 23:50:24 +02:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | 0e66e07e5c | Add antlr-based grammar and test it. | 2020-03-24 11:07:51 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 8834b1acaf | Merge pull request #8464 from aarlt/end-to-end-verified [test] Extraction of 292 tests from SolidityEndToEndTest.cpp | 2020-03-19 14:42:04 +01:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | 50c22f0800 | Adds script which compiles docs example with minimum compiler version. | 2020-03-18 19:27:38 +01:00 |  | 
			
				
					| 
							
							
								 Alexander Arlt | df8e762bf9 | Add tools: create_traces.sh, remove-testcases.py & verify-testcases.py | 2020-03-18 11:56:43 -05:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 420f57aec3 | Fix yul ast import for blocks, switches and string literals. | 2020-03-05 14:09:13 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | a56159368a | Merge pull request #8322 from ethereum/bytecodeRepoDirectoryNames Add hour and minute to bytecode repo directory names. | 2020-02-18 15:51:01 +01:00 |  | 
			
				
					| 
							
							
								 Bhargava Shastry | 5d5bb00716 | Fix script used for fuzzer nightly test | 2020-02-18 13:24:10 +05:30 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | e8bb212ec6 | Add hour and minute to bytecode repo directory names | 2020-02-15 14:44:37 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 50adb2943a | Prevent windows line endings in bytecode report. | 2020-02-14 17:03:48 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 7115f6fe41 | Merge pull request #8304 from ethereum/fix-macos-ast-test Fix AST JSON test on MacOS | 2020-02-14 14:03:59 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 2917cf4bbc | Merge pull request #8118 from ethereum/wasmRebuilds Experimental wasm soljson.js rebuild scripts | 2020-02-14 13:00:33 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 2f8683510d | Add readme. | 2020-02-14 12:48:21 +01:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | 3633557f8a | Fixes command line tests on MacOS. | 2020-02-14 12:29:33 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 5ec8202e6e | Add Ubuntu Focal. | 2020-02-13 22:34:25 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 946f74748c | Merge pull request #8289 from ethereum/fix-8219 Switch nightly fuzzer build from ASan (slow) to UBSan (fast) | 2020-02-12 16:18:32 +01:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | 3a4cb016ff | Add codestyle rule to prevent include ".." | 2020-02-11 13:03:46 +01:00 |  | 
			
				
					| 
							
							
								 Bhargava Shastry | 3623026505 | Switch nightly fuzzer build from ASan (slow) to UBSan (fast) | 2020-02-11 14:43:37 +05:30 |  | 
			
				
					| 
							
							
								 Christian Parpart | 07a04bed44 | python: Fixing some python2-to-python3 migrations that I missed in the last PR. | 2020-02-04 22:26:11 +01:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | 6ab385d34a | CircleCI: Adds pylint test for all python files in test/ directory. | 2020-02-04 22:26:10 +01:00 |  |