Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Add a stub typeclass dictionary for the Field instance for Z n #75

Merged
merged 2 commits into from
Oct 8, 2020
Merged

Add a stub typeclass dictionary for the Field instance for Z n #75

merged 2 commits into from
Oct 8, 2020

Commits on Oct 2, 2020

  1. Add a stub typeclass dictionary for the Field instance for Z n.

    @robdockins
    robdockins committed Oct 2, 2020
    Configuration menu
    Copy the full SHA
    8f35e18 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. Add a test for the Field (Z p) instance. 

    Tracks the changes in Cryptol from GaloisInc/cryptol#882
which adds primality testing to the Cryptol type system, and implements
field operations for `Z p`.  Currently, we don't represent the primality
test in SAWCore, but we might revisit this aspect in the future.
    @robdockins
    robdockins committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    4ef71a9 View commit details
    Browse the repository at this point in the history