![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from f6ee32dcf8c0cc6d02a9081efce49a3292542f52
Home /
Input Output /
formal-ledger-specifications
Nov 13, 10-11 PM (0)
Nov 13, 11-12 AM (0)
Nov 14, 12-1 AM (0)
Nov 14, 1-2 AM (0)
Nov 14, 2-3 AM (0)
Nov 14, 3-4 AM (1)
Nov 14, 4-5 AM (0)
Nov 14, 5-6 AM (0)
Nov 14, 6-7 AM (0)
Nov 14, 7-8 AM (0)
Nov 14, 8-9 AM (0)
Nov 14, 9-10 AM (0)
Nov 14, 10-11 AM (0)
Nov 14, 11-12 PM (0)
Nov 14, 12-1 PM (0)
Nov 14, 1-2 PM (0)
Nov 14, 2-3 PM (0)
Nov 14, 3-4 PM (0)
Nov 14, 4-5 PM (0)
Nov 14, 5-6 PM (1)
Nov 14, 6-7 PM (0)
Nov 14, 7-8 PM (3)
Nov 14, 8-9 PM (1)
Nov 14, 9-10 PM (0)
Nov 14, 10-11 PM (0)
Nov 14, 11-12 AM (0)
Nov 15, 12-1 AM (0)
Nov 15, 1-2 AM (1)
Nov 15, 2-3 AM (0)
Nov 15, 3-4 AM (0)
Nov 15, 4-5 AM (0)
Nov 15, 5-6 AM (0)
Nov 15, 6-7 AM (0)
Nov 15, 7-8 AM (0)
Nov 15, 8-9 AM (0)
Nov 15, 9-10 AM (0)
Nov 15, 10-11 AM (0)
Nov 15, 11-12 PM (0)
Nov 15, 12-1 PM (0)
Nov 15, 1-2 PM (0)
Nov 15, 2-3 PM (0)
Nov 15, 3-4 PM (0)
Nov 15, 4-5 PM (0)
Nov 15, 5-6 PM (0)
Nov 15, 6-7 PM (0)
Nov 15, 7-8 PM (0)
Nov 15, 8-9 PM (0)
Nov 15, 9-10 PM (0)
Nov 15, 10-11 PM (0)
Nov 15, 11-12 AM (0)
Nov 16, 12-1 AM (0)
Nov 16, 1-2 AM (0)
Nov 16, 2-3 AM (0)
Nov 16, 3-4 AM (0)
Nov 16, 4-5 AM (0)
Nov 16, 5-6 AM (0)
Nov 16, 6-7 AM (0)
Nov 16, 7-8 AM (0)
Nov 16, 8-9 AM (0)
Nov 16, 9-10 AM (0)
Nov 16, 10-11 AM (0)
Nov 16, 11-12 PM (0)
Nov 16, 12-1 PM (0)
Nov 16, 1-2 PM (0)
Nov 16, 2-3 PM (0)
Nov 16, 3-4 PM (0)
Nov 16, 4-5 PM (0)
Nov 16, 5-6 PM (0)
Nov 16, 6-7 PM (0)
Nov 16, 7-8 PM (0)
Nov 16, 8-9 PM (0)
Nov 16, 9-10 PM (0)
Nov 16, 10-11 PM (0)
Nov 16, 11-12 AM (0)
Nov 17, 12-1 AM (0)
Nov 17, 1-2 AM (0)
Nov 17, 2-3 AM (1)
Nov 17, 3-4 AM (0)
Nov 17, 4-5 AM (3)
Nov 17, 5-6 AM (3)
Nov 17, 6-7 AM (3)
Nov 17, 7-8 AM (0)
Nov 17, 8-9 AM (0)
Nov 17, 9-10 AM (0)
Nov 17, 10-11 AM (0)
Nov 17, 11-12 PM (0)
Nov 17, 12-1 PM (0)
Nov 17, 1-2 PM (1)
Nov 17, 2-3 PM (3)
Nov 17, 3-4 PM (0)
Nov 17, 4-5 PM (0)
Nov 17, 5-6 PM (0)
Nov 17, 6-7 PM (1)
Nov 17, 7-8 PM (2)
Nov 17, 8-9 PM (7)
Nov 17, 9-10 PM (4)
Nov 17, 10-11 PM (0)
Nov 17, 11-12 AM (0)
Nov 18, 12-1 AM (0)
Nov 18, 1-2 AM (0)
Nov 18, 2-3 AM (0)
Nov 18, 3-4 AM (0)
Nov 18, 4-5 AM (0)
Nov 18, 5-6 AM (0)
Nov 18, 6-7 AM (0)
Nov 18, 7-8 AM (0)
Nov 18, 8-9 AM (0)
Nov 18, 9-10 AM (2)
Nov 18, 10-11 AM (7)
Nov 18, 11-12 PM (2)
Nov 18, 12-1 PM (3)
Nov 18, 1-2 PM (1)
Nov 18, 2-3 PM (0)
Nov 18, 3-4 PM (0)
Nov 18, 4-5 PM (0)
Nov 18, 5-6 PM (0)
Nov 18, 6-7 PM (0)
Nov 18, 7-8 PM (0)
Nov 18, 8-9 PM (0)
Nov 18, 9-10 PM (0)
Nov 18, 10-11 PM (0)
Nov 18, 11-12 AM (0)
Nov 19, 12-1 AM (0)
Nov 19, 1-2 AM (0)
Nov 19, 2-3 AM (0)
Nov 19, 3-4 AM (0)
Nov 19, 4-5 AM (0)
Nov 19, 5-6 AM (0)
Nov 19, 6-7 AM (0)
Nov 19, 7-8 AM (0)
Nov 19, 8-9 AM (1)
Nov 19, 9-10 AM (1)
Nov 19, 10-11 AM (0)
Nov 19, 11-12 PM (0)
Nov 19, 12-1 PM (0)
Nov 19, 1-2 PM (0)
Nov 19, 2-3 PM (2)
Nov 19, 3-4 PM (5)
Nov 19, 4-5 PM (0)
Nov 19, 5-6 PM (0)
Nov 19, 6-7 PM (0)
Nov 19, 7-8 PM (0)
Nov 19, 8-9 PM (0)
Nov 19, 9-10 PM (0)
Nov 19, 10-11 PM (0)
Nov 19, 11-12 AM (0)
Nov 20, 12-1 AM (0)
Nov 20, 1-2 AM (0)
Nov 20, 2-3 AM (0)
Nov 20, 3-4 AM (0)
Nov 20, 4-5 AM (0)
Nov 20, 5-6 AM (0)
Nov 20, 6-7 AM (0)
Nov 20, 7-8 AM (0)
Nov 20, 8-9 AM (0)
Nov 20, 9-10 AM (0)
Nov 20, 10-11 AM (0)
Nov 20, 11-12 PM (0)
Nov 20, 12-1 PM (0)
Nov 20, 1-2 PM (1)
Nov 20, 2-3 PM (0)
Nov 20, 3-4 PM (1)
Nov 20, 4-5 PM (0)
Nov 20, 5-6 PM (0)
Nov 20, 6-7 PM (0)
Nov 20, 7-8 PM (0)
Nov 20, 8-9 PM (0)
Nov 20, 9-10 PM (0)
Nov 20, 10-11 PM (0)
61 commits this week
Nov 13, 2025
-
Nov 20, 2025
Artifacts generated from 1aff2e9b0f5205ef33dbc2773d3a2555ad51b800
Artifacts generated from 6795a4d63c1b99992080671b477ff2c1c7913e95
Artifacts generated from 2e86840423028144fa259689129eca898b120529
Artifacts generated from 4ab98f46e2416ceb9f3d48ac5b6e99c4ac54fb7c
Artifacts generated from 3f4100ee42e0bfd81d9141b03bba08b5563b6f33
Change acceptedByCC to accept in case threshold is nothing
Merge branch 'master' into 965-refactor-properties
Change acceptedByCC to accept in case threshold is nothing
Artifacts generated from e834f993c4f79ce643f2b96312ad5789a903c289
Expose acceptedBy predicates for conformance
Artifacts generated from 9154ca3d116b217b3d17045d7fc4908c5fddfe45
fix alignment issues
and improve explanation of well-formedness
Rename RwdAddr to RewardAddress
update CHANGELOG to reflect rename
Artifacts generated from 417aa49f6a7ea4206fd5241f70768cdd743815ae
remove guide creation in mkdocs build scripts
Remove Build-tools subsection and CONTRIBUTING from website
Co-authored-by: williamdemeo <[email protected]>
Artifacts generated from 46d83d2d058ac81fed4c2f8fd5854039399f3a14
Artifacts generated from b43fb04e1a4ebd75712aceb149110ce7008ad9f8
Artifacts generated from cd21166a3fb508282617298236108ba69506846c
Artifacts generated from ad242620746e9a288077bf18b1b10579acda1d19
Fix formatting
Fill placeholders and fix grammar and typos
Update SECURITY.md
The Security Council has approved a new SECURITY.md aligned with the bug-bounty process. Please update your project’s SECURITY.md with the correct links for your project and confirm that private vulnerability reporting is enabled for your repository. All bug bounty details found here: https://opensourcecommittee.docs.intersectmbo.org/about/paid-open-source-model-posm/bug-bounty-program'
Groom style and add reference to bisimilarityProof