Wladimir J. van der Laan 71f9f40fa9 Fix a few typos in the manual

2016-04-03 14:29:11 +02:00

..

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

Spell check (by Larry Doolittle)

2015-08-14 10:56:05 +02: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

Added some missing .gitignore in manual/

2014-12-04 13:37:58 +01: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

Spell check (by Larry Doolittle)

2015-08-14 10:56:05 +02:00

CHAPTER_Basics.tex

Spell check (by Larry Doolittle)

2015-08-14 10:56:05 +02:00

CHAPTER_CellLib.tex

Added read-enable to memory model

2015-09-25 12:23:11 +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

Renamed opt_share to opt_merge

2016-03-31 08:52:49 +02:00

CHAPTER_Overview.tex

Renamed opt_share to opt_merge

2016-03-31 08:52:49 +02: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

Spell check (by Larry Doolittle)

2015-08-14 10:56:05 +02:00

clean.sh

Remove nonportable "-r" option from xargs

2015-12-15 10:13:06 -08:00

command-reference-manual.tex

user-facing spelling fixes

2016-02-28 15:14:01 -07: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

Fix a few typos in the manual

2016-04-03 14:29:11 +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

Another block of spelling fixes

2015-08-14 23:27:05 +02:00

PRESENTATION_Prog.tex

Spell check (by Larry Doolittle)

2015-08-14 10:56:05 +02: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

weblinks.bib

Fixed CRLF line endings

2015-08-13 09:35:00 +02:00