Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Formal Ledger Specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,841 workflow runs
1,841 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce Bifunctor interface. Formal Ledger Specs #770: Commit c10b80c pushed by omelkonian
September 28, 2023 16:51 41m 36s functor-class
functor-class
September 28, 2023 16:51 41m 36s
Introduce Bifunctor interface. Formal Ledger Specs #769: Commit 6c91b58 pushed by omelkonian
September 28, 2023 16:47 36m 53s functor-class
functor-class
September 28, 2023 16:47 36m 53s
[scripts] use HashMap construction Formal Ledger Specs #768: Commit d43b2eb pushed by omelkonian
September 27, 2023 14:46 29m 26s backup-scripts
backup-scripts
September 27, 2023 14:46 29m 26s
Fix instance resolution of _≤ᵉ_, and left-over renamings from #900a1 Formal Ledger Specs #767: Commit 2d7be93 pushed by omelkonian
September 27, 2023 13:56 36m 51s master
master
September 27, 2023 13:56 36m 51s
Fix instance resolution of _≤ᵉ_, and left-over renamings from #900a1 Formal Ledger Specs #766: Commit c152845 pushed by omelkonian
September 27, 2023 13:14 39m 14s general-cleanup
general-cleanup
September 27, 2023 13:14 39m 14s
Makefile: also generate HTML + Haskell code Formal Ledger Specs #765: Commit bcde52c pushed by omelkonian
September 26, 2023 17:29 34m 55s general-cleanup
general-cleanup
September 26, 2023 17:29 34m 55s
Remove the old Computational in favour of the new representation Formal Ledger Specs #764: Commit 7403889 pushed by UlfNorell
September 26, 2023 13:28 34m 9s unified-computational
unified-computational
September 26, 2023 13:28 34m 9s
Fix broken build from changed GOV' rule (#224) Formal Ledger Specs #763: Commit 9a5c748 pushed by WhatisRT
September 26, 2023 10:09 42m 12s master
master
September 26, 2023 10:09 42m 12s
Fix broken build from changed GOV' rule Formal Ledger Specs #762: Commit 3f46f43 pushed by UlfNorell
September 26, 2023 09:11 37m 23s fix-gov-rule-breakage
fix-gov-rule-breakage
September 26, 2023 09:11 37m 23s
Fix: treasury withdrawals were included in the wrong map Formal Ledger Specs #761: Commit aded9f3 pushed by WhatisRT
September 26, 2023 06:44 8m 26s master
master
September 26, 2023 06:44 8m 26s
Computational instance for GOV' rule (#223) Formal Ledger Specs #760: Commit b862cfd pushed by WhatisRT
September 25, 2023 14:22 40m 46s master
master
September 25, 2023 14:22 40m 46s
Replace any⇔∃ with Any↔ from stdlib Formal Ledger Specs #759: Commit a9c7f3b pushed by WhatisRT
September 25, 2023 14:17 46m 0s GOV-computational
GOV-computational
September 25, 2023 14:17 46m 0s
Fix: treasury withdrawals were included in the wrong map Formal Ledger Specs #758: Commit d93d6fb pushed by WhatisRT
September 25, 2023 13:41 39m 57s andre/rename-pparams
andre/rename-pparams
September 25, 2023 13:41 39m 57s
Update src/Ledger/Foreign/HSLedger.agda Formal Ledger Specs #757: Commit 724a15f pushed by WhatisRT
September 25, 2023 13:40 42m 59s andre/rename-pparams
andre/rename-pparams
September 25, 2023 13:40 42m 59s
[scripts] use HashMap construction Formal Ledger Specs #756: Commit e4b187e pushed by omelkonian
September 22, 2023 14:51 34m 59s backup-scripts
backup-scripts
September 22, 2023 14:51 34m 59s
incorporates Andre's suggested approach to nonstrict inequalities Formal Ledger Specs #755: Commit 8fb218c pushed by williamdemeo
September 21, 2023 08:44 6m 46s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 21, 2023 08:44 6m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-09-21 or the other filters available.