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 support for pattern matching builtins #5486

Closed
wants to merge 40 commits into from
Closed

[Builtins] Add support for pattern matching builtins #5486

wants to merge 40 commits into from

Commits on Aug 31, 2022

  1. [Builtins] Add pattern matching builtins

    @effectfully
    effectfully committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    ccd9e4b View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    dfdd042 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    5288e72 View commit details
    Browse the repository at this point in the history

  2. Simplify 'caseData'

    @effectfully
    effectfully committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    048cf44 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. Back 'matchData' by 'caseData'

    @effectfully
    effectfully committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    a4940ff View commit details
    Browse the repository at this point in the history

  2. Back 'matchList' by 'caseList'

    @effectfully
    effectfully committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    a551cb4 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/pattern-matching-builtins
    @effectfully
    effectfully committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    26b5463 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    fe81335 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Replace 'chooseList' with 'matchList' whereever possible

    @effectfully
    effectfully committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    9a46cae View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    135a20b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'effectfully/builtins/pattern-matching-builtins' of http… 

    …s://github.com/input-output-hk/plutus into effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    711fde1 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2024

  1. Fix some broken things

    @effectfully
    effectfully committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    5d99162 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/pattern-matching-builtins
    @effectfully
    effectfully committed Aug 25, 2024
    Configuration menu
    Copy the full SHA
    bce70b0 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Progress

    @effectfully
    effectfully committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    068fe9d View commit details
    Browse the repository at this point in the history

  2. Fix 'prop_builtinEvaluation'

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

  3. Fix tests

    @effectfully
    effectfully committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    85f00d8 View commit details
    Browse the repository at this point in the history

  4. Fix 'test_costModelSafety'

    @effectfully
    effectfully committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    3d6e9d4 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Fix all up to 'plutus-ledger-api'?

    @effectfully
    effectfully committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    2082c47 View commit details
    Browse the repository at this point in the history

  2. Fix golden files

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

  3. Optimize Plinth stuff

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

  4. Fix tests

    @effectfully
    effectfully committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5d5883a View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. Add 'HeadOnly'

    @effectfully
    effectfully committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    0feeb17 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Try using 'matchList' in 'matchDataList'

    @effectfully
    effectfully committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    1feb586 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Fix 'MakeRead'

    @effectfully
    effectfully committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    8c6b579 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Fixups

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

Commits on Sep 5, 2024

  1. Some docs, some refactoring

    @effectfully
    effectfully committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    d685356 View commit details
    Browse the repository at this point in the history

  2. Hole experiment

    @effectfully
    effectfully committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    cddcfe1 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/pattern-matching-builtins
    @effectfully
    effectfully committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    9cfb229 View commit details
    Browse the repository at this point in the history

  4. Stop throwing in 'ToHoles'

    @effectfully
    effectfully committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    e29e970 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Document new hole business

    @effectfully
    effectfully committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    655a55d View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. A comment

    @effectfully
    effectfully committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    6ab9bd4 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2024

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    aa4b6b9 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    96c9a7b View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

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

    …to effectfully/builtins/pattern-matching-builtins
    @effectfully
    effectfully committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    235781e View commit details
    Browse the repository at this point in the history

  2. Doc tweaking

    @effectfully
    effectfully committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d73940f View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2024

  1. Fixes and some docs

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

Commits on Sep 30, 2024

  1. Freshen 'Note [Pattern matching on built-in types]'

    @effectfully
    effectfully committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    544098d View commit details
    Browse the repository at this point in the history

  2. Final touches

    @effectfully
    effectfully committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    4bc6684 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/pattern-matching-builtins
    @effectfully
    effectfully committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    a7039ae View commit details
    Browse the repository at this point in the history

  4. Fix a golden file

    @effectfully
    effectfully committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    da8ccab View commit details
    Browse the repository at this point in the history