Code

Publish documentation#7149

Code

Merged

NlightNFotis merged 14 commits intodiffblue:developdiffblue/cbmc:developfrom

markrtuttle:publish-documentationmarkrtuttle/cbmc:publish-documentationCopy head branch name to clipboard

Sep 26, 2022

Commits

Commits on Sep 22, 2022

• Correct doxygen \page commands in architectural documentation

  Show description for 9e6e35f
  

  Mark R. Tuttle

  committed
  9e6e35f

  Copy full SHA for 9e6e35f

• Make cprover-manual format nicely with doxygen

  Show description for dd1b0e0
  

  Mark R. Tuttle

  committed
  dd1b0e0

  Copy full SHA for dd1b0e0

• Make three README files format with doxygen/pandoc

  Show description for d41591b
  

  Mark R. Tuttle

  committed
  d41591b

  Copy full SHA for d41591b

• Make satabs user manual a first-class page

  

  Mark R. Tuttle

  committed
  b11af9b

  Copy full SHA for b11af9b

• Add markdown preprocessing scripts for use before doxygen formatting

  Show description for 6e49550
  

  Mark R. Tuttle

  committed
  6e49550

  Copy full SHA for 6e49550

• Add doxyfiles for miscellaneous sets of markdown files

  Show description for 142bfac
  

  Mark R. Tuttle

  committed
  142bfac

  Copy full SHA for 142bfac

• Add top-level documtation pages

  Show description for ecfd0de
  

  Mark R. Tuttle

  committed
  ecfd0de

  Copy full SHA for ecfd0de

• Add cbmc documentation publication workflow

  

  Mark R. Tuttle

  committed
  ec26ef5

  Copy full SHA for ec26ef5

• Remove a blank line from the top of a markdown file

  

  Mark R. Tuttle

  committed
  b498483

  Copy full SHA for b498483

• Remove "nondet volatile" and "function pointer" pages from user guide

  Show description for 5969edd
  

  Mark R. Tuttle

  committed
  5969edd

  Copy full SHA for 5969edd

• Update doc/doxygen-root/doxyfile to version 1.8.17

  Show description for 947d3f3
  

  Mark R. Tuttle

  committed
  947d3f3

  Copy full SHA for 947d3f3

Commits on Sep 25, 2022

• Correct and elaborate the documentation-build documentation

  

  Mark R. Tuttle

  committed
  7e9f21e

  Copy full SHA for 7e9f21e

• Fix typo in developer guide

  

  Mark R. Tuttle

  committed
  f44d11e

  Copy full SHA for f44d11e

• Convert doc/ADR and doc/API to doxygen page/subpage syntax

  

  Mark R. Tuttle

  committed
  ee0a06d

  Copy full SHA for ee0a06d