| 
					
						
							
								Makefile.inc
							
						
					
				 | 
				
					
						
							
							Fixed build with SMALL=1
						
					
				 | 
				2014-12-30 11:41:24 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt.cc
							
						
					
				 | 
				
					
						
							
							typo fix for "opt -fast"
						
					
				 | 
				2014-12-30 22:35:38 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_clean.cc
							
						
					
				 | 
				
					
						
							
							Added $meminit cell type
						
					
				 | 
				2015-02-14 10:23:03 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_const.cc
							
						
					
				 | 
				
					
						
							
							Using design->selected_modules() in opt_*
						
					
				 | 
				2015-02-03 23:45:01 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_muxtree.cc
							
						
					
				 | 
				
					
						
							
							Using design->selected_modules() in opt_*
						
					
				 | 
				2015-02-03 23:45:01 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_reduce.cc
							
						
					
				 | 
				
					
						
							
							Using design->selected_modules() in opt_*
						
					
				 | 
				2015-02-03 23:45:01 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_share.cc
							
						
					
				 | 
				
					
						
							
							Using design->selected_modules() in opt_*
						
					
				 | 
				2015-02-03 23:45:01 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								share.cc
							
						
					
				 | 
				
					
						
							
							Replaced ezDefaultSAT with ezSatPtr
						
					
				 | 
				2015-02-21 12:15:41 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								wreduce.cc
							
						
					
				 | 
				
					
						
							
							wreduce help typo fix
						
					
				 | 
				2015-02-17 13:02:16 +01:00 |