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

[Builtins] Add the 'dropList' builtin #6468

Draft
wants to merge 12 commits into
base: master
Choose a base branch
from
Draft

[Builtins] Add the 'dropList' builtin #6468

wants to merge 12 commits into from

Commits on Sep 14, 2024

  1. [Builtins] Add the 'dropList' builtin

    @effectfully
    effectfully committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    82b2f45 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/add-dropList
    @effectfully
    effectfully committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    e22a57b View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

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

    …to effectfully/builtins/add-dropList
    @effectfully
    effectfully committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    ad25ce7 View commit details
    Browse the repository at this point in the history

  2. Add 'DropList' to 'builtinsIntroducedIn'

    @effectfully
    effectfully committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    41ea9b6 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Implement 'dropList' better

    @effectfully
    effectfully committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5112e9b 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/add-dropList
    @effectfully
    effectfully committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    442beb4 View commit details
    Browse the repository at this point in the history

  3. Try a conditional build

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

  4. Remove support for 'dropList' on GHC-8.10

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

Commits on Nov 9, 2024

  1. wpi

    @zeme-wana
    zeme-wana committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    4b5a204 View commit details
    Browse the repository at this point in the history

  2. done

    @zeme-wana
    zeme-wana committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    d0192b7 View commit details
    Browse the repository at this point in the history

  3. wip

    @zeme-wana
    zeme-wana committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    df127f4 View commit details
    Browse the repository at this point in the history

  4. wip

    @zeme-wana
    zeme-wana committed Nov 9, 2024
    Configuration menu
    Copy the full SHA
    05d82e8 View commit details
    Browse the repository at this point in the history