| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 71 | logstatsplain |
| -rw-r--r-- | APPNOTE_010_Verilog_to_BLIF.tex | 17076 | logstatsplain |
| -rw-r--r-- | APPNOTE_011_Design_Investigation.tex | 46129 | logstatsplain |
| d--------- | APPNOTE_011_Design_Investigation | 1156 | logstatsplain |
| -rw-r--r-- | APPNOTE_012_Verilog_to_BTOR.tex | 12554 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExAdv.tex | 33855 | logstatsplain |
| d--------- | PRESENTATION_ExAdv | 1399 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExOth.tex | 6922 | logstatsplain |
| d--------- | PRESENTATION_ExOth | 309 | logstatsplain |
| -rw-r--r-- | PRESENTATION_ExSyn.tex | 18758 | logstatsplain |
| d--------- | PRESENTATION_ExSyn | 1033 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Intro.tex | 32588 | logstatsplain |
| d--------- | PRESENTATION_Intro | 225 | logstatsplain |
| -rw-r--r-- | PRESENTATION_Prog.tex | 21328 | logstatsplain |
| d--------- | PRESENTATION_Prog | 192 | logstatsplain |
| -rwxr-xr-x | appnotes.sh | 478 | logstatsplain |
| -rwxr-xr-x | clean.sh | 140 | logstatsplain |
| -rwxr-xr-x | presentation.sh | 808 | logstatsplain |
| -rw-r--r-- | presentation.tex | 4721 | logstatsplain |
