.. 
			 
		
		
			
			
			
			
				
					
						
							
								
								
									
									
									 APPNOTE_011_Design_Investigation
									
								 
							
						
					 
				 
				
					
						
							
							suppressing semi-colon at the end of dot files 
						
					 
				 
				2014-12-05 18:17:00 +01:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_Eval
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_Prog
									
								 
							
						
					 
				 
				
					
						
							
							Use C++11 final/override keywords. 
						
					 
				 
				2020-06-18 23:34:52 +00:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_StateOfTheArt
									
								 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExAdv
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExOth
									
								 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExSyn
									
								 
							
						
					 
				 
				
					
						
							
							Progress in presentation 
						
					 
				 
				2014-06-21 16:33:33 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_Intro
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_Prog
									
								 
							
						
					 
				 
				
					
						
							
							Use C++11 final/override keywords. 
						
					 
				 
				2020-06-18 23:34:52 +00:00  
			 
		
			
			
			
			
				
					
						
							
								 .gitignore 
							
						
					 
				 
				
					
						
							
							presentation progress 
						
					 
				 
				2014-01-29 12:15:38 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_010_Verilog_to_BLIF.tex 
							
						
					 
				 
				
					
						
							
							Some ASCII encoding fixes (comments and docs) by Larry Doolittle 
						
					 
				 
				2015-08-13 09:30:20 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_011_Design_Investigation.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_012_Verilog_to_BTOR.tex 
							
						
					 
				 
				
					
						
							
							Renamed opt_const to opt_expr 
						
					 
				 
				2016-03-31 08:46:56 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 appnotes.sh 
							
						
					 
				 
				
					
						
							
							Appnote 012 
						
					 
				 
				2015-04-04 14:52:25 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Appnotes.tex 
							
						
					 
				 
				
					
						
							
							Updated command reference in manual 
						
					 
				 
				2016-02-14 11:02:11 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Approach.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Auxlibs.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Auxprogs.tex 
							
						
					 
				 
				
					
						
							
							Update CHANGELOG and manual for departure from upstream 
						
					 
				 
				2020-04-27 12:08:45 -07:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Basics.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_CellLib.tex 
							
						
					 
				 
				
					
						
							
							Add latches to the manual. 
						
					 
				 
				2020-06-26 23:27:14 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Eval.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Intro.tex 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Optimize.tex 
							
						
					 
				 
				
					
						
							
							Added warning about adding fsm_encoding attributes to wires to manual 
						
					 
				 
				2016-07-08 18:31:31 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Overview.tex 
							
						
					 
				 
				
					
						
							
							Replace "ILANG" with "RTLIL" everywhere. 
						
					 
				 
				2020-08-26 17:29:32 +00:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Prog.tex 
							
						
					 
				 
				
					
						
							
							Improvements in CodingReadme 
						
					 
				 
				2014-12-31 14:28:27 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_StateOfTheArt.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Techmap.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Verilog.tex 
							
						
					 
				 
				
					
						
							
							Fixed some missing "verilog_" in documentation 
						
					 
				 
				2019-12-13 10:17:05 -03:00  
			 
		
			
			
			
			
				
					
						
							
								 clean.sh 
							
						
					 
				 
				
					
						
							
							Use -E sed parameter instead of -r. 
						
					 
				 
				2017-02-04 18:26:01 -08:00  
			 
		
			
			
			
			
				
					
						
							
								 command-reference-manual.tex 
							
						
					 
				 
				
					
						
							
							Get rid of dffsr2dff. 
						
					 
				 
				2020-04-15 16:22:37 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 literature.bib 
							
						
					 
				 
				
					
						
							
							Fixed CRLF line endings 
						
					 
				 
				2015-08-13 09:35:00 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 manual.sh 
							
						
					 
				 
				
					
						
							
							Added first presentation slides 
						
					 
				 
				2014-01-27 17:08:19 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 manual.tex 
							
						
					 
				 
				
					
						
							
							manual: Fix text in Abstract section 
						
					 
				 
				2019-12-11 08:22:08 -03:00  
			 
		
			
			
			
			
				
					
						
							
								 presentation.sh 
							
						
					 
				 
				
					
						
							
							Some fixes in presentation 
						
					 
				 
				2014-11-08 12:39:01 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 presentation.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExAdv.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExOth.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExSyn.tex 
							
						
					 
				 
				
					
						
							
							Renamed opt_share to opt_merge 
						
					 
				 
				2016-03-31 08:52:49 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_Intro.tex 
							
						
					 
				 
				
					
						
							
							Replace "ILANG" with "RTLIL" everywhere. 
						
					 
				 
				2020-08-26 17:29:32 +00:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_Prog.tex 
							
						
					 
				 
				
					
						
							
							Replace "ILANG" with "RTLIL" everywhere. 
						
					 
				 
				2020-08-26 17:29:32 +00:00  
			 
		
			
			
			
			
				
					
						
							
								 weblinks.bib 
							
						
					 
				 
				
					
						
							
							Fixed CRLF line endings 
						
					 
				 
				2015-08-13 09:35:00 +02:00