Remove warnings
Home /
Input Output /
plutus
Mar 12, 4-5 AM (0)
Mar 12, 5-6 AM (0)
Mar 12, 6-7 AM (0)
Mar 12, 7-8 AM (0)
Mar 12, 8-9 AM (1)
Mar 12, 9-10 AM (0)
Mar 12, 10-11 AM (0)
Mar 12, 11-12 PM (0)
Mar 12, 12-1 PM (1)
Mar 12, 1-2 PM (0)
Mar 12, 2-3 PM (2)
Mar 12, 3-4 PM (0)
Mar 12, 4-5 PM (0)
Mar 12, 5-6 PM (0)
Mar 12, 6-7 PM (0)
Mar 12, 7-8 PM (2)
Mar 12, 8-9 PM (1)
Mar 12, 9-10 PM (0)
Mar 12, 10-11 PM (0)
Mar 12, 11-12 AM (0)
Mar 13, 12-1 AM (0)
Mar 13, 1-2 AM (0)
Mar 13, 2-3 AM (0)
Mar 13, 3-4 AM (0)
Mar 13, 4-5 AM (0)
Mar 13, 5-6 AM (0)
Mar 13, 6-7 AM (0)
Mar 13, 7-8 AM (0)
Mar 13, 8-9 AM (0)
Mar 13, 9-10 AM (1)
Mar 13, 10-11 AM (1)
Mar 13, 11-12 PM (0)
Mar 13, 12-1 PM (0)
Mar 13, 1-2 PM (1)
Mar 13, 2-3 PM (1)
Mar 13, 3-4 PM (0)
Mar 13, 4-5 PM (0)
Mar 13, 5-6 PM (0)
Mar 13, 6-7 PM (0)
Mar 13, 7-8 PM (0)
Mar 13, 8-9 PM (0)
Mar 13, 9-10 PM (3)
Mar 13, 10-11 PM (1)
Mar 13, 11-12 AM (1)
Mar 14, 12-1 AM (0)
Mar 14, 1-2 AM (0)
Mar 14, 2-3 AM (0)
Mar 14, 3-4 AM (0)
Mar 14, 4-5 AM (0)
Mar 14, 5-6 AM (0)
Mar 14, 6-7 AM (0)
Mar 14, 7-8 AM (0)
Mar 14, 8-9 AM (1)
Mar 14, 9-10 AM (0)
Mar 14, 10-11 AM (1)
Mar 14, 11-12 PM (0)
Mar 14, 12-1 PM (0)
Mar 14, 1-2 PM (5)
Mar 14, 2-3 PM (0)
Mar 14, 3-4 PM (0)
Mar 14, 4-5 PM (0)
Mar 14, 5-6 PM (0)
Mar 14, 6-7 PM (0)
Mar 14, 7-8 PM (0)
Mar 14, 8-9 PM (0)
Mar 14, 9-10 PM (0)
Mar 14, 10-11 PM (0)
Mar 14, 11-12 AM (0)
Mar 15, 12-1 AM (0)
Mar 15, 1-2 AM (0)
Mar 15, 2-3 AM (0)
Mar 15, 3-4 AM (0)
Mar 15, 4-5 AM (0)
Mar 15, 5-6 AM (0)
Mar 15, 6-7 AM (0)
Mar 15, 7-8 AM (0)
Mar 15, 8-9 AM (1)
Mar 15, 9-10 AM (1)
Mar 15, 10-11 AM (1)
Mar 15, 11-12 PM (0)
Mar 15, 12-1 PM (4)
Mar 15, 1-2 PM (0)
Mar 15, 2-3 PM (0)
Mar 15, 3-4 PM (0)
Mar 15, 4-5 PM (0)
Mar 15, 5-6 PM (0)
Mar 15, 6-7 PM (0)
Mar 15, 7-8 PM (0)
Mar 15, 8-9 PM (0)
Mar 15, 9-10 PM (1)
Mar 15, 10-11 PM (1)
Mar 15, 11-12 AM (0)
Mar 16, 12-1 AM (0)
Mar 16, 1-2 AM (0)
Mar 16, 2-3 AM (0)
Mar 16, 3-4 AM (0)
Mar 16, 4-5 AM (0)
Mar 16, 5-6 AM (0)
Mar 16, 6-7 AM (0)
Mar 16, 7-8 AM (0)
Mar 16, 8-9 AM (0)
Mar 16, 9-10 AM (0)
Mar 16, 10-11 AM (0)
Mar 16, 11-12 PM (0)
Mar 16, 12-1 PM (0)
Mar 16, 1-2 PM (0)
Mar 16, 2-3 PM (0)
Mar 16, 3-4 PM (0)
Mar 16, 4-5 PM (0)
Mar 16, 5-6 PM (0)
Mar 16, 6-7 PM (0)
Mar 16, 7-8 PM (0)
Mar 16, 8-9 PM (0)
Mar 16, 9-10 PM (0)
Mar 16, 10-11 PM (0)
Mar 16, 11-12 AM (0)
Mar 17, 12-1 AM (0)
Mar 17, 1-2 AM (0)
Mar 17, 2-3 AM (0)
Mar 17, 3-4 AM (0)
Mar 17, 4-5 AM (0)
Mar 17, 5-6 AM (0)
Mar 17, 6-7 AM (0)
Mar 17, 7-8 AM (0)
Mar 17, 8-9 AM (0)
Mar 17, 9-10 AM (0)
Mar 17, 10-11 AM (0)
Mar 17, 11-12 PM (0)
Mar 17, 12-1 PM (0)
Mar 17, 1-2 PM (0)
Mar 17, 2-3 PM (0)
Mar 17, 3-4 PM (4)
Mar 17, 4-5 PM (0)
Mar 17, 5-6 PM (0)
Mar 17, 6-7 PM (0)
Mar 17, 7-8 PM (0)
Mar 17, 8-9 PM (0)
Mar 17, 9-10 PM (0)
Mar 17, 10-11 PM (0)
Mar 17, 11-12 AM (1)
Mar 18, 12-1 AM (0)
Mar 18, 1-2 AM (0)
Mar 18, 2-3 AM (0)
Mar 18, 3-4 AM (0)
Mar 18, 4-5 AM (0)
Mar 18, 5-6 AM (0)
Mar 18, 6-7 AM (0)
Mar 18, 7-8 AM (0)
Mar 18, 8-9 AM (0)
Mar 18, 9-10 AM (0)
Mar 18, 10-11 AM (4)
Mar 18, 11-12 PM (1)
Mar 18, 12-1 PM (10)
Mar 18, 1-2 PM (0)
Mar 18, 2-3 PM (3)
Mar 18, 3-4 PM (2)
Mar 18, 4-5 PM (0)
Mar 18, 5-6 PM (0)
Mar 18, 6-7 PM (0)
Mar 18, 7-8 PM (0)
Mar 18, 8-9 PM (2)
Mar 18, 9-10 PM (0)
Mar 18, 10-11 PM (1)
Mar 18, 11-12 AM (0)
Mar 19, 12-1 AM (0)
Mar 19, 1-2 AM (0)
Mar 19, 2-3 AM (1)
Mar 19, 3-4 AM (0)
Mar 19, 4-5 AM (0)
61 commits this week
Mar 12, 2024
-
Mar 19, 2024
added info for PlutusV3
Delete trailing whitespace in R code
add Plutus Benchmarks (customSmallerIsBetter) benchmark result for ac41901e6d85e56772bd9e596bd7387c5d21ef3d
Blueprint example extended with the AsData type.
refactor: s/schema/itemSchema/
Deploying to gh-pages from @ IntersectMBO/plutus@ac41901e6d85e56772bd9e596bd7387c5d21ef3d 🚀
CIP-0057: ContractBlueprint with derived schema definitions and safe schema refs (#5824)
CIP-0057: ContractBlueprint with derived schema definitions and safe schema refs (#5824)
CIP-0057: TH to derive argument and parameter blueprints. (#5831)
* Derive validator blueprints, extend blueprint test to use 2 validators. * Compile typed validator * Example with 2 parameters * fail fast in case of duplicate annotations
Extract `goldenJson` function and move it to the `Tests.Lib`
CIP-0057: Alternative approach to deriving and referencing schema definitons. (#5839)
* Add pointer to issue on the ledger's cost model interface (#5828) * Agda html (#5827) * Moved all Agda files to Markdown. * Added some brief text to the TOC * Fixed the file extension in Setup.hs for the Markdown Agda. * Added all possible file extensions and the preprocessor seems to run now. * Cleaned out .lagda from the cabal file, since everything is .lagda.md now. * chore(deps): bump tj-actions/changed-files from 42 to 43 (#5835) Bumps [tj-actions/changed-files](https://github.com/tj-actions/changed-files) from 42 to 43. - [Release notes](https://github.com/tj-actions/changed-files/releases) - [Changelog](https://github.com/tj-actions/changed-files/blob/main/HISTORY.md) - [Commits](https://github.com/tj-actions/changed-files/compare/v42...v43) --- updated-dependencies: - dependency-name: tj-actions/changed-files dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * Kwxm/correct conformance comments (#5829) * Fix comments in conformance tests * Fix comments in conformance tests * Fix comments in conformance tests * CIP-57: unroll top level types * Extract `goldenJson` function and move it to the `Tests.Lib` * Note about unrolling types * CIP-57: accumulate schema definitions preserving types for safe refs. * Build schema definitions by un-rolling a list of top-level types. * validatorParameters :: [] --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: Kenneth MacKenzie <[email protected]> Co-authored-by: Ramsay Taylor <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
fail fast in case of duplicate annotations
Derive validator blueprints, extend blueprint test to use 2 validators.
CIP-0057: Alternative approach to deriving and referencing schema definitons. (#5839)
* Add pointer to issue on the ledger's cost model interface (#5828) * Agda html (#5827) * Moved all Agda files to Markdown. * Added some brief text to the TOC * Fixed the file extension in Setup.hs for the Markdown Agda. * Added all possible file extensions and the preprocessor seems to run now. * Cleaned out .lagda from the cabal file, since everything is .lagda.md now. * chore(deps): bump tj-actions/changed-files from 42 to 43 (#5835) Bumps [tj-actions/changed-files](https://github.com/tj-actions/changed-files) from 42 to 43. - [Release notes](https://github.com/tj-actions/changed-files/releases) - [Changelog](https://github.com/tj-actions/changed-files/blob/main/HISTORY.md) - [Commits](https://github.com/tj-actions/changed-files/compare/v42...v43) --- updated-dependencies: - dependency-name: tj-actions/changed-files dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> * Kwxm/correct conformance comments (#5829) * Fix comments in conformance tests * Fix comments in conformance tests * Fix comments in conformance tests * CIP-57: unroll top level types * Extract `goldenJson` function and move it to the `Tests.Lib` * Note about unrolling types * CIP-57: accumulate schema definitions preserving types for safe refs. * Build schema definitions by un-rolling a list of top-level types. * validatorParameters :: [] --------- Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: Kenneth MacKenzie <[email protected]> Co-authored-by: Ramsay Taylor <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Fix handling of nested costing functions
Remove some unnecessary error cases
chore(deps): bump nixbuild/nix-quick-install-action from 26 to 27 (#5843)
Bumps [nixbuild/nix-quick-install-action](https://github.com/nixbuild/nix-quick-install-action) from 26 to 27. - [Release notes](https://github.com/nixbuild/nix-quick-install-action/releases) - [Changelog](https://github.com/nixbuild/nix-quick-install-action/blob/master/RELEASE) - [Commits](https://github.com/nixbuild/nix-quick-install-action/compare/v26...v27) --- updated-dependencies: - dependency-name: nixbuild/nix-quick-install-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Build schema definitions by un-rolling a list of top-level types.
chore(deps): bump nixbuild/nix-quick-install-action from 26 to 27
Bumps [nixbuild/nix-quick-install-action](https://github.com/nixbuild/nix-quick-install-action) from 26 to 27. - [Release notes](https://github.com/nixbuild/nix-quick-install-action/releases) - [Changelog](https://github.com/nixbuild/nix-quick-install-action/blob/master/RELEASE) - [Commits](https://github.com/nixbuild/nix-quick-install-action/compare/v26...v27) --- updated-dependencies: - dependency-name: nixbuild/nix-quick-install-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <[email protected]>