Papers, technical reports, and other documentation covering OpenDTrace.
v1.0 : https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-924.html
In order to checkout and build the specification you will need a full installation of a modern (La)TeX system including the following packages:
- algpseudocode
- amsmath
- appendix
- booktabs
- bytefield
- color
- fullpage
- graphicx
- hyperref
- marginnote
- listings
- setspace
- times
Once LaTeX and the packages are installed you can build the document
by typing make
in the specification/
directory.