Code

Feature/688#690

Code

Merged

yav merged 2 commits intomasterGaloisInc/cryptol:masterfrom feature/689GaloisInc/cryptol:feature/689Copy head branch name to clipboardMar 27, 2020

+329-182

Commits

Commits on Mar 23, 2020

• Just comments and clean-up. Should contain no semantic changes.

  yav

  committed
  ec36d1a

Commits on Mar 24, 2020

• More information when browsing.

  Show description for fcc7a19
  yav

  committed
  fcc7a19