/documentation

Documentation relating to OpenDTrace including an overall specification.

Primary LanguageTeXBSD 2-Clause "Simplified" LicenseBSD-2-Clause

OpenDTrace Documentation Repository

Papers, technical reports, and other documentation covering OpenDTrace.

OpenDTrace Specification

Published versions

v1.0 : https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-924.html

Current version

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.