Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[Costing] Provide support for multiple 'CostModel's #5851

Merged
merged 40 commits into from
Apr 25, 2024
Merged

[Costing] Provide support for multiple 'CostModel's #5851

merged 40 commits into from
Apr 25, 2024

Commits on Feb 27, 2024

  1. [Builtins] Store 'BuiltinRuntime' lazily explicitly

    @effectfully
    effectfully committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    49db6d5 View commit details
    Browse the repository at this point in the history

  2. An additional variant

    @effectfully
    effectfully committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    e1d60b6 View commit details
    Browse the repository at this point in the history

  3. Revert "[Builtins] Store 'BuiltinRuntime' lazily explicitly" 

    This reverts commit 49db6d5.
    @effectfully
    effectfully committed Feb 27, 2024
    Configuration menu
    Copy the full SHA
    3c40023 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Fix validation benchmarks

    @effectfully
    effectfully committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    1705f9e View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Fix a bunch more stuff

    @effectfully
    effectfully committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    32c08f0 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/add-another-variant
    @effectfully
    effectfully committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    3b5bd38 View commit details
    Browse the repository at this point in the history

  2. Cosmetics

    @effectfully
    effectfully committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    3f96021 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Remove warnings

    @effectfully
    effectfully committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    430d7f9 View commit details
    Browse the repository at this point in the history

  2. Push 'MajorProtocolVersion' into 'MachineParameters'

    @effectfully
    effectfully committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    aef3def View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. Make 'CostingPart' into a function

    @effectfully
    effectfully committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    21bb075 View commit details
    Browse the repository at this point in the history

  2. Revert "Make 'CostingPart' into a function" 

    This reverts commit 21bb075.
    @effectfully
    effectfully committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    8fa97cc View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Provide support for multiple 'CostModel's

    @effectfully
    effectfully committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    a9a71bd View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Add 'SubDefaultFunSemanticsVariant'

    @effectfully
    effectfully committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    3944b7f View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    0a1af53 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    1843823 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. Fix the arbitrary evaluation nonsense in 'nofib'

    @effectfully
    effectfully committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    3134e88 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. Revert "Add 'SubDefaultFunSemanticsVariant'" 

    This reverts commit 3944b7f.
    @effectfully
    effectfully committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    86a176d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    53b49c2 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Revert "Fix the arbitrary evaluation nonsense in 'nofib'" 

    This reverts commit 3134e88.
    @effectfully
    effectfully committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    d2b57a6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    b6c9c3c View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    69fc298 View commit details
    Browse the repository at this point in the history

  2. Put 'mkMachineParameters' inside the loop

    @effectfully
    effectfully committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    12679c7 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Make errors explicit

    @effectfully
    effectfully committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    6151af8 View commit details
    Browse the repository at this point in the history

  2. Add a call to 'lazy' in 'toBuiltinsRuntime' out of paranoia

    @effectfully
    effectfully committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    20e2677 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    ecc9a85 View commit details
    Browse the repository at this point in the history

  4. Fix 'haskell-conformance'

    @effectfully
    effectfully committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    e543b28 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    a336d02 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Comments

    @effectfully
    effectfully committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    12bbcc1 View commit details
    Browse the repository at this point in the history

  2. Use a list instead of a function

    @effectfully
    effectfully committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    4d3ddb0 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    7a23b0e View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Remove a bang

    @effectfully
    effectfully committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    846ae8e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5bf9d5e View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Add 'evaluationContextCacheIsComplete'

    @effectfully
    effectfully committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    ae5718b View commit details
    Browse the repository at this point in the history

  2. Refactoring and comments

    @effectfully
    effectfully committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    809675d View commit details
    Browse the repository at this point in the history

  3. More comments

    @effectfully
    effectfully committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    28f46c7 View commit details
    Browse the repository at this point in the history

  4. Comments and fixes

    @effectfully
    effectfully committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    9d8942d View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Tweaks

    @effectfully
    effectfully committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    039dce1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/input-output-hk/plutus in… 

    …to effectfully/builtins/both-MajorProtocolVersion-and-multiple-CostModels
    @effectfully
    effectfully committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    60bbf02 View commit details
    Browse the repository at this point in the history

  3. Add 'Note [Mapping of protocol versions and ledger languages to seman… 

    …tics variants]'
    @effectfully
    effectfully committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    1f1bf5e View commit details
    Browse the repository at this point in the history

  4. Add a changelog entry

    @effectfully
    effectfully committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    e507dae View commit details
    Browse the repository at this point in the history