Jacob Lifshay c16c028831 add hierarchy -smtcheck ...

like -simcheck, but allow smtlib2_module modules.

2022-06-22 20:53:10 -07: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

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

CHAPTER_StateOfTheArt

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +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

manual: Fix a custom pass example.

2022-01-27 23:27:45 +01:00

.gitignore

presentation progress

2014-01-29 12:15:38 +01:00

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

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

More deadname stuff

2021-06-09 12:33:41 +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

Add $aldff and $aldffe: flip-flops with async load.

2021-10-02 18:12:52 +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

Added warning about adding fsm_encoding attributes to wires to manual

2016-07-08 18:31:31 +02:00

CHAPTER_Overview.tex

Add support for memory writes in processes.

2021-03-08 20:16:29 +01:00

CHAPTER_Prog.tex

split CodingReadme into multiple files

2021-03-22 19:16:25 +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_TextRtlil.tex

manual: Fix cell-stmt order

2022-01-03 18:17:10 -07:00

CHAPTER_Verilog.tex

verilog: Use proc memory writes in the frontend.

2021-03-08 20:16:29 +01:00

clean.sh

Use -E sed parameter instead of -r.

2017-02-04 18:26:01 -08:00

command-reference-manual.tex

add hierarchy -smtcheck

2022-06-22 20:53:10 -07:00

literature.bib

More deadname stuff

2021-06-09 12:33:41 +02:00

manual.sh

Added first presentation slides

2014-01-27 17:08:19 +01:00

manual.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

presentation.sh

Some fixes in presentation

2014-11-08 12:39:01 +01:00

presentation.tex

More deadname stuff

2021-06-09 12:33:41 +02:00

weblinks.bib

More deadname stuff

2021-06-09 12:33:41 +02:00