diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 22:56:30 +0100 |
| commit | 4628ae2ef503f8496a7da47e4a3ee1f2a7d98223 (patch) | |
| tree | cebbaaad042ed4adbdd7cb746b88300d6ee09101 /introduction.tex | |
| parent | 3377309317c3e309bd9637e7595f048c4e2340c9 (diff) | |
| download | oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.tar.gz oopsla21_fvhls-4628ae2ef503f8496a7da47e4a3ee1f2a7d98223.zip | |
Add annotations to tex files
Diffstat (limited to 'introduction.tex')
| -rw-r--r-- | introduction.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/introduction.tex b/introduction.tex index 5c8bcac..dfd447d 100644 --- a/introduction.tex +++ b/introduction.tex @@ -45,3 +45,8 @@ CoqUp is open source and is hosted on Github\footnote{https://github.com/ymherkl \NR{Is both the translator and verifier written in Coq?} \NR{A tool-flow diagram here will be useful. I thought you had one previously?} \NR{Do you think we have a very simple example of a program where wrong Verilog is generated in VHLS or LegUp, but not in CoqUp?} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "main" +%%% End: |