Code

Exclusive enumeration#1085

Code

Merged

robdockins merged 4 commits intomasterGaloisInc/cryptol:masterfrom exclusive-enumerationGaloisInc/cryptol:exclusive-enumerationCopy head branch name to clipboardMar 3, 2021

+248-43

Commits

Commits on Mar 3, 2021

• Add LiteralLessThan and fromToLessThan primitives.

  Show description for ddbb673
  robdockins

  committed
  ddbb673

• Implement syntax for enumerations with exclusive upper bounds.

  Show description for 8009e8a
  robdockins

  committed
  8009e8a

• Update test suite outputs

  robdockins

  committed
  38ab19b

• Update book exercise output

  robdockins

  committed
  eb9d3e9