Merge branch 'master' into sl/flakify
Home /
Input Output /
formal-ledger-specifications
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (0)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (0)
Nov 28, 12-1 AM (0)
Nov 28, 1-2 AM (0)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (0)
Nov 28, 9-10 AM (0)
Nov 28, 10-11 AM (0)
Nov 28, 11-12 PM (0)
Nov 28, 12-1 PM (0)
Nov 28, 1-2 PM (0)
Nov 28, 2-3 PM (0)
Nov 28, 3-4 PM (0)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (0)
Nov 28, 9-10 PM (0)
Nov 28, 10-11 PM (1)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (0)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (0)
Nov 29, 8-9 AM (0)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (0)
Nov 29, 11-12 PM (0)
Nov 29, 12-1 PM (0)
Nov 29, 1-2 PM (0)
Nov 29, 2-3 PM (2)
Nov 29, 3-4 PM (1)
Nov 29, 4-5 PM (0)
Nov 29, 5-6 PM (0)
Nov 29, 6-7 PM (0)
Nov 29, 7-8 PM (0)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (0)
Nov 30, 12-1 AM (0)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
Nov 30, 3-4 AM (0)
Nov 30, 4-5 AM (0)
Nov 30, 5-6 AM (0)
Nov 30, 6-7 AM (0)
Nov 30, 7-8 AM (0)
Nov 30, 8-9 AM (0)
Nov 30, 9-10 AM (0)
Nov 30, 10-11 AM (1)
Nov 30, 11-12 PM (0)
Nov 30, 12-1 PM (0)
Nov 30, 1-2 PM (0)
Nov 30, 2-3 PM (0)
Nov 30, 3-4 PM (0)
Nov 30, 4-5 PM (18)
Nov 30, 5-6 PM (0)
Nov 30, 6-7 PM (0)
Nov 30, 7-8 PM (0)
Nov 30, 8-9 PM (0)
Nov 30, 9-10 PM (0)
Nov 30, 10-11 PM (0)
Nov 30, 11-12 AM (0)
Dec 01, 12-1 AM (0)
Dec 01, 1-2 AM (0)
Dec 01, 2-3 AM (0)
Dec 01, 3-4 AM (0)
Dec 01, 4-5 AM (0)
Dec 01, 5-6 AM (0)
Dec 01, 6-7 AM (0)
Dec 01, 7-8 AM (0)
Dec 01, 8-9 AM (0)
Dec 01, 9-10 AM (0)
Dec 01, 10-11 AM (0)
Dec 01, 11-12 PM (0)
Dec 01, 12-1 PM (0)
Dec 01, 1-2 PM (2)
Dec 01, 2-3 PM (0)
Dec 01, 3-4 PM (0)
Dec 01, 4-5 PM (0)
Dec 01, 5-6 PM (0)
Dec 01, 6-7 PM (0)
Dec 01, 7-8 PM (0)
Dec 01, 8-9 PM (0)
Dec 01, 9-10 PM (0)
Dec 01, 10-11 PM (0)
Dec 01, 11-12 AM (0)
Dec 02, 12-1 AM (0)
Dec 02, 1-2 AM (0)
Dec 02, 2-3 AM (0)
Dec 02, 3-4 AM (0)
Dec 02, 4-5 AM (0)
Dec 02, 5-6 AM (0)
Dec 02, 6-7 AM (0)
Dec 02, 7-8 AM (0)
Dec 02, 8-9 AM (0)
Dec 02, 9-10 AM (0)
Dec 02, 10-11 AM (0)
Dec 02, 11-12 PM (0)
Dec 02, 12-1 PM (0)
Dec 02, 1-2 PM (0)
Dec 02, 2-3 PM (0)
Dec 02, 3-4 PM (0)
Dec 02, 4-5 PM (0)
Dec 02, 5-6 PM (0)
Dec 02, 6-7 PM (0)
Dec 02, 7-8 PM (0)
Dec 02, 8-9 PM (2)
Dec 02, 9-10 PM (0)
Dec 02, 10-11 PM (0)
Dec 02, 11-12 AM (0)
Dec 03, 12-1 AM (0)
Dec 03, 1-2 AM (0)
Dec 03, 2-3 AM (0)
Dec 03, 3-4 AM (0)
Dec 03, 4-5 AM (0)
Dec 03, 5-6 AM (0)
Dec 03, 6-7 AM (0)
Dec 03, 7-8 AM (0)
Dec 03, 8-9 AM (0)
Dec 03, 9-10 AM (0)
Dec 03, 10-11 AM (0)
Dec 03, 11-12 PM (0)
Dec 03, 12-1 PM (0)
Dec 03, 1-2 PM (0)
Dec 03, 2-3 PM (0)
Dec 03, 3-4 PM (0)
Dec 03, 4-5 PM (0)
Dec 03, 5-6 PM (0)
Dec 03, 6-7 PM (0)
Dec 03, 7-8 PM (0)
Dec 03, 8-9 PM (0)
Dec 03, 9-10 PM (0)
Dec 03, 10-11 PM (0)
Dec 03, 11-12 AM (0)
Dec 04, 12-1 AM (0)
Dec 04, 1-2 AM (0)
Dec 04, 2-3 AM (0)
Dec 04, 3-4 AM (0)
Dec 04, 4-5 AM (0)
Dec 04, 5-6 AM (0)
Dec 04, 6-7 AM (0)
Dec 04, 7-8 AM (0)
Dec 04, 8-9 AM (0)
Dec 04, 9-10 AM (0)
Dec 04, 10-11 AM (0)
Dec 04, 11-12 PM (0)
Dec 04, 12-1 PM (0)
Dec 04, 1-2 PM (0)
Dec 04, 2-3 PM (0)
Dec 04, 3-4 PM (0)
27 commits this week
Nov 27, 2022
-
Dec 04, 2022
silently skip systems we cannot build for
Merge branch 'alasdair/multi-asset' of github.com:input-output-hk/formal-ledger-specifications
Merge branch 'master' of github.com:input-output-hk/formal-ledger-specifications
Prove POV and computational for LEDGERS
Add some level polymorphism
Move deriving into stdlib-meta
Fully automated mutual deriving
Improve derive-DecEq to require less manual input
Add derivation strategy for decidable equality
Move deriving into stdlib-meta
Fully automated mutual deriving
Improve derive-DecEq to require less manual input
Add derivation strategy for decidable equality
Use literals to write ring elements corresponding to numbers
Add the protocol version to the haskell library
Move fees into treasury at the epoch boundary
Add LEDGER, LEDGERS, NEWPP, NEWEPOCH and CHAIN transition systems
Prove POV and computational for LEDGERS
experimenting with ma implementation