| cmds | Port from xc7mux branch | 2019-04-16 15:01:45 -07:00 | 
		
			
			
			
			
				| equiv | Fix equiv_opt indenting | 2018-12-16 15:57:28 +01:00 | 
		
			
			
			
			
				| hierarchy | Add "hdlname" attribute | 2019-03-26 14:52:48 +01:00 | 
		
			
			
			
			
				| memory | memory_bram: Fix multiport make_transp | 2019-04-07 16:56:31 +01:00 | 
		
			
			
			
			
				| pmgen | Fix a few typos | 2019-04-08 16:46:33 -07:00 | 
		
			
			
			
			
				| proc | Revert #895 | 2019-04-16 11:07:51 -07:00 | 
		
			
			
			
			
				| sat | Merge branch 'master' into xaig | 2019-04-08 16:31:59 -07:00 | 
		
			
			
			
			
				| techmap | abc9 to output some more info | 2019-04-16 16:39:16 -07:00 | 
		
			
			
			
			
				| tests | flowmap: implement depth relaxation. | 2019-01-08 01:13:05 +00:00 |