Home /
Input Output /
formal-ledger-specifications
Oct 30, 12-1 PM (0)
Oct 30, 1-2 PM (0)
Oct 30, 2-3 PM (0)
Oct 30, 3-4 PM (0)
Oct 30, 4-5 PM (0)
Oct 30, 5-6 PM (0)
Oct 30, 6-7 PM (2)
Oct 30, 7-8 PM (0)
Oct 30, 8-9 PM (0)
Oct 30, 9-10 PM (0)
Oct 30, 10-11 PM (0)
Oct 30, 11-12 AM (0)
Oct 31, 12-1 AM (0)
Oct 31, 1-2 AM (1)
Oct 31, 2-3 AM (1)
Oct 31, 3-4 AM (1)
Oct 31, 4-5 AM (0)
Oct 31, 5-6 AM (0)
Oct 31, 6-7 AM (0)
Oct 31, 7-8 AM (0)
Oct 31, 8-9 AM (0)
Oct 31, 9-10 AM (0)
Oct 31, 10-11 AM (0)
Oct 31, 11-12 PM (0)
Oct 31, 12-1 PM (1)
Oct 31, 1-2 PM (0)
Oct 31, 2-3 PM (0)
Oct 31, 3-4 PM (1)
Oct 31, 4-5 PM (0)
Oct 31, 5-6 PM (5)
Oct 31, 6-7 PM (7)
Oct 31, 7-8 PM (1)
Oct 31, 8-9 PM (0)
Oct 31, 9-10 PM (0)
Oct 31, 10-11 PM (0)
Oct 31, 11-12 AM (0)
Nov 01, 12-1 AM (0)
Nov 01, 1-2 AM (0)
Nov 01, 2-3 AM (0)
Nov 01, 3-4 AM (0)
Nov 01, 4-5 AM (0)
Nov 01, 5-6 AM (0)
Nov 01, 6-7 AM (0)
Nov 01, 7-8 AM (0)
Nov 01, 8-9 AM (0)
Nov 01, 9-10 AM (0)
Nov 01, 10-11 AM (0)
Nov 01, 11-12 PM (0)
Nov 01, 12-1 PM (0)
Nov 01, 1-2 PM (0)
Nov 01, 2-3 PM (0)
Nov 01, 3-4 PM (0)
Nov 01, 4-5 PM (0)
Nov 01, 5-6 PM (0)
Nov 01, 6-7 PM (0)
Nov 01, 7-8 PM (0)
Nov 01, 8-9 PM (0)
Nov 01, 9-10 PM (0)
Nov 01, 10-11 PM (0)
Nov 01, 11-12 AM (0)
Nov 02, 12-1 AM (0)
Nov 02, 1-2 AM (0)
Nov 02, 2-3 AM (0)
Nov 02, 3-4 AM (0)
Nov 02, 4-5 AM (0)
Nov 02, 5-6 AM (0)
Nov 02, 6-7 AM (0)
Nov 02, 7-8 AM (0)
Nov 02, 8-9 AM (0)
Nov 02, 9-10 AM (0)
Nov 02, 10-11 AM (0)
Nov 02, 11-12 PM (0)
Nov 02, 12-1 PM (0)
Nov 02, 1-2 PM (0)
Nov 02, 2-3 PM (0)
Nov 02, 3-4 PM (0)
Nov 02, 4-5 PM (0)
Nov 02, 5-6 PM (0)
Nov 02, 6-7 PM (0)
Nov 02, 7-8 PM (0)
Nov 02, 8-9 PM (0)
Nov 02, 9-10 PM (0)
Nov 02, 10-11 PM (0)
Nov 02, 11-12 AM (0)
Nov 03, 12-1 AM (0)
Nov 03, 1-2 AM (0)
Nov 03, 2-3 AM (0)
Nov 03, 3-4 AM (0)
Nov 03, 4-5 AM (0)
Nov 03, 5-6 AM (0)
Nov 03, 6-7 AM (0)
Nov 03, 7-8 AM (0)
Nov 03, 8-9 AM (1)
Nov 03, 9-10 AM (0)
Nov 03, 10-11 AM (0)
Nov 03, 11-12 PM (0)
Nov 03, 12-1 PM (1)
Nov 03, 1-2 PM (6)
Nov 03, 2-3 PM (0)
Nov 03, 3-4 PM (3)
Nov 03, 4-5 PM (0)
Nov 03, 5-6 PM (2)
Nov 03, 6-7 PM (0)
Nov 03, 7-8 PM (0)
Nov 03, 8-9 PM (0)
Nov 03, 9-10 PM (0)
Nov 03, 10-11 PM (0)
Nov 03, 11-12 AM (0)
Nov 04, 12-1 AM (0)
Nov 04, 1-2 AM (0)
Nov 04, 2-3 AM (3)
Nov 04, 3-4 AM (0)
Nov 04, 4-5 AM (0)
Nov 04, 5-6 AM (2)
Nov 04, 6-7 AM (2)
Nov 04, 7-8 AM (0)
Nov 04, 8-9 AM (0)
Nov 04, 9-10 AM (1)
Nov 04, 10-11 AM (3)
Nov 04, 11-12 PM (0)
Nov 04, 12-1 PM (1)
Nov 04, 1-2 PM (0)
Nov 04, 2-3 PM (1)
Nov 04, 3-4 PM (1)
Nov 04, 4-5 PM (1)
Nov 04, 5-6 PM (1)
Nov 04, 6-7 PM (1)
Nov 04, 7-8 PM (0)
Nov 04, 8-9 PM (0)
Nov 04, 9-10 PM (0)
Nov 04, 10-11 PM (0)
Nov 04, 11-12 AM (1)
Nov 05, 12-1 AM (0)
Nov 05, 1-2 AM (0)
Nov 05, 2-3 AM (0)
Nov 05, 3-4 AM (0)
Nov 05, 4-5 AM (1)
Nov 05, 5-6 AM (0)
Nov 05, 6-7 AM (0)
Nov 05, 7-8 AM (0)
Nov 05, 8-9 AM (0)
Nov 05, 9-10 AM (0)
Nov 05, 10-11 AM (0)
Nov 05, 11-12 PM (7)
Nov 05, 12-1 PM (9)
Nov 05, 1-2 PM (0)
Nov 05, 2-3 PM (1)
Nov 05, 3-4 PM (0)
Nov 05, 4-5 PM (0)
Nov 05, 5-6 PM (0)
Nov 05, 6-7 PM (0)
Nov 05, 7-8 PM (0)
Nov 05, 8-9 PM (0)
Nov 05, 9-10 PM (0)
Nov 05, 10-11 PM (0)
Nov 05, 11-12 AM (1)
Nov 06, 12-1 AM (2)
Nov 06, 1-2 AM (0)
Nov 06, 2-3 AM (0)
Nov 06, 3-4 AM (0)
Nov 06, 4-5 AM (0)
Nov 06, 5-6 AM (0)
Nov 06, 6-7 AM (0)
Nov 06, 7-8 AM (0)
Nov 06, 8-9 AM (0)
Nov 06, 9-10 AM (0)
Nov 06, 10-11 AM (0)
Nov 06, 11-12 PM (0)
Nov 06, 12-1 PM (0)
72 commits this week
Oct 30, 2025
-
Nov 06, 2025
add generic Core-level Transaction module and fix other problems
Merge remote-tracking branch 'upstream/master'
Use Function.Reasoning
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Artifacts generated from 402c416514b349280ef745480eaa95e38cecb5de
Add a conformance step function to run the specificacion NEWEPOCH rule
Reset withdrawals before feeding the EnactState to RATIFY
Add calculatePoolDelegatedStake to the conformance model
Add a conformance step function to run the specificacion EPOCH rule
Mention fls-agdaWithPackages to install agda mode
Shorten the setup for dom∪ˡˡ
Artifacts generated from d6fbe59a29b80ed09e49b7e1f163703e06bc1519
Artifacts generated from d3c1b8f4444efac36cbbdd62d5f1969c3a528878
Reset withdrawals before feeding the EnactState to RATIFY
Add calculatePoolDelegatedStake to the conformance model
Add a conformance step function to run the specificacion NEWEPOCH rule
Add a conformance step function to run the specificacion EPOCH rule
Mention fls-agdaWithPackages to install agda mode
Shorten the setup for dom∪ˡˡ
Use active CC members only to check minsize
Artifacts generated from 280211f9e077ff59806a6e33127860a93e9a0ded
Reset withdrawals before feeding the EnactState to RATIFY
Reset withdrawals before feeding the EnactState to RATIFY