-
Notifications
You must be signed in to change notification settings - Fork 479
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
Update Certifier-Show branch #6522
base: ramsay-t/certifier-show
Are you sure you want to change the base?
Commits on Aug 21, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 3a5a162 - Browse repository at this point
Copy the full SHA 3a5a162View commit details
Commits on Aug 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 2d4c945 - Browse repository at this point
Copy the full SHA 2d4c945View commit details
Commits on Aug 23, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 24ad246 - Browse repository at this point
Copy the full SHA 24ad246View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for ed52f1b - Browse repository at this point
Copy the full SHA ed52f1bView commit details
Commits on Aug 25, 2024
-
HasBlueprintSchema and HasBlueprintDefinition instances (#6271)
* syntax: remove unnesessary parens * HasBlueprintSchema and HasBlueprintDefinition instances * Describe changes in the CHANGELOG * remove unnecessary -Wno-orphans
Configuration menu - View commit details
-
Copy full SHA for 4b8e137 - Browse repository at this point
Copy the full SHA 4b8e137View commit details
Commits on Sep 3, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5c41a07 - Browse repository at this point
Copy the full SHA 5c41a07View commit details
Commits on Sep 4, 2024
-
Fix incorrect documentation regarding registration certifications (#6436
) The documentation incorrectly asserted that a script can be used to require that certain transactions are provided for registration of the associated staking credential. That will be the case in the next era after Conway when `staking_registration` is deprecated, but as it stands currently, any staking credential (even those that contain a script hash) can be registered without any witness and thus it is not currently possible to enforce that a script must be executed in the transaction for registration to succeed.
1Configuration menu - View commit details
-
Copy full SHA for 4066409 - Browse repository at this point
Copy the full SHA 4066409View commit details -
chore(deps): bump JamesIves/github-pages-deploy-action (#6437)
Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.6.3 to 4.6.4. - [Release notes](https://github.com/jamesives/github-pages-deploy-action/releases) - [Commits](JamesIves/github-pages-deploy-action@v4.6.3...v4.6.4) --- updated-dependencies: - dependency-name: JamesIves/github-pages-deploy-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for c61fdfa - Browse repository at this point
Copy the full SHA c61fdfaView commit details -
chore(deps): bump slackapi/slack-github-action from 1.26.0 to 1.27.0 (#…
…6433) Bumps [slackapi/slack-github-action](https://github.com/slackapi/slack-github-action) from 1.26.0 to 1.27.0. - [Release notes](https://github.com/slackapi/slack-github-action/releases) - [Commits](slackapi/slack-github-action@v1.26.0...v1.27.0) --- updated-dependencies: - dependency-name: slackapi/slack-github-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1Configuration menu - View commit details
-
Copy full SHA for 915e7d3 - Browse repository at this point
Copy the full SHA 915e7d3View commit details -
[Errors] Swap operational and structural errors (#6439)
This simply swaps around two type variables and two constructors, affecting `EvaluationError` and `EvaluationException`. Structural errors correspond to type errors and operational errors correspond to runtime errors, hence the former "precede" the latter. This PR finally reflects that perceived ordering. It's not really important, but I've got things mixed up before due to the previously counter-intuitive ordering, so I thought it'd be worth fixing it, given how easy that is.
Configuration menu - View commit details
-
Copy full SHA for 365a39d - Browse repository at this point
Copy the full SHA 365a39dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 02e63ba - Browse repository at this point
Copy the full SHA 02e63baView commit details
Commits on Sep 5, 2024
-
Configuration menu - View commit details
-
Copy full SHA for e8c0b94 - Browse repository at this point
Copy the full SHA e8c0b94View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8a98de0 - Browse repository at this point
Copy the full SHA 8a98de0View commit details
Commits on Sep 7, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 9ca7a24 - Browse repository at this point
Copy the full SHA 9ca7a24View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 87b61b1 - Browse repository at this point
Copy the full SHA 87b61b1View commit details
Commits on Sep 9, 2024
-
Co-authored-by: Nikolaos Bezirgiannis <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 200ad0f - Browse repository at this point
Copy the full SHA 200ad0fView commit details
Commits on Sep 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for be47bd2 - Browse repository at this point
Copy the full SHA be47bd2View commit details -
Kwxm/conformance/extra bitwise tests (#6453)
* WIP * WIP * Extra tests for replicateByte and rotateByte * Extra tests for replicateByte and rotateByte * Extra tests for shiftByteString * Extra tests for countSetBits * Extra tests for findFirstSetBit * Disable failing test * Disable failing test * Extra conformance tests for readBit * Disable failing test * Extra conformance tests for writeBits * Remove some trailing spaces * Deduplicate trailing bytes in and/or/xor tests * Tell haskell-steppable-conformance about failing test
1Configuration menu - View commit details
-
Copy full SHA for 5e18824 - Browse repository at this point
Copy the full SHA 5e18824View commit details -
Co-authored-by: Nikolaos Bezirgiannis <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for b1709a6 - Browse repository at this point
Copy the full SHA b1709a6View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 5075833 - Browse repository at this point
Copy the full SHA 5075833View commit details
Commits on Sep 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 43f73fe - Browse repository at this point
Copy the full SHA 43f73feView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for f2f8123 - Browse repository at this point
Copy the full SHA f2f8123View commit details -
Configuration menu - View commit details
-
Copy full SHA for 13be61e - Browse repository at this point
Copy the full SHA 13be61eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1d2ad5a - Browse repository at this point
Copy the full SHA 1d2ad5aView commit details -
Configuration menu - View commit details
-
Copy full SHA for c54c96c - Browse repository at this point
Copy the full SHA c54c96cView commit details -
* Put the TOTAL line for a benchmakr comparison in a table of its own * Try again * Complete merge
Configuration menu - View commit details
-
Copy full SHA for a9b163e - Browse repository at this point
Copy the full SHA a9b163eView commit details
Commits on Sep 12, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for acdc85e - Browse repository at this point
Copy the full SHA acdc85eView commit details -
[spec] update conway info (#6467)
Co-authored-by: Nikolaos Bezirgiannis <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 4634cfd - Browse repository at this point
Copy the full SHA 4634cfdView commit details -
Configuration menu - View commit details
-
Copy full SHA for c27f08e - Browse repository at this point
Copy the full SHA c27f08eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 98d66b7 - Browse repository at this point
Copy the full SHA 98d66b7View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 1ae8608 - Browse repository at this point
Copy the full SHA 1ae8608View commit details -
Configuration menu - View commit details
-
Copy full SHA for f168164 - Browse repository at this point
Copy the full SHA f168164View commit details
Commits on Sep 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3c8977c - Browse repository at this point
Copy the full SHA 3c8977cView commit details -
Configuration menu - View commit details
-
Copy full SHA for ec00d15 - Browse repository at this point
Copy the full SHA ec00d15View commit details -
Configuration menu - View commit details
-
Copy full SHA for e144952 - Browse repository at this point
Copy the full SHA e144952View commit details -
Configuration menu - View commit details
-
Copy full SHA for 20c1470 - Browse repository at this point
Copy the full SHA 20c1470View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for cbf99fb - Browse repository at this point
Copy the full SHA cbf99fbView commit details -
[Builtins] [Test] Dump denotation signatures to golden files (#6462)
This dumps the type signature of the denotation of each of the builtins to a golden file. All changes in type signatures must be reflected explicitly whenever they're captured by semantics variants (see the test code). This is a very important test given how easy it is to change the behavior of a builtin just by slightly tweaking the signature of its denotation.
Configuration menu - View commit details
-
Copy full SHA for 179e07c - Browse repository at this point
Copy the full SHA 179e07cView commit details
Commits on Sep 14, 2024
-
[Test] Remove uniques from 'Profiling' tests (#6483)
This removes uniques from some golden test files, because those add a lot of noise in unrelated PRs.
1Configuration menu - View commit details
-
Copy full SHA for e34cda9 - Browse repository at this point
Copy the full SHA e34cda9View commit details -
Configuration menu - View commit details
-
Copy full SHA for ed37990 - Browse repository at this point
Copy the full SHA ed37990View commit details
Commits on Sep 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5d731e8 - Browse repository at this point
Copy the full SHA 5d731e8View commit details
Commits on Sep 16, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 29f8909 - Browse repository at this point
Copy the full SHA 29f8909View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 979c895 - Browse repository at this point
Copy the full SHA 979c895View commit details
Commits on Sep 17, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for e2016d5 - Browse repository at this point
Copy the full SHA e2016d5View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for e56ab73 - Browse repository at this point
Copy the full SHA e56ab73View commit details
Commits on Sep 18, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 2d3b78e - Browse repository at this point
Copy the full SHA 2d3b78eView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 4b372ec - Browse repository at this point
Copy the full SHA 4b372ecView commit details
Commits on Sep 19, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 59db346 - Browse repository at this point
Copy the full SHA 59db346View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 0de81d7 - Browse repository at this point
Copy the full SHA 0de81d7View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 8747978 - Browse repository at this point
Copy the full SHA 8747978View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 280f81d - Browse repository at this point
Copy the full SHA 280f81dView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 7178ee7 - Browse repository at this point
Copy the full SHA 7178ee7View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for e94d73c - Browse repository at this point
Copy the full SHA e94d73cView commit details
Commits on Sep 21, 2024
-
[Errors] Test that evaluation of a well-typed term doesn't fail with …
…a structural error (#6443) Test that evaluation of a well-typed term doesn't fail with a structural error In theory, this is supposed to conclude the investigation on the "runtime type system" for UPLC. In practice unfortunately, PIR generators aren't very helpful here as per the recent Slack discussion (I'll reflect that in some GitHub issue later), plus the compiler being too slow doesn't help either. So this PR is more of a proof of concept than an actually helpful test, but better than nothing I suppose. Resolves #6150.
1Configuration menu - View commit details
-
Copy full SHA for 3d42b87 - Browse repository at this point
Copy the full SHA 3d42b87View commit details
Commits on Sep 23, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 7436868 - Browse repository at this point
Copy the full SHA 7436868View commit details
Commits on Sep 24, 2024
-
[Refactoring] Replace 'NOINLINE' with 'OPAQUE' (#6507)
This replaces all occurrences of NOINLINE with the more reliable OPAQUE. Resolves #6269.
1Configuration menu - View commit details
-
Copy full SHA for 4b61b6c - Browse repository at this point
Copy the full SHA 4b61b6cView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 24e3cfc - Browse repository at this point
Copy the full SHA 24e3cfcView commit details
Commits on Sep 25, 2024
-
1
Configuration menu - View commit details
-
Copy full SHA for 148c05d - Browse repository at this point
Copy the full SHA 148c05dView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 91800ce - Browse repository at this point
Copy the full SHA 91800ceView commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 2694830 - Browse repository at this point
Copy the full SHA 2694830View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 84bcd15 - Browse repository at this point
Copy the full SHA 84bcd15View commit details
Commits on Sep 26, 2024
-
Translation relation and decision procedure for the Float-Delay (#6482)
* WIP * WIP * WIP * WIP * WIP * WIP - Most of the nFD->FD proof is done but I am now wondering if the application rules need the force in them... * Some progress on the FD->pureFD proof... Not completely sure it is going in a good direction... * Made the parameters to istranslation implicit, since they are encoded in the relation anyway * WIP * WIP * WIP - with crazy variable binding issues * Add 'forall DecEq' to 'Relation' * Roman's additions. * Workign Float-Delay translation relation and decision procedure. * Missed a definition * Now uses Purity, althought that is 'stub code' at the moment. * Now with added Purity... * Remove 'Terminating' from 'translation?' --------- Co-authored-by: effectfully <[email protected]>
1Configuration menu - View commit details
-
Copy full SHA for 9802721 - Browse repository at this point
Copy the full SHA 9802721View commit details -
This seems 'too easy' but to certify things I don't think it needs to…
… be more complex? (#6513) * This seems 'too easy' but to certify things I don't think it needs to be more complex? * Er, I think this was the wrong way round * Add version select to haddock index page (#6499) * Remove plutus-ghc-stub (#6514) * Remove the Plutus Platform page (#6506) * Make the auction example end-to-end (#6477) * Mark `&&` and `||` OPAQUE (#6510) * Translation relation and decision procedure for the Float-Delay (#6482) * WIP * WIP * WIP * WIP * WIP * WIP - Most of the nFD->FD proof is done but I am now wondering if the application rules need the force in them... * Some progress on the FD->pureFD proof... Not completely sure it is going in a good direction... * Made the parameters to istranslation implicit, since they are encoded in the relation anyway * WIP * WIP * WIP - with crazy variable binding issues * Add 'forall DecEq' to 'Relation' * Roman's additions. * Workign Float-Delay translation relation and decision procedure. * Missed a definition * Now uses Purity, althought that is 'stub code' at the moment. * Now with added Purity... * Remove 'Terminating' from 'translation?' --------- Co-authored-by: effectfully <[email protected]> * WIP * Now with fake purity... * Some WIP from the other branch that is needed here. * Tidy some Agda... * Agda... --------- Co-authored-by: zeme-wana <[email protected]> Co-authored-by: Ziyang Liu <[email protected]> Co-authored-by: effectfully <[email protected]>
1Configuration menu - View commit details
-
Copy full SHA for f7f1f08 - Browse repository at this point
Copy the full SHA f7f1f08View commit details -
1
Configuration menu - View commit details
-
Copy full SHA for 348c838 - Browse repository at this point
Copy the full SHA 348c838View commit details