Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							c5673278a7
							
						
					 | 
					
						
						
							
							Remove EWASM backend.
						
						
						
						
						
					 | 
					
						2023-05-11 10:56:55 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							bf26d3be5a
							
						
					 | 
					
						
						
							
							Add experimental EOF options for CLI and Standard JSON.
						
						
						
						
						
						
						
						Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it> 
						
					 | 
					
						2022-11-23 19:53:44 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							788dc6b4c8
							
						
					 | 
					
						
						
							
							Remove canEnableViaYul logic and default to compiling also via yul.
						
						
						
						
						
					 | 
					
						2022-05-19 20:23:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							e93ad30e43
							
						
					 | 
					
						
						
							
							Remove obsolete enforce-via-yul logic and CI run.
						
						
						
						
						
					 | 
					
						2022-05-19 20:23:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec86e3e9ae
							
						
					 | 
					
						
						
							
							[isoltest] Add support for events using call side-effects.
						
						
						
						
						
					 | 
					
						2021-05-27 23:21:55 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							e9ee571b35
							
						
					 | 
					
						
						
							
							[isoltest] Add support for call side-effects.
						
						
						
						
						
					 | 
					
						2021-05-22 00:12:07 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							799106acfe
							
						
					 | 
					
						
						
							
							[isoltest] Add account builtin.
						
						
						
						
						
						
						
						Co-authored-by: Alex Beregszaszi <alex@rtfs.hu> 
						
					 | 
					
						2021-05-21 12:38:05 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							68f0f36a2d
							
						
					 | 
					
						
						
							
							[soltest] Improve Builtin Initialization.
						
						
						
						
						
					 | 
					
						2021-05-02 22:13:40 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							da38149f57
							
						
					 | 
					
						
						
							
							[test] Add support for --enforce-compile-to-ewasm.
						
						
						
						
						
					 | 
					
						2021-04-26 20:31:03 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							8239eaa1b8
							
						
					 | 
					
						
						
							
							Fix test builtins & add simple smoke test.
						
						
						
						
						
					 | 
					
						2021-04-26 07:51:43 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Djordje Mijovic
							
						 
					 | 
					
						
						
						
						
							
						
						
							aed3832b27
							
						
					 | 
					
						
						
							
							Implementing enforcing gas expectations in isoltest.
						
						
						
						
						
						
						
						Co-authored-by: Daniel Kirchner <daniel@ekpyron.org> 
						
					 | 
					
						2021-03-09 21:26:45 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Djordje Mijovic
							
						 
					 | 
					
						
						
						
						
							
						
						
							515f15f7a3
							
						
					 | 
					
						
						
							
							Small style fix for SemanticTest constructor.
						
						
						
						
						
					 | 
					
						2021-03-09 21:26:45 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Djordje Mijovic
							
						 
					 | 
					
						
						
						
						
							
						
						
							6d51dfb617
							
						
					 | 
					
						
						
							
							[isoltest] Adding gas used as semantic tests expectation.
						
						
						
						
						
					 | 
					
						2021-03-09 21:26:36 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							94895822d2
							
						
					 | 
					
						
						
							
							[isoltest] Add support for builtin functions.
						
						
						
						
						
					 | 
					
						2021-03-04 08:49:59 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alexander Arlt
							
						 
					 | 
					
						
						
						
						
							
						
						
							23d9b1567e
							
						
					 | 
					
						
						
							
							Add support for ewasm evmc vm.
						
						
						
						
						
					 | 
					
						2020-09-08 12:41:42 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Bhargava Shastry
							
						 
					 | 
					
						
						
						
						
							
						
						
							0397266351
							
						
					 | 
					
						
						
							
							Implement multi source semantic tests
						
						
						
						
						
						
						
						Co-authored-by: chriseth <chris@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it> 
						
					 | 
					
						2020-06-23 17:29:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Djordje Mijovic
							
						 
					 | 
					
						
						
						
						
							
						
						
							8b7f87eed5
							
						
					 | 
					
						
						
							
							[isoltest] Enforcing compileViaYul to be set if test can pass via yul
						
						
						
						
						
					 | 
					
						2020-05-05 00:38:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								a3d4
							
						 
					 | 
					
						
						
						
						
							
						
						
							66783c30ce
							
						
					 | 
					
						
						
							
							Introduced TestCaseReader.
						
						
						
						
						
					 | 
					
						2020-03-16 23:14:33 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								a3d4
							
						 
					 | 
					
						
						
						
						
							
						
						
							29b770c434
							
						
					 | 
					
						
						
							
							Introduced TestCase::shouldRun().
						
						
						
						
						
					 | 
					
						2020-03-09 15:52:20 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							d882b6fa83
							
						
					 | 
					
						
						
							
							Allow tests to be marked ABIEncoderV1Only.
						
						
						
						
						
					 | 
					
						2020-02-04 17:22:03 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Christian Parpart
							
						 
					 | 
					
						
						
						
						
							
						
						
							345f9928ab
							
						
					 | 
					
						
						
							
							Library libdevcore renamed to libsolutil.
						
						
						
						
						
					 | 
					
						2020-01-07 15:51:50 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Christian Parpart
							
						 
					 | 
					
						
						
						
						
							
						
						
							ed45b000d1
							
						
					 | 
					
						
						
							
							Adapt tests directory to C++ namespace changes.
						
						
						
						
						
					 | 
					
						2020-01-07 15:51:50 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							c7e3318dba
							
						
					 | 
					
						
						
							
							Add support for external libraries to extracted semantics tests.
						
						
						
						
						
					 | 
					
						2019-11-12 15:19:04 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							c4638cc5cb
							
						
					 | 
					
						
						
							
							Remove mention of IPC.
						
						
						
						
						
					 | 
					
						2019-08-08 17:35:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							2a1473fd30
							
						
					 | 
					
						
						
							
							Adds line numbers to parser errors in isoltest.
						
						
						
						
						
					 | 
					
						2019-07-15 14:16:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							8e20a5e59a
							
						
					 | 
					
						
						
							
							Allow extracted semantics tests to run both with and without Yul.
						
						
						
						
						
					 | 
					
						2019-06-06 20:19:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							76b88bdfd8
							
						
					 | 
					
						
						
							
							Allow test cases to indicate fatal errors.
						
						
						
						
						
					 | 
					
						2019-05-07 18:12:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								chriseth
							
						 
					 | 
					
						
						
						
						
							
						
						
							aeb260cde1
							
						
					 | 
					
						
						
							
							Add settings framework for interactive tests.
						
						
						
						
						
					 | 
					
						2019-04-03 14:58:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							a178486436
							
						
					 | 
					
						
						
							
							Review suggestions.
						
						
						
						
						
					 | 
					
						2019-03-18 14:34:00 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Daniel Kirchner
							
						 
					 | 
					
						
						
						
						
							
						
						
							4a28e1eb43
							
						
					 | 
					
						
						
							
							Support EVM Version rules for extracted tests.
						
						
						
						
						
					 | 
					
						2019-03-15 17:23:20 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							d1ad431887
							
						
					 | 
					
						
						
							
							Moves soltest function call to separate class.
						
						
						
						
						
					 | 
					
						2019-02-21 16:39:31 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							dacad629ef
							
						
					 | 
					
						
						
							
							Adds semantic tests to test framework and isoltest.
						
						
						
						
						
					 | 
					
						2019-02-15 13:27:15 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							190634e1f9
							
						
					 | 
					
						
						
							
							Implements infrastructure for semantic tests.
						
						
						
						
						
					 | 
					
						2019-02-13 13:05:58 +01:00 | 
					
					
						
						
							
							
							
						
					 |