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

Separate Wycheproof parser from data #14

Merged
merged 3 commits into from
Mar 13, 2019

Conversation

emillon
Copy link
Collaborator

@emillon emillon commented Mar 6, 2019

This is a first step towards #7. The pipeline looks like:

  1. parse JSON
  2. convert to Wycheproof types (full of untyped and optional fields)
  3. convert to per-protocol representation
  4. run

2 will be extracted to its own library; 4 might be part of a wycheproof-alcotest helper.

cc @pascutto

@emillon emillon force-pushed the wycheproof-parser branch from 91fd929 to 34b713e Compare March 8, 2019 10:23
@emillon emillon merged commit 0856570 into mirage:master Mar 13, 2019
@emillon emillon deleted the wycheproof-parser branch March 13, 2019 08:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant