Clifford Wolf d105e2f03f Merge pull request #1154 from whitequark/manual-sync-always ...

manual: explain the purpose of `sync always`

2019-07-09 18:46:58 +01: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

…

PRESENTATION_ExAdv

…

PRESENTATION_ExOth

…

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

…

APPNOTE_012_Verilog_to_BTOR.tex

…

appnotes.sh

…

CHAPTER_Appnotes.tex

…

CHAPTER_Approach.tex

…

CHAPTER_Auxlibs.tex

…

CHAPTER_Auxprogs.tex

…

CHAPTER_Basics.tex

…

CHAPTER_CellLib.tex

Add $specrule cells for $setup/$hold/$skew specify rules

2019-04-23 21:36:59 +02:00

CHAPTER_Eval.tex

…

CHAPTER_Intro.tex

…

CHAPTER_Optimize.tex

…

CHAPTER_Overview.tex

Merge pull request #1154 from whitequark/manual-sync-always

2019-07-09 18:46:58 +01:00

CHAPTER_Prog.tex

…

CHAPTER_StateOfTheArt.tex

…

CHAPTER_Techmap.tex

…

CHAPTER_Verilog.tex

…

clean.sh

…

command-reference-manual.tex

Update command reference manual

2018-10-16 15:28:37 +02:00

literature.bib

…

manual.sh

…

manual.tex

…

PRESENTATION_ExAdv.tex

…

PRESENTATION_ExOth.tex

…

PRESENTATION_ExSyn.tex

…

PRESENTATION_Intro.tex

…

PRESENTATION_Prog.tex

…

presentation.sh

…

presentation.tex

…

weblinks.bib

…