Code

Demote compare#1267

Code

Draft

robdockins wants to merge 5 commits intomasterGaloisInc/cryptol:masterfrom demote-compareGaloisInc/cryptol:demote-compareCopy head branch name to clipboard

+112-24

Commits

Commits on Aug 20, 2021

• Implement compareEq, compareLt and compareLeq primitives.

  Show description for 12d1bd3
  robdockins

  committed
  12d1bd3

  Copy full SHA for 12d1bd3

• Suppress "unused name" warnings for primitive declarations.

  robdockins

  committed
  59cc67d

  Copy full SHA for 59cc67d

• Update test suite output

  robdockins

  committed
  7dcb2c6

  Copy full SHA for 7dcb2c6

• Update book examples

  robdockins

  committed
  716c338

  Copy full SHA for 716c338

• Update reference semantics with the new compare* primitives.

  robdockins

  committed
  cfaafdc

  Copy full SHA for cfaafdc