Code

Incremental commits spec changes#12

Code

Merged

v0d1ch merged 12 commits intomastercardano-scaling/hydra-formal-specification:masterfrom incremental-commits-changescardano-scaling/hydra-formal-specification:incremental-commits-changesCopy head branch name to clipboardJan 27, 2025

+148-369

Commits

Commits on Dec 31, 2024

• Add cid (headId) to the Claim redeemer

  v0d1ch

  committed
  fa0844e

  Copy full SHA for fa0844e

• Introduce Any redeemer in the Close transaction

  v0d1ch

  committed
  f1936f5

  Copy full SHA for f1936f5

• Introduce Current redeemer in the Contest transaction

  v0d1ch

  committed
  b1352f5

  Copy full SHA for b1352f5

Commits on Jan 22, 2025

• Add cid to Claim redeemer and update figures

  Show description for e9b4a4a
  v0d1ch

  committed
  e9b4a4a

  Copy full SHA for e9b4a4a

• Tackle close transaction

  v0d1ch

  committed
  b2555e9

  Copy full SHA for b2555e9

• Tackle contest/fanout

  v0d1ch

  committed
  62e150f

  Copy full SHA for 62e150f

• Unmark red items

  v0d1ch

  committed
  8d2a886

  Copy full SHA for 8d2a886

Commits on Jan 23, 2025

• Bump install-nix-action to v30

  v0d1ch

  committed
  3dc6908

  Copy full SHA for 3dc6908

• Remove Throwaway.agda

  v0d1ch

  committed
  416bbf2

  Copy full SHA for 416bbf2

• Remove import as well

  noonio

  committed
  05ec2af

  Copy full SHA for 05ec2af

Commits on Jan 27, 2025

• Review changes

  v0d1ch

  committed
  f017b89

  Copy full SHA for f017b89

• Update fanout figure

  v0d1ch

  committed
  706c95f

  Copy full SHA for 706c95f