Code

Normalize Cryptol types on import#1790

Code

Merged

mergify[bot] merged 3 commits intomasterGaloisInc/saw-script:masterfrom

bugfix/normalize-cryptol-typesGaloisInc/saw-script:bugfix/normalize-cryptol-typesCopy head branch name to clipboard

Jan 5, 2023

Commits

Commits on Dec 19, 2022

• Apply `tRebuild` to Cryptol types on import

  samcowger

  committed
  8898637

  Copy full SHA for 8898637

Commits on Jan 3, 2023

• Add test

  samcowger

  committed
  16b3e3b

  Copy full SHA for 16b3e3b

Commits on Jan 5, 2023

• Merge branch 'master' into bugfix/normalize-cryptol-types

  mergify[bot]

  authored
  868e91c

  Copy full SHA for 868e91c