Code

Multi-Asset Migration Algorithm#2618

Code

Merged

iohk-bors[bot] merged 31 commits intomastercardano-foundation/cardano-wallet:masterfrom jonathanknowles/multi-asset-migrationcardano-foundation/cardano-wallet:jonathanknowles/multi-asset-migrationCopy head branch name to clipboardApr 22, 2021

+3,118-1

Commits

Commits on Apr 19, 2021

• Add TxConstraints type to Primitive.Types.Tx.

  Show description for 2c58d7d
  jonathanknowles

  committed
  2c58d7d

• Add module Migration.Selection.

  Show description for 3618076
  jonathanknowles

  committed
  3618076

• Add module Migration.Planning.

  Show description for c9ecdab
  jonathanknowles

  committed
  c9ecdab

• Add module Migration.

  Show description for 87c58c4
  jonathanknowles

  committed
  87c58c4

Commits on Apr 20, 2021

• Clarify the control flow of Selection.verify.

  Show description for d31d1ec
  jonathanknowles

  committed
  d31d1ec

• Add support for pretty-printing arbitrary Show instances.

  Show description for 5413f6d
  jonathanknowles

  committed
  5413f6d

• Make generator for MockInputId more collision-resistant.

  Show description for 559272c
  jonathanknowles

  committed
  559272c

• Add property test for categorizeUTxOEntries.

  Show description for cd78eae
  jonathanknowles

  committed
  cd78eae

• Generate fewer examples in prop_createPlan.

  Show description for c3651da
  jonathanknowles

  committed
  c3651da

• Use tabulate instead of label in prop_createPlan.

  Show description for b2186bd
  jonathanknowles

  committed
  b2186bd

• Add further input preservation test within prop_createPlan.

  Show description for 152d957
  jonathanknowles

  committed
  152d957

• Fix typos of "outputs" in comments.

  Show description for f45fdbb
  jonathanknowles

  committed
  f45fdbb

• Test that the public and private interfaces are equivalent.

  Show description for eee3f2e
  jonathanknowles

  committed
  eee3f2e

Commits on Apr 21, 2021

• Use more descriptive type variables.

  Show description for 2a2f17d
  jonathanknowles

  committed
  2a2f17d

• Remove unnecessary reversals from minimizeFee.

  Show description for f9de1b4
  jonathanknowles

  committed
  f9de1b4

• Add documentation comments to functions in Planning and Selection.

  jonathanknowles

  committed
  7a3912d

• Relax the ada-only restriction when testing giant migrations.

  Show description for 522a895
  jonathanknowles

  committed
  522a895

• Explicitly test the creation of empty migration plans.

  jonathanknowles

  committed
  300f6a0

• Use forAll to simplify PlanningSpec.

  Show description for 4a43cee
  jonathanknowles

  committed
  4a43cee

• Use forAll to simplify SelectionSpec.

  Show description for 05501f6
  jonathanknowles

  committed
  05501f6

• Use forAll to simplify MigrationSpec.

  Show description for 257abb0
  jonathanknowles

  committed
  257abb0

• Provide a shared definition for genRewardWithdrawal.

  jonathanknowles

  committed
  6584790

Commits on Apr 22, 2021

• Improve the output of test failures.

  Show description for ab1729f
  jonathanknowles

  committed
  ab1729f

• Remove link to verify function from Selection module documentation.

  Show description for 7bd4436
  jonathanknowles

  committed
  7bd4436

• Emphasise that Selection.verify is provided as a convenience for testing.

  Show description for ec6970e
  jonathanknowles

  committed
  ec6970e

• Rename extendSelection to extendSelectionUntilFull.

  Show description for 97f5c26
  jonathanknowles

  committed
  97f5c26

• Clarify the assumptions of txInputCost and txInputSize.

  Show description for a95d51b
  jonathanknowles

  committed
  a95d51b

• Make the order consistent for module Migration.Selection.

  Show description for 5c2b38d
  jonathanknowles

  committed
  5c2b38d

• Check that Selection.create and Selection.extend minimize the fee.

  Show description for adf7dd0
  jonathanknowles

  committed
  adf7dd0

• Strengthen the totalFee check within Planning.prop_createPlan.

  Show description for 5d3c959
  jonathanknowles

  committed
  5d3c959

• Check that createPlan preserves the total non-ada token balance.

  jonathanknowles

  committed
  2445551