-
Notifications
You must be signed in to change notification settings - Fork 23
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Praos headers validation properties and generators #1285
Draft
abailly
wants to merge
25
commits into
IntersectMBO:main
Choose a base branch
from
abailly:abailly/generate-headers
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
+1,308
−581
Commits on Oct 25, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 006d94b - Browse repository at this point
Copy the full SHA 006d94bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 71437d3 - Browse repository at this point
Copy the full SHA 71437d3View commit details -
Configuration menu - View commit details
-
Copy full SHA for f44e7f5 - Browse repository at this point
Copy the full SHA f44e7f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for aaf3233 - Browse repository at this point
Copy the full SHA aaf3233View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9e9b6f0 - Browse repository at this point
Copy the full SHA 9e9b6f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0527f6d - Browse repository at this point
Copy the full SHA 0527f6dView commit details -
Configuration menu - View commit details
-
Copy full SHA for fa97fdd - Browse repository at this point
Copy the full SHA fa97fddView commit details -
Ensure test vectors can be serialised to/from JSON
We base64-encode all binary data
Configuration menu - View commit details
-
Copy full SHA for 93b16f1 - Browse repository at this point
Copy the full SHA 93b16f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3cf5afd - Browse repository at this point
Copy the full SHA 3cf5afdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 80904b8 - Browse repository at this point
Copy the full SHA 80904b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 112a983 - Browse repository at this point
Copy the full SHA 112a983View commit details -
Configuration menu - View commit details
-
Copy full SHA for 77c4d76 - Browse repository at this point
Copy the full SHA 77c4d76View commit details -
Configuration menu - View commit details
-
Copy full SHA for c1f9253 - Browse repository at this point
Copy the full SHA c1f9253View commit details -
Configuration menu - View commit details
-
Copy full SHA for 499be18 - Browse repository at this point
Copy the full SHA 499be18View commit details -
Configuration menu - View commit details
-
Copy full SHA for c92d8b6 - Browse repository at this point
Copy the full SHA c92d8b6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 210c1ac - Browse repository at this point
Copy the full SHA 210c1acView commit details -
Configuration menu - View commit details
-
Copy full SHA for 167ec92 - Browse repository at this point
Copy the full SHA 167ec92View commit details -
Configuration menu - View commit details
-
Copy full SHA for aa8bc4d - Browse repository at this point
Copy the full SHA aa8bc4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 21f90ab - Browse repository at this point
Copy the full SHA 21f90abView commit details -
Configuration menu - View commit details
-
Copy full SHA for 18c3279 - Browse repository at this point
Copy the full SHA 18c3279View commit details -
Configuration menu - View commit details
-
Copy full SHA for c0baef4 - Browse repository at this point
Copy the full SHA c0baef4View commit details -
Use Hex encoding instead of Base64 in JSON
* replace hash with hashVerKeyVRF as the output does not seem to be the same
Configuration menu - View commit details
-
Copy full SHA for abc4796 - Browse repository at this point
Copy the full SHA abc4796View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2105bfe - Browse repository at this point
Copy the full SHA 2105bfeView commit details -
Add some documentation for (?!) combinator
Haddocks are automatically available from LSP
Configuration menu - View commit details
-
Copy full SHA for 3ff32df - Browse repository at this point
Copy the full SHA 3ff32dfView commit details -
Configuration menu - View commit details
-
Copy full SHA for fbfdb6e - Browse repository at this point
Copy the full SHA fbfdb6eView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.