![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 3ad07544806a516cdac019fc690e17e28eab288a
Home /
Input Output /
formal-ledger-specifications
Sep 10, 1-2 PM (2)
Sep 10, 2-3 PM (0)
Sep 10, 3-4 PM (0)
Sep 10, 4-5 PM (0)
Sep 10, 5-6 PM (0)
Sep 10, 6-7 PM (0)
Sep 10, 7-8 PM (2)
Sep 10, 8-9 PM (4)
Sep 10, 9-10 PM (2)
Sep 10, 10-11 PM (0)
Sep 10, 11-12 AM (0)
Sep 11, 12-1 AM (0)
Sep 11, 1-2 AM (0)
Sep 11, 2-3 AM (0)
Sep 11, 3-4 AM (0)
Sep 11, 4-5 AM (0)
Sep 11, 5-6 AM (0)
Sep 11, 6-7 AM (1)
Sep 11, 7-8 AM (4)
Sep 11, 8-9 AM (0)
Sep 11, 9-10 AM (0)
Sep 11, 10-11 AM (2)
Sep 11, 11-12 PM (12)
Sep 11, 12-1 PM (1)
Sep 11, 1-2 PM (6)
Sep 11, 2-3 PM (2)
Sep 11, 3-4 PM (0)
Sep 11, 4-5 PM (3)
Sep 11, 5-6 PM (4)
Sep 11, 6-7 PM (0)
Sep 11, 7-8 PM (0)
Sep 11, 8-9 PM (5)
Sep 11, 9-10 PM (0)
Sep 11, 10-11 PM (0)
Sep 11, 11-12 AM (0)
Sep 12, 12-1 AM (0)
Sep 12, 1-2 AM (8)
Sep 12, 2-3 AM (2)
Sep 12, 3-4 AM (6)
Sep 12, 4-5 AM (1)
Sep 12, 5-6 AM (0)
Sep 12, 6-7 AM (0)
Sep 12, 7-8 AM (0)
Sep 12, 8-9 AM (0)
Sep 12, 9-10 AM (0)
Sep 12, 10-11 AM (0)
Sep 12, 11-12 PM (0)
Sep 12, 12-1 PM (0)
Sep 12, 1-2 PM (6)
Sep 12, 2-3 PM (1)
Sep 12, 3-4 PM (1)
Sep 12, 4-5 PM (0)
Sep 12, 5-6 PM (0)
Sep 12, 6-7 PM (0)
Sep 12, 7-8 PM (0)
Sep 12, 8-9 PM (0)
Sep 12, 9-10 PM (0)
Sep 12, 10-11 PM (0)
Sep 12, 11-12 AM (0)
Sep 13, 12-1 AM (0)
Sep 13, 1-2 AM (0)
Sep 13, 2-3 AM (0)
Sep 13, 3-4 AM (0)
Sep 13, 4-5 AM (0)
Sep 13, 5-6 AM (0)
Sep 13, 6-7 AM (0)
Sep 13, 7-8 AM (0)
Sep 13, 8-9 AM (0)
Sep 13, 9-10 AM (0)
Sep 13, 10-11 AM (0)
Sep 13, 11-12 PM (0)
Sep 13, 12-1 PM (0)
Sep 13, 1-2 PM (0)
Sep 13, 2-3 PM (0)
Sep 13, 3-4 PM (0)
Sep 13, 4-5 PM (0)
Sep 13, 5-6 PM (0)
Sep 13, 6-7 PM (0)
Sep 13, 7-8 PM (0)
Sep 13, 8-9 PM (0)
Sep 13, 9-10 PM (0)
Sep 13, 10-11 PM (0)
Sep 13, 11-12 AM (0)
Sep 14, 12-1 AM (0)
Sep 14, 1-2 AM (0)
Sep 14, 2-3 AM (0)
Sep 14, 3-4 AM (0)
Sep 14, 4-5 AM (0)
Sep 14, 5-6 AM (0)
Sep 14, 6-7 AM (0)
Sep 14, 7-8 AM (0)
Sep 14, 8-9 AM (0)
Sep 14, 9-10 AM (0)
Sep 14, 10-11 AM (0)
Sep 14, 11-12 PM (0)
Sep 14, 12-1 PM (0)
Sep 14, 1-2 PM (0)
Sep 14, 2-3 PM (0)
Sep 14, 3-4 PM (0)
Sep 14, 4-5 PM (0)
Sep 14, 5-6 PM (0)
Sep 14, 6-7 PM (0)
Sep 14, 7-8 PM (0)
Sep 14, 8-9 PM (0)
Sep 14, 9-10 PM (0)
Sep 14, 10-11 PM (0)
Sep 14, 11-12 AM (0)
Sep 15, 12-1 AM (0)
Sep 15, 1-2 AM (0)
Sep 15, 2-3 AM (0)
Sep 15, 3-4 AM (0)
Sep 15, 4-5 AM (0)
Sep 15, 5-6 AM (0)
Sep 15, 6-7 AM (0)
Sep 15, 7-8 AM (0)
Sep 15, 8-9 AM (0)
Sep 15, 9-10 AM (0)
Sep 15, 10-11 AM (0)
Sep 15, 11-12 PM (1)
Sep 15, 12-1 PM (1)
Sep 15, 1-2 PM (3)
Sep 15, 2-3 PM (5)
Sep 15, 3-4 PM (0)
Sep 15, 4-5 PM (0)
Sep 15, 5-6 PM (0)
Sep 15, 6-7 PM (0)
Sep 15, 7-8 PM (0)
Sep 15, 8-9 PM (1)
Sep 15, 9-10 PM (0)
Sep 15, 10-11 PM (0)
Sep 15, 11-12 AM (1)
Sep 16, 12-1 AM (0)
Sep 16, 1-2 AM (2)
Sep 16, 2-3 AM (0)
Sep 16, 3-4 AM (0)
Sep 16, 4-5 AM (0)
Sep 16, 5-6 AM (0)
Sep 16, 6-7 AM (0)
Sep 16, 7-8 AM (0)
Sep 16, 8-9 AM (0)
Sep 16, 9-10 AM (2)
Sep 16, 10-11 AM (0)
Sep 16, 11-12 PM (2)
Sep 16, 12-1 PM (0)
Sep 16, 1-2 PM (1)
Sep 16, 2-3 PM (0)
Sep 16, 3-4 PM (0)
Sep 16, 4-5 PM (0)
Sep 16, 5-6 PM (0)
Sep 16, 6-7 PM (0)
Sep 16, 7-8 PM (0)
Sep 16, 8-9 PM (0)
Sep 16, 9-10 PM (1)
Sep 16, 10-11 PM (1)
Sep 16, 11-12 AM (0)
Sep 17, 12-1 AM (0)
Sep 17, 1-2 AM (0)
Sep 17, 2-3 AM (0)
Sep 17, 3-4 AM (0)
Sep 17, 4-5 AM (1)
Sep 17, 5-6 AM (3)
Sep 17, 6-7 AM (0)
Sep 17, 7-8 AM (0)
Sep 17, 8-9 AM (0)
Sep 17, 9-10 AM (0)
Sep 17, 10-11 AM (1)
Sep 17, 11-12 PM (1)
Sep 17, 12-1 PM (1)
Sep 17, 1-2 PM (0)
103 commits this week
Sep 10, 2025
-
Sep 17, 2025
Bump the expiration of dreps when there aren't non-expired gov. actions
Bump the expiration of dreps when there aren't non-expired gov. actions
minor rewording
TODO: fix `Computational-CERTS`
fix computation proofs for Certs
adjust to accommodate new STS types
prepare to migrate ComputationalRelation
Update src/Interface/STS.lagda.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
Edit whitespaces
Add POOLREAP to the conformance model
Resolves conformance failure
/Conway/Imp/Conformance with constrained generators/ImpTests/Conway Imp conformance/RATIFY/Voting/Active voting stake/Predefined DReps/AlwaysAbstain
Replicate functionality from spec in conf EPOCH
major refactoring (incomplete)
still need to prove computational instances
prepare for migration of STS
wip: Add POOLREAP to the conformance model
Artifacts generated from bf144c62437f5f9a559e7ed7a52b9780adcb1ac3
Artifacts generated from 82ec436e249a915a1ce973f5181449e2368b76d2
Artifacts generated from 83b69064fab6f07f177103c12ecb962797d43226
Artifacts generated from 2ffbcf650693954022165b40e1edb8147638432a
Migrate Definitions.tex to Definitions.md
Closes issue #899.
Merge branch 'master' into 893-broken-link-in-fees
Removed redundant static Notation.tex file (#900)