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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Witnesses for native scripts in reference inputs Formal Ledger Specs #2597: Pull request #631 synchronize by williamdemeo
December 23, 2024 19:22 24m 22s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 23, 2024 19:22 24m 22s
Complete proofs of lemmas for Equivalence proof (#622) (#629) Formal Ledger Specs #2596: Commit 1e62760 pushed by williamdemeo
December 21, 2024 15:18 23m 11s master
master
December 21, 2024 15:18 23m 11s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2595: Pull request #629 synchronize by williamdemeo
December 21, 2024 00:43 22m 18s issue585
issue585
December 21, 2024 00:43 22m 18s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2594: Pull request #629 synchronize by williamdemeo
December 20, 2024 21:48 30m 50s issue585
issue585
December 20, 2024 21:48 30m 50s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2593: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:40 22m 6s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:40 22m 6s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2592: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:38 22m 20s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:38 22m 20s
Added HSPlutusScript Formal Ledger Specs #2591: Pull request #630 synchronize by Soupstraw
December 20, 2024 15:36 21m 52s jj/script-size
jj/script-size
December 20, 2024 15:36 21m 52s
Check deposit value on drep deregistration Formal Ledger Specs #2590: Pull request #632 synchronize by teodanciu
December 20, 2024 15:24 7m 46s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:24 7m 46s
Check deposit value on drep deregistration Formal Ledger Specs #2589: Pull request #632 synchronize by teodanciu
December 20, 2024 15:19 7m 35s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:19 7m 35s
Check deposit value on drep deregistration Formal Ledger Specs #2588: Pull request #632 opened by teodanciu
December 20, 2024 15:19 8m 3s td/check-deposit-in-drep-dereg
td/check-deposit-in-drep-dereg
December 20, 2024 15:19 8m 3s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2587: Pull request #631 synchronize by williamdemeo
December 20, 2024 15:15 22m 1s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:15 22m 1s
Witnesses for native scripts in reference inputs Formal Ledger Specs #2586: Pull request #631 opened by williamdemeo
December 20, 2024 15:10 23m 28s 626-witnesses-for-native-scripts-in-reference-inputs
626-witnesses-for-native-scripts-in-reference-inputs
December 20, 2024 15:10 23m 28s
Added witnessing for collateral Formal Ledger Specs #2585: Commit 46e60fd pushed by Soupstraw
December 20, 2024 15:05 24m 5s master
master
December 20, 2024 15:05 24m 5s
Added HSPlutusScript Formal Ledger Specs #2584: Pull request #630 opened by Soupstraw
December 20, 2024 15:04 24m 23s jj/script-size
jj/script-size
December 20, 2024 15:04 24m 23s
Added witnessing for collaterals Formal Ledger Specs #2583: Pull request #628 synchronize by Soupstraw
December 19, 2024 14:47 23m 13s jj/collateral-witnessing
jj/collateral-witnessing
December 19, 2024 14:47 23m 13s
Complete proofs of lemmas for Equivalence proof (#622) Formal Ledger Specs #2582: Pull request #629 synchronize by williamdemeo
December 18, 2024 20:31 22m 54s issue585
issue585
December 18, 2024 20:31 22m 54s
Added witnessing for collaterals Formal Ledger Specs #2581: Pull request #628 synchronize by Soupstraw
December 18, 2024 11:17 18m 44s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 11:17 18m 44s
Added witnessing for collaterals Formal Ledger Specs #2580: Pull request #628 synchronize by Soupstraw
December 18, 2024 10:57 14m 57s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 10:57 14m 57s
Added witnessing for collaterals Formal Ledger Specs #2579: Pull request #628 synchronize by Soupstraw
December 18, 2024 10:53 15m 56s jj/collateral-witnessing
jj/collateral-witnessing
December 18, 2024 10:53 15m 56s
Equivalence proof between spec and conformance rules (#585) (#622) Formal Ledger Specs #2578: Commit 6c6b49f pushed by UlfNorell
December 17, 2024 20:06 10m 42s master
master
December 17, 2024 20:06 10m 42s
Added witnessing for collaterals Formal Ledger Specs #2577: Pull request #628 synchronize by Soupstraw
December 17, 2024 16:09 8m 36s jj/collateral-witnessing
jj/collateral-witnessing
December 17, 2024 16:09 8m 36s
Added witnessing for collaterals Formal Ledger Specs #2576: Pull request #628 synchronize by Soupstraw
December 17, 2024 16:09 8m 27s jj/collateral-witnessing
jj/collateral-witnessing
December 17, 2024 16:09 8m 27s
Added witnessing for collaterals Formal Ledger Specs #2575: Pull request #628 synchronize by Soupstraw
December 17, 2024 16:02 21m 9s jj/collateral-witnessing
jj/collateral-witnessing
December 17, 2024 16:02 21m 9s
Added witnessing for collaterals Formal Ledger Specs #2574: Pull request #628 synchronize by Soupstraw
December 17, 2024 15:46 22m 58s jj/collateral-witnessing
jj/collateral-witnessing
December 17, 2024 15:46 22m 58s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2573: Pull request #622 synchronize by williamdemeo
December 17, 2024 14:25 20m 39s issue585
issue585
December 17, 2024 14:25 20m 39s