formal-ledger-specifications - 43 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

Feb 25, 10-11 PM (0)

Feb 25, 11-12 AM (0)

Feb 26, 12-1 AM (0)

Feb 26, 1-2 AM (1)

Feb 26, 2-3 AM (0)

Feb 26, 3-4 AM (0)

Feb 26, 4-5 AM (0)

Feb 26, 5-6 AM (0)

Feb 26, 6-7 AM (0)

Feb 26, 7-8 AM (0)

Feb 26, 8-9 AM (0)

Feb 26, 9-10 AM (0)

Feb 26, 10-11 AM (0)

Feb 26, 11-12 PM (3)

Feb 26, 12-1 PM (1)

Feb 26, 1-2 PM (0)

Feb 26, 2-3 PM (7)

Feb 26, 3-4 PM (0)

Feb 26, 4-5 PM (0)

Feb 26, 5-6 PM (1)

Feb 26, 6-7 PM (0)

Feb 26, 7-8 PM (0)

Feb 26, 8-9 PM (0)

Feb 26, 9-10 PM (0)

Feb 26, 10-11 PM (0)

Feb 26, 11-12 AM (0)

Feb 27, 12-1 AM (0)

Feb 27, 1-2 AM (0)

Feb 27, 2-3 AM (0)

Feb 27, 3-4 AM (0)

Feb 27, 4-5 AM (0)

Feb 27, 5-6 AM (0)

Feb 27, 6-7 AM (0)

Feb 27, 7-8 AM (0)

Feb 27, 8-9 AM (0)

Feb 27, 9-10 AM (0)

Feb 27, 10-11 AM (2)

Feb 27, 11-12 PM (0)

Feb 27, 12-1 PM (0)

Feb 27, 1-2 PM (0)

Feb 27, 2-3 PM (0)

Feb 27, 3-4 PM (0)

Feb 27, 4-5 PM (0)

Feb 27, 5-6 PM (0)

Feb 27, 6-7 PM (0)

Feb 27, 7-8 PM (0)

Feb 27, 8-9 PM (0)

Feb 27, 9-10 PM (0)

Feb 27, 10-11 PM (0)

Feb 27, 11-12 AM (0)

Feb 28, 12-1 AM (0)

Feb 28, 1-2 AM (0)

Feb 28, 2-3 AM (0)

Feb 28, 3-4 AM (0)

Feb 28, 4-5 AM (0)

Feb 28, 5-6 AM (0)

Feb 28, 6-7 AM (0)

Feb 28, 7-8 AM (0)

Feb 28, 8-9 AM (0)

Feb 28, 9-10 AM (0)

Feb 28, 10-11 AM (0)

Feb 28, 11-12 PM (0)

Feb 28, 12-1 PM (0)

Feb 28, 1-2 PM (0)

Feb 28, 2-3 PM (0)

Feb 28, 3-4 PM (0)

Feb 28, 4-5 PM (0)

Feb 28, 5-6 PM (0)

Feb 28, 6-7 PM (0)

Feb 28, 7-8 PM (0)

Feb 28, 8-9 PM (0)

Feb 28, 9-10 PM (0)

Feb 28, 10-11 PM (0)

Feb 28, 11-12 AM (0)

Mar 01, 12-1 AM (0)

Mar 01, 1-2 AM (0)

Mar 01, 2-3 AM (0)

Mar 01, 3-4 AM (0)

Mar 01, 4-5 AM (0)

Mar 01, 5-6 AM (0)

Mar 01, 6-7 AM (0)

Mar 01, 7-8 AM (0)

Mar 01, 8-9 AM (0)

Mar 01, 9-10 AM (0)

Mar 01, 10-11 AM (0)

Mar 01, 11-12 PM (0)

Mar 01, 12-1 PM (0)

Mar 01, 1-2 PM (0)

Mar 01, 2-3 PM (0)

Mar 01, 3-4 PM (0)

Mar 01, 4-5 PM (0)

Mar 01, 5-6 PM (0)

Mar 01, 6-7 PM (0)

Mar 01, 7-8 PM (0)

Mar 01, 8-9 PM (0)

Mar 01, 9-10 PM (0)

Mar 01, 10-11 PM (0)

Mar 01, 11-12 AM (0)

Mar 02, 12-1 AM (0)

Mar 02, 1-2 AM (0)

Mar 02, 2-3 AM (0)

Mar 02, 3-4 AM (0)

Mar 02, 4-5 AM (0)

Mar 02, 5-6 AM (0)

Mar 02, 6-7 AM (0)

Mar 02, 7-8 AM (0)

Mar 02, 8-9 AM (0)

Mar 02, 9-10 AM (7)

Mar 02, 10-11 AM (0)

Mar 02, 11-12 PM (0)

Mar 02, 12-1 PM (0)

Mar 02, 1-2 PM (0)

Mar 02, 2-3 PM (0)

Mar 02, 3-4 PM (0)

Mar 02, 4-5 PM (0)

Mar 02, 5-6 PM (0)

Mar 02, 6-7 PM (0)

Mar 02, 7-8 PM (0)

Mar 02, 8-9 PM (0)

Mar 02, 9-10 PM (0)

Mar 02, 10-11 PM (0)

Mar 02, 11-12 AM (0)

Mar 03, 12-1 AM (0)

Mar 03, 1-2 AM (13)

Mar 03, 2-3 AM (4)

Mar 03, 3-4 AM (1)

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)

43 commits this week Feb 25, 2026 - Mar 04, 2026

github-actions[bot] · Wed, 04 Mar 26 17:56:25 +0000 · formal-ledger-specifications

Artifacts generated from e41c73f637e86b09aa7fb8bb16e41604a1f1fd82

d950c5bf · master-artifacts · 191/111,611 ++ 111,516 --

carlostome · Wed, 04 Mar 26 15:59:02 +0000 · formal-ledger-specifications

Only allow minor pv bumps for chained hf proposals

e41c73f6 · master · 5/37 ++ 34 --

carlostome · Wed, 04 Mar 26 07:51:01 +0000 · formal-ledger-specifications

Only allow minor pv bumps for chained hf proposals

5d7569c4 · carlos/version-restriction · 3/30 ++ 14 --

github-actions[bot] · Tue, 03 Mar 26 04:38:40 +0000 · formal-ledger-specifications

Artifacts generated from 378fabf55c403e68f48d0d3f8ce0bf5a3f4718bb

17401b7f · 1071-NEW-dijkstra-computational-instances-for-remaining-rules-artifacts · 5/494 ++ 321 --

williamdemeo · Tue, 03 Mar 26 03:48:26 +0000 · formal-ledger-specifications

Computational instances for Enact and Ratify

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

github-actions[bot] · Tue, 03 Mar 26 03:31:40 +0000 · formal-ledger-specifications

Artifacts generated from 390f5f52b70f3db918f76152d7273e3fae49186d

2cea236c · 1070-new-dijkstra-computational-instance-for-subledger-artifacts · 2/211 ++ 211 --

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

Artifacts generated from 617f48ec337278e63187ece06ad6e6840e1cf4ce

835a6a51 · 1088-dijkstra-computational-instance-for-utxow-artifacts · 243/129,399 ++ 2,534 --

github-actions[bot] · Tue, 03 Mar 26 03:17:42 +0000 · formal-ledger-specifications

Artifacts generated from e1b123d949c223e6063151e91b14d5db4db6b20b

1bf44820 · 1070-new-dijkstra-computational-instance-for-subledger-artifacts · 11/933 ++ 929 --

williamdemeo · Tue, 03 Mar 26 02:41:18 +0000 · formal-ledger-specifications

Finished Computational instance for Ledger!

b4e38e57 · 1070-new-dijkstra-computational-instance-for-subledger · 5/272 ++ 169 --

williamdemeo · Tue, 03 Mar 26 02:41:18 +0000 · formal-ledger-specifications

commit before rebase

1dcf2790 · 1070-new-dijkstra-computational-instance-for-subledger · 4/111 ++ 135 --

williamdemeo · Tue, 03 Mar 26 02:40:28 +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

46ae88c8 · 1070-new-dijkstra-computational-instance-for-subledger · 3/27 ++ 33 --