| cmds | Add new builtin FF types | 2020-06-23 15:40:02 +02:00 | 
		
			
			
			
			
				| equiv | Use C++11 final/override keywords. | 2020-06-18 23:34:52 +00:00 | 
		
			
			
			
			
				| fsm | Use C++11 final/override keywords. | 2020-06-18 23:34:52 +00:00 | 
		
			
			
			
			
				| hierarchy | Use C++11 final/override keywords. | 2020-06-18 23:34:52 +00:00 | 
		
			
			
			
			
				| memory | memory_dff: recognize more dff cells | 2020-07-23 20:55:28 +02:00 | 
		
			
			
			
			
				| opt | opt_merge: Dedup one more use of FF cell type list. | 2020-07-15 06:19:18 +02:00 | 
		
			
			
			
			
				| sat | qbfsat: Add -solver-optionoption. | 2020-07-20 21:54:56 +00:00 |