formal-ledger-specifications - 84 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

Mar 03, 4-5 AM (0)

Mar 03, 5-6 AM (0)

Mar 03, 6-7 AM (0)

Mar 03, 7-8 AM (0)

Mar 03, 8-9 AM (0)

Mar 03, 9-10 AM (0)

Mar 03, 10-11 AM (0)

Mar 03, 11-12 PM (0)

Mar 03, 12-1 PM (0)

Mar 03, 1-2 PM (0)

Mar 03, 2-3 PM (0)

Mar 03, 3-4 PM (0)

Mar 03, 4-5 PM (0)

Mar 03, 5-6 PM (0)

Mar 03, 6-7 PM (0)

Mar 03, 7-8 PM (0)

Mar 03, 8-9 PM (0)

Mar 03, 9-10 PM (0)

Mar 03, 10-11 PM (0)

Mar 03, 11-12 AM (0)

Mar 04, 12-1 AM (0)

Mar 04, 1-2 AM (0)

Mar 04, 2-3 AM (0)

Mar 04, 3-4 AM (0)

Mar 04, 4-5 AM (0)

Mar 04, 5-6 AM (0)

Mar 04, 6-7 AM (1)

Mar 04, 7-8 AM (0)

Mar 04, 8-9 AM (0)

Mar 04, 9-10 AM (0)

Mar 04, 10-11 AM (0)

Mar 04, 11-12 PM (0)

Mar 04, 12-1 PM (0)

Mar 04, 1-2 PM (0)

Mar 04, 2-3 PM (1)

Mar 04, 3-4 PM (0)

Mar 04, 4-5 PM (1)

Mar 04, 5-6 PM (0)

Mar 04, 6-7 PM (0)

Mar 04, 7-8 PM (0)

Mar 04, 8-9 PM (0)

Mar 04, 9-10 PM (0)

Mar 04, 10-11 PM (0)

Mar 04, 11-12 AM (0)

Mar 05, 12-1 AM (0)

Mar 05, 1-2 AM (13)

Mar 05, 2-3 AM (6)

Mar 05, 3-4 AM (4)

Mar 05, 4-5 AM (0)

Mar 05, 5-6 AM (0)

Mar 05, 6-7 AM (0)

Mar 05, 7-8 AM (0)

Mar 05, 8-9 AM (0)

Mar 05, 9-10 AM (2)

Mar 05, 10-11 AM (0)

Mar 05, 11-12 PM (0)

Mar 05, 12-1 PM (1)

Mar 05, 1-2 PM (0)

Mar 05, 2-3 PM (1)

Mar 05, 3-4 PM (4)

Mar 05, 4-5 PM (0)

Mar 05, 5-6 PM (0)

Mar 05, 6-7 PM (0)

Mar 05, 7-8 PM (1)

Mar 05, 8-9 PM (2)

Mar 05, 9-10 PM (1)

Mar 05, 10-11 PM (0)

Mar 05, 11-12 AM (3)

Mar 06, 12-1 AM (2)

Mar 06, 1-2 AM (1)

Mar 06, 2-3 AM (0)

Mar 06, 3-4 AM (0)

Mar 06, 4-5 AM (0)

Mar 06, 5-6 AM (0)

Mar 06, 6-7 AM (0)

Mar 06, 7-8 AM (0)

Mar 06, 8-9 AM (0)

Mar 06, 9-10 AM (0)

Mar 06, 10-11 AM (0)

Mar 06, 11-12 PM (0)

Mar 06, 12-1 PM (0)

Mar 06, 1-2 PM (0)

Mar 06, 2-3 PM (0)

Mar 06, 3-4 PM (0)

Mar 06, 4-5 PM (0)

Mar 06, 5-6 PM (0)

Mar 06, 6-7 PM (0)

Mar 06, 7-8 PM (0)

Mar 06, 8-9 PM (0)

Mar 06, 9-10 PM (0)

Mar 06, 10-11 PM (0)

Mar 06, 11-12 AM (0)

Mar 07, 12-1 AM (0)

Mar 07, 1-2 AM (0)

Mar 07, 2-3 AM (0)

Mar 07, 3-4 AM (0)

Mar 07, 4-5 AM (0)

Mar 07, 5-6 AM (0)

Mar 07, 6-7 AM (0)

Mar 07, 7-8 AM (0)

Mar 07, 8-9 AM (0)

Mar 07, 9-10 AM (0)

Mar 07, 10-11 AM (0)

Mar 07, 11-12 PM (0)

Mar 07, 12-1 PM (0)

Mar 07, 1-2 PM (0)

Mar 07, 2-3 PM (0)

Mar 07, 3-4 PM (0)

Mar 07, 4-5 PM (0)

Mar 07, 5-6 PM (0)

Mar 07, 6-7 PM (0)

Mar 07, 7-8 PM (0)

Mar 07, 8-9 PM (0)

Mar 07, 9-10 PM (0)

Mar 07, 10-11 PM (0)

Mar 07, 11-12 AM (0)

Mar 08, 12-1 AM (0)

Mar 08, 1-2 AM (0)

Mar 08, 2-3 AM (0)

Mar 08, 3-4 AM (0)

Mar 08, 4-5 AM (0)

Mar 08, 5-6 AM (0)

Mar 08, 6-7 AM (0)

Mar 08, 7-8 AM (0)

Mar 08, 8-9 AM (0)

Mar 08, 9-10 AM (0)

Mar 08, 10-11 AM (0)

Mar 08, 11-12 PM (0)

Mar 08, 12-1 PM (0)

Mar 08, 1-2 PM (0)

Mar 08, 2-3 PM (0)

Mar 08, 3-4 PM (0)

Mar 08, 4-5 PM (0)

Mar 08, 5-6 PM (0)

Mar 08, 6-7 PM (0)

Mar 08, 7-8 PM (0)

Mar 08, 8-9 PM (0)

Mar 08, 9-10 PM (0)

Mar 08, 10-11 PM (0)

Mar 08, 11-12 AM (0)

Mar 09, 12-1 AM (0)

Mar 09, 1-2 AM (0)

Mar 09, 2-3 AM (0)

Mar 09, 3-4 AM (0)

Mar 09, 4-5 AM (0)

Mar 09, 5-6 AM (0)

Mar 09, 6-7 AM (0)

Mar 09, 7-8 AM (0)

Mar 09, 8-9 AM (0)

Mar 09, 9-10 AM (0)

Mar 09, 10-11 AM (0)

Mar 09, 11-12 PM (0)

Mar 09, 12-1 PM (0)

Mar 09, 1-2 PM (1)

Mar 09, 2-3 PM (1)

Mar 09, 3-4 PM (4)

Mar 09, 4-5 PM (2)

Mar 09, 5-6 PM (0)

Mar 09, 6-7 PM (0)

Mar 09, 7-8 PM (0)

Mar 09, 8-9 PM (0)

Mar 09, 9-10 PM (0)

Mar 09, 10-11 PM (0)

Mar 09, 11-12 AM (0)

Mar 10, 12-1 AM (0)

Mar 10, 1-2 AM (17)

Mar 10, 2-3 AM (13)

Mar 10, 3-4 AM (2)

Mar 10, 4-5 AM (0)

84 commits this week Mar 03, 2026 - Mar 10, 2026

github-actions[bot] · Tue, 10 Mar 26 04:39:30 +0000 · formal-ledger-specifications

Artifacts generated from 8f814967e46a58784020dea44395d07212e23ffa

5aa7e7f4 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 29/1,474 ++ 1,400 --

github-actions[bot] · Tue, 10 Mar 26 04:16:47 +0000 · formal-ledger-specifications

Artifacts generated from e6bb7393c1547f35bbc5ab81edd74f72802945a8

7a95acb4 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 92/41,494 ++ 3,226 --

williamdemeo · Tue, 10 Mar 26 03:45:02 +0000 · formal-ledger-specifications

final polish

48e691d3 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 10/89 ++ 9 --

github-actions[bot] · Tue, 10 Mar 26 03:41:29 +0000 · formal-ledger-specifications

Artifacts generated from 6acc318db1addae8765bbb9d0fdd57fa37fa847e

b317d8f3 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 62/22,855 ++ 22,670 --

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

fixed Computational instance for EPOCH rule

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

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

add BlockBody module and BBODY rule for Dijkstra

45c10fb2 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 7/184 ++ 2 --

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

add missing modules

80991087 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 13/977 ++ 24 --

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

add CHAIN rule and its Computational instance

4eb3c8a7 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 7/235 ++ 2 --

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

Computational instances for Enact and Ratify

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

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

Finished proof of Computational instance of UTXOW!

d54571ac · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 1/0 ++ 2 --

williamdemeo · Tue, 10 Mar 26 03:22:35 +0000 · formal-ledger-specifications

add check that all rules have Computational instances

1f28b392 · 1071-NEW-dijkstra-computational-instances-for-remaining-rules · 5/134 ++ 10 --

williamdemeo · Tue, 10 Mar 26 03:22: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

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