| abc | Fixed typos found by lintian | 2015-02-01 21:49:55 +01:00 | 
		
			
			
			
			
				| cmds | Added "select -read" | 2015-02-06 10:01:22 +01:00 | 
		
			
			
			
			
				| equiv | Improved performance in equiv_simple | 2015-02-01 22:50:48 +01:00 | 
		
			
			
			
			
				| fsm | Added onehot attribute | 2015-02-04 18:52:54 +01:00 | 
		
			
			
			
			
				| memory | Added onehot attribute | 2015-02-04 18:52:54 +01:00 | 
		
			
			
			
			
				| opt | Fixed opt_clean performance bug | 2015-02-04 16:34:06 +01:00 | 
		
			
			
			
			
				| proc | Removed SigSpec::extend_xx() api | 2015-01-01 11:41:52 +01:00 | 
		
			
			
			
			
				| sat | Improved an error message | 2015-01-28 00:46:00 +01:00 | 
		
			
			
			
			
				| techmap | Added ENABLE_NDEBUG makefile options | 2015-01-24 12:16:46 +01:00 | 
		
			
			
			
			
				| tests | Added ENABLE_NDEBUG makefile options | 2015-01-24 12:16:46 +01:00 |