| analysis | Warn if using var x = 0 | 2017-06-28 11:41:03 +02:00 | 
		
			
			
			
			
				| interface | Remove Why3 generator | 2017-06-25 12:26:16 +01:00 | 
		
			
			
			
			
				| parsing | Avoid including Scanner.h in ParserBase.h | 2017-06-22 22:22:19 +01:00 | 
		
			
			
			
			
				| CMakeLists.txt | Adapt EVM codegen to new namespace. | 2017-05-26 15:08:27 +02:00 |