| 
							
							
								 chriseth | 276c777af3 | Merge pull request #7976 from ethereum/solc-api Test solidity_free in tests too | 2019-12-12 12:48:28 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 6e6bc9904f | libsolc: change return type of compile to non-const | 2019-12-12 11:26:16 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | c175a468ab | Do not call ABIEncoderV2 experimental. | 2019-12-12 10:59:07 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 2ccf3ea4ab | Test solidity_free in tests too | 2019-12-11 18:43:13 +00:00 |  | 
			
				
					| 
							
							
								 Leonardo | b9c35916e5 | Merge pull request #7975 from ethereum/solcjs-tests Use master branch of solc-js | 2019-12-11 19:02:00 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 9ce01b19b2 | Use master branch of solc-js | 2019-12-11 16:48:11 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | f22bd769ff | Merge pull request #7939 from ethereum/more_tests_override_stuff Ambiguous override for public state variables | 2019-12-11 17:16:59 +01:00 |  | 
			
				
					| 
							
							
								 Bhargava Shastry | f5bd483dfa | yul proto fuzzer: Target default evm version | 2019-12-11 16:52:00 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | 5998f31543 | Use BOOST_REQUIRE instead of BOOST_CHECK in LibSolc tests where appropriate | 2019-12-11 15:17:50 +00:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | b7d6e44af7 | Fix callback memory allocation in tests | 2019-12-11 15:17:39 +00:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | 8682af2216 | libsolc: Overhauls memory management. | 2019-12-11 15:17:39 +00:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 1fb62b91d2 | Add more override tests with public state variables | 2019-12-11 15:15:51 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | fbf946e493 | Add also smoke tests for opcodes not part of Ewasm | 2019-12-10 17:00:45 +00:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | d8cf8e98bd | Add basic test cases for most of EVM->Ewasm translator | 2019-12-10 17:00:45 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | 07d271e770 | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-10 10:07:30 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | c9360421fc | Move snark test from SolidityEndToEnd | 2019-12-09 18:33:07 +00:00 |  | 
			
				
					| 
							
							
								 chriseth | a5f7661075 | Ambigous overrides for modifiers. | 2019-12-09 18:43:59 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 152f42c6b2 | Make ambigous override checker generic. | 2019-12-09 18:41:39 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 6d2e59cc80 | More tests. | 2019-12-09 18:41:39 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | e1d6ce2b66 | Override checks for modifiers. | 2019-12-09 18:41:39 +01:00 |  | 
			
				
					| 
							
							
								 Erik Kundt | 1de27e0830 | Adjusts solc-js DAO contracts to breaking natspec change. | 2019-12-09 17:28:57 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | f6916a637e | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-09 17:16:58 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo | 2579a12bb8 | Merge pull request #7894 from ethereum/smt_isoltest_choice [SMTChecker] Create SMTSolver option in isoltest | 2019-12-09 16:41:20 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 06e8e216b3 | Some more tests. | 2019-12-09 16:04:45 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 4c7f9f9751 | Do not require overriding for functions in common base with unique implementation. | 2019-12-09 16:04:45 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 9c3503834d | Fix semver matcher differently. | 2019-12-09 15:45:01 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | beed0f6a27 | Set tests that CVC4 can't handle to Z3 only | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 8d5f5a5cbe | Remove deprecated code | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 77b9416d3e | Extract SMTChecker mod test | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 02343208ad | Extract SMTChecker compound assignment division tests | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | ae6cdc3442 | Extract more SMTChecker division tests | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | b870e4ea31 | Extract SMTChecker division tests | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 225041738e | Add SMTCheckerTest for isoltest | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 Leonardo Alt | 3e8584bd21 | Pull SyntaxTest::run content into separate functions | 2019-12-09 15:32:08 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 071a52f0ff | Merge remote-tracking branch 'origin/develop' into develop_060 | 2019-12-09 14:43:53 +01:00 |  | 
			
				
					| 
							
							
								 Alex Beregszaszi | b4a260d6e3 | Test solc-js with v0.5.0 Reverts part of edd80a98 | 2019-12-09 13:17:38 +00:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | e999409c89 | Sync & update AST exporting according to AST changes | 2019-12-09 10:42:24 +00:00 |  | 
			
				
					| 
							
							
								 Christian Parpart | 48dd1e398d | test: Improve handling invalid EVMVersion syntax in test cases. | 2019-12-09 10:14:27 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | e061f1e743 | Merge remote-tracking branch 'origin/develop' into HEAD | 2019-12-05 16:44:26 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 1fe1459b7d | Merge pull request #7583 from HenryRLee/issue5081 Version Checker: 0.5.x-prerelease will match `pragma solidity ^0.5` #5081 | 2019-12-05 14:59:58 +01:00 |  | 
			
				
					| 
							
							
								 Mathias Baumann | b7d5de59c5 | Implement overridding of functions by public variables | 2019-12-05 12:48:52 +00:00 |  | 
			
				
					| 
							
							
								 Gaith Hallak | 4d90180e24 | Support referencing other constants in inline assembly | 2019-12-05 13:27:17 +03:00 |  | 
			
				
					| 
							
							
								 chriseth | 52467108ac | Merge pull request #7903 from ethereum/fixSuperFunction Update missed tests for removal of superFunction. | 2019-12-05 10:45:35 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | ac996d209f | Fix gas cost test. | 2019-12-05 10:17:09 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | c326641341 | Update missed tests for removal of superFunction. | 2019-12-05 09:37:52 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 426f04b389 | Implement and fix overriding unimplemented and implemented functions with unimplemented functions. | 2019-12-05 09:26:43 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | 2c72ee7017 | Merge pull request #7902 from ethereum/fixTest Fix test | 2019-12-05 09:22:50 +01:00 |  | 
			
				
					| 
							
							
								 chriseth | cf12e20e43 | Fix test. | 2019-12-05 09:12:05 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | d3ba65968c | Add new test. | 2019-12-05 03:33:32 +01:00 |  | 
			
				
					| 
							
							
								 Daniel Kirchner | 7fab1c5e4a | Update tests. | 2019-12-05 03:33:32 +01:00 |  |