Artifacts generated from b022bf45ed09b124bb271c4d6626fa0105b0b40b
Home /
Input Output /
formal-ledger-specifications
Jul 11, 11-12 AM (0)
Jul 12, 12-1 AM (0)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
Jul 12, 3-4 AM (0)
Jul 12, 4-5 AM (0)
Jul 12, 5-6 AM (0)
Jul 12, 6-7 AM (0)
Jul 12, 7-8 AM (0)
Jul 12, 8-9 AM (0)
Jul 12, 9-10 AM (0)
Jul 12, 10-11 AM (0)
Jul 12, 11-12 PM (0)
Jul 12, 12-1 PM (0)
Jul 12, 1-2 PM (0)
Jul 12, 2-3 PM (0)
Jul 12, 3-4 PM (0)
Jul 12, 4-5 PM (0)
Jul 12, 5-6 PM (0)
Jul 12, 6-7 PM (0)
Jul 12, 7-8 PM (0)
Jul 12, 8-9 PM (0)
Jul 12, 9-10 PM (0)
Jul 12, 10-11 PM (0)
Jul 12, 11-12 AM (0)
Jul 13, 12-1 AM (0)
Jul 13, 1-2 AM (0)
Jul 13, 2-3 AM (0)
Jul 13, 3-4 AM (0)
Jul 13, 4-5 AM (0)
Jul 13, 5-6 AM (0)
Jul 13, 6-7 AM (0)
Jul 13, 7-8 AM (0)
Jul 13, 8-9 AM (0)
Jul 13, 9-10 AM (0)
Jul 13, 10-11 AM (0)
Jul 13, 11-12 PM (0)
Jul 13, 12-1 PM (0)
Jul 13, 1-2 PM (0)
Jul 13, 2-3 PM (0)
Jul 13, 3-4 PM (0)
Jul 13, 4-5 PM (0)
Jul 13, 5-6 PM (0)
Jul 13, 6-7 PM (0)
Jul 13, 7-8 PM (0)
Jul 13, 8-9 PM (0)
Jul 13, 9-10 PM (0)
Jul 13, 10-11 PM (0)
Jul 13, 11-12 AM (0)
Jul 14, 12-1 AM (0)
Jul 14, 1-2 AM (0)
Jul 14, 2-3 AM (0)
Jul 14, 3-4 AM (0)
Jul 14, 4-5 AM (4)
Jul 14, 5-6 AM (0)
Jul 14, 6-7 AM (0)
Jul 14, 7-8 AM (0)
Jul 14, 8-9 AM (0)
Jul 14, 9-10 AM (0)
Jul 14, 10-11 AM (0)
Jul 14, 11-12 PM (1)
Jul 14, 12-1 PM (3)
Jul 14, 1-2 PM (0)
Jul 14, 2-3 PM (0)
Jul 14, 3-4 PM (0)
Jul 14, 4-5 PM (0)
Jul 14, 5-6 PM (0)
Jul 14, 6-7 PM (0)
Jul 14, 7-8 PM (0)
Jul 14, 8-9 PM (7)
Jul 14, 9-10 PM (9)
Jul 14, 10-11 PM (0)
Jul 14, 11-12 AM (7)
Jul 15, 12-1 AM (3)
Jul 15, 1-2 AM (0)
Jul 15, 2-3 AM (0)
Jul 15, 3-4 AM (0)
Jul 15, 4-5 AM (1)
Jul 15, 5-6 AM (0)
Jul 15, 6-7 AM (0)
Jul 15, 7-8 AM (0)
Jul 15, 8-9 AM (8)
Jul 15, 9-10 AM (5)
Jul 15, 10-11 AM (1)
Jul 15, 11-12 PM (14)
Jul 15, 12-1 PM (0)
Jul 15, 1-2 PM (0)
Jul 15, 2-3 PM (0)
Jul 15, 3-4 PM (0)
Jul 15, 4-5 PM (0)
Jul 15, 5-6 PM (0)
Jul 15, 6-7 PM (0)
Jul 15, 7-8 PM (0)
Jul 15, 8-9 PM (0)
Jul 15, 9-10 PM (0)
Jul 15, 10-11 PM (0)
Jul 15, 11-12 AM (0)
Jul 16, 12-1 AM (0)
Jul 16, 1-2 AM (2)
Jul 16, 2-3 AM (18)
Jul 16, 3-4 AM (9)
Jul 16, 4-5 AM (2)
Jul 16, 5-6 AM (0)
Jul 16, 6-7 AM (0)
Jul 16, 7-8 AM (2)
Jul 16, 8-9 AM (0)
Jul 16, 9-10 AM (0)
Jul 16, 10-11 AM (0)
Jul 16, 11-12 PM (0)
Jul 16, 12-1 PM (0)
Jul 16, 1-2 PM (0)
Jul 16, 2-3 PM (16)
Jul 16, 3-4 PM (0)
Jul 16, 4-5 PM (0)
Jul 16, 5-6 PM (0)
Jul 16, 6-7 PM (0)
Jul 16, 7-8 PM (1)
Jul 16, 8-9 PM (1)
Jul 16, 9-10 PM (6)
Jul 16, 10-11 PM (4)
Jul 16, 11-12 AM (0)
Jul 17, 12-1 AM (0)
Jul 17, 1-2 AM (0)
Jul 17, 2-3 AM (2)
Jul 17, 3-4 AM (0)
Jul 17, 4-5 AM (0)
Jul 17, 5-6 AM (0)
Jul 17, 6-7 AM (0)
Jul 17, 7-8 AM (0)
Jul 17, 8-9 AM (3)
Jul 17, 9-10 AM (4)
Jul 17, 10-11 AM (1)
Jul 17, 11-12 PM (0)
Jul 17, 12-1 PM (13)
Jul 17, 1-2 PM (11)
Jul 17, 2-3 PM (0)
Jul 17, 3-4 PM (3)
Jul 17, 4-5 PM (1)
Jul 17, 5-6 PM (0)
Jul 17, 6-7 PM (0)
Jul 17, 7-8 PM (0)
Jul 17, 8-9 PM (0)
Jul 17, 9-10 PM (0)
Jul 17, 10-11 PM (1)
Jul 17, 11-12 AM (0)
Jul 18, 12-1 AM (0)
Jul 18, 1-2 AM (2)
Jul 18, 2-3 AM (0)
Jul 18, 3-4 AM (6)
Jul 18, 4-5 AM (3)
Jul 18, 5-6 AM (1)
Jul 18, 6-7 AM (28)
Jul 18, 7-8 AM (0)
Jul 18, 8-9 AM (26)
Jul 18, 9-10 AM (0)
Jul 18, 10-11 AM (0)
Jul 18, 11-12 PM (0)
Jul 18, 12-1 PM (3)
Jul 18, 1-2 PM (2)
Jul 18, 2-3 PM (0)
Jul 18, 3-4 PM (0)
Jul 18, 4-5 PM (0)
Jul 18, 5-6 PM (0)
Jul 18, 6-7 PM (0)
Jul 18, 7-8 PM (0)
Jul 18, 8-9 PM (0)
Jul 18, 9-10 PM (0)
Jul 18, 10-11 PM (0)
Jul 18, 11-12 AM (0)
234 commits this week
Jul 12, 2025
-
Jul 19, 2025
add aggregate hydra jobs (#831)
* add per-system aggregate hydra job * add aggregate hydra job over all systems * add devShells to hydra jobs
add devShells to hydra jobs
add aggregate hydra job over all systems
add per-system aggregate hydra job
Artifacts generated from 3d392f82f5f6226ea062611a3bab788cfbd5d0f5
Artifacts generated from 3e81990e5ed411668408650af3e5488d67b6a971
Artifacts generated from c0568e0a353451ed336ff360de643617b6e07575
Add back html generation to CI
Update README.md
Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
remove out-dated conformance ex from CONTRIBUTING
also improve README and fix toc
updates and improvements
Add support for lagda.md files in generating raw html
incorporate suggestions from PR review
Refactor: consolidate final cleanup of Fees.lagda.md
Merged 3 small commits that made final edits to Fees.lagda.md after the rename. Co-authored-by: Carlos Tomé Cortiñas <[email protected]>
major update of CONTRIBUTING.md
Fix broken or outdated links across documentation
Grouped multiple commits that cleaned up internal/external links, nav paths, and log output redundancies.
General improvements to documentation and frontend
Grouped UI polish, README/CONTRIBUTING cleanup, and CSS tweaks. If mkdocs site is to include a usage guide, it's smarter (more maintainable) to have the pipeline copy `CONTRIBUTING.md` over (to, e.g., `guide.md`) just as we now do with `README.md` -> `index.md` instead of trying to keep both `guide.md` and `CONTRIBUTING.md` up-to-date. update html and mkdocs section
Polish: cleanup formatting, link fixes, and doc structure
Combined multiple small commits that fine-tuned markdown formatting, fixed broken links, and applied final polish to HTML/CI-related setup; add icons for fun; other improvements.
Polish: cleanup formatting, link fixes, and doc structure
Combined multiple small commits that fine-tuned markdown formatting, fixed broken links, and applied final polish to HTML/CI-related setup; add icons for fun; other improvements.
fix button and improve console logs
Add back html generation to CI
Fix broken or outdated links across documentation
Grouped multiple commits that cleaned up internal/external links, nav paths, and log output redundancies.