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,834 workflow runs
1,834 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Review: better styling / less code duplication Formal Ledger Specs #795: Commit ce8e483 pushed by omelkonian
October 3, 2023 15:40 8m 8s unified-computational
unified-computational
October 3, 2023 15:40 8m 8s
Review: better styling / less code duplication Formal Ledger Specs #794: Commit ce8e483 pushed by omelkonian
October 3, 2023 15:00 9m 28s pr/225
pr/225
October 3, 2023 15:00 9m 28s
CI: fix deployment of PDFs Formal Ledger Specs #793: Commit 7390fd7 pushed by omelkonian
October 3, 2023 12:48 4m 47s fix-ci
fix-ci
October 3, 2023 12:48 4m 47s
Tactic to remove trivial injectivity proofs Formal Ledger Specs #792: Commit 678cfdc pushed by omelkonian
October 3, 2023 12:14 38m 50s byeq-tactic
byeq-tactic
October 3, 2023 12:14 38m 50s
Remove the old Computational in favour of the new representation Formal Ledger Specs #791: Commit df8b549 pushed by UlfNorell
October 3, 2023 07:38 49m 44s unified-computational
unified-computational
October 3, 2023 07:38 49m 44s
Remove --overlapping-instances Formal Ledger Specs #790: Commit 1781c9c pushed by omelkonian
October 2, 2023 20:11 34m 52s no-overlapping-instances
no-overlapping-instances
October 2, 2023 20:11 34m 52s
Remove --overlapping-instances Formal Ledger Specs #789: Commit 71b9eae pushed by omelkonian
October 2, 2023 19:58 39m 33s no-overlapping-instances
no-overlapping-instances
October 2, 2023 19:58 39m 33s
Remove --overlapping-instances Formal Ledger Specs #788: Commit 878b859 pushed by omelkonian
October 2, 2023 19:56 41m 33s no-overlapping-instances
no-overlapping-instances
October 2, 2023 19:56 41m 33s
PDF cleanup Formal Ledger Specs #787: Commit 69ad8f3 pushed by WhatisRT
October 2, 2023 16:00 47m 4s andre/pdf-cleanup
andre/pdf-cleanup
October 2, 2023 16:00 47m 4s
evalScripts draft pending timelock Formal Ledger Specs #786: Commit 65ed31d pushed by Ali-Hill
October 2, 2023 14:20 7m 44s alasdair/scriptsv2
alasdair/scriptsv2
October 2, 2023 14:20 7m 44s
Type classes for common structures: orders (#221) Formal Ledger Specs #785: Commit f3011bb pushed by WhatisRT
October 2, 2023 10:57 45m 8s master
master
October 2, 2023 10:57 45m 8s
Order PR fixes Formal Ledger Specs #784: Commit 4e5afed pushed by WhatisRT
October 2, 2023 10:55 39m 20s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
October 2, 2023 10:55 39m 20s
[scripts] use HashMap construction Formal Ledger Specs #783: Commit d43b2eb pushed by Ali-Hill
October 2, 2023 10:36 28m 46s alasdair/scriptsv2
alasdair/scriptsv2
October 2, 2023 10:36 28m 46s
alternative inequality type classes including ≤⇔<∨≈ connection Formal Ledger Specs #782: Commit 65a7268 pushed by williamdemeo
October 1, 2023 08:18 7m 35s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
October 1, 2023 08:18 7m 35s
Utxo: fix instance resolution of ℕ.≤ Formal Ledger Specs #781: Commit cce1fa8 pushed by omelkonian
September 29, 2023 19:17 37m 29s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 29, 2023 19:17 37m 29s
final cleanup Formal Ledger Specs #780: Commit 0d597ee pushed by williamdemeo
September 29, 2023 17:30 48m 30s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 29, 2023 17:30 48m 30s
Epoch: fix instance resolution of ≤ˢ/ᵉ (again) Formal Ledger Specs #779: Commit b547e0b pushed by omelkonian
September 29, 2023 16:38 36m 16s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 29, 2023 16:38 36m 16s
refactoring: EpochStructure defined in terms of _≤ˢ_ (not _<ˢ_). Formal Ledger Specs #778: Commit 9d15215 pushed by williamdemeo
September 29, 2023 15:39 35m 38s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 29, 2023 15:39 35m 38s
refactoring: EpochStructure defined in terms of _≤ˢ_ (not _<ˢ_). Formal Ledger Specs #777: Commit e8a4c92 pushed by williamdemeo
September 29, 2023 15:26 38m 14s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 29, 2023 15:26 38m 14s
PDF: s/ccTermLimit/ccMaxTermLength Formal Ledger Specs #776: Commit 4a7fa80 pushed by omelkonian
September 29, 2023 15:23 47m 13s pparams-renaming-fix
pparams-renaming-fix
September 29, 2023 15:23 47m 13s
PDF: s/ccTermLimit/ccMaxTermLength Formal Ledger Specs #775: Commit afac4f1 pushed by omelkonian
September 29, 2023 15:22 37m 36s pparams-renaming-fix
pparams-renaming-fix
September 29, 2023 15:22 37m 36s
Introduce Bifunctor interface. Formal Ledger Specs #774: Commit 6b7d4cc pushed by omelkonian
September 29, 2023 12:47 45m 54s master
master
September 29, 2023 12:47 45m 54s
Introduce Bifunctor interface. Formal Ledger Specs #773: Commit cec8cf8 pushed by omelkonian
September 29, 2023 12:08 36m 17s functor-class
functor-class
September 29, 2023 12:08 36m 17s
Introduce Bifunctor interface. Formal Ledger Specs #772: Commit a0b70dc pushed by omelkonian
September 29, 2023 12:05 38m 5s functor-class
functor-class
September 29, 2023 12:05 38m 5s
major improvements Formal Ledger Specs #771: Commit b1f0bea pushed by williamdemeo
September 28, 2023 19:00 37m 31s william/34-type-classes-orders-with-strict
william/34-type-classes-orders-with-strict
September 28, 2023 19:00 37m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.