Code

Backend refactor#928

Code

Merged

robdockins merged 6 commits intomasterGaloisInc/cryptol:masterfrom backend-refactorGaloisInc/cryptol:backend-refactorCopy head branch name to clipboardOct 13, 2020

+1,042-1,022

Commits

Commits on Oct 12, 2020

• Bulk file renaming. Move code that is primarily about the implementation

  Show description for e207279
  robdockins

  committed
  e207279

• Code motion and renaming related to the bulk file move

  Show description for 9faa283
  robdockins

  committed
  9faa283

• Also move the Cryptol.Eval.Arch module under the Backend tree

  robdockins

  committed
  ed59558

• Finish detangling the What4 backend from the evaluator

  robdockins

  committed
  c8401e2

• typos

  robdockins

  committed
  5e5d083

• Update module imports for cryptol-remote-api

  robdockins

  committed
  32ded2d