Kamil Śliwak
							
						 
					 | 
					
						
						
						
						
							
						
						
							8080be9445
							
						
					 | 
					
						
						
							
							external test scripts: Replace global $SOLJSON variable with a parameter
						
						
						
						
						
					 | 
					
						2020-12-03 22:17:44 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Kamil Śliwak
							
						 
					 | 
					
						
						
						
						
							
						
						
							0a29218848
							
						
					 | 
					
						
						
							
							external test scripts: Quote variables properly
						
						
						
						
						
					 | 
					
						2020-12-03 22:17:44 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Leonardo Alt
							
						 
					 | 
					
						
						
						
						
							
						
						
							23ee011c56
							
						
					 | 
					
						
						
							
							[SMTChecker] Fix imports
						
						
						
						
						
					 | 
					
						2020-09-11 13:34:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alex Beregszaszi
							
						 
					 | 
					
						
						
						
						
							
						
						
							9ce01b19b2
							
						
					 | 
					
						
						
							
							Use master branch of solc-js
						
						
						
						
						
					 | 
					
						2019-12-11 16:48:11 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							f13fa7ed82
							
						
					 | 
					
						
						
							
							Adjusts solc-js test to earlier override of soljson.
						
						
						
						
						
					 | 
					
						2019-12-02 18:10:39 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alex Beregszaszi
							
						 
					 | 
					
						
						
						
						
							
						
						
							1a4ee4ea34
							
						
					 | 
					
						
						
							
							Revert "Run solc-js tests against callback-context [REMOVE]"
						
						
						
						
						
						
						
						This reverts commit 3133544313. 
						
					 | 
					
						2019-11-26 19:11:11 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Alex Beregszaszi
							
						 
					 | 
					
						
						
						
						
							
						
						
							3133544313
							
						
					 | 
					
						
						
							
							Run solc-js tests against callback-context [REMOVE]
						
						
						
						
						
					 | 
					
						2019-11-22 11:50:13 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Leonardo Alt
							
						 
					 | 
					
						
						
						
						
							
						
						
							ddc478e3e4
							
						
					 | 
					
						
						
							
							Add CallbackKind and use it for the SMT solver
						
						
						
						
						
					 | 
					
						2019-11-21 22:10:21 +00:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Erik Kundt
							
						 
					 | 
					
						
						
						
						
							
						
						
							8adde5abbe
							
						
					 | 
					
						
						
							
							Migrates solc-js test to ext. test infrastructure.
						
						
						
						
						
						
						
						solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395 
						
					 | 
					
						2019-09-25 16:03:08 +02:00 | 
					
					
						
						
							
							
							
						
					 |