Eddie Hung c34d57de2e Update CHANGELOG and manual for departure from upstream

2020-04-27 12:08:45 -07:00

..

APPNOTE_011_Design_Investigation

…

CHAPTER_Eval

…

CHAPTER_Prog

Consistent use of 'override' for virtual methods in derived classes.

2018-07-20 23:51:06 -07:00

CHAPTER_StateOfTheArt

Spell check (by Larry Doolittle)

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

Consistent use of 'override' for virtual methods in derived classes.

2018-07-20 23:51:06 -07:00

.gitignore

…

APPNOTE_010_Verilog_to_BLIF.tex

…

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

…

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

Merge pull request #1553 from whitequark/manual-dffx

2020-01-28 09:41:08 +01:00

CHAPTER_Eval.tex

Spell check (by Larry Doolittle)

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

CHAPTER_Intro.tex

…

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

manual: explain RTLIL::Wire::{upto,offset}.

2020-02-09 14:54:07 +00:00

CHAPTER_Prog.tex

…

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

…

manual.sh

…

manual.tex

manual: Fix text in Abstract section

2019-12-11 08:22:08 -03: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

Minor presentation fixes

2016-05-14 11:35:39 +02:00

presentation.sh

…

presentation.tex

Spell check (by Larry Doolittle)

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

weblinks.bib

…