-
Notifications
You must be signed in to change notification settings - Fork 11
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
Add proof type #245
Merged
Merged
Add proof type #245
Commits on Jan 19, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1853d5a - Browse repository at this point
Copy the full SHA 1853d5aView commit details -
Configuration menu - View commit details
-
Copy full SHA for a7f129e - Browse repository at this point
Copy the full SHA a7f129eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 587d080 - Browse repository at this point
Copy the full SHA 587d080View commit details
Commits on Jan 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b936af9 - Browse repository at this point
Copy the full SHA b936af9View commit details
Commits on Jan 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ef86b26 - Browse repository at this point
Copy the full SHA ef86b26View commit details -
Configuration menu - View commit details
-
Copy full SHA for d0b6455 - Browse repository at this point
Copy the full SHA d0b6455View commit details -
Configuration menu - View commit details
-
Copy full SHA for 98415a8 - Browse repository at this point
Copy the full SHA 98415a8View commit details -
Configuration menu - View commit details
-
Copy full SHA for e0f07ad - Browse repository at this point
Copy the full SHA e0f07adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 27e611f - Browse repository at this point
Copy the full SHA 27e611fView commit details -
Configuration menu - View commit details
-
Copy full SHA for cc04eef - Browse repository at this point
Copy the full SHA cc04eefView commit details
Commits on Jan 25, 2023
-
Configuration menu - View commit details
-
Copy full SHA for aef8b1f - Browse repository at this point
Copy the full SHA aef8b1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4996045 - Browse repository at this point
Copy the full SHA 4996045View commit details -
Configuration menu - View commit details
-
Copy full SHA for bdc5cf9 - Browse repository at this point
Copy the full SHA bdc5cf9View commit details
Commits on Jan 26, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b4c9b15 - Browse repository at this point
Copy the full SHA b4c9b15View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7a8a46a - Browse repository at this point
Copy the full SHA 7a8a46aView commit details -
Configuration menu - View commit details
-
Copy full SHA for a15e9f9 - Browse repository at this point
Copy the full SHA a15e9f9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 576f50d - Browse repository at this point
Copy the full SHA 576f50dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 493e43f - Browse repository at this point
Copy the full SHA 493e43fView commit details -
Configuration menu - View commit details
-
Copy full SHA for cab84be - Browse repository at this point
Copy the full SHA cab84beView commit details
Commits on Jan 27, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 248b1bd - Browse repository at this point
Copy the full SHA 248b1bdView commit details
Commits on Feb 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for e9e9ae0 - Browse repository at this point
Copy the full SHA e9e9ae0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 15d24ba - Browse repository at this point
Copy the full SHA 15d24baView commit details -
Configuration menu - View commit details
-
Copy full SHA for 16a5577 - Browse repository at this point
Copy the full SHA 16a5577View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a41d0c - Browse repository at this point
Copy the full SHA 1a41d0cView commit details -
Configuration menu - View commit details
-
Copy full SHA for c55748f - Browse repository at this point
Copy the full SHA c55748fView commit details -
Configuration menu - View commit details
-
Copy full SHA for a76a93e - Browse repository at this point
Copy the full SHA a76a93eView commit details
Commits on Feb 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 99c4d6c - Browse repository at this point
Copy the full SHA 99c4d6cView commit details -
Configuration menu - View commit details
-
Copy full SHA for b01b76b - Browse repository at this point
Copy the full SHA b01b76bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7865fb0 - Browse repository at this point
Copy the full SHA 7865fb0View commit details -
Configuration menu - View commit details
-
Copy full SHA for dd13ef6 - Browse repository at this point
Copy the full SHA dd13ef6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 609627c - Browse repository at this point
Copy the full SHA 609627cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 09e109b - Browse repository at this point
Copy the full SHA 09e109bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93114cb - Browse repository at this point
Copy the full SHA 93114cbView commit details -
Configuration menu - View commit details
-
Copy full SHA for de7e7e6 - Browse repository at this point
Copy the full SHA de7e7e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2df8976 - Browse repository at this point
Copy the full SHA 2df8976View commit details -
Configuration menu - View commit details
-
Copy full SHA for d963f8f - Browse repository at this point
Copy the full SHA d963f8fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 77cb0f1 - Browse repository at this point
Copy the full SHA 77cb0f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 266b939 - Browse repository at this point
Copy the full SHA 266b939View commit details -
Configuration menu - View commit details
-
Copy full SHA for b2b00ba - Browse repository at this point
Copy the full SHA b2b00baView commit details
Commits on Feb 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 1302cec - Browse repository at this point
Copy the full SHA 1302cecView commit details -
Configuration menu - View commit details
-
Copy full SHA for 355e5ac - Browse repository at this point
Copy the full SHA 355e5acView commit details -
Configuration menu - View commit details
-
Copy full SHA for 513b82c - Browse repository at this point
Copy the full SHA 513b82cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 54a3f00 - Browse repository at this point
Copy the full SHA 54a3f00View commit details -
Configuration menu - View commit details
-
Copy full SHA for 48f4960 - Browse repository at this point
Copy the full SHA 48f4960View commit details -
Configuration menu - View commit details
-
Copy full SHA for 389a661 - Browse repository at this point
Copy the full SHA 389a661View commit details -
Configuration menu - View commit details
-
Copy full SHA for 943de64 - Browse repository at this point
Copy the full SHA 943de64View commit details -
Configuration menu - View commit details
-
Copy full SHA for e1e2690 - Browse repository at this point
Copy the full SHA e1e2690View commit details -
Configuration menu - View commit details
-
Copy full SHA for 03b2e46 - Browse repository at this point
Copy the full SHA 03b2e46View commit details -
Configuration menu - View commit details
-
Copy full SHA for 00d778a - Browse repository at this point
Copy the full SHA 00d778aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3f8304f - Browse repository at this point
Copy the full SHA 3f8304fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d9a4e3 - Browse repository at this point
Copy the full SHA 2d9a4e3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 566e1a4 - Browse repository at this point
Copy the full SHA 566e1a4View commit details -
Configuration menu - View commit details
-
Copy full SHA for d26017b - Browse repository at this point
Copy the full SHA d26017bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 05fd23e - Browse repository at this point
Copy the full SHA 05fd23eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 705f5f5 - Browse repository at this point
Copy the full SHA 705f5f5View commit details -
Configuration menu - View commit details
-
Copy full SHA for b55f37b - Browse repository at this point
Copy the full SHA b55f37bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0980a2a - Browse repository at this point
Copy the full SHA 0980a2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for bb80056 - Browse repository at this point
Copy the full SHA bb80056View commit details
Commits on Feb 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 83f7cfe - Browse repository at this point
Copy the full SHA 83f7cfeView commit details
Commits on Feb 10, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 8e25cef - Browse repository at this point
Copy the full SHA 8e25cefView commit details -
Configuration menu - View commit details
-
Copy full SHA for 35c3b79 - Browse repository at this point
Copy the full SHA 35c3b79View commit details -
Configuration menu - View commit details
-
Copy full SHA for 71873b2 - Browse repository at this point
Copy the full SHA 71873b2View commit details
Commits on Feb 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 747b211 - Browse repository at this point
Copy the full SHA 747b211View commit details -
Configuration menu - View commit details
-
Copy full SHA for dd2b70a - Browse repository at this point
Copy the full SHA dd2b70aView commit details
Commits on Feb 14, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 88e62d6 - Browse repository at this point
Copy the full SHA 88e62d6View commit details
Commits on Feb 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 84d4adc - Browse repository at this point
Copy the full SHA 84d4adcView commit details
Commits on Feb 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for a7f90c0 - Browse repository at this point
Copy the full SHA a7f90c0View commit details -
Configuration menu - View commit details
-
Copy full SHA for e2873c4 - Browse repository at this point
Copy the full SHA e2873c4View commit details
Commits on Feb 21, 2023
-
Refactor attribute to proof parameter in CLI and refactor return type…
… of prove method of context
Configuration menu - View commit details
-
Copy full SHA for ad9c5b8 - Browse repository at this point
Copy the full SHA ad9c5b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5958211 - Browse repository at this point
Copy the full SHA 5958211View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5163736 - Browse repository at this point
Copy the full SHA 5163736View commit details -
Configuration menu - View commit details
-
Copy full SHA for c983f14 - Browse repository at this point
Copy the full SHA c983f14View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4c987de - Browse repository at this point
Copy the full SHA 4c987deView commit details -
Configuration menu - View commit details
-
Copy full SHA for 50aca99 - Browse repository at this point
Copy the full SHA 50aca99View commit details -
Configuration menu - View commit details
-
Copy full SHA for fecb5a9 - Browse repository at this point
Copy the full SHA fecb5a9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 09842be - Browse repository at this point
Copy the full SHA 09842beView commit details
Commits on Feb 22, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 692bba2 - Browse repository at this point
Copy the full SHA 692bba2View commit details -
Configuration menu - View commit details
-
Copy full SHA for a11eb34 - Browse repository at this point
Copy the full SHA a11eb34View commit details -
Configuration menu - View commit details
-
Copy full SHA for 18fc554 - Browse repository at this point
Copy the full SHA 18fc554View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e5d801 - Browse repository at this point
Copy the full SHA 7e5d801View commit details -
Configuration menu - View commit details
-
Copy full SHA for 373c55b - Browse repository at this point
Copy the full SHA 373c55bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8dc5d19 - Browse repository at this point
Copy the full SHA 8dc5d19View commit details -
Configuration menu - View commit details
-
Copy full SHA for a3f668f - Browse repository at this point
Copy the full SHA a3f668fView commit details -
Configuration menu - View commit details
-
Copy full SHA for bff164c - Browse repository at this point
Copy the full SHA bff164cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0832ad4 - Browse repository at this point
Copy the full SHA 0832ad4View commit details -
Configuration menu - View commit details
-
Copy full SHA for c4e575b - Browse repository at this point
Copy the full SHA c4e575bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 230050d - Browse repository at this point
Copy the full SHA 230050dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 411b8ad - Browse repository at this point
Copy the full SHA 411b8adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 728cb06 - Browse repository at this point
Copy the full SHA 728cb06View 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.