Code

[Builtins] Optimize 'MakeKnownM'#4587

Code

Merged

michaelpj merged 11 commits intomasterIntersectMBO/plutus:masterfrom effectfully/builtins/optimize-MakeKnownMIntersectMBO/plutus:effectfully/builtins/optimize-MakeKnownMCopy head branch name to clipboardMay 11, 2022

+112-45

Commits

Commits on May 9, 2022

• [Builtins] Optimize 'MakeKnownM'

  effectfully

  committed
  ce5acfe

  Copy full SHA for ce5acfe

• Merge branch 'master' of https://github.com/input-output-hk/plutus into effectfully/builtins/optimize-MakeKnownM

  effectfully

  committed
  83bbac6

  Copy full SHA for 83bbac6

• Docs

  effectfully

  committed
  ade58d8

  Copy full SHA for ade58d8

Commits on May 10, 2022

• Drop 'fmapWithLogs'

  effectfully

  committed
  54665b9

  Copy full SHA for 54665b9

• Add 'StrictData'

  effectfully

  committed
  6377aa6

  Copy full SHA for 6377aa6

• Drop 'StrictData'

  effectfully

  committed
  c27e088

  Copy full SHA for c27e088

• A bit more comments

  effectfully

  committed
  f6845ef

  Copy full SHA for f6845ef

• And now do the forcing properly

  effectfully

  committed
  20f4e15

  Copy full SHA for 20f4e15

• Revert "Drop 'StrictData'"

  Show description for d06d3af
  effectfully

  committed
  d06d3af

  Copy full SHA for d06d3af

• Fixups

  effectfully

  committed
  f93d9df

  Copy full SHA for f93d9df

Commits on May 11, 2022

• Back to the bang

  effectfully

  committed
  bd8071f

  Copy full SHA for bd8071f