| abc | Added support for "assign" statements in abc vlparse | 2013-06-15 13:50:38 +02:00 | 
		
			
			
			
			
				| cmds | Added splitnets command | 2013-06-18 17:11:36 +02:00 | 
		
			
			
			
			
				| fsm | Renamed opt_rmunused to opt_clean | 2013-06-05 07:07:31 +02:00 | 
		
			
			
			
			
				| memory | Added -nomap option to memory pass | 2013-03-21 09:11:06 +01:00 | 
		
			
			
			
			
				| opt | Renamed opt_rmunused to opt_clean | 2013-06-05 07:07:31 +02:00 | 
		
			
			
			
			
				| sat | Fixed even more ConstEval bugs found using xsthammer | 2013-06-14 17:50:26 +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 |