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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2522: Pull request #622 synchronize by williamdemeo
December 4, 2024 05:16 21m 38s issue585
issue585
December 4, 2024 05:16 21m 38s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2521: Pull request #622 synchronize by williamdemeo
December 3, 2024 23:44 21m 0s issue585
issue585
December 3, 2024 23:44 21m 0s
Document changes to BaseAddr Formal Ledger Specs #2520: Pull request #619 synchronize by williamdemeo
December 3, 2024 19:35 16m 57s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 3, 2024 19:35 16m 57s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2519: Pull request #622 opened by UlfNorell
December 3, 2024 15:37 23m 6s issue585
issue585
December 3, 2024 15:37 23m 6s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2518: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:53 9m 10s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:53 9m 10s
Document changes to BaseAddr Formal Ledger Specs #2517: Pull request #619 synchronize by williamdemeo
December 3, 2024 14:51 21m 55s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 3, 2024 14:51 21m 55s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2516: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:29 20m 40s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:29 20m 40s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2515: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:17 25m 33s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:17 25m 33s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2514: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:55 20m 15s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:55 20m 15s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2513: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:47 16m 48s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:47 16m 48s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2512: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:36 20m 58s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:36 20m 58s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2511: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:33 20m 57s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:33 20m 57s
Document changes to BaseAddr Formal Ledger Specs #2510: Pull request #619 synchronize by williamdemeo
December 2, 2024 20:49 21m 16s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 2, 2024 20:49 21m 16s
Document changes to BaseAddr Formal Ledger Specs #2509: Pull request #619 opened by williamdemeo
December 2, 2024 20:47 20m 46s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 2, 2024 20:47 20m 46s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2508: Pull request #616 synchronize by Soupstraw
December 2, 2024 14:04 21m 19s jj/legacy-regcert
jj/legacy-regcert
December 2, 2024 14:04 21m 19s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2507: Pull request #616 synchronize by Soupstraw
December 2, 2024 13:33 14m 45s jj/legacy-regcert
jj/legacy-regcert
December 2, 2024 13:33 14m 45s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2506: Pull request #616 synchronize by Soupstraw
December 2, 2024 13:06 21m 28s jj/legacy-regcert
jj/legacy-regcert
December 2, 2024 13:06 21m 28s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2505: Pull request #616 synchronize by Soupstraw
December 2, 2024 12:48 21m 50s jj/legacy-regcert
jj/legacy-regcert
December 2, 2024 12:48 21m 50s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2504: Pull request #616 synchronize by Soupstraw
December 2, 2024 12:09 22m 14s jj/legacy-regcert
jj/legacy-regcert
December 2, 2024 12:09 22m 14s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2503: Pull request #616 synchronize by Soupstraw
November 25, 2024 15:02 15m 1s jj/legacy-regcert
jj/legacy-regcert
November 25, 2024 15:02 15m 1s
Reuse ledger code in conformance Formal Ledger Specs #2502: Pull request #618 opened by UlfNorell
November 25, 2024 12:52 22m 11s reuse-ledger-code-in-conformance
reuse-ledger-code-in-conformance
November 25, 2024 12:52 22m 11s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2501: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:44 20m 20s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:44 20m 20s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2500: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:16 20m 41s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:16 20m 41s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2499: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:08 19m 42s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:08 19m 42s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2498: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:04 20m 3s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:04 20m 3s