Claire Xenia Wolf 2d95a7da9c Intersynth URL ... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>		2021-06-09 12:42:52 +02:00
..
APPNOTE_011_Design_Investigation
CHAPTER_Eval
CHAPTER_Prog
CHAPTER_StateOfTheArt	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
PRESENTATION_ExAdv
PRESENTATION_ExOth	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
PRESENTATION_ExSyn
PRESENTATION_Intro
PRESENTATION_Prog
.gitignore
APPNOTE_010_Verilog_to_BLIF.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
APPNOTE_011_Design_Investigation.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
APPNOTE_012_Verilog_to_BTOR.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
appnotes.sh
CHAPTER_Appnotes.tex
CHAPTER_Approach.tex
CHAPTER_Auxlibs.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
CHAPTER_Auxprogs.tex
CHAPTER_Basics.tex
CHAPTER_CellLib.tex
CHAPTER_Eval.tex
CHAPTER_Intro.tex
CHAPTER_Optimize.tex
CHAPTER_Overview.tex
CHAPTER_Prog.tex	split CodingReadme into multiple files	2021-03-22 19:16:25 +01:00
CHAPTER_StateOfTheArt.tex
CHAPTER_Techmap.tex
CHAPTER_TextRtlil.tex
CHAPTER_Verilog.tex	verilog: Use proc memory writes in the frontend.	2021-03-08 20:16:29 +01:00
clean.sh
command-reference-manual.tex	Intersynth URL	2021-06-09 12:42:52 +02:00
literature.bib	More deadname stuff	2021-06-09 12:33:41 +02:00
manual.sh
manual.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
presentation.sh
presentation.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
PRESENTATION_ExAdv.tex	Use HTTPS for website links, gatecat email	2021-06-09 12:16:56 +02:00
PRESENTATION_ExOth.tex	Use HTTPS for website links, gatecat email	2021-06-09 12:16:56 +02:00
PRESENTATION_ExSyn.tex	Use HTTPS for website links, gatecat email	2021-06-09 12:16:56 +02:00
PRESENTATION_Intro.tex	More deadname stuff	2021-06-09 12:33:41 +02:00
PRESENTATION_Prog.tex	Use HTTPS for website links, gatecat email	2021-06-09 12:16:56 +02:00
weblinks.bib	More deadname stuff	2021-06-09 12:33:41 +02:00