Spell check (by Larry Doolittle)
authorClifford Wolf <clifford@clifford.at>
Fri, 14 Aug 2015 08:56:05 +0000 (10:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 14 Aug 2015 08:56:05 +0000 (10:56 +0200)
commit84bf862f7c58c2b69babf043ff5032f924a3ee4d
treec19a405bc106c2472f1aaa46c36b189db3e5223f
parent80910d13a610886f4430fbd991ada78b2e586ada
Spell check (by Larry Doolittle)
63 files changed:
backends/btor/btor.cc
backends/verilog/verilog_backend.cc
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
frontends/verific/verific.cc
frontends/verilog/verilog_frontend.cc
kernel/driver.cc
kernel/log.h
kernel/rtlil.h
kernel/yosys.cc
libs/ezsat/ezsat.h
manual/APPNOTE_011_Design_Investigation.tex
manual/APPNOTE_012_Verilog_to_BTOR.tex
manual/CHAPTER_Appnotes.tex
manual/CHAPTER_Approach.tex
manual/CHAPTER_Auxlibs.tex
manual/CHAPTER_Auxprogs.tex
manual/CHAPTER_Basics.tex
manual/CHAPTER_CellLib.tex
manual/CHAPTER_Eval.tex
manual/CHAPTER_Optimize.tex
manual/CHAPTER_Overview.tex
manual/CHAPTER_Prog/stubnets.cc
manual/CHAPTER_StateOfTheArt.tex
manual/CHAPTER_StateOfTheArt/simlib_yosys.v
manual/CHAPTER_Techmap.tex
manual/CHAPTER_Verilog.tex
manual/PRESENTATION_ExAdv.tex
manual/PRESENTATION_ExOth.tex
manual/PRESENTATION_ExOth/equiv.ys
manual/PRESENTATION_ExSyn.tex
manual/PRESENTATION_Intro.tex
manual/PRESENTATION_Prog.tex
manual/command-reference-manual.tex
manual/manual.tex
manual/presentation.tex
passes/cmds/check.cc
passes/cmds/connect.cc
passes/cmds/connwrappers.cc
passes/cmds/design.cc
passes/cmds/select.cc
passes/cmds/show.cc
passes/cmds/splice.cc
passes/cmds/write_file.cc
passes/equiv/equiv_make.cc
passes/fsm/fsm.cc
passes/fsm/fsm_expand.cc
passes/hierarchy/hierarchy.cc
passes/memory/memory_bram.cc
passes/opt/opt_reduce.cc
passes/opt/share.cc
passes/sat/eval.cc
passes/sat/expose.cc
passes/sat/freduce.cc
passes/sat/miter.cc
passes/sat/sat.cc
passes/techmap/abc.cc
passes/techmap/dff2dffe.cc
passes/techmap/extract.cc
passes/techmap/techmap.cc
passes/tests/test_autotb.cc
tests/tools/vcdcd.pl