This repository has been archived by the owner on Feb 27, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 53
Commits on Jun 26, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 8b47625 - Browse repository at this point
Copy the full SHA 8b47625View commit details -
fix digestLeaf method signature
- might call it with value and path roles mixed up (as happened here)
Configuration menu - View commit details
-
Copy full SHA for ba45c6d - Browse repository at this point
Copy the full SHA ba45c6dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c3df4d - Browse repository at this point
Copy the full SHA 6c3df4dView commit details
Commits on Jun 29, 2020
-
Merge pull request #3 from liamsi/ismail/fix_digest_leaf
fix digestLeaf method signature
Configuration menu - View commit details
-
Copy full SHA for 51dfc3c - Browse repository at this point
Copy the full SHA 51dfc3cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 513a548 - Browse repository at this point
Copy the full SHA 513a548View commit details
Commits on Jul 2, 2020
-
Configuration menu - View commit details
-
Copy full SHA for d1eb1ea - Browse repository at this point
Copy the full SHA d1eb1eaView commit details
Commits on Jul 3, 2020
-
Revert "Add placeholder values (incomplete"
This reverts commit d1eb1ea.
Configuration menu - View commit details
-
Copy full SHA for 19635d2 - Browse repository at this point
Copy the full SHA 19635d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9681cb8 - Browse repository at this point
Copy the full SHA 9681cb8View commit details
Commits on Jul 6, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 8a53820 - Browse repository at this point
Copy the full SHA 8a53820View commit details
Commits on Jul 7, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 291f69a - Browse repository at this point
Copy the full SHA 291f69aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3811693 - Browse repository at this point
Copy the full SHA 3811693View commit details -
Configuration menu - View commit details
-
Copy full SHA for 88434f9 - Browse repository at this point
Copy the full SHA 88434f9View commit details -
Co-authored-by: Ismail Khoffi <Ismail.Khoffi@gmail.com>
Configuration menu - View commit details
-
Copy full SHA for 9580c06 - Browse repository at this point
Copy the full SHA 9580c06View commit details
Commits on Jul 8, 2020
-
Configuration menu - View commit details
-
Copy full SHA for f97d2e2 - Browse repository at this point
Copy the full SHA f97d2e2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ee39e6 - Browse repository at this point
Copy the full SHA 1ee39e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7fa4dd3 - Browse repository at this point
Copy the full SHA 7fa4dd3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5544283 - Browse repository at this point
Copy the full SHA 5544283View commit details -
Configuration menu - View commit details
-
Copy full SHA for 668ffc9 - Browse repository at this point
Copy the full SHA 668ffc9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5e2b3cc - Browse repository at this point
Copy the full SHA 5e2b3ccView commit details -
Configuration menu - View commit details
-
Copy full SHA for f35ba1d - Browse repository at this point
Copy the full SHA f35ba1dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 09ba921 - Browse repository at this point
Copy the full SHA 09ba921View commit details
Commits on Jul 9, 2020
-
Configuration menu - View commit details
-
Copy full SHA for b36d8b2 - Browse repository at this point
Copy the full SHA b36d8b2View commit details -
Configuration menu - View commit details
-
Copy full SHA for dc0cbdb - Browse repository at this point
Copy the full SHA dc0cbdbView commit details
Commits on Jul 13, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 44c8c16 - Browse repository at this point
Copy the full SHA 44c8c16View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8690733 - Browse repository at this point
Copy the full SHA 8690733View commit details -
Configuration menu - View commit details
-
Copy full SHA for 335b1a9 - Browse repository at this point
Copy the full SHA 335b1a9View commit details -
Configuration menu - View commit details
-
Copy full SHA for d005205 - Browse repository at this point
Copy the full SHA d005205View commit details -
Configuration menu - View commit details
-
Copy full SHA for e25d724 - Browse repository at this point
Copy the full SHA e25d724View commit details -
Configuration menu - View commit details
-
Copy full SHA for ffbd556 - Browse repository at this point
Copy the full SHA ffbd556View commit details
Commits on Jul 20, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 5f09ca0 - Browse repository at this point
Copy the full SHA 5f09ca0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3992ea7 - Browse repository at this point
Copy the full SHA 3992ea7View commit details
Commits on Jul 21, 2020
-
Configuration menu - View commit details
-
Copy full SHA for ed9e1d2 - Browse repository at this point
Copy the full SHA ed9e1d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9896367 - Browse repository at this point
Copy the full SHA 9896367View commit details -
Configuration menu - View commit details
-
Copy full SHA for d4dd523 - Browse repository at this point
Copy the full SHA d4dd523View commit details -
Configuration menu - View commit details
-
Copy full SHA for db5b71f - Browse repository at this point
Copy the full SHA db5b71fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 92d305c - Browse repository at this point
Copy the full SHA 92d305cView commit details -
Configuration menu - View commit details
-
Copy full SHA for c3d9853 - Browse repository at this point
Copy the full SHA c3d9853View commit details -
Configuration menu - View commit details
-
Copy full SHA for e3e77ed - Browse repository at this point
Copy the full SHA e3e77edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93a6d46 - Browse repository at this point
Copy the full SHA 93a6d46View commit details -
Configuration menu - View commit details
-
Copy full SHA for ec93126 - Browse repository at this point
Copy the full SHA ec93126View commit details -
Configuration menu - View commit details
-
Copy full SHA for c8ff1fa - Browse repository at this point
Copy the full SHA c8ff1faView commit details -
Configuration menu - View commit details
-
Copy full SHA for 33f6620 - Browse repository at this point
Copy the full SHA 33f6620View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb12ad1 - Browse repository at this point
Copy the full SHA cb12ad1View commit details
Commits on Jul 22, 2020
-
Configuration menu - View commit details
-
Copy full SHA for e365be9 - Browse repository at this point
Copy the full SHA e365be9View commit details
Commits on Jul 23, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 578066f - Browse repository at this point
Copy the full SHA 578066fView commit details -
Configuration menu - View commit details
-
Copy full SHA for d026f85 - Browse repository at this point
Copy the full SHA d026f85View commit details -
Configuration menu - View commit details
-
Copy full SHA for f348d29 - Browse repository at this point
Copy the full SHA f348d29View commit details -
Configuration menu - View commit details
-
Copy full SHA for deffc31 - Browse repository at this point
Copy the full SHA deffc31View commit details -
Configuration menu - View commit details
-
Copy full SHA for d3cbada - Browse repository at this point
Copy the full SHA d3cbadaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 511bad2 - Browse repository at this point
Copy the full SHA 511bad2View commit details
Commits on Jul 24, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 6a2864c - Browse repository at this point
Copy the full SHA 6a2864cView commit details -
Configuration menu - View commit details
-
Copy full SHA for a36c5d7 - Browse repository at this point
Copy the full SHA a36c5d7View commit details -
Configuration menu - View commit details
-
Copy full SHA for a67555f - Browse repository at this point
Copy the full SHA a67555fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6f9e4ed - Browse repository at this point
Copy the full SHA 6f9e4edView commit details -
optimise Prover so that the leaf doesn't have to be gotten twice from…
… the MapStore via ms.Get()
Configuration menu - View commit details
-
Copy full SHA for aeb2921 - Browse repository at this point
Copy the full SHA aeb2921View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d392fe - Browse repository at this point
Copy the full SHA 2d392feView commit details
Commits on Jul 31, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 2bd1752 - Browse repository at this point
Copy the full SHA 2bd1752View commit details
Commits on Aug 4, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 45dab71 - Browse repository at this point
Copy the full SHA 45dab71View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb65f31 - Browse repository at this point
Copy the full SHA cb65f31View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1b11b0 - Browse repository at this point
Copy the full SHA a1b11b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5300f62 - Browse repository at this point
Copy the full SHA 5300f62View commit details -
Configuration menu - View commit details
-
Copy full SHA for d03c67a - Browse repository at this point
Copy the full SHA d03c67aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 87df869 - Browse repository at this point
Copy the full SHA 87df869View commit details -
Configuration menu - View commit details
-
Copy full SHA for 78cfaed - Browse repository at this point
Copy the full SHA 78cfaedView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c49f13 - Browse repository at this point
Copy the full SHA 8c49f13View commit details -
Configuration menu - View commit details
-
Copy full SHA for 801c3de - Browse repository at this point
Copy the full SHA 801c3deView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9738347 - Browse repository at this point
Copy the full SHA 9738347View commit details
Commits on Aug 5, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 8549c13 - Browse repository at this point
Copy the full SHA 8549c13View commit details -
Configuration menu - View commit details
-
Copy full SHA for cbedd41 - Browse repository at this point
Copy the full SHA cbedd41View commit details
Commits on Aug 11, 2020
-
Revert "Rename AddBranches to UpdateBranch"
This reverts commit cbedd41.
Configuration menu - View commit details
-
Copy full SHA for 00530c1 - Browse repository at this point
Copy the full SHA 00530c1View commit details
Commits on Aug 12, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 08f5179 - Browse repository at this point
Copy the full SHA 08f5179View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4ec60e8 - Browse repository at this point
Copy the full SHA 4ec60e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb611da - Browse repository at this point
Copy the full SHA cb611daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8aae2d6 - Browse repository at this point
Copy the full SHA 8aae2d6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 13ee731 - Browse repository at this point
Copy the full SHA 13ee731View commit details -
Configuration menu - View commit details
-
Copy full SHA for fdc27b7 - Browse repository at this point
Copy the full SHA fdc27b7View commit details -
Configuration menu - View commit details
-
Copy full SHA for a95d676 - Browse repository at this point
Copy the full SHA a95d676View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5ccf7f1 - Browse repository at this point
Copy the full SHA 5ccf7f1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2653c67 - Browse repository at this point
Copy the full SHA 2653c67View commit details -
Configuration menu - View commit details
-
Copy full SHA for cdc57b2 - Browse repository at this point
Copy the full SHA cdc57b2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 358c966 - Browse repository at this point
Copy the full SHA 358c966View commit details -
Configuration menu - View commit details
-
Copy full SHA for cd51e37 - Browse repository at this point
Copy the full SHA cd51e37View commit details
Commits on Aug 13, 2020
-
Configuration menu - View commit details
-
Copy full SHA for 0ab2273 - Browse repository at this point
Copy the full SHA 0ab2273View commit details -
Configuration menu - View commit details
-
Copy full SHA for da2e197 - Browse repository at this point
Copy the full SHA da2e197View 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.