formal-ledger-specifications - 21 commits this week

Home / IntersectMBO / formal-ledger-specifications

Insights Pull Requests

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 (0)

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 (0)

Nov 03, 2-3 PM (0)

Nov 03, 3-4 PM (0)

Nov 03, 4-5 PM (0)

Nov 03, 5-6 PM (0)

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 (0)

Nov 04, 3-4 AM (0)

Nov 04, 4-5 AM (0)

Nov 04, 5-6 AM (0)

Nov 04, 6-7 AM (0)

Nov 04, 7-8 AM (0)

Nov 04, 8-9 AM (0)

Nov 04, 9-10 AM (0)

Nov 04, 10-11 AM (0)

Nov 04, 11-12 PM (0)

Nov 04, 12-1 PM (0)

Nov 04, 1-2 PM (0)

Nov 04, 2-3 PM (0)

Nov 04, 3-4 PM (0)

Nov 04, 4-5 PM (0)

Nov 04, 5-6 PM (0)

Nov 04, 6-7 PM (0)

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 (0)

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 (0)

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 (0)

Nov 05, 12-1 PM (0)

Nov 05, 1-2 PM (2)

Nov 05, 2-3 PM (0)

Nov 05, 3-4 PM (1)

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 (0)

Nov 06, 12-1 AM (0)

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)

Nov 06, 1-2 PM (0)

Nov 06, 2-3 PM (0)

Nov 06, 3-4 PM (0)

Nov 06, 4-5 PM (0)

Nov 06, 5-6 PM (1)

Nov 06, 6-7 PM (0)

Nov 06, 7-8 PM (1)

Nov 06, 8-9 PM (0)

Nov 06, 9-10 PM (0)

Nov 06, 10-11 PM (0)

Nov 06, 11-12 AM (0)

Nov 07, 12-1 AM (0)

Nov 07, 1-2 AM (0)

Nov 07, 2-3 AM (0)

Nov 07, 3-4 AM (12)

Nov 07, 4-5 AM (2)

Nov 07, 5-6 AM (0)

Nov 07, 6-7 AM (0)

Nov 07, 7-8 AM (0)

Nov 07, 8-9 AM (0)

Nov 07, 9-10 AM (0)

Nov 07, 10-11 AM (0)

Nov 07, 11-12 PM (0)

Nov 07, 12-1 PM (0)

Nov 07, 1-2 PM (0)

Nov 07, 2-3 PM (0)

Nov 07, 3-4 PM (0)

Nov 07, 4-5 PM (0)

Nov 07, 5-6 PM (0)

Nov 07, 6-7 PM (0)

Nov 07, 7-8 PM (0)

21 commits this week Oct 31, 2025 - Nov 07, 2025

williamdemeo · Fri, 07 Nov 25 05:14:37 +0000 · formal-ledger-specifications

major refactoring

+ add generic Core-level Transaction module and fix other problems
+ bugfix and fix test imports
+ fix broken links and missing toc items

6f70c17f · 966-transaction-dependent-functions · 73/1,024 ++ 751 --

williamdemeo · Fri, 07 Nov 25 05:14:12 +0000 · formal-ledger-specifications

Reorganize/refactor Transaction (in)dependent functions

+ token algebras are era independent
+ move era-independent modules/parts up to Core
+ fix issues arising from reorganization
+ split era-(in)dependent Transaction  stuff

164c7060 · 966-transaction-dependent-functions · 79/225 ++ 339 --

tferariu · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

Changed Example.agda to a markdown file with added descriptions

02d68e39 · master · 2/128 ++ 1 --

tferariu · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

Fixing the Djikstra CI error

ae6ab376 · master · 2/3 ++ 2 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

fix merge bug

5a8ffb77 · master · 1/1 ++ 1 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

fix problem created during merge

0a13fc60 · master · 1/2 ++ 2 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

move test code to top-level Test directory

cdb9ada0 · master · 55/512 ++ 445 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

replace module with original

f1a64752 · master · 1/38 ++ 26 --

tferariu · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

Reimplemented Alasdair's Example Traces and added 3 more example contracts

757e1963 · master · 107/3,544 ++ 89 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

remove accidentally added file

e91ddc9e · master · 1/0 ++ 1 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

Refactor: reorganize files and clean up imports (for PR #955)

b466bdd8 · master · 42/431 ++ 593 --

tferariu · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

Removed useless WSL Zone.Identifier artifacts

b20c4344 · master · 51/0 ++ 0 --

williamdemeo · Fri, 07 Nov 25 04:44:06 +0000 · formal-ledger-specifications

post-merge fixes and improvements

86bfa879 · master · 7/19 ++ 25 --

williamdemeo · Fri, 07 Nov 25 04:42:55 +0000 · formal-ledger-specifications

fix broken links and missing toc items

38f00a12 · 966-transaction-dependent-functions · 3/18 ++ 15 --

github-actions[bot] · Thu, 06 Nov 25 20:11:26 +0000 · formal-ledger-specifications

Artifacts generated from ed129a931f85f07b88643d8bed017248745e18f1

48df7e7c · fd/reregistration-deposits-artifacts · 7/795 ++ 788 --

github-actions[bot] · Thu, 06 Nov 25 18:14:55 +0000 · formal-ledger-specifications

Artifacts generated from ad8902a8ffacc823f9ad43f59a7ca5f23016f50e

b021bf96 · fd/reregistration-deposits-artifacts · 2/162 ++ 163 --

github-actions[bot] · Wed, 05 Nov 25 16:39:16 +0000 · formal-ledger-specifications

Artifacts generated from 95b2096d7f2c9d55bebc5ea097ad5ce48fc074ce

15d428ac · fd/reregistration-deposits-artifacts · 9/853 ++ 863 --

github-actions[bot] · Wed, 05 Nov 25 14:49:49 +0000 · formal-ledger-specifications

Artifacts generated from f4272f7043b5acf5d2a8e90add9da65b106f135a

dd104e13 · fd/spec-epoch-step-artifacts · 7/813 ++ 813 --

github-actions[bot] · Wed, 05 Nov 25 14:48:14 +0000 · formal-ledger-specifications

Artifacts generated from c2c02a37b523f0f11639ec843faaa4879b403080

f751d020 · fd/reregistration-deposits-artifacts · 7/829 ++ 829 --

carlostome · Mon, 03 Nov 25 13:07:26 +0000 · formal-ledger-specifications

Add haskell package to flake outputs

f3e5f5dd · carlos/cardano-ledger-exectuable-spec-in-flake · 2/13 ++ 8 --

github-actions[bot] · Fri, 31 Oct 25 20:14:03 +0000 · formal-ledger-specifications

Artifacts generated from 460caee57936a0df642412eb692a9a7dc9089761

d6c9e8dc · fd/reregistration-deposits-artifacts · 7/879 ++ 881 --

Showing 21 of 21 recent commits. Check out IntersectMBO on GitHub to see more.