| ast | Fixed $clog2 (off by one error) | 2014-09-06 19:31:04 +02:00 | 
		
			
			
			
			
				| ilang | Changed frontend-api from FILE to std::istream | 2014-08-23 15:03:55 +02:00 | 
		
			
			
			
			
				| liberty | Changed frontend-api from FILE to std::istream | 2014-08-23 15:03:55 +02:00 | 
		
			
			
			
			
				| verific | Corrected spelling mistakes found by lintian | 2014-09-06 08:47:06 +02:00 |