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

Update cryptol #153

Merged
merged 3 commits into from
Jan 28, 2021
Merged

Update cryptol #153

merged 3 commits into from
Jan 28, 2021

Commits on Jan 28, 2021

  1. Adapt to GaloisInc/cryptol#995 "Call stacks".

    Brian Huffman committed Jan 28, 2021
    Configuration menu
    Copy the full SHA
    0616203 View commit details
    Browse the repository at this point in the history

  2. Adapt to GaloisInc/cryptol#993 "Refactor evopts".

    Brian Huffman committed Jan 28, 2021
    Configuration menu
    Copy the full SHA
    de21a45 View commit details
    Browse the repository at this point in the history

  3. Adapt to GaloisInc/cryptol#1015 "Newtypes".

    Brian Huffman committed Jan 28, 2021
    Configuration menu
    Copy the full SHA
    38aeb96 View commit details
    Browse the repository at this point in the history