| abc | Minor fixes in abc build instructions and abc pass | 2013-08-20 09:46:05 +02:00 | 
		
			
			
			
			
				| cmds | Some minor documentation fixes | 2013-08-21 12:16:44 +02:00 | 
		
			
			
			
			
				| extract | Automatically run "proc" on extract map files | 2013-07-24 20:19:08 +02:00 | 
		
			
			
			
			
				| fsm | Some fixes to improve determinism | 2013-08-09 12:42:32 +02:00 | 
		
			
			
			
			
				| memory | Added -nomap option to memory pass | 2013-03-21 09:11:06 +01:00 | 
		
			
			
			
			
				| opt | Added "clean -purge" and ";;;" support | 2013-08-11 13:59:14 +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 | 
		
			
			
			
			
				| techmap | Moved common techlib files to techlibs/common | 2013-09-15 11:52:57 +02:00 |