| abc | Minor fixes in abc build instructions and abc pass | 2013-08-20 09:46:05 +02:00 | 
		
			
			
			
			
				| extract | Automatically run "proc" on extract map files | 2013-07-24 20:19:08 +02:00 | 
		
			
			
			
			
				| hierarchy | Fixed handling of boolean attributes (passes) | 2013-10-24 11:37:54 +02:00 | 
		
			
			
			
			
				| memory | Fixed help message typo (memory pass) | 2013-10-30 00:47:31 +01:00 | 
		
			
			
			
			
				| opt | Fixed handling of boolean attributes (passes) | 2013-10-24 11:37:54 +02:00 | 
		
			
			
			
			
				| sat | Added sat -ignore_div_by_zero switch | 2013-08-15 11:40:01 +02:00 | 
		
			
			
			
			
				| scc | fixed typos | 2013-03-18 07:28:31 +01:00 | 
		
			
			
			
			
				| submod | Renamed opt_rmunused to opt_clean | 2013-06-05 07:07:31 +02:00 |