| 
					
						
							
								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 dict/pool.sort()
						
					
				 | 
				2015-01-24 00:13:27 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_const.cc
							
						
					
				 | 
				
					
						
							
							Bugfix in opt_const $eq -> buffer code
						
					
				 | 
				2015-01-31 23:25:32 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_muxtree.cc
							
						
					
				 | 
				
					
						
							
							Fixed opt_muxtree performance bug
						
					
				 | 
				2015-01-21 16:44:07 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_reduce.cc
							
						
					
				 | 
				
					
						
							
							using dict and pool in opt_reduce
						
					
				 | 
				2014-12-28 21:27:05 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								opt_share.cc
							
						
					
				 | 
				
					
						
							
							bugfix in opt_share
						
					
				 | 
				2014-12-28 21:26:36 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								share.cc
							
						
					
				 | 
				
					
						
							
							Added ENABLE_NDEBUG makefile options
						
					
				 | 
				2015-01-24 12:16:46 +01:00 |