| analysis | Introduce pure specifier on functions | 2017-08-24 13:46:18 +01:00 | 
		
			
			
			
			
				| ast | Rename statemutability to stateMutability in ABI/AST | 2017-08-24 15:23:00 +01:00 | 
		
			
			
			
			
				| codegen | Mark a lot of functions static (where possible) | 2017-08-22 10:51:46 +01:00 | 
		
			
			
			
			
				| formal | Review changes. | 2017-08-23 17:37:35 +02:00 | 
		
			
			
			
			
				| inlineasm | Check recursion depth in assembly parser. | 2017-08-22 12:44:22 +02:00 | 
		
			
			
			
			
				| parsing | Introduce pure specifier on functions | 2017-08-24 13:46:18 +01:00 | 
		
			
			
			
			
				| CMakeLists.txt | Prepare build system for Z3. | 2017-08-23 17:37:35 +02:00 |