formal-ledger-specifications - 32 commits this week

Home / Input Output / formal-ledger-specifications

Insights Pull Requests

Mar 10, 5-6 AM (0)

Mar 10, 6-7 AM (0)

Mar 10, 7-8 AM (0)

Mar 10, 8-9 AM (0)

Mar 10, 9-10 AM (0)

Mar 10, 10-11 AM (1)

Mar 10, 11-12 PM (0)

Mar 10, 12-1 PM (0)

Mar 10, 1-2 PM (0)

Mar 10, 2-3 PM (1)

Mar 10, 3-4 PM (0)

Mar 10, 4-5 PM (0)

Mar 10, 5-6 PM (0)

Mar 10, 6-7 PM (0)

Mar 10, 7-8 PM (0)

Mar 10, 8-9 PM (0)

Mar 10, 9-10 PM (0)

Mar 10, 10-11 PM (0)

Mar 10, 11-12 AM (0)

Mar 11, 12-1 AM (0)

Mar 11, 1-2 AM (0)

Mar 11, 2-3 AM (0)

Mar 11, 3-4 AM (0)

Mar 11, 4-5 AM (0)

Mar 11, 5-6 AM (0)

Mar 11, 6-7 AM (0)

Mar 11, 7-8 AM (0)

Mar 11, 8-9 AM (1)

Mar 11, 9-10 AM (0)

Mar 11, 10-11 AM (0)

Mar 11, 11-12 PM (0)

Mar 11, 12-1 PM (2)

Mar 11, 1-2 PM (7)

Mar 11, 2-3 PM (4)

Mar 11, 3-4 PM (1)

Mar 11, 4-5 PM (1)

Mar 11, 5-6 PM (5)

Mar 11, 6-7 PM (0)

Mar 11, 7-8 PM (0)

Mar 11, 8-9 PM (0)

Mar 11, 9-10 PM (0)

Mar 11, 10-11 PM (0)

Mar 11, 11-12 AM (0)

Mar 12, 12-1 AM (0)

Mar 12, 1-2 AM (0)

Mar 12, 2-3 AM (0)

Mar 12, 3-4 AM (0)

Mar 12, 4-5 AM (0)

Mar 12, 5-6 AM (0)

Mar 12, 6-7 AM (0)

Mar 12, 7-8 AM (0)

Mar 12, 8-9 AM (0)

Mar 12, 9-10 AM (0)

Mar 12, 10-11 AM (0)

Mar 12, 11-12 PM (1)

Mar 12, 12-1 PM (0)

Mar 12, 1-2 PM (0)

Mar 12, 2-3 PM (0)

Mar 12, 3-4 PM (0)

Mar 12, 4-5 PM (0)

Mar 12, 5-6 PM (0)

Mar 12, 6-7 PM (0)

Mar 12, 7-8 PM (0)

Mar 12, 8-9 PM (0)

Mar 12, 9-10 PM (0)

Mar 12, 10-11 PM (0)

Mar 12, 11-12 AM (0)

Mar 13, 12-1 AM (0)

Mar 13, 1-2 AM (0)

Mar 13, 2-3 AM (0)

Mar 13, 3-4 AM (0)

Mar 13, 4-5 AM (0)

Mar 13, 5-6 AM (0)

Mar 13, 6-7 AM (1)

Mar 13, 7-8 AM (1)

Mar 13, 8-9 AM (0)

Mar 13, 9-10 AM (1)

Mar 13, 10-11 AM (0)

Mar 13, 11-12 PM (0)

Mar 13, 12-1 PM (0)

Mar 13, 1-2 PM (0)

Mar 13, 2-3 PM (0)

Mar 13, 3-4 PM (0)

Mar 13, 4-5 PM (0)

Mar 13, 5-6 PM (0)

Mar 13, 6-7 PM (0)

Mar 13, 7-8 PM (0)

Mar 13, 8-9 PM (0)

Mar 13, 9-10 PM (0)

Mar 13, 10-11 PM (0)

Mar 13, 11-12 AM (0)

Mar 14, 12-1 AM (0)

Mar 14, 1-2 AM (0)

Mar 14, 2-3 AM (0)

Mar 14, 3-4 AM (0)

Mar 14, 4-5 AM (0)

Mar 14, 5-6 AM (0)

Mar 14, 6-7 AM (0)

Mar 14, 7-8 AM (0)

Mar 14, 8-9 AM (0)

Mar 14, 9-10 AM (0)

Mar 14, 10-11 AM (0)

Mar 14, 11-12 PM (0)

Mar 14, 12-1 PM (0)

Mar 14, 1-2 PM (0)

Mar 14, 2-3 PM (0)

Mar 14, 3-4 PM (0)

Mar 14, 4-5 PM (0)

Mar 14, 5-6 PM (0)

Mar 14, 6-7 PM (0)

Mar 14, 7-8 PM (0)

Mar 14, 8-9 PM (0)

Mar 14, 9-10 PM (0)

Mar 14, 10-11 PM (0)

Mar 14, 11-12 AM (0)

Mar 15, 12-1 AM (0)

Mar 15, 1-2 AM (0)

Mar 15, 2-3 AM (0)

Mar 15, 3-4 AM (0)

Mar 15, 4-5 AM (0)

Mar 15, 5-6 AM (0)

Mar 15, 6-7 AM (0)

Mar 15, 7-8 AM (0)

Mar 15, 8-9 AM (0)

Mar 15, 9-10 AM (0)

Mar 15, 10-11 AM (0)

Mar 15, 11-12 PM (0)

Mar 15, 12-1 PM (0)

Mar 15, 1-2 PM (0)

Mar 15, 2-3 PM (0)

Mar 15, 3-4 PM (0)

Mar 15, 4-5 PM (0)

Mar 15, 5-6 PM (0)

Mar 15, 6-7 PM (0)

Mar 15, 7-8 PM (0)

Mar 15, 8-9 PM (0)

Mar 15, 9-10 PM (0)

Mar 15, 10-11 PM (0)

Mar 15, 11-12 AM (0)

Mar 16, 12-1 AM (0)

Mar 16, 1-2 AM (0)

Mar 16, 2-3 AM (0)

Mar 16, 3-4 AM (0)

Mar 16, 4-5 AM (0)

Mar 16, 5-6 AM (0)

Mar 16, 6-7 AM (0)

Mar 16, 7-8 AM (2)

Mar 16, 8-9 AM (1)

Mar 16, 9-10 AM (1)

Mar 16, 10-11 AM (0)

Mar 16, 11-12 PM (0)

Mar 16, 12-1 PM (0)

Mar 16, 1-2 PM (0)

Mar 16, 2-3 PM (0)

Mar 16, 3-4 PM (1)

Mar 16, 4-5 PM (0)

Mar 16, 5-6 PM (0)

Mar 16, 6-7 PM (0)

Mar 16, 7-8 PM (0)

Mar 16, 8-9 PM (0)

Mar 16, 9-10 PM (0)

Mar 16, 10-11 PM (0)

Mar 16, 11-12 AM (0)

Mar 17, 12-1 AM (0)

Mar 17, 1-2 AM (0)

Mar 17, 2-3 AM (0)

Mar 17, 3-4 AM (0)

Mar 17, 4-5 AM (0)

Mar 17, 5-6 AM (0)

32 commits this week Mar 10, 2026 - Mar 17, 2026

carlostome · Mon, 16 Mar 26 16:28:43 +0000 · formal-ledger-specifications

Add wrapper type over LanguageCostModels

4447d791 · carlos/version-restriction-3 · 5/31 ++ 13 --

carlostome · Mon, 16 Mar 26 10:57:44 +0000 · formal-ledger-specifications

Add wrapper type over LanguageCostModels

64d50fe5 · carlos/version-restriction-3 · 4/31 ++ 12 --

github-actions[bot] · Mon, 16 Mar 26 09:21:01 +0000 · formal-ledger-specifications

Artifacts generated from e3e23094d4829531fc9d2a3ac0a03de9e926b2a9

58fe8c5d · carlos/version-restriction-3-artifacts · 84/102,227 ++ 102,134 --

carlostome · Mon, 16 Mar 26 08:43:15 +0000 · formal-ledger-specifications

Add wrapper type over LanguageCostModels

0b747f3c · carlos/version-restriction-3 · 2/9 ++ 4 --

carlostome · Mon, 16 Mar 26 08:27:46 +0000 · formal-ledger-specifications

Refine condition on hardfork chaining

79caebd6 · carlos/version-restriction-3 · 2/14 ++ 11 --

carlostome · Fri, 13 Mar 26 10:05:20 +0000 · formal-ledger-specifications

Refine condition on hardfork chaining

006f8574 · carlos/version-restriction-3 · 2/14 ++ 11 --

github-actions[bot] · Fri, 13 Mar 26 08:48:30 +0000 · formal-ledger-specifications

Artifacts generated from 1c69e4aa89797716c34c69345c43f4d3724c8f5d

73306ee7 · carlos/localize-batch-checks-subutxo-artifacts · 81/101,719 ++ 101,638 --

carlostome · Fri, 13 Mar 26 07:56:27 +0000 · formal-ledger-specifications

Add conditions on SUBUTXO

af7bf536 · carlos/localize-batch-checks-subutxo · 5/72 ++ 58 --

github-actions[bot] · Thu, 12 Mar 26 12:30:02 +0000 · formal-ledger-specifications

Artifacts generated from 0404bf55db335702e4944b5b4649be8a137088bd

622b68f9 · carlos/localize-batch-checks-subutxo-artifacts · 300/5,884,810 ++ 0 --

github-actions[bot] · Wed, 11 Mar 26 18:13:59 +0000 · formal-ledger-specifications

Artifacts generated from 024d8ae85bbc91b1d00b995b89fb8c4a6e1f5e9c

5c11008c · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 300/5,884,818 ++ 0 --

williamdemeo · Wed, 11 Mar 26 18:12:35 +0000 · formal-ledger-specifications

Finished proof of Computational instance of UTXOW!

e5ba7d4b · master · 1/0 ++ 2 --

williamdemeo · Wed, 11 Mar 26 18:12:35 +0000 · formal-ledger-specifications

Computational instances for Enact and Ratify

7c71f163 · master · 2/179 ++ 0 --

williamdemeo · Wed, 11 Mar 26 18:12:35 +0000 · formal-ledger-specifications

final refinements:

+  reduce WitnessData record type to just two fields---the fields that
   differ depending on normal/legacy mode.
+  remove duplicate collectWitnessDataLegacy function, by adding
   branching (normal vs legacy) logic to collectWitnessData
+  add support for normal vs legacy mode to LEDGER rule

2e81c5e5 · master · 1/3 ++ 2 --

williamdemeo · Wed, 11 Mar 26 18:12:35 +0000 · formal-ledger-specifications

fixed Computational instance for EPOCH rule

9ba2eede · master · 2/43 ++ 28 --

williamdemeo · Wed, 11 Mar 26 17:10:44 +0000 · formal-ledger-specifications

Computational instances for Enact and Ratify

dd41b8e9 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 2/179 ++ 0 --

williamdemeo · Wed, 11 Mar 26 16:15:30 +0000 · formal-ledger-specifications

add nav entries for new files

a6ad4027 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 2/51 ++ 2 --

carlostome · Wed, 11 Mar 26 15:50:36 +0000 · formal-ledger-specifications

Fix condition for chained hf proposals

e7f23822 · master · 2/22 ++ 12 --

williamdemeo · Wed, 11 Mar 26 15:35:08 +0000 · formal-ledger-specifications

Merge branch '1071-NEW-dijkstra-computational-instances-for-remaining-rules' of github.com:IntersectMBO/formal-ledger-specifications into 1071-NEW-dijkstra-computational-instances-for-remaining-rules

e5ac1dc7 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 9/85 ++ 62 --

github-actions[bot] · Wed, 11 Mar 26 15:30:44 +0000 · formal-ledger-specifications

Artifacts generated from 7d4f10c8bc72a7b1e825be9fcfcde7ce8987c7d2

8e12dd3e · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 300/15,825 ++ 16,514 --

github-actions[bot] · Wed, 11 Mar 26 15:06:41 +0000 · formal-ledger-specifications

Artifacts generated from 3e43ff99f3e91f686f6c68292c0dbd1402a18897

2d1a69b4 · version-restriction-2-artifacts · 10/279 ++ 276 --

williamdemeo · Wed, 11 Mar 26 14:35:41 +0000 · formal-ledger-specifications

add check that all rules have Computational instances

1494aca1 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 5/134 ++ 10 --

williamdemeo · Wed, 11 Mar 26 14:35:41 +0000 · formal-ledger-specifications

fixed Computational instance for EPOCH rule

17f50fda · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 3/44 ++ 29 --

williamdemeo · Wed, 11 Mar 26 14:35:41 +0000 · formal-ledger-specifications

final refinements:

+  reduce WitnessData record type to just two fields---the fields that
   differ depending on normal/legacy mode.
+  remove duplicate collectWitnessDataLegacy function, by adding
   branching (normal vs legacy) logic to collectWitnessData
+  add support for normal vs legacy mode to LEDGER rule

a50fba75 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 1/3 ++ 2 --

williamdemeo · Wed, 11 Mar 26 14:35:41 +0000 · formal-ledger-specifications

fix UTXOW rule: eliminate `legacy : Bool` parameter

9d9d0f12 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 1/2 ++ 3 --

williamdemeo · Wed, 11 Mar 26 14:35:41 +0000 · formal-ledger-specifications

add remaining rules (RUPD, TICK) and Computational instances

ab2b391d · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 6/310 ++ 12 --

Show more commits

Showing 25 of 32 recent commits. Check out Input Output on GitHub to see more.