Artifacts generated from 7635b625fd16431ec89d8831eea3cb13959caf83
Home /
Input Output /
formal-ledger-specifications
Sep 30, 11-12 AM (0)
Oct 01, 12-1 AM (0)
Oct 01, 1-2 AM (5)
Oct 01, 2-3 AM (2)
Oct 01, 3-4 AM (0)
Oct 01, 4-5 AM (0)
Oct 01, 5-6 AM (0)
Oct 01, 6-7 AM (0)
Oct 01, 7-8 AM (0)
Oct 01, 8-9 AM (0)
Oct 01, 9-10 AM (0)
Oct 01, 10-11 AM (0)
Oct 01, 11-12 PM (0)
Oct 01, 12-1 PM (0)
Oct 01, 1-2 PM (0)
Oct 01, 2-3 PM (0)
Oct 01, 3-4 PM (0)
Oct 01, 4-5 PM (0)
Oct 01, 5-6 PM (0)
Oct 01, 6-7 PM (0)
Oct 01, 7-8 PM (0)
Oct 01, 8-9 PM (0)
Oct 01, 9-10 PM (0)
Oct 01, 10-11 PM (0)
Oct 01, 11-12 AM (0)
Oct 02, 12-1 AM (0)
Oct 02, 1-2 AM (1)
Oct 02, 2-3 AM (3)
Oct 02, 3-4 AM (1)
Oct 02, 4-5 AM (0)
Oct 02, 5-6 AM (0)
Oct 02, 6-7 AM (0)
Oct 02, 7-8 AM (0)
Oct 02, 8-9 AM (0)
Oct 02, 9-10 AM (0)
Oct 02, 10-11 AM (0)
Oct 02, 11-12 PM (0)
Oct 02, 12-1 PM (0)
Oct 02, 1-2 PM (0)
Oct 02, 2-3 PM (0)
Oct 02, 3-4 PM (0)
Oct 02, 4-5 PM (0)
Oct 02, 5-6 PM (2)
Oct 02, 6-7 PM (5)
Oct 02, 7-8 PM (3)
Oct 02, 8-9 PM (0)
Oct 02, 9-10 PM (0)
Oct 02, 10-11 PM (0)
Oct 02, 11-12 AM (0)
Oct 03, 12-1 AM (0)
Oct 03, 1-2 AM (1)
Oct 03, 2-3 AM (0)
Oct 03, 3-4 AM (1)
Oct 03, 4-5 AM (1)
Oct 03, 5-6 AM (0)
Oct 03, 6-7 AM (0)
Oct 03, 7-8 AM (0)
Oct 03, 8-9 AM (0)
Oct 03, 9-10 AM (0)
Oct 03, 10-11 AM (1)
Oct 03, 11-12 PM (0)
Oct 03, 12-1 PM (0)
Oct 03, 1-2 PM (0)
Oct 03, 2-3 PM (0)
Oct 03, 3-4 PM (0)
Oct 03, 4-5 PM (0)
Oct 03, 5-6 PM (0)
Oct 03, 6-7 PM (0)
Oct 03, 7-8 PM (0)
Oct 03, 8-9 PM (0)
Oct 03, 9-10 PM (0)
Oct 03, 10-11 PM (0)
Oct 03, 11-12 AM (0)
Oct 04, 12-1 AM (0)
Oct 04, 1-2 AM (0)
Oct 04, 2-3 AM (0)
Oct 04, 3-4 AM (0)
Oct 04, 4-5 AM (0)
Oct 04, 5-6 AM (0)
Oct 04, 6-7 AM (0)
Oct 04, 7-8 AM (0)
Oct 04, 8-9 AM (0)
Oct 04, 9-10 AM (0)
Oct 04, 10-11 AM (0)
Oct 04, 11-12 PM (0)
Oct 04, 12-1 PM (0)
Oct 04, 1-2 PM (0)
Oct 04, 2-3 PM (0)
Oct 04, 3-4 PM (0)
Oct 04, 4-5 PM (0)
Oct 04, 5-6 PM (0)
Oct 04, 6-7 PM (0)
Oct 04, 7-8 PM (0)
Oct 04, 8-9 PM (0)
Oct 04, 9-10 PM (0)
Oct 04, 10-11 PM (0)
Oct 04, 11-12 AM (0)
Oct 05, 12-1 AM (0)
Oct 05, 1-2 AM (0)
Oct 05, 2-3 AM (0)
Oct 05, 3-4 AM (0)
Oct 05, 4-5 AM (0)
Oct 05, 5-6 AM (0)
Oct 05, 6-7 AM (0)
Oct 05, 7-8 AM (0)
Oct 05, 8-9 AM (0)
Oct 05, 9-10 AM (0)
Oct 05, 10-11 AM (0)
Oct 05, 11-12 PM (0)
Oct 05, 12-1 PM (0)
Oct 05, 1-2 PM (0)
Oct 05, 2-3 PM (0)
Oct 05, 3-4 PM (0)
Oct 05, 4-5 PM (0)
Oct 05, 5-6 PM (0)
Oct 05, 6-7 PM (0)
Oct 05, 7-8 PM (0)
Oct 05, 8-9 PM (0)
Oct 05, 9-10 PM (0)
Oct 05, 10-11 PM (0)
Oct 05, 11-12 AM (0)
Oct 06, 12-1 AM (0)
Oct 06, 1-2 AM (0)
Oct 06, 2-3 AM (0)
Oct 06, 3-4 AM (0)
Oct 06, 4-5 AM (0)
Oct 06, 5-6 AM (0)
Oct 06, 6-7 AM (0)
Oct 06, 7-8 AM (0)
Oct 06, 8-9 AM (0)
Oct 06, 9-10 AM (0)
Oct 06, 10-11 AM (0)
Oct 06, 11-12 PM (0)
Oct 06, 12-1 PM (0)
Oct 06, 1-2 PM (0)
Oct 06, 2-3 PM (0)
Oct 06, 3-4 PM (0)
Oct 06, 4-5 PM (0)
Oct 06, 5-6 PM (0)
Oct 06, 6-7 PM (0)
Oct 06, 7-8 PM (0)
Oct 06, 8-9 PM (0)
Oct 06, 9-10 PM (0)
Oct 06, 10-11 PM (0)
Oct 06, 11-12 AM (0)
Oct 07, 12-1 AM (3)
Oct 07, 1-2 AM (0)
Oct 07, 2-3 AM (3)
Oct 07, 3-4 AM (0)
Oct 07, 4-5 AM (0)
Oct 07, 5-6 AM (0)
Oct 07, 6-7 AM (0)
Oct 07, 7-8 AM (0)
Oct 07, 8-9 AM (0)
Oct 07, 9-10 AM (0)
Oct 07, 10-11 AM (0)
Oct 07, 11-12 PM (0)
Oct 07, 12-1 PM (0)
Oct 07, 1-2 PM (7)
Oct 07, 2-3 PM (0)
Oct 07, 3-4 PM (0)
Oct 07, 4-5 PM (0)
Oct 07, 5-6 PM (0)
Oct 07, 6-7 PM (1)
Oct 07, 7-8 PM (0)
Oct 07, 8-9 PM (3)
Oct 07, 9-10 PM (2)
Oct 07, 10-11 PM (0)
Oct 07, 11-12 AM (0)
45 commits this week
Oct 01, 2025
-
Oct 08, 2025
Artifacts generated from 8411b124205e5df35ea01fc5cc2bb4689e2e9520
revert getCoin rename
add and type-check some new modules
+ Ledger.Dijkstra + Ledger.Dijkstra.Specification + Ledger.Dijkstra.Specification.Script.Validation
Merge branch 'master' into dijkstra-dev
Artifacts generated from b81be8fd9303d56025a31dbb639eecd4f3ee2f7b
complete migration of Script.{agda,lagda.md} and
Script/Base.{agda,lagda.md} and Script/Timelock.lagda{,.md}
prepare to migration
Script.{agda,lagda.md} Script/Base.{agda,lagda.md} Script/Timelock.lagda{,.md}
Update src/Ledger/Conway/Specification/Script/Timelock.lagda.md
complete migration of Validation.{agda,lagda.md}
Migrate Validation.{agda,lagda.md}
prepare for migration
Artifacts generated from 5e48417478b5c967a1d0c3236b7d8ffa4cb319a5
Update src/Ledger/Conway/Specification/Script/Timelock.lagda.md
Artifacts generated from 851d09798e78588b3f5adbff82060d971a5c8dbe
prepare to migration
Script.{agda,lagda.md} Script/Base.{agda,lagda.md} Script/Timelock.lagda{,.md}
fix name of source
WIP: prove that EPOCH not depends on expired dreps
Artifacts generated from da4350de18c3297c15fa5caa6337b03aac76d6d4
Migrate Validation.{agda,lagda.md}
prepare for migration
Merge branch 'master' into dijkstra-dev
Artifacts generated from 021604b1d68b16fd78e71bb5c0f32928e3e3ed57
Artifacts generated from a9aee489f716b5853f4be3deda180186f2339492