Code

Doc fixes#75

Code

Merged

robdockins merged 3 commits intomasterGaloisInc/what4:masterfrom doc-fixesGaloisInc/what4:doc-fixesCopy head branch name to clipboardNov 5, 2020

+130-39

Commits

Commits on Nov 4, 2020

• Fix interface documentation for the "bounded" constant operations.

  Show description for 8ac7034
  robdockins

  committed
  8ac7034

  Copy full SHA for 8ac7034

• Various documentation additions and typo fixes.

  robdockins

  committed
  c83da64

  Copy full SHA for c83da64

• Fix the string4 test. It was incorrectly rejecting some correct

  Show description for cc17d96
  robdockins

  committed
  cc17d96

  Copy full SHA for cc17d96