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

improvements incorporating requested changes to PR Formal Ledger Specs #820: Commit 63d2ccb pushed by williamdemeo
October 10, 2023 05:13 45m 45s 34-type-classes-orders-preferred
34-type-classes-orders-preferred
October 10, 2023 05:13 45m 45s
Formal Ledger Specs Formal Ledger Specs #819: by omelkonian
October 9, 2023 14:38 9m 2s master
master
October 9, 2023 14:38 9m 2s
Respect the exit status of nix commands Formal Ledger Specs #818: Commit b06555b pushed by teodanciu
October 9, 2023 12:39 8m 51s td/respect-nix-failures
td/respect-nix-failures
October 9, 2023 12:39 8m 51s
alternative type classes for order relations Formal Ledger Specs #817: Commit 07184c4 pushed by williamdemeo
October 6, 2023 19:18 39m 31s 34-type-classes-orders-preferred
34-type-classes-orders-preferred
October 6, 2023 19:18 39m 31s
Nix: integrate Makefile Formal Ledger Specs #816: Commit 9e03fbc pushed by omelkonian
October 6, 2023 11:32 3m 46s hs-test
hs-test
October 6, 2023 11:32 3m 46s
alternative type classes for order relations Formal Ledger Specs #815: Commit 2ccd0af pushed by williamdemeo
October 6, 2023 08:57 51m 0s 34-type-classes-orders-preferred
34-type-classes-orders-preferred
October 6, 2023 08:57 51m 0s
alternative type classes for order relations Formal Ledger Specs #814: Commit 907fa4c pushed by williamdemeo
October 6, 2023 08:54 36m 33s 34-type-classes-orders-preferred
34-type-classes-orders-preferred
October 6, 2023 08:54 36m 33s
Makefile: use canned recipes to remove code duplication Formal Ledger Specs #813: Commit bf74649 pushed by omelkonian
October 5, 2023 17:27 11m 17s hs-test
hs-test
October 5, 2023 17:27 11m 17s
Makefile: use canned recipes to remove code duplication Formal Ledger Specs #812: Commit f3207be pushed by omelkonian
October 5, 2023 17:18 9m 2s hs-test
hs-test
October 5, 2023 17:18 9m 2s
proof cleanup 1 Formal Ledger Specs #811: Commit 9dcd467 pushed by Ali-Hill
October 5, 2023 15:45 6m 34s alasdair/scriptsv2
alasdair/scriptsv2
October 5, 2023 15:45 6m 34s
First version of timelock decidability proven. Needs cleanup Formal Ledger Specs #810: Commit f58c12d pushed by Ali-Hill
October 5, 2023 15:01 7m 54s alasdair/scriptsv2
alasdair/scriptsv2
October 5, 2023 15:01 7m 54s
wip proof Formal Ledger Specs #809: Commit 336f8ac pushed by Ali-Hill
October 5, 2023 13:47 6m 15s alasdair/scriptsv2
alasdair/scriptsv2
October 5, 2023 13:47 6m 15s
Add IsSet typeclass Formal Ledger Specs #808: Commit 9de6a4e pushed by WhatisRT
October 5, 2023 13:42 48m 2s master
master
October 5, 2023 13:42 48m 2s
Add IsSet typeclass Formal Ledger Specs #807: Commit cb4f618 pushed by WhatisRT
October 5, 2023 13:42 37m 45s andre/pdf-cleanup
andre/pdf-cleanup
October 5, 2023 13:42 37m 45s
Add IsSet typeclass Formal Ledger Specs #806: Commit c5c913d pushed by WhatisRT
October 5, 2023 11:59 39m 25s andre/pdf-cleanup
andre/pdf-cleanup
October 5, 2023 11:59 39m 25s
stuck on requiremof case Formal Ledger Specs #805: Commit 641606d pushed by Ali-Hill
October 4, 2023 16:07 6m 7s alasdair/scriptsv2
alasdair/scriptsv2
October 4, 2023 16:07 6m 7s
Add IsSet typeclass Formal Ledger Specs #804: Commit 3773e3a pushed by WhatisRT
October 4, 2023 12:32 48m 39s andre/pdf-cleanup
andre/pdf-cleanup
October 4, 2023 12:32 48m 39s
Tactic to remove trivial injectivity proofs Formal Ledger Specs #803: Commit 88e1693 pushed by omelkonian
October 4, 2023 10:46 43m 41s master
master
October 4, 2023 10:46 43m 41s
PDF: s/ccTermLimit/ccMaxTermLength (#227) Formal Ledger Specs #802: Commit 0b54e93 pushed by WhatisRT
October 4, 2023 10:45 37m 6s master
master
October 4, 2023 10:45 37m 6s
PDF: s/ccTermLimit/ccMaxTermLength Formal Ledger Specs #801: Commit 06418ce pushed by omelkonian
October 4, 2023 10:43 49m 54s pparams-renaming-fix
pparams-renaming-fix
October 4, 2023 10:43 49m 54s
Remove --overlapping-instances (#229) Formal Ledger Specs #800: Commit f107876 pushed by WhatisRT
October 4, 2023 10:06 39m 5s master
master
October 4, 2023 10:06 39m 5s
CI: fix deployment of PDFs (#232) Formal Ledger Specs #799: Commit 4e797b5 pushed by WhatisRT
October 4, 2023 09:37 6m 15s master
master
October 4, 2023 09:37 6m 15s
Dummy-import Tactic.DeriveComp so we don't have to delete it Formal Ledger Specs #798: Commit 649afa0 pushed by omelkonian
October 3, 2023 16:47 46m 0s master
master
October 3, 2023 16:47 46m 0s
working on defining decidability for timelock scripts Formal Ledger Specs #797: Commit 4843267 pushed by Ali-Hill
October 3, 2023 16:11 6m 16s alasdair/scriptsv2
alasdair/scriptsv2
October 3, 2023 16:11 6m 16s
Dummy-import Tactic.DeriveComp so we don't have to delete it Formal Ledger Specs #796: Commit 589cfb0 pushed by omelkonian
October 3, 2023 15:55 39m 1s unified-computational
unified-computational
October 3, 2023 15:55 39m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.