| analysis | Rename scope to currentContract. | 2020-06-09 18:19:09 +02:00 | 
		
			
			
			
			
				| ast | Replace inContractKind by libraryFunction. | 2020-06-09 17:56:58 +02:00 | 
		
			
			
			
			
				| codegen | Index access to fixed bytes and byte arrays. | 2020-06-09 10:50:28 +02:00 | 
		
			
			
			
			
				| interface | Add error IDs to JSON | 2020-06-10 13:26:51 +02:00 | 
		
			
			
			
			
				| parsing | Shorten a couple of lines | 2020-05-21 17:38:47 +02:00 | 
		
			
			
			
			
				| CMakeLists.txt | Create libsmtutil | 2020-05-20 12:55:18 +02:00 |