Skip to content

Actions: huynhtrankhanh/CoqCP

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,232 workflow runs
1,232 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make progress on merging logic Prettify Code #631: Commit d063100 pushed by huynhtrankhanh
November 6, 2024 17:30 22s main
main
November 6, 2024 17:30 22s
Add bindDispatch lemma for convenience Prettify Code #630: Commit e108e63 pushed by huynhtrankhanh
November 6, 2024 17:14 20s main
main
November 6, 2024 17:14 20s
Add bindDispatch lemma for convenience Coq Axiom Check #443: Commit e108e63 pushed by huynhtrankhanh
November 6, 2024 17:14 2m 21s main
main
November 6, 2024 17:14 2m 21s
Finish variable swapping logic Coq Axiom Check #442: Commit 7afdcaf pushed by huynhtrankhanh
November 6, 2024 04:21 30m 12s main
main
November 6, 2024 04:21 30m 12s
Finish variable swapping logic Prettify Code #629: Commit 7afdcaf pushed by huynhtrankhanh
November 6, 2024 04:21 18s main
main
November 6, 2024 04:21 18s
Make more progress on merging logic Prettify Code #628: Commit 7e72b8d pushed by huynhtrankhanh
November 5, 2024 17:09 25s main
main
November 5, 2024 17:09 25s
Make more progress on merging logic Coq Axiom Check #441: Commit 7e72b8d pushed by huynhtrankhanh
November 5, 2024 17:09 2m 22s main
main
November 5, 2024 17:09 2m 22s
Prove pathCompressPreservesAncestorLength Coq Axiom Check #440: Commit 1780c98 pushed by huynhtrankhanh
November 5, 2024 13:40 1m 54s main
main
November 5, 2024 13:40 1m 54s
Prove pathCompressPreservesAncestorLength Prettify Code #627: Commit 1780c98 pushed by huynhtrankhanh
November 5, 2024 13:40 18s main
main
November 5, 2024 13:40 18s
Finish case where two ancestors are the same Prettify Code #626: Commit 77ed1c4 pushed by huynhtrankhanh
November 4, 2024 07:35 18s main
main
November 4, 2024 07:35 18s
Finish case where two ancestors are the same Coq Axiom Check #439: Commit 77ed1c4 pushed by huynhtrankhanh
November 4, 2024 07:35 1m 55s main
main
November 4, 2024 07:35 1m 55s
Prove pathCompressPreservesScore Coq Axiom Check #438: Commit 143b02f pushed by huynhtrankhanh
November 4, 2024 07:17 2m 0s main
main
November 4, 2024 07:17 2m 0s
Prove pathCompressPreservesScore Prettify Code #625: Commit 143b02f pushed by huynhtrankhanh
November 4, 2024 07:17 24s main
main
November 4, 2024 07:17 24s
Generalize initial blockchain state Coq Axiom Check #437: Commit 413a532 pushed by huynhtrankhanh
November 4, 2024 05:39 2m 19s main
main
November 4, 2024 05:39 2m 19s
Generalize initial blockchain state Prettify Code #624: Commit 413a532 pushed by huynhtrankhanh
November 4, 2024 05:39 18s main
main
November 4, 2024 05:39 18s
Things are more broken than I thought Prettify Code #623: Commit 593d136 pushed by huynhtrankhanh
November 3, 2024 12:53 22s main
main
November 3, 2024 12:53 22s
Things are more broken than I thought Coq Axiom Check #436: Commit 593d136 pushed by huynhtrankhanh
November 3, 2024 12:53 2m 17s main
main
November 3, 2024 12:53 2m 17s
Fill in an admit Prettify Code #622: Commit cc5ffd1 pushed by huynhtrankhanh
November 3, 2024 12:04 17s main
main
November 3, 2024 12:04 17s
Fill in an admit Coq Axiom Check #435: Commit cc5ffd1 pushed by huynhtrankhanh
November 3, 2024 12:04 2m 17s main
main
November 3, 2024 12:04 2m 17s
Prove pathCompressPreservesNoIllegalIndices Coq Axiom Check #434: Commit dc47e9e pushed by huynhtrankhanh
November 3, 2024 11:59 2m 31s main
main
November 3, 2024 11:59 2m 31s
Prove pathCompressPreservesNoIllegalIndices Prettify Code #621: Commit dc47e9e pushed by huynhtrankhanh
November 3, 2024 11:59 17s main
main
November 3, 2024 11:59 17s
Work on runUnite Prettify Code #620: Commit a02c157 pushed by huynhtrankhanh
November 3, 2024 10:54 18s main
main
November 3, 2024 10:54 18s
Work on runUnite Coq Axiom Check #433: Commit a02c157 pushed by huynhtrankhanh
November 3, 2024 10:54 2m 20s main
main
November 3, 2024 10:54 2m 20s
Finish proving runAncestor Prettify Code #619: Commit 194a54e pushed by huynhtrankhanh
November 3, 2024 09:31 16s main
main
November 3, 2024 09:31 16s
Finish proving runAncestor Coq Axiom Check #432: Commit 194a54e pushed by huynhtrankhanh
November 3, 2024 09:31 2m 20s main
main
November 3, 2024 09:31 2m 20s